2-sat学习笔记

例： struct TwoSAT{ int n; vector G[N*2]; bool mark[N*2]; int S[N*2],c; int dfs(int x) { if (mark[x^1]) return 0; if (mark[x]) return 1; //和假设的值一样 mark[x]=1; S[c++]=x; for (int i=0;in=n; for (int i=0;i<2*n;i++) G[i].clear();