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

 

Sample Output

 #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 ;

 }