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;