题意：
和平委员会
根据宪法，Byteland**的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。
此委员会必须满足下列条件：
- 每个党派都在委员会中恰有1个代表，
- 如果2个代表彼此厌恶，则他们不能都属于委员会。
每个党在议会中有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 <iostream>
#include <cstring>
#include <algorithm>
#include <cstdio>
using namespace std;
const int Maxn = * + ;
const int Maxm = * + ; //注意数据范围
struct Edge
{
int to, Next;
}edge[Maxm];
int head[Maxn], tot;
void init()
{
tot = ;
memset(head, -, sizeof(head));
}
void addedge(int u, int v)
{
edge[tot].to = v;
edge[tot].Next = head[u];
head[u] = tot++;
}
bool vis[Maxn];
int S[Maxn], top;
bool dfs(int u)
{
if (vis[u ^ ])
return false;
if (vis[u])
return true;
vis[u] = true;
S[top++] = u;
for (int i = head[u]; i != -; i = edge[i].Next)
if (!dfs(edge[i].to))
return false;
return true;
}
bool Twosat(int n)
{
memset(vis, , sizeof(vis));
for (int i = ; i < n; i += )
{
if (vis[i] || vis[i ^ ]) //已经选择了继续
continue;
top = ;
if (!dfs(i))
{
while (top)
vis[ S[--top] ] = false;
if (!dfs(i ^ ))
return false;
}
}
return true;
}
int main()
{
int n, m;
int u, v;
while (scanf("%d%d", &n, &m) != EOF)
{
init();
while (m--)
{
scanf("%d%d", &u, &v);
u--;
v--;
addedge(u, v ^ );
addedge(v, u ^ );
}
if (Twosat(n * ))
{
for (int i = ; i < * n; i++)
if (vis[i])
printf("%d\n", i + );
}
else printf("NIE\n");
} return ;
}