HDU1814 Peaceful Commission 2-sat

原文链接http://www.cnblogs.com/zhouzhendong/p/8099115.html

---

题目传送门 - HDU1814

---

题面

Description

　　根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。
　　此委员会必须满足下列条件：
　　每个党派都在委员会中恰有1个代表， 
　　如果2个代表彼此厌恶，则他们不能都属于委员会。 
　　每个党在议会中有2个代表。代表从1编号到2n。 编号为2i-1和2i的代表属于第i个党派。
　　任务：写一程序读入党派的数量和关系不友好的代表对，计算决定建立和平委员会是否可能，若行，则列出委员会的成员表。

Input

　　输入文件的第一个行有2非负整数n和m。 他们各自表示：党派的数量n，1 <=n <=8000和不友好的代表对m，0 <=m <=20000。 在下面m行的每行为一对整数a,b，1<=a<b<=2n，中间用单个空格隔开。 它们表示代表a,b互相厌恶。

Output

　　如果委员会不能创立，则输出信息“NIE”。若能够成立，则输出包括n个从区间1到2n选出的整数，按升序写出，每行一个，这些数字为委员会中代表的编号。如果委员会能以多种方法形成，程序可以只写他们的某一个。

Sample Input

3 2
1 3
2 4

Sample Output

1
4
5

---

题解

　　第一道2-sat。

　　挖坑待填。

---

代码

#include <cstring>
#include <cstdio>
#include <algorithm>
#include <cstdlib>
#include <cmath>
using namespace std;
const int N=8005*2,M=20005*2;
struct Gragh{
	int cnt,y[M],nxt[M],fst[N];
	void clear(){
		cnt=0;
		memset(fst,0,sizeof fst);
	}
	void add(int a,int b){
		y[++cnt]=b,nxt[cnt]=fst[a],fst[a]=cnt;
	}
}g;
int n,m;
int st[N],top,vis[N];
int opp(int x){
	return x+(x%2==0?-1:1);
}
bool dfs(int x){
	if (vis[opp(x)])
		return 0;
	if (vis[x])
		return 1;
	vis[x]=1;
	st[++top]=x;
	for (int i=g.fst[x];i;i=g.nxt[i])
		if (!dfs(g.y[i]))
			return 0;
	return 1;
}
bool Two_sat(int n){
	memset(vis,0,sizeof vis);
	for (int i=1;i<=n;i+=2){
		if (vis[i]||vis[opp(i)])
			continue;
		top=0;
		if (!dfs(i)){
			while (top)
				vis[st[top--]]=0;
			if (!dfs(opp(i)))
				return 0;
		}
	}
	return 1;
}
int main(){
	while (~scanf("%d%d",&n,&m)){
		g.clear();
		for (int i=1,a,b;i<=m;i++){
			scanf("%d%d",&a,&b);
			g.add(a,opp(b));
			g.add(b,opp(a));
		}
		if (Two_sat(n*2)){
			for (int i=1;i<=2*n;i++)
				if (vis[i])
					printf("%d\n",i);
		}
		else
			printf("NIE\n");
	}
	return 0;
}