[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^'';
     while(isdigit(ch=getchar())) x=(((x<<)+x)<<)+(ch^'');
     return x;
 }
 const int N=;
 std::stack<int> s;
 std::vector<int> e[N<<];
 bool ins[N<<],select[N<<];
 int dfn[N<<],low[N<<],scc[N<<],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=;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=-;
         while(y!=x) {
             y=s.top();
             s.pop();
             ins[y]=false;
             scc[y]=id;
         }
     }
 }
 bool dfs(const int &x) {
     if(select[x^]) return false;
     s.push(x);
     select[x]=true;
     for(unsigned i=;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=;
     for(register int i=;i<n<<;i++) {
         dfn[i]=low[i]=select[i]=;
         e[i].clear();
     }
 }
 int main() {
     int n,m;
     while(~scanf("%d%d",&n,&m)) {
         while(m--) {
             const int u=getint()-,v=getint()-;
             add_edge(u,v^);
             add_edge(v,u^);
         }
         for(register int i=;i<n<<;i++) {
             if(!dfn[i]) tarjan(i);
         }
         for(register int i=;i<n;i++) {
             if(scc[i<<]==scc[i<<|]) {
                 puts("NIE");
                 goto Next;
             }
         }
         for(register int i=;i<n<<;i++) {
             if(!select[i]&&!select[i^]) {
                 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=;i<n<<;i++) {
             if(select[i]) printf("%d\n",i+);
         }
         Next:
             reset(n);
     }
     return ;
 }