HDU 1814 Peaceful Commission（2-sat 模板题输出最小字典序解决方式）

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

3 2
1 3
2 4

1
4
5

和平委员会

依据宪法，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 <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;
}