【2-SAT（最小字典序/暴力染色）】HDU1814-Peaceful Commission

【题目大意】

和平委员会每个党派有2个人，只能派出其中1个，其中有一些人之间互相讨厌不能同时派出。求出派遣方案，如果有多种方案输出字典序最小的方案。

【思路】

最小字典序只能用暴力染色。初始时均没有染色。枚举将党派第一个人染成红色，然后dfs把和它相连的全部染成红色，如果其中有的是蓝色那么矛盾；如果第一种情况矛盾那么dfs第二个人染成红色，如果也矛盾说明无解。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#define W 0
#define R 1
#define B 2
using namespace std;
const int MAXN=(8000+50)*2;
int n,m;
vector<int> E[MAXN];
int col[MAXN],ans[MAXN],cnt;

void addedge(int u,int v)
{
    E[u].push_back(v);
}

int dfs(int u)
{
    col[u]=R;
    col[u^1]=B;
    ans[++cnt]=u;
    for (int i=0;i<E[u].size();i++)
    {
        int v=E[u][i];
        if (col[v]==R) continue;
        if (col[v]==B || !dfs(v)) return 0;
    }
    return 1;
}

void init()
{
    for (int i=0;i<m;i++)
    {
        int u,v;
        scanf("%d%d",&u,&v);
        u--;v--;
        addedge(u,v^1);
        addedge(v,u^1);
    }
}

int solve()
{
    memset(col,0,sizeof(col));
    for (int i=0;i<n*2;i++)
        if (!col[i])
        {
            cnt=0;
            if (!dfs(i))
            {
                for (int j=1;j<=cnt;j++) col[ans[j]]=col[ans[j]^1]=W;
                if (!dfs(i^1)) return 0;
            }
        }
    return 1;
}

int main()
{
    //freopen("spo0.in","r",stdin);
    //freopen("spo0.out","w",stdout); 
    while (scanf("%d%d",&n,&m)!=EOF)
    {
        for (int i=0;i<2*n;i++) vector<int>().swap(E[i]);//不要忘记清空vector 
        init();
        if(solve())
        {
            for(int i=0;i<2*n;i++)
            {
                if(col[i]==R) printf("%d
", i+1);
            }
        }
        else
        {
            printf("NIE
");
        }
    }
    return 0;
}