hdu1814 Peaceful Commission (2-SAT 输出字典序最小解，模板题)

题意：

给n，表示有n对人，其中编号为2i-1的人和编号为2i的人是一对(例如1和2，3和4)
给m，表示有m对人互相讨厌，
现在要从这n对人中每对挑出一个人，同时满足挑出的所有人两两不互相厌恶，
输出编号字典序最小的解

分析:

输出2-SAT解的 模板题，
2-SAT输出字典序最小好像只能用dfs求解。

另外，题目给的n是对数，因此总编号数量为2n，注意数组大小

#include<cstdio>
#include<cstring>
#include<iostream>
#include<cmath>
#include<algorithm>
using namespace std;
const int maxm=1e4+5;
int head[maxm<<1],nt[maxm<<2],to[maxm<<2],cnt;
int mark[maxm<<1];
int vis[maxm<<1],num;
int n,m;
void init(){
    memset(head,-1,sizeof head);
    cnt=1;
}
void add(int x,int y){
    nt[++cnt]=head[x];head[x]=cnt;to[cnt]=y;
}
void input(){
    for(int i=0;i<m;i++){
        int a,b;
        scanf("%d%d",&a,&b);
        a--,b--;//因为题目是从1开始，改成从0开始可以利用异或性质
        add(a,b^1);
        add(b,a^1);
    }
}
int dfs(int x){
    if(mark[x^1])return 0;
    if(mark[x])return 1;
    vis[num++]=x;
    mark[x]=1;
    for(int i=head[x];i!=-1;i=nt[i]){
        if(!dfs(to[i])){
            return 0;
        }
    }
    return 1;
}
int solve(){
    memset(mark,0,sizeof mark);
    for(int i=0;i<n*2;i+=2){
        if(!mark[i]&&!mark[i^1]){
            num=0;
            if(!dfs(i)){//如果以i起点不行
                while(num)mark[vis[--num]]=0;//清空mark(这样比memset耗时少，应该吧)
                if(!dfs(i^1))return 0;//如果以i^1也不行，无解
            }
        }
    }
    return 1;
}
int main(){
    while(scanf("%d%d",&n,&m)!=EOF){
        init();
        input();
        if(solve()){
            for(int i=0;i<n*2;i+=2){//根据每对编号相邻的性质，减少一半循环次数
                if(mark[i]){
                    printf("%d\n",i+1);
                }else{
                    printf("%d\n",i+2);
                }
            }
        }else{
            puts("NIE");
        }
    }
    return 0;
}