HDU 3062：Party（2-SAT入门）

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

题意：中文。

思路：裸的2-SAT。判断二元组的两个人是否在同一个强连通分量。

学习地址：http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html

 #include <bits/stdc++.h>
 using namespace std;
 #define N 2010
 struct Edge {
     int u, v, nxt;
 } edge[N*N*];
 int head[N], tot, belong[N], num, dfn[N], low[N], vis[N], tid;
 stack<int> sta;

 void Add(int u, int v) {
     edge[tot] = (Edge) { u, v, head[u] }; head[u] = tot++;
 }

 void init() {
     memset(head, -, sizeof(head));
     memset(vis, , sizeof(vis));
     memset(dfn, , sizeof(dfn));
     memset(low, , sizeof(low));
     tot = num = tid = ;
     while(!sta.empty()) sta.pop();
 }

 void tarjan(int u) {
     dfn[u] = low[u] = ++tid;
     vis[u] = ; sta.push(u);
     for(int i = head[u]; ~i; i = edge[i].nxt) {
         int v = edge[i].v;
         if(!dfn[v]) {
             tarjan(v);
             if(low[u] > low[v]) low[u] = low[v];
         } else if (vis[v]) {
             if(low[u] > dfn[v]) low[u] = dfn[v];
         }
     }
     if(low[u] == dfn[u]) {
         num++;
         while(true) {
             int x = sta.top(); sta.pop();
             belong[x] = num;
             vis[x] = ;
             if(x == u) break;
         }
     }
 }

 int main() {
     int n, m;
     while(~scanf("%d", &n)) {
         scanf("%d", &m); init();
         for(int i = ; i < m; i++) {
             int a, b, c, d;
             scanf("%d%d%d%d", &a, &b, &c, &d);
             Add(a *  + c, b *  + (d + ) % );
             Add(b *  + d, a *  + (c + ) % );
         }
         for(int i = ; i <  * n; i++) if(!dfn[i]) tarjan(i);
         bool flag = ;
         for(int i = ; i < n; i++)
             if(belong[i*] == belong[i*+]) flag = ;
         if(flag) puts("YES");
         else puts("NO");
     }
     return ;
 }