POJ 3678 Katu Puzzle（2-SAT）

【题目链接】 http://poj.org/problem?id=3678

【题目大意】

　　有一些变量，现在给出一些他们做AND，OR，或者XOR的结果(1或0)，
　　问这些变量是否存在满足所有结果的解集

【题解】

　　每个变量只有两种取值，0和1，所以我们拆点做2-SAT，
　　i表示xi取0，i+N表示xi取1
　　我们发现对于AND起来等于0的情况，两个变量至少有一个要是0，
　　那么就有一个变量为1那么另一个变量必须为1的条件，
　　对于AND起来等于1的情况我们发现两个变量必须取1，
　　所以要否决取0的情况，我们连边i->i+N，这样我们发现变量i如果被选中，那么一定是无解的，
　　这样就可以排除xi取0的情况。
　　OR的两种情况和AND恰好相反，处理方式一致。
　　对于XOR，如果结果为0，那么表示两个变量是状态相同，那么我们正反点之间均连双向边
　　如果结果为1，那么我们将两个变量相反状态之间连双向边。
　　最后求SCC判定连接情况即可。

【代码】

#include <cstdio>
#include <algorithm>
#include <vector>
#include <cstring> 
using namespace std;
const int MAX_V=10000;
int V; //顶点数
vector<int> G[MAX_V]; //图的邻接表表示
vector<int> rG[MAX_V]; //反向图
vector<int> vs; //后序遍历
bool used[MAX_V];
int cmp[MAX_V]; //所属强连通分量的拓扑序
void add_edge(int from,int to){
    G[from].push_back(to);
    rG[to].push_back(from);
} 
void dfs(int v){
    used[v]=1;
    for(int i=0;i<G[v].size();i++){
        if(!used[G[v][i]])dfs(G[v][i]);
    }vs.push_back(v);
}
void rdfs(int v,int k){
    used[v]=1;
    cmp[v]=k;
    for(int i=0;i<rG[v].size();i++){
        if(!used[rG[v][i]])rdfs(rG[v][i],k);
    }
}
int scc(){
    memset(used,0,sizeof(used));
    vs.clear();
    for(int v=0;v<V;v++){if(!used[v])dfs(v);}
    memset(used,0,sizeof(used));
    int k=0;
    for(int i=vs.size()-1;i>=0;i--){
        if(!used[vs[i]])rdfs(vs[i],k++);
    }return k;
}
int N,M;
int x,y,c;
char op[10];
int solve(){
    V=N*2;
    // 0~N-1 表示 x取0
    // N~N+N-1 表示 x取1
    for(int i=0;i<M;i++){
        scanf("%d%d%d%s",&x,&y,&c,op);
        if(op[0]=='A'){
            if(c==0){
                add_edge(y+N,x);
                add_edge(x+N,y);
            }else{
                add_edge(x,x+N);
                add_edge(y,y+N);
            }
        }else if(op[0]=='O'){
            if(c==0){
                add_edge(x+N,x);
                add_edge(y+N,y);
            }else{
                add_edge(x,y+N);
                add_edge(y,x+N);
            }
        }else if(op[0]=='X'){
            if(c==0){
                add_edge(x,y);
                add_edge(y,x);
                add_edge(x+N,y+N);
                add_edge(y+N,x+N);
            }else{
                add_edge(x,y+N);
                add_edge(y,x+N);
                add_edge(x+N,y);
                add_edge(y+N,x);
            }
        }
    }int n=scc();
    int flag=1;
    for(int i=0;i<N;i++)if(cmp[i]==cmp[i+N])flag=0;
    puts(flag?"YES":"NO");
}
int main(){
    while(~scanf("%d%d",&N,&M)){
        solve();
    }return 0;
}