P4171 [JSOI2010]满汉全席（2-SAT）
摘要：
2 SAT板子，建图方法是： 对逻辑上存在推出关系的条件建边，最后检查矛盾 代码： C++ include using namespace std; const int N=205; int t,n,m; vector e[N]; char a[10],b[10]; void add(int x,i 阅读全文
posted @ 2019-10-30 17:17 oneman233 阅读(111) 评论(0) 推荐(0) 编辑
