HDU1814.Peaceful Commission——2-sat输出字典序最小的解

http://acm.hdu.edu.cn/showproblem.php?pid=1814

题目描述：
有n队的人，编号从1-2*n，m对的人之间互相不喜欢，每对人中必徐选1个人加入和平委员会，求字典序最小的解

分析：
dfs解法 O(nm)

//546MS 2136K   1427 B  C++
#include<iostream>
#include<cstring>
#include<cstdio>
const int MAXN=8010*2;
const int MAXM=80010;
using namespace std;
int n,m;
int s[MAXN],cnt;
bool mark[MAXN];
struct Edge{
    int to,next;
}edge[MAXM<<1];int head[MAXN],tot;
void addedge(int u,int v){
    edge[tot].to=v;edge[tot].next=head[u];head[u]=tot++;
}
void init(){
    tot=0;
    memset(head,0xff,sizeof(head));
}
bool dfs(int u){
    if(mark[u^1]) return false;
    if(mark[u]) return true;
    s[cnt++]=u;
    mark[u]=1;
    for(int i=head[u];i!=-1;i=edge[i].next){
        if(!dfs(edge[i].to))
            return false;
    }
    return true;
}
bool twosat(){
    memset(mark,0,sizeof(mark));
    for(int i=0;i<2*n;i+=2){
        if(!mark[i]&&!mark[i+1]){
            cnt=0;
            if(!dfs(i)){
                while(cnt) mark[s[--cnt]]=false;
                if(!dfs(i^1)) return false;
            }
        }
    }
    return true;
}
int main()
{
    int u,v;
    while(scanf("%d%d",&n,&m)!=EOF){
        init();
        while(m--){
            scanf("%d%d",&u,&v);
            u--,v--;
            addedge(u,v^1);
            addedge(v,u^1);
        }
        if(twosat()){
            for(int i=0;i<2*n;i+=2){
                if(mark[i]) printf("%d\n",i+1);
                else printf("%d\n",i+2);
            }
        }else{
            puts("NIE");
        }

    }
    return 0;
}