题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1814
3 2 1 3 2 4
1 4 5
根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。
此委员会必须满足下列条件：
每个党在议会中有2个代表。代表从1编号到2n。 编号为2i-1和2i的代表属于第I个党派。
任务
写一程序：
输入
在文本文件的第一个行有2非负整数n和m。 他们各自表示：党派的数量n，1 < =n < =8000和不友好的代表对m，0 <=m <=20000。 在下面m行的每行为一对整数a,b，1<=a <b<=2n，中间用单个空格隔开。 它们表示代表a,b互相厌恶。
输出
如果委员会不能创立，文本文件中应该包括单词NIE。若能够成立，文本文件SPO.OUT中应该包括n个从区间1到2n选出的整数，按升序写出，每行一个，这些数字为委员会中代表的编号。如果委员会能以多种方法形成，程序可以只写他们的某一个。
样品输入
3 2
1 3
2 4
样品输出
1
4
5
代码如下：
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>
using namespace std;
const int MAXN = 20020;
const int MAXM = 100010;
struct Edge
{
int to;
int next;
} edge[MAXM];
int head[MAXN],tot;
void init()
{
tot = 0;
memset(head,-1,sizeof(head));
}
void addedge(int u,int v)
{
edge[tot].to = v;
edge[tot].next = head[u];
head[u] = tot++;
}
bool vis[MAXN];//染色标记，为true表示选择
int S[MAXN], top;//栈
bool dfs(int u)
{
if(vis[u^1])
return false;
if(vis[u])
return true;
vis[u] = true;
S[top++] = u;
for(int i = head[u]; i != -1; i = edge[i].next)
{
if(!dfs(edge[i].to))
return false;
}
return true;
}
bool Twosat(int n)
{
memset(vis,false,sizeof(vis));
for(int i = 0; i < n; i += 2)
{
if(vis[i] || vis[i^1])continue;
top = 0;
if(!dfs(i))
{
while(top)
{
vis[S[--top]] = false;
}
if(!dfs(i^1))
return false;
}
}
return true;
}
int main()
{
int n, m;
int u, v;
while(~scanf("%d%d",&n,&m))
{
init();
while(m--)
{
scanf("%d%d",&u,&v);
u--;
v--;
addedge(u,v^1);
addedge(v,u^1);
}
if(Twosat(2*n))
{
for(int i = 0; i < 2*n; i++)
{
if(vis[i])
{
printf("%d\n",i+1);
}
}
}
else
printf("NIE\n");
}
return 0;
}
版权声明：本文为博主原创文章，未经博主允许不得转载。
HDU 1814 Peaceful Commission（2-sat 模板题输出最小字典序解）
原文地址：http://blog.csdn.net/u012860063/article/details/47726145
