Party

hdu3062:http://acm.hdu.edu.cn/showproblem.php?pid=3062

题意：中文题。

题解：很明显的2-sat。然后要深刻理解命题和逆否命题。如这一题，c1,c2,表示矛盾。则可以推出如果选c1,则要选~c2,逆否就是不选~c2就要选~c1,就是选c2和~c1,所以既可以加边了，然后就是2-sat。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<vector>
 using namespace std;
 const int N=;
 const int M=;
 struct Node{
   int u;
   int v;
 }e[N*];
 struct Edge{
     int to,next;
 } edge[M];

 int  n,m,cnt,dep,top,atype;
 int  dfn[N],low[N],vis[N],head[N],st[N],belong[N],in[N],out[N],sum[N];
 //sum[i]记录第i个连通图的点的个数,in[i],out[i],表示缩点之后点的入度和初度。
 void init(){
       cnt=dep=top=atype=;
     memset(head,-,sizeof(head));
     memset(dfn,,sizeof(dfn));
     memset(low,,sizeof(low));
     memset(vis,,sizeof(vis));
     memset(belong,,sizeof(belong));
     memset(in,,sizeof(in));
     memset(out,,sizeof(out));
     memset(sum,,sizeof(sum));
 }
 void addedge(int u,int v){
     edge[cnt].to=v;
     edge[cnt].next=head[u];
     head[u]=cnt++;
 }

 void Tarjan(int u){
     dfn[u]=low[u]=++dep;
     st[top++]=u;
     vis[u]=;
     for(int i=head[u]; i!=-; i=edge[i].next){
         int v=edge[i].to;
         if(!dfn[v]){
             Tarjan(v);
             low[u]=min(low[u],low[v]);
         }
         else if(vis[v]){
             low[u]=min(low[u],dfn[v]);
         }
     }
     int j;
     if(dfn[u]==low[u]){
         atype++;
         do{
             j=st[--top];
             belong[j]=atype;
             sum[atype]++;   //记录每个连通分量中点的个数
             vis[j]=;
         }
         while(u!=j);
     }
 }
 int main(){
    while(~scanf("%d%d",&n,&m)){
        init();
        for(int i=;i<=m;i++){
          int a1,a2,c1,c2;a1++,a2++;
             scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
              a1++;a2++;
             if(c1==&&c2==){
                 addedge(a1,a2+n);
                 addedge(a2,a1+n);
             }
             if(c1==&&c2==){
                 addedge(a1,a2);
                 addedge(a2+n,a1+n);
             }
             if(c1==&&c2==){
                 addedge(a1+n,a2+n);
                 addedge(a2,a1);
             }
             if(c1==&&c2==){
                 addedge(a1+n,a2);
                 addedge(a2+n,a1);
             }
        }
        for(int i=;i<=n*;i++)
           if(!dfn[i])Tarjan(i);
          bool flag=false;
          for(int i=;i<=n;i++){
             if(belong[i]==belong[i*]){
                 flag=true;
             }
          }
          if(!flag){
             printf("YES\n");
          }
          else
            printf("NO\n");
    }
 }