TwoSat

有N个布尔变量Xi，另外有M个需要满足的条件，每个条件形式为“Xi为真/假 则 Xj必为真/假”。是否能给所有的Xi赋值并且满足所有的条件。

struct TwoSat {    vector<int> nxt[MAXN<<1];    int mark[MAXN<<1];    int stk[MAXN<<1], top;    int n;        void init(int tn) {        n = tn;        for(int i = 0; i < n; i++) {            nxt[i<<1].clear();            nxt[i<<1|1].clear();            mark[i<<1] = mark[i<<1|1] = 0;        }    }        void add(int x, int vx, int y, int vy) { //最多其中一个         int tx = (x<<1) + vx;        int ty = (y<<1) + vy;        nxt[tx].push_back(ty^1);        nxt[ty].push_back(tx^1);    }        int dfs(int u) {        if(mark[u^1]) return 0;        if(mark[u]) return 1;        mark[u] = 1;        stk[top++] = u;        int i, sz = nxt[u].size();        for(i = 0; i < sz; i++) {            if(!dfs(nxt[u][i])) return 0;        }        return 1;    }        int judge() {        for(int i = 0; i < n; i++) {            if(!mark[i<<1] && !mark[i<<1|1]) {                top = 0;                if(!dfs(i<<1)) {                    while(top) mark[ stk[--top]] = 0;                    if(!dfs(i<<1|1)) return 0;                }            }        }        return 1;    }}twosat;