【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=(+)*;
 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^]=B;
     ans[++cnt]=u;
     for (int i=;i<E[u].size();i++)
     {
         int v=E[u][i];
         if (col[v]==R) continue;
         if (col[v]==B || !dfs(v)) return ;
     }
     return ;
 }

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

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

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