POJ3687 Katu Puzzle

好好写2-sat

如果a1-->b1矛盾则连边a1-->b2和b1-->a2

我定了一个ccnt和cnt变量，结果少打一个c，wa了好多次(lll￢ω￢)

By：大奕哥

 #include<iostream>
 #include<cstdio>
 #include<cstdlib>
 #include<cstring>
 #include<algorithm>
 #include<vector>
 #include<queue>
 using namespace std;
 const int N=1e4+;
 int top,num,cnt,ccnt,n,m;
 int low[N],dfn[N],vis[N],head[N],col[N],s[N];
 struct node
 {
     int to,nex;
 }e[];
 void add(int x,int y)
 {
     e[++ccnt].to=y;e[ccnt].nex=head[x];head[x]=ccnt;
 }
 void dfs(int x)
 {
     s[++top]=x;dfn[x]=low[x]=++cnt;vis[x]=;
     for(int i=head[x];i;i=e[i].nex)
     {
         int y=e[i].to;
         if(!dfn[y])
         {
             dfs(y);
             low[x]=min(low[x],low[y]);
         }
         else if(vis[y])
         low[x]=min(low[x],dfn[y]);
     }
     if(low[x]==dfn[x])
     {
         ++num;
         while(s[top+]!=x)
         {
             int a=s[top--];
             vis[a]=;
             col[a]=num;
         }
     }
 }
 bool solve()
 {
     for(int i=;i<=n*;++i)
     {
         if(!dfn[i])dfs(i);
     }
     for(int i=;i<=n;++i)if(col[i]==col[i+n])return ;
     return ;
 }
 void init()
 {
     top=num=cnt=ccnt=;
     memset(low,,sizeof(low));
     memset(dfn,,sizeof(dfn));
     memset(head,,sizeof(head));
     memset(vis,,sizeof(vis));
     memset(col,,sizeof(col));
 }
 int main()
 {
     while(~ scanf("%d%d",&n,&m))
     {
         init();int a,b,c;char s[];
         for(int i=;i<=m;++i)
         {//x  0  x+n  1
             scanf("%d%d%d%s",&a,&b,&c,s);a++;b++;
             if(s[]=='A')
             {
                 if(c==)
                 {
                     add(a+n,b+n);add(b,a);//1 0
                     add(a,b);add(b+n,a+n);// 0 1
                     add(a,b+n);add(b,a+n);// 0 0
                 }
                 else
                 {
                     add(a+n,b);add(b+n,a);//1 1
                 }
             }
             else if(s[]=='X')
             {
                 if(c==)
                 {
                     add(a+n,b);add(b+n,a);//1 1
                     add(a,b+n);add(b,a+n);// 0 0
                 }
                 else
                 {
                     add(a,b);add(b+n,a+n);// 0 1
                     add(a+n,b+n);add(b,a);// 1 0
                 }
             }
             else
             {
                 if(c==)
                 {
                     add(a,b+n);add(b,a+n);//0 0
                 }
                 else
                 {
                     add(a+n,b);add(b+n,a);// 1 1
                     add(a+n,b+n);add(b,a);// 1 0
                     add(a,b);add(b+n,a+n);// 0 1
                 }
             }
         }
         if(solve())puts("YES");
         else puts("NO");
     }
 }