hdu 3062 Party 2-SAT

题目链接：HDU - 3062

有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 

题目描述：中文题目，如上所述。

算法分析：2-SAT的入门题，如果u和v有矛盾，选u的同时必须选v^1，选v的同时只能选择u^1，然后缩点判断即可。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<cstdlib>
 #include<cmath>
 #include<algorithm>
 #include<queue>
 #include<vector>
 #include<stack>
 using namespace std;
 const int maxn=+;
 const int M=+;

 int n,m;
 struct node
 {
     int v,next;
 }edge[M*];
 int head[maxn],edgenum;
 int dfn[maxn],low[maxn],scc[maxn],ind[maxn],vis[maxn];
 stack<int> S;
 int color[maxn],f[maxn];
 int dfs_clock,scc_cnt;
 vector<int> dag[maxn];
 void add(int u,int v)
 {
     edge[edgenum].v=v ;edge[edgenum].next=head[u] ;
     head[u]=edgenum++;
 }
 void init()
 {
     memset(head,-,sizeof(head));
     memset(vis,,sizeof(vis));
     memset(dfn,,sizeof(dfn));
     memset(ind,,sizeof(ind));
     memset(color,,sizeof(color));
     edgenum=dfs_clock=scc_cnt=;
 }
 void tarjan(int u)
 {
     dfn[u]=low[u]= ++dfs_clock;
     vis[u]=;
     S.push(u);
     for (int i=head[u] ;i!=- ;i=edge[i].next)
     {
         int v=edge[i].v;
         if (!dfn[v])
         {
             tarjan(v);
             low[u]=min(low[u],low[v]);
         }
         else if (vis[v])
             low[u]=min(low[u],dfn[v]);
     }
     if (low[u]==dfn[u])
     {
         scc_cnt++;
         while (true)
         {
             int v=S.top() ;S.pop() ;
             vis[v]=;
             scc[v]=scc_cnt;
             if (u==v) break;
         }
     }
 }
 void buildDag(int n)
 {
     for (int u= ;u<*n ;u++)
     {
         for (int i=head[u] ;i!=- ;i=edge[i].next)
         {
             int v=edge[i].v;
             if (scc[v] != scc[u])
             {
                 dag[scc[v]].push_back(scc[u]);
                 ind[scc[u]]++;
             }
         }
     }
 }
 void topsort()
 {
     queue<int> Q;
     for (int i= ;i<=scc_cnt ;i++) if (!ind[i]) Q.push(i);
     while (!Q.empty())
     {
         int u=Q.front() ;Q.pop();
         if (!color[u]) color[u]=,color[f[u]]=;
         for (int i= ;i<(int)dag[u].size() ;i++)
         {
             int v=dag[u][i];
             ind[v]--;
             if (!ind[v]) Q.push(v);
         }
     }
 }
 void solve(int n)
 {
     int flag=;
     for (int i= ;i<*n ;i++) if (!dfn[i]) tarjan(i);
     for (int i= ;i<n ;i++)
     {
         if(scc[*i]==scc[(*i)^])
         {
             printf("NO\n");
             flag=;
             return ;
         }
         //else f[scc[i]]=scc[i+1],f[scc[i+1]]=scc[i];
     }
     if (!flag) printf("YES\n");
 //    for (int i=0 ;i<=scc_cnt ;i++) dag[i].clear();
 //    buildDag(n);
 //    topsort();
     return ;
 }
 int main()
 {
     while (scanf("%d%d",&n,&m)!=EOF)
     {
         init();
         int a,b,c,d;
         for (int i= ;i<m ;i++)
         {
             scanf("%d%d%d%d",&a,&b,&c,&d);
             int u=*a+c,v=*b+d;
             add(u,v^) ;add(v,u^);
         }
         solve(n);
     }
     return ;
 }