【无聊放个模板系列】POJ 3678 2-SAT

 #include<cstdio>
 #include<cstdlib>
 #include<cstring>
 #include<iostream>
 #include<algorithm>
 #include<queue>
 #include<cmath>
 #include<stack>
 using namespace std;
 #define Maxn 1010
 #define Maxm 1000010

 char s[];
 int n,m;

 struct node
 {
     int x,y,next;
 }t[*Maxm];int len;
 int first[*Maxn];

 void ins(int x,int y)
 {
     t[++len].x=x;t[len].y=y;
     t[len].next=first[x];first[x]=len;
 }

 bool mark[*Maxn];
 int S[*Maxn];

 bool dfs(int x)
 {
     if(mark[x^]) return ;
     if(mark[x]) return ;
     S[++S[]]=x;mark[x]=;
     for(int i=first[x];i;i=t[i].next)
     {
         int y=t[i].y;
         if(!dfs(y)) return ;
     }
     return ;
 }

 bool tsat()
 {
     for(int i=;i<n;i++)
     {
         if(!mark[*i]&&!mark[*i+])
         {
             S[]=;
             if(!dfs(*i))
             {
                 while(S[]) mark[S[S[]--]]=;
                 if(!dfs(*i+)) return ;
             }
         }
     }
     return ;
 }

 int main()
 {
     scanf("%d%d",&n,&m);
     len=;
     memset(first,,sizeof(first));
     for(int i=;i<=m;i++)
     {
         int x,y,z;
         scanf("%d%d%d",&x,&y,&z);
         scanf("%s",s);
         if(s[]=='A')
         {
             if(z==)
             {
                 ins(*x,*y);ins(*x,*y+);
                 ins(*y,*x);ins(*y,*x+);
             }
             else
             {
                 ins(*x+,*y);
                 ins(*y+,*x);
             }
         }
         else if(s[]=='O')
         {
             if(z==)
             {
                 ins(*x,*y+);
                 ins(*y,*x+);
             }
             else
             {
                 ins(*x+,*y);ins(*x+,*y+);
                 ins(*y+,*x);ins(*y+,*x+);
             }
         }
         else if(s[]=='X')
         {
             if(z==)
             {
                 ins(*x,*y+);ins(*x+,*y);
                 ins(*y,*x+);ins(*y+,*x);
             }
             else
             {
                 ins(*x,*y);ins(*x+,*y+);
                 ins(*y,*x);ins(*y+,*x+);
             }
         }
     }
     if(tsat()) printf("YES\n");
     else printf("NO\n");
     return ;
 }

2-SAT

2016-11-17 22:00:10