【2-SAT】POJ3678-Katu Puzzle

【题目大意】

给出有向图G(V, E)，每条边(a,b)有一个值c(c=0或1)和运算符op，问能否找到这一张有向图，满足所有的a op b=c？

【思路】

显然是2-SAT。不过要注意一定，如a and b=1，若a=0是必定无解的。像这种情况，要连边a+n->a；同理所有类似于a or b=0,也要两边a->a+n。即无解清新要保证自己连到自己的相反情形。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<vector>
 #include<stack>
 using namespace std;
 const int MAXN=+;
 vector<int> E[MAXN];
 stack<int> s;
 int low[MAXN],dfn[MAXN],cnt=,bcnt=;
 int instack[MAXN],b[MAXN];
 int n,m;

 void addedge(int u,int v)
 {
     E[u].push_back(v);
 }

 void tarjan(int u)
 {
     dfn[u]=low[u]=++cnt;
     instack[u]=;
     s.push(u);
     for (int i=;i<E[u].size();i++)
     {
         int to=E[u][i];
         if (!instack[to]) tarjan(to),low[u]=min(low[u],low[to]);
             else if (instack[to]==) low[u]=min(low[u],dfn[to]);
     }

     if (dfn[u]==low[u])
     {
         int x;
         ++bcnt;
         do
         {
             x=s.top();s.pop();
             instack[x]=;
             b[x]=bcnt;
         }while (x!=u);
     }
 }

 void init()
 {
     scanf("%d%d",&n,&m);
     for (int i=;i<m;i++)
     {
         int a,b,c;char op[];
         scanf("%d%d%d%s",&a,&b,&c,op);
         a++,b++;
         if (op[]=='A')
         {
             if (c==) addedge(a,b+n),addedge(b,a+n);
             if (c==) addedge(a,b),addedge(b,a),addedge(a+n,a),addedge(b+n,b);
         }
         if (op[]=='O')
         {
             if (c==) addedge(a+n,b+n),addedge(b+n,a+n),addedge(a,a+n),addedge(b,b+n);
             if (c==) addedge(a+n,b),addedge(b+n,a);
         }
         if (op[]=='X')
         {
             if (c==) addedge(a,b),addedge(b,a),addedge(a+n,b+n),addedge(b+n,a+n);
             if (c==) addedge(a+n,b),addedge(b+n,a),addedge(a,b+n),addedge(b,a+n);
         }
     }
 }

 void solve()
 {
     memset(instack,,sizeof(instack));
     for (int i=;i<=*n;i++) if (!instack[i]) tarjan(i);
     int flag=;
     for (int i=;i<=n;i++)
         if (b[i]==b[i+n])
         {
             flag=;
             break;
         }
     puts(flag?"YES":"NO");
 }

 int main()
 {
     init();
     solve();
     return ;
 }