poj3678 Katu Puzzle（2-sat）

每个点不是0就是1，要满足一些限制，很2-sat。
根据每种运算限制来建图即可。
这里有一些不同于前面几道题的情况，那就是有了类似xi=1这种只有一个元素的限制。
对于这种限制我们怎么办呢？我们让他们去自相矛盾，即如果x必须=1，建边(x0->x1)，这样就不可能让x=0了。

这样之后好像就不太满足对称性了，为什么还是可以缩点去做呢？因为爱情！（划去），自己去画图理解下吧。。。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <stack>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 1010
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,tot=-1,id[N][2],h[N<<1],num=0;
int dfn[N<<1],low[N<<1],dfnum=0,scc=0,bel[N<<1];
char op[5];stack<int>qq;bool inq[N<<1];
struct edge{
    int to,next;
}data[4000010];
inline void add(int x,int y){
    data[++num].to=y;data[num].next=h[x];h[x]=num;
}
inline void tarjan(int x){
    low[x]=dfn[x]=++dfnum;qq.push(x);inq[x]=1;
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;
        if(!dfn[y]) tarjan(y),low[x]=min(low[x],low[y]);
        else if(inq[y]) low[x]=min(low[x],dfn[y]);
    }if(low[x]==dfn[x]){
        ++scc;while(1){
            int y=qq.top();qq.pop();inq[y]=0;
            bel[y]=scc;if(y==x) break;
        }
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    for(int i=0;i<n;++i) id[i][0]=++tot,id[i][1]=++tot;
    while(m--){
        int x=read(),y=read(),c=read();scanf("%s",op+1);
        if(op[1]=='A'){
            if(c){
                add(id[x][0],id[x][1]);add(id[y][0],id[y][1]);
            }else{
                add(id[x][1],id[y][0]);add(id[y][1],id[x][0]);
            }continue;
        }if(op[1]=='O'){
            if(c){
                add(id[x][0],id[y][1]);add(id[y][0],id[x][1]);
            }else{
                add(id[x][1],id[x][0]);add(id[y][1],id[y][0]);
            }continue;
        }if(op[1]=='X'){
            if(c){
                add(id[x][1],id[y][0]);add(id[x][0],id[y][1]);
                add(id[y][1],id[x][0]);add(id[y][0],id[x][1]);
            }else{
                add(id[x][1],id[y][1]);add(id[x][0],id[y][0]);
                add(id[y][0],id[x][0]);add(id[y][1],id[x][1]);
            }
        }
    }for(int i=0;i<=tot;++i) if(!dfn[i]) tarjan(i);
    for(int i=0;i<n;++i) if(bel[id[i][0]]==bel[id[i][1]]){puts("NO");return 0;}
    puts("YES");
    return 0;
}