摘要： 去年成都现场赛的题！！再次强调一下,2-sat箴言：如果a与b矛盾，则建边（a,b'）;到n-1表示0，n到2*n-1表示1 if(C[i]==0) add(x,y+n);add(y,x+n); if(C[i]==1) add(x,y);add(y,x);add(x+n,y+n);add(y+n,x+n); if(C[i]==2) add(x+n,y);add(y+n,x);二分枚举可以到的最大dep值，然后建边用2-sat判断是否可行。贴下我的代码：View Code 1 # include<stdio.h> 2 # include<string.h> 3 # 阅读全文