2-SAT （染色法）—— Peaceful Commission （HDU 1814）

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

• 分析：
  给出N个党派，每个党派有2i-1和2i两个代表，每一组里只能有一个党的一个带包，给出M对代表间的矛盾关系，求将这2N个党派分别分成N个人一组，输出字典序号最小的一组解。

• 题解：
  对立关系：党派中两个代表

  矛盾关系：给出的M对关系

  建边： 若a与b矛盾，建边：a->~b，b->~a。

  然后直接从1点开始遍历到2N点，染过色的点跳过，没染过色的点和1点一样染成红色，然后继续遍历与它相连的点，如果没染色继续染色搜与它相连的下一个点，如果碰到颜色矛盾的点，说明无解。遍历完之后，输出颜色为红色的点即为最小字典序解（因为从1点开始递增找点搜索，所以必然字典序最小）

• AC代码：

/*************************************************************************
    > File Name: test.cpp
    > Author: Akira 
    > Mail: qaq.febr2.qaq@gmail.com 
 ************************************************************************/

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <cstdlib>
#include <algorithm>
#include <queue>
#include <stack>
#include <map>
#include <cmath>
#include <vector>
#include <set>
#include <list>
#include <ctime>
typedef long long LL;
typedef unsigned long long ULL;
typedef long double LD;
#define MST(a,b) memset(a,b,sizeof(a))
#define CLR(a) MST(a,0)
#define Sqr(a) ((a)*(a))
using namespace std;

#define MaxN 100000
#define MaxM MaxN*10
#define INF 0x3f3f3f3f
#define bug cout<<88888888<<endl;
#define MIN(x,y) (x<y?x:y)
#define MAX(x,y) (x>y?x:y)

#define R 1
#define B 2
#define W 0

int N,M;
struct Edge
{
    int from,to,next;
}edge[MaxM];
int head[MaxN],cont;

void add(int u,int v)
{
    edge[cont].from = u;
    edge[cont].to=v;
    edge[cont].next=head[u];
    head[u]=cont++;
}

void init()
{
    MST(head, -1);
    cont = 0;
}

int cnt;
int color[MaxN];
int ans[MaxN];

bool dfs(int u)
{
    if (color[u] == B)
        return false;
    if (color[u] == R)
        return true;
    color[u] = R;
    color[u^1] = B;
    ans[cnt++] = u;
    for (int i=head[u]; i!=-1; i=edge[i].next)
    {
        int k = edge[i].to;
        if (!dfs(k)) return false;
    }
    return true;
}
bool solve()
{
    CLR(color);
    for(int i=0; i<N; i++)
    {
        if(color[i])  continue;
        cnt = 0;
        if(!dfs(i))
        {
            for(int j=0; j<cnt; j++)
            {
                color[ans[j]] = W;
                color[ans[j]^1] = W;
            }
            if(!dfs(i^1)) return false;
        }
    }
    return true;
}
int main()
{
    while(~scanf("%d %d",&N, &M))
    {
        N <<= 1;
        int i;
        init();
        int a, b;
        while(M--)
        {
            scanf("%d %d",&a, &b);
            a--;
            b--;
            add(a, b^1);
            add(b, a^1);
        }

        if (solve())
        {
            for (i=0; i<N; i++)
                if(color[i] == R)
                    printf("%d\n",i+1);
        }
        else printf("NIE\n");
    }
    return 0;
}