[POI2001]Peaceful Commission

题目大意：
　　有n个国家要派代表开会，每个国家有两个代表可供选择。
　　有m对代表有仇，不能同时开会。
　　若每个国家只能派一个代表开会，问是否存在一种方案，使得每个国家都能正常参会？
　　如果有，输出字典序最小的一种。

思路：
　　2-SAT经典模型。
　　如果两个代表之间有仇，那么就给其中一个代表a连一条通向另一国家另一代表b的有向边，表示选a后一定要选b。
　　判定时就用Tarjan缩点，如果同一国家两个代表在同一个强连通分量中，那么说明两个代表必须同时参加或不参加，这是不合法的。
　　构造字典序最小的方案时，可以从小到大枚举每一个代表，然后DFS选定该代表后，必须选的其它代表，如果必须选的的代表和已选代表矛盾，则不加入。

#include<stack>
#include<cstdio>
#include<cctype>
#include<vector>
inline int getint() {
    register char ch;
    while(!isdigit(ch=getchar()));
    register int x=ch^'0';
    while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=16000;
std::stack<int> s;
std::vector<int> e[N<<1];
bool ins[N<<1],select[N<<1];
int dfn[N<<1],low[N<<1],scc[N<<1],cnt,id;
inline void add_edge(const int &u,const int &v) {
    e[u].push_back(v);
}
void tarjan(const int &x) {
    s.push(x);
    ins[x]=true;
    dfn[x]=low[x]=++cnt;
    for(unsigned i=0;i<e[x].size();i++) {
        const int &y=e[x][i];
        if(!dfn[y]) {
            tarjan(y);
            low[x]=std::min(low[x],low[y]);
        } else if(ins[y]) {
            low[x]=std::min(low[x],dfn[y]);
        }
    }
    if(low[x]==dfn[x]) {
        id++;
        int y=-1;
        while(y!=x) {
            y=s.top();
            s.pop();
            ins[y]=false;
            scc[y]=id;
        }
    }
}
bool dfs(const int &x) {
    if(select[x^1]) return false;
    s.push(x);
    select[x]=true;
    for(unsigned i=0;i<e[x].size();i++) {
        const int &y=e[x][i];
        if(select[y]) continue;
        if(!dfs(y)) return false;
    }
    return true;
}
inline void reset(const int &n) {
    cnt=id=0;
    for(register int i=0;i<n<<1;i++) {
        dfn[i]=low[i]=select[i]=0;
        e[i].clear();
    }
}
int main() {
    int n,m;
    while(~scanf("%d%d",&n,&m)) {
        while(m--) {
            const int u=getint()-1,v=getint()-1;
            add_edge(u,v^1);
            add_edge(v,u^1);
        }
        for(register int i=0;i<n<<1;i++) {
            if(!dfn[i]) tarjan(i);
        }
        for(register int i=0;i<n;i++) {
            if(scc[i<<1]==scc[i<<1|1]) {
                puts("NIE");
                goto Next;
            }
        }
        for(register int i=0;i<n<<1;i++) {
            if(!select[i]&&!select[i^1]) {
                if(dfs(i)) {
                    while(!s.empty()) s.pop();
                } else {
                    while(!s.empty()) {
                        const int x=s.top();
                        s.pop();
                        select[x]=false;
                    }
                }
            }
        }
        for(register int i=0;i<n<<1;i++) {
            if(select[i]) printf("%d
",i+1);
        }
        Next:
            reset(n);
    }
    return 0;
}