hdu4753

　　很简单的位模拟(bit-mask)，可惜队友读题误以为很难，没有及时跟我交流，不然应该很早就可以出了。

　　很容易看出来，总共才16个点、24条边。用一个int类型数字就可以描述这个图了，按照16点的关系可以找出已确定的那些边。然后就是很简单的DP了。

　　

#include <iostream>
#include <cstring>
#include <cstdio>
#include <algorithm>
using namespace std;
int jb[9]={ (1<<16)|(1<<13)|(1<<4)|(1<<1),
             (1<<19)|(1<<16)|(1<<5)|(1<<2),
             (1<<22)|(1<<19)|(1<<6)|(1<<3),
             (1<<17)|(1<<14)|(1<<7)|(1<<4),
             (1<<20)|(1<<17)|(1<<8)|(1<<5),
             (1<<23)|(1<<20)|(1<<9)|(1<<6),
             (1<<18)|(1<<15)|(1<<10)|(1<<7),
             (1<<21)|(1<<18)|(1<<11)|(1<<8),
             (1<<24)|(1<<21)|(1<<12)|(1<<9)
};
int d[20][20];
void gao(){
    d[1][2]=1,d[2][3]=2,d[3][4]=3;
    d[5][6]=4,d[6][7]=5,d[7][8]=6;
    d[9][10]=7,d[10][11]=8,d[11][12]=9;
    d[13][14]=10,d[14][15]=11,d[15][16]=12;
    d[1][5]=13,d[5][9]=14,d[9][13]=15;
    d[2][6]=16,d[6][10]=17,d[10][14]=18;
    d[3][7]=19,d[7][11]=20,d[11][15]=21;
    d[4][8]=22,d[8][12]=23,d[12][16]=24;
}
int zhuge(int x,int y){
    if(x>y) swap(x,y);
    return d[x][y];
}
int score[2],lastc;
int get_lc(int em){
    int lc=0;
    for(int i=0;i<9;i++)
    if((em&jb[i])==jb[i])
        lc++;
    return lc;
}
int DP(int sc[2],int em,int id,int run,int lastc){
    if(run > 24) {
      if(sc[id]>sc[1-id]) return 1;
      return 0;
    }
    for(int i=1;i<=24;i++)
    if(!((1<<i)&em)){
        int n_sc[2]={sc[0],sc[1]};
        int n_em=em|(1<<i),lc=get_lc(n_em);
        n_sc[id] += lc-lastc;
        if(!DP(n_sc,n_em,1-id,run+1,lc)) return 1;
    }
    return 0;
}
int main()
{
    gao();
    int cases; cin>>cases;
    for(int cas=1;cas<=cases;cas++){
        score[0]=score[1]=0;
        lastc=0;
        int id=0,em=0;
        int pl,run=1; cin>>pl;
        while(run<=pl){
            int x,y,e,lc;
            scanf("%d%d",&x,&y); e=zhuge(x,y);
            em |= 1<<e;   lc = get_lc(em);
            score[id] += lc-lastc; lastc=lc;
            id=1-id;
            run++;
        }
        int status=DP(score,em,id,run,lastc);
        printf("Case #%d: ",cas);
        if((id==0&&status) || (id==1&&!status)) printf("Tom200\n");
        else printf("Jerry404\n");
    }
    return 0;
}