HDU - 1814 Peaceful Commission（一个粗暴的2-sat）

HDU - 1814 

题意：直白的2-sat，但是这个是要输出最小的字典序，那么我们只能选择暴力。

思路：我的暴力的想法是，枚举每对元素，先优先取靠前的那个，把它所有连了边的都取了然后打tag，如果它不会产生矛盾，那么继续，如果有，那么先把所有的tag取消，再判断a+1有没有矛盾，如果a+1也有矛盾，那这组数据就已经gg了。我已经是个蠢到取消tag也要用dfs的人了，看了别人的暴力...基本都是用栈保留然后取消tag，我试了一下，我的两波dfs要跑2s.....而用栈处理.只需要1s不到。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int maxn = 8e3 + 50, maxe = 2e5;
struct node
{
    int to,next;
    node(int a,int b){to = a; next = b;}
    node(){}
}edge[maxe];
int h[maxn<<1];

int n,m,edgenum,snum=0;
int vis[maxn],col[maxn],ans[maxn],S[maxn];
void add(int f,int t)
{
    edge[edgenum] = node(t,h[f]);
    h[f] = edgenum++;
}
int flag = 0;
bool dfs(int u,int root)
{
    if(col[u^1] != -1) return 0;
    if(col[u] != -1) return 1;
    col[u] = root;
    for(int i = h[u]; ~i; i = edge[i].next)
    {
        int v = edge[i].to;
        if(dfs(v,root) == 0) return 0;
    }
    return true;
}
void clean(int u)
{
    col[u] = -1;
    for(int i = h[u]; ~i; i = edge[i].next)
    {
        int v = edge[i].to;
        if(col[v] != -1)
            clean(v);
    }
}
int main()
{
    int a,b;
    while(~scanf("%d%d",&n,&m))
    {

        edgenum = snum = 0;
        for(int i = 0; i < n*2 ; i++) h[i] = -1,col[i] = -1;
        for(int i = 0; i < m ; i++)
        {
            scanf("%d%d",&a,&b); a--,b--;
            add(a,b^1); add(b,a^1);
        }
        int mark = 0;
        int num = 0;
        for(int i = 0; i < n*2 ; i += 2)
        {
            if(col[i] == -1 && col[i+1] == -1)
            {
                if(dfs(i,i)) continue;
                else
                {
                    clean(i);
                    if(dfs(i+1,i+1))    continue;
                    else {mark = 1;break;}
                }
            }
        }
        if(mark) {printf("NIE\n");}
        else
        {
            for(int i = 0; i < n*2; i++)
                if(col[i]!=-1)printf("%d\n",i+1);
        }
    }
    return 0;
}