HDU 1814 Peaceful Commission (2-SAT) O(nm)做法

题意：找出字典序最小的解

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

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

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

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

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

#include <map>
#include <stack>
#include <queue>
#include <deque>
#include <cmath>
#include <vector>
#include <string>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
#define L(i) i<<1
#define R(i) i<<1|1
#define INF  0x3f3f3f3f
#define pi acos(-1.0)
#define eps 1e-9
#define maxn 200100
#define MOD 1000000007

#define N 8010*2
#define M 40000+5

struct Edge
{
    int to, nex;
} edge[M];

int head[N], edgenum;
void addedge(int u, int v)
{
    Edge E = {v, head[u]};
    edge[edgenum] = E;
    head[u] = edgenum ++;
}

bool mark[N];
int Stack[N], top;
void init()
{
    memset(head, -1, sizeof(head));
    edgenum = 0;
    memset(mark, 0, sizeof(mark));
}

bool dfs(int x)
{
    if(mark[x^1])return false;//一定是拆点的点先判断
    if(mark[x])return true;

    mark[x] = true;
    Stack[top++] = x;

    for(int i = head[x]; i != -1; i = edge[i].nex)
        if(!dfs(edge[i].to)) return false;

    return true;
}

bool solve(int n)
{
    for(int i = 0; i < n; i+=2)
        if(!mark[i] && !mark[i^1])
        {
            top = 0;
            if(!dfs(i))//dfs(i) 假设i成立
            {
                //当i不成立时，把所有因i成立的点都取消标记
                while( top ) mark[ Stack[--top] ] = false;
                if(!dfs(i^1))
                    return false;//若i的对立面也不成立则i点无解
            }
        }
    return true;
}

int main()
{
    int n, i, j, m;
    while(~scanf("%d%d",&n,&m))
    {
        n <<= 1;
        init();

        while(m--)
        {
            int u,v;
            scanf("%d %d",&u,&v);
            u--, v--;
            addedge(u,v^1);
            addedge(v,u^1);
        }

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

    }
    return 0;
}