【CCPC2017杭州F】

原题：

 题意：

你和克总打炉石，克总有3个白板，你有3种不超过8张法术

第1种花c费对全体随从打x，并在本回合获得y点法强

第2种花c费打脸x点，并在本回合获得y点法强

第3种花c费对一个随从或者英雄打x

每回合你先行动，获得10点法力水晶，法强清0，然后克总行动，所有活着的随从踢脸，回合的最后克总会把所有3个随从复活回满血

告诉你一开始你和克总的血，克总3个白板的属性，以及你的手牌，问你能不能在3个回合内把克总打死

其实就是个搜索，把题意模拟出来就行了，不过搜索题实在太少见了，因此专门写了个博客。。。

裸搜会T，需要加个小剪枝，当你剩下的手牌在极限情况下都打不死克总时直接cut

太久没写搜索了居然连可行性剪枝都忘了，T了好几发。。。

不过这题其实还是不错的，模拟的难度适中，考验代码能力又不过于毒瘤

代码：

#include<iostream>
#include<cstdio>
using namespace std;
struct nds{int x,y,z,w,v;}a[4],b[9];
int n,m,o;
int q[4][9][2],hd[4];
void ist(int x,int y,int z){
    ++hd[x];
    q[x][hd[x]][0]=y;
    q[x][hd[x]][1]=z;
}
void pp(int x){
    --hd[x];
}
bool chck(int z){
    int bwl=0,cnt=z;
    for(int i=1;i<=n;++i)if(b[i].w==0 && b[i].x!=3)
        cnt+=b[i].z;
    for(int i=1;i<=n;++i)if(b[i].w==0 && b[i].x!=1)
        bwl+=cnt+b[i].y;
    return bwl>=a[0].y;
}
void prvs(){
    for(int i=1;i<=3;++i)  hd[i]=0;
}
bool dfs(int x,int y,int z,int mk){
    if(x==4)  return false;
    if(a[0].y<=0)  return true;
    if(m<=0)  return false;
    if(!chck(z))  return false;
    /*int z[4],w[9];
    for(int i=0;i<=3;++i)  z[i]=a[i].y;
    for(int i=1;i<=n;++i)  w[i]=b[i].w;*/
    for(int i=1;i<=n;++i)if(b[i].w==0 && y>=b[i].v){
        //if(b[i].x==1 && mk==0){
        if(b[i].x==1){
            ist(x,i,-1);
            for(int j=1;j<=3;++j)  a[j].y-=z+b[i].y;
            b[i].w=1;
            if(dfs(x,y-b[i].v,z+b[i].z,mk))  return true;
            b[i].w=0;
            for(int j=1;j<=3;++j)  a[j].y+=z+b[i].y;
            pp(x);
        }
        //else if(b[i].x==2 && mk==0){
        else if(b[i].x==2){
            ist(x,i,-1);
            a[0].y-=z+b[i].y;
            b[i].w=1;
            if(dfs(x,y-b[i].v,z+b[i].z,mk))  return true;
            b[i].w=0;
            a[0].y+=z+b[i].y;
            pp(x);
        }
        else{
            //for(int j=0;j<=3;++j)if(a[j].y>0){
            for(int j=0;j<=3;++j){
                ist(x,i,j);
                a[j].y-=z+b[i].y;
                b[i].w=1;
                if(dfs(x,y-b[i].v,z,1))  return true;
                b[i].w=0;
                a[j].y+=z+b[i].y;
                pp(x);
            }
        }
    }
    int w[4];
    for(int j=1;j<=3;++j){
        if(a[j].y>0)  m-=a[j].x;
        w[j]=a[j].y;
        a[j].y=a[j].z;
    }
    if(dfs(x+1,10,0,0))  return true;
    for(int j=1;j<=3;++j){
        a[j].y=w[j];
        if(a[j].y>0)  m+=a[j].x;
    }
    /*for(int i=1;i<=n;++i)  b[i].w=w[i];
    for(int i=0;i<=3;++i)  a[i].y=z[i];*/
    return false;
}
int main(){
    int T;  cin>>T;
    while(T --> 0){
        prvs();
        scanf("%d",&n);
        scanf("%d%d",&m,&o);
        a[0].x=0,a[0].y=o,a[0].z=o;
        for(int i=1;i<=3;++i)
            scanf("%d%d%d",&a[i].x,&a[i].y,&a[i].z);
        for(int i=1;i<=n;++i){
            //scanf("%d%d%d%d",&b[i].x,&b[i].v,&b[i].y,&b[i].z);
            scanf("%d",&b[i].x);
            if(b[i].x==3)  scanf("%d%d",&b[i].v,&b[i].y);
            else  scanf("%d%d%d",&b[i].v,&b[i].y,&b[i].z);
            b[i].w=0;
        }
        if(dfs(1,10,0,0)){
            printf("Yes
");
            for(int i=1;i<=3;++i){
                printf("%d
",hd[i]);
                if(hd[i]!=0){
                    for(int j=1;j<=hd[i];++j)
                        printf("%d ",q[i][j][0]);
                    printf("
");
                    for(int j=1;j<=hd[i];++j)
                        printf("%d ",q[i][j][1]);
                    printf("
");
                }
            }
        }
        else{
            printf("No
");
        }
    }
    return 0;
}