图论（2-sat）：HDU 3062 Party

Party

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 5558    Accepted Submission(s): 1809

Problem Description

有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？

Input

n： 表示有n对夫妻被邀请 (n<= 1000)
m： 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))

在接下来的m行中，每行会有4个数字，分别是 A1,A2,C1,C2
A1,A2分别表示是夫妻的编号
C1,C2 表示是妻子还是丈夫 ，0表示妻子 ，1是丈夫
夫妻编号从 0 到 n -1

Output

如果存在一种情况 则输出YES
否则输出 NO

Sample Input

2
1
0 1 1 1

Sample Output

YES

　　模板题。

 #include <iostream>
 #include <cstring>
 #include <cstdio>
 using namespace std;
 const int maxn=;
 int n,m;
 int cnt,fir[maxn],nxt[maxn*],to[maxn*];
 void addedge(int a,int b){
     nxt[++cnt]=fir[a];
     fir[a]=cnt;
     to[cnt]=b;
 }
 int scc[maxn],scnt;
 int ID[maxn],low[maxn],tot;
 int st[maxn],top;

 void Tarjan(int x){
     ID[x]=low[x]=++tot;st[++top]=x;
     for(int i=fir[x];i;i=nxt[i]){
         if(ID[to[i]]){
             if(!scc[to[i]])
                 low[x]=min(low[x],ID[to[i]]);
         }
         else{
             Tarjan(to[i]);
             low[x]=min(low[x],low[to[i]]);
         }
     }
     if(low[x]==ID[x]){
         ++scnt;
         while(true){
             int y=st[top--];
             scc[y]=scnt;
             if(x==y)break;
         }
     }
 }
 bool Solve(){
     for(int i=;i<*n;i++)
         if(!ID[i])Tarjan(i);

     for(int i=;i<n;i++)
         if(scc[i*]==scc[i*+])
             return false;
     return true;
 }

 void Init(){
     memset(fir,,sizeof(fir));
     memset(scc,,sizeof(scc));
     memset(ID,,sizeof(ID));
     cnt=;tot=;scnt=;
 }

 int main(){
     while(scanf("%d%d",&n,&m)!=EOF){
         Init();
         while(m--){
             int a,b,c,d;
             scanf("%d%d%d%d",&a,&b,&c,&d);
             a=a*+c;b=b*+d;
             addedge(a,b^);addedge(b,a^);
         }
         if(Solve())
             printf("YES\n");
         else
             printf("NO\n");
     }
     return ;
 }