HDU-1814 Peaceful Commission （2-SAT暴力模板 暴力染色+字典序最小）

链接：http://acm.hdu.edu.cn/showproblem.php?pid=1814

题意：多组样例。2n个人。每两个为一个党派的人，m个互斥关系。每个党派选一个人，总共n个人。有解的话输出字典序最小的。

思路：赤果果的2-SAT题。先说说2-SAT吧，目前理解就是。有n个集合，每个集合有两个元素，每个集合必须选一个元素，并且不同集合的元素还有互斥关系，2-SAT就可以判断是否有解，并且能找到一个解。只学了暴力的解法，但貌似字典序最小只能暴力。至于更快的写法，明天补上。

#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int N = 2e4+10;
const int M = 4e4+10;
struct node
{
	int to,nxt;
}g[M];
int n,m,head[N],cnt,u,v,sta[N],top;
bool vis[N];
void Init()
{
	cnt=0;
	for(int i=0;i<2*n;i++)
		head[i]=-1,vis[i]=0;
	return ;
}
void add(int u,int v)
{
	g[cnt].to=v;
	g[cnt].nxt=head[u];
	head[u]=cnt++;
	return ;
}
bool dfs(int u)
{
	if(vis[u^1]) return 0;
	if(vis[u]) return 1;
	int v;
	sta[++top]=u;
	vis[u]=1;
	for(int i=head[u];i!=-1;i=g[i].nxt)
	{
		v=g[i].to;
		if(!dfs(v)) return 0;
	}
	return 1;
}
bool judge()
{
	int tot=0;
	for(int i=0;i<2*n;i+=2)
	{
		if(vis[i]||vis[i^1])
			continue;	
		top=0;
		if(!dfs(i))
		{
			while(top)	
				vis[sta[top--]]=0;
			if(!dfs(i^1)) return 0;	
		}
	}
	return 1;
}
int main(void)
{
	//freopen("SPO.IN","r",stdin);
	//freopen("SPO.OUT","w",stdin);
	while(~scanf("%d%d",&n,&m))
	{
		Init();
		for(int i=1;i<=m;i++)
		{
			scanf("%d%d",&u,&v);
			u--,v--;
			add(u,v^1);
			add(v,u^1);	
		}
		if(judge())
		{
			for(int i=0;i<2*n;i++)
				if(vis[i])
					printf("%d\n",i+1);	
		}
		else
			printf("NIE\n");
	}
	return 0;
}