hdu-1814(2-SAT)

題意：給1~n*2個人，兩兩爲一組，每組選一人，求在滿足m個限制條件的情況下輸出字典序最小的數列。

思路：典型的2-sat問題，因爲是字典序最小問題，暴力解決便可；若是判斷能否存在，則用判斷強連通分量的方法判斷。

#include<iostream>
#include<stdio.h>
#include<math.h>
#include <string>
#include<string.h>
#include<map>
#include<queue>
#include<set>
#include<utility>
#include<vector>
#include<algorithm>
#include<stdlib.h>
using namespace std;
#define eps 1e-8
#define inf 0x3f3f3f3f
#define rd(x) scanf("%d",&x)
#define rd2(x,y) scanf("%d%d",&x,&y)
#define ll long long int
#define mod 1000000007
#define maxn 20000
#define maxm 20000
vector<int> f[maxn];
int col[maxn];
int ans[maxn],cnt;
int n,m,x,y;
const int R=1;
const int B=2;
const int W=0;
bool dfs(int x){
    if(col[x]==R) return true;
    if(col[x]==B) return false;
    col[x]=R;
    col[x^1]=B;
    ans[cnt++]=x;
    for(int i=0;i<f[x].size();i++)
        if(!dfs(f[x][i])) return false;
    return true;
}
bool solve(){
    memset(col,0,sizeof(col));
    for(int i=0;i<n;i+=2)
    {
        if(col[i]) continue;
        cnt=0;
        if(!dfs(i)){//先嚐試該組字典序小的，不存在解再試大的
            for(int j=0;j<cnt;j++)
                col[ans[j]]=W,col[ans[j]^1]=W;
            if(!dfs(i^1)) return false;
        }
    }
    return true;
}
int main()
{
    while(~rd2(n,m)){
        n*=2;
        for(int i=0;i<n;i++) f[i].clear();
        for(int i=1;i<=m;i++)
        {
            rd2(x,y);
            x--;y--;
            f[x].push_back(y^1);//保存對應的限制條件
            f[y].push_back(x^1);
        }
        if(solve()){
            for(int i=0;i<n;i+=2)
                if(col[i]==R) printf("%d\n",i+1);
            else printf("%d\n",(i^1)+1);
        }
        else printf("NIE\n");
    }
    return 0;
}