HDU 1814 Peaceful Commission （2-sat暴力染色）

题意：共和国要组建委员会，现在有N个党派，每个党派中有两人，而且有且只有一人能参加委员会，但是现在不同党派间有些人有矛盾，因此这些人是不能同时属于委员会的。现在要你求出每个党派的派出人选，如果有多组解，则输出字典序最小的那组解。

分析：直接暴力枚举DFS，首先将所有的点都置为为染色，然后我们从第一个点开始DFS染色，我们先尝试将i染

           成红色(答案中的颜色)，将~i染成蓝色，然后dfs i的所有后继并染色，如果对于后继j没有染色，那么将j然

           后为红色，~j染成蓝色。如果后继j已经被染成蓝色，则说明不能选则i，如果j已经染成红色，则说明可以。

          那么这些后继就可以被选择。如果选择i的时候失败了，那么必定要选择~i,如果也失败，则说明无解。否则

          按次序选取下一个未被染色的点。时间复杂度O(nm)。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>
using namespace std;
const int maxn = 2e4 + 5;
vector<int> vt[maxn];
int n, m, mark[maxn], sta[maxn], top;
int dfs(int x)
{
    if(mark[x^1])
        return 0;
    if(mark[x])
        return 1;
    mark[x] = 1;
    sta[top++] = x;
    for(int i = 0; i < vt[x].size(); i++)
        if(!dfs(vt[x][i]))
            return 0;
    return 1;
}
int solve()
{
    for(int i = 0; i < 2*n; i += 2)
    {
        if(!mark[i] && !mark[i+1])
        {
            top = 0;
            if(!dfs(i))
            {
                while(top > 0)
                    mark[sta[--top]] = 0;
                if(!dfs(i+1))
                    return 0;
            }
        }
    }
    return 1;
}
int main()
{
    while(~scanf("%d%d", &n, &m))
    {
        for(int i = 0; i < maxn; i++) vt[i].clear();
        int x, y;
        for(int i = 0; i < m; i++)
        {
            scanf("%d%d", &x, &y);
            --x, --y;  //从0开始， 这样 ^就是 奇数/偶数对应东西
            vt[x].push_back(y^1);
            vt[y].push_back(x^1);
        }
        memset(mark, 0, sizeof(mark));
        top = 0;
        if(!solve())
            puts("NIE");
        else
        {
            for(int i = 0; i < 2*n; i++)
                if(mark[i])
                    printf("%d\n", i+1);
        }
    }
    return 0;
}