HDU 3062 Party

Party

Time Limit: 1000ms

Memory Limit: 32768KB

This problem will be judged on HDU. Original ID: 3062
64-bit integer IO format: %I64d      Java class name: Main

 

有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

Source

2009 Multi-University Training Contest 16 - Host by NIT

 

解题：2-SAT。模板题。给每对夫妻编号为2*i 和2*i+1.

 

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <climits>
#include <vector>
#include <queue>
#include <cstdlib>
#include <string>
#include <set>
#include <stack>
#define LL long long
#define pii pair<int,int>
#define INF 0x3f3f3f3f
using namespace std;
const int maxn = 2010;
struct arc{
    int u,v,next;
    arc(int x = 0,int y = 0,int z = 0){
        u = x;
        v = y;
        next = z;
    }
};
arc e[2000100];
int dfn[maxn],low[maxn],belong[maxn];
bool instack[maxn];
int head[maxn],tot,scc,index,n,m;
stack<int>stk;
void add(int u,int v){
    e[tot] = arc(u,v,head[u]);
    head[u] = tot++;
}
void tarjan(int u){
    dfn[u] = low[u] = ++index;
    instack[u] = true;
    stk.push(u);
    for(int i = head[u]; ~i; i = e[i].next){
        if(!dfn[e[i].v]){
            tarjan(e[i].v);
            if(low[e[i].v] < low[u])
                low[u] = low[e[i].v];
        }else if(instack[e[i].v] && low[u] > dfn[e[i].v])
            low[u] = dfn[e[i].v];
    }
    if(dfn[u] == low[u]){
        scc++;
        int now;
        do{
            now = stk.top();
            stk.pop();
            belong[now] = scc;
            instack[now] = false;
        }while(now != u);
    }

}
bool solve(){
    int k = n<<1;
    while(!stk.empty()) stk.pop();
    for(int i = 0; i < k; i++)
        if(!dfn[i]) tarjan(i);
    for(int i = 0; i < n; i++)
        if(belong[i<<1] == belong[i<<1|1]) return false;
    return true;
}
int main() {
    int u,v,x,y;
    while(~scanf("%d %d",&n,&m)){
        for(int i = 0; i < maxn; i++){
            dfn[i] = belong[i] = 0;
            head[i] = -1;
            instack[i] = false;
        }
        tot = scc = index = 0;
        for(int i = 0; i < m; i++){
            scanf("%d %d %d %d",&x,&y,&u,&v);
            x = (x<<1)+u;
            y = (y<<1)+v;
            add(x,y^1);
            add(y,x^1);
        }
        solve()?puts("YES"):puts("NO");
    }
    return 0;
}