枚举每个格子的状态显然是不可能的。
思考发现，矩阵第一行的状态确定以后，下面的状态都可以递推出来。
于是状压枚举第一行的状态，递推全图的状态并判定是否可行。
1 /*by SilverN*/ 2 #include<iostream> 3 #include<algorithm> 4 #include<cstring> 5 #include<cstdio> 6 #include<cmath> 7 #include<list> 8 using namespace std; 9 int read(){ 10 int x=0,f=1;char ch=getchar(); 11 while(ch<'0' || ch>'9'){if(ch=='-')f=-1;ch=getchar();} 12 while(ch>='0' && ch<='9'){x=x*10+ch-'0';ch=getchar();} 13 return x*f; 14 } 15 struct node{ 16 int pre,nxt; 17 }a[1000010]; 18 int link[1000010]; 19 int ud[1000010]; 20 int L,P; 21 void Del(int x){ 22 ud[x]=0; 23 a[a[x].pre].nxt=a[x].nxt; 24 a[a[x].nxt].pre=a[x].pre; 25 } 26 int T; 27 int main(){ 28 T=read(); 29 int L,P,i,j; 30 for(int cas=1;cas<=T;cas++){ 31 memset(link,0,sizeof link); 32 memset(ud,0,sizeof ud); 33 L=read();P=read(); 34 for(i=0;i<L;i++){ 35 a[i].pre=i-1; 36 a[i].nxt=i+1; 37 } 38 a[0].pre=L-1;a[L-1].nxt=0; 39 int u,v; 40 for(i=1;i<=P;i++){ 41 u=read();v=read(); 42 link[u]=v;link[v]=u; 43 ud[u]=1;ud[v]=-1;//???? 44 } 45 for(i=0;i<L;i++)if(!ud[i])Del(i); 46 int hd=0; 47 while(P){ 48 bool flag=1; 49 while(!ud[hd])hd++; 50 for(i=a[hd].nxt; i!=hd && flag; i=a[i].nxt){ 51 int u=i,v=a[i].nxt; 52 if(ud[u]==ud[v] && (a[link[u]].nxt==link[v] || 53 a[link[v]].nxt==link[u])){ 54 Del(u); Del(v); 55 Del(link[u]); 56 Del(link[v]); 57 P-=2; 58 flag=0; 59 } 60 //passing 61 else if(link[v]==u || link[u]==v){ 62 Del(u);Del(v); 63 P--; 64 flag=0; 65 } 66 //selfloop 67 } 68 if(flag)break; 69 } 70 printf("Case #%d: ",cas); 71 if(!P)printf("YES "); 72 else printf("NO "); 73 } 74 return 0; 75 }