HIT 1917 Peaceful Commission

这道题题意就是给你n对人，一对中编号为x，x+1，给你m对矛盾，表示这两个人不能同时选。

然后就是Two-Sat的模板题了，就是根据对称性，连边，加缩点，最后拓扑排序，求出一组可行解就可以了。

 #include<cstdio>
 #include<iostream>
 #include<algorithm>
 #include<cmath>
 #include<queue>
 #include<cstring>

 using namespace std;

 typedef pair<int,int>pai;
 const int NN=,MM=,INF=1e9+;

 bool flag=;
 int n,m;
 int cnt=,head[NN*],next[MM*],rea[MM*],cntr=,headr[NN*],nextr[MM*],rear[MM*];
 int Time,top,low[NN*],dfn[NN*],minnum[NN*],stack[NN*],instack[NN*];
 int sz,belong[NN*];
 int fan[NN*],ru[NN*];
 queue<int>ve[NN*];

 struct Node
 {
     int x,y;
 }a[MM];

 void add(int u,int v)
 {
     cnt++;
     next[cnt]=head[u];
     head[u]=cnt;
     rea[cnt]=v;
 }
 void add2(int u,int v)
 {
     cntr++;
     nextr[cntr]=headr[u];
     headr[u]=cntr;
     rear[cntr]=v;
 }
 void Tarjan(int u)
 {
     dfn[u]=low[u]=++Time;
     stack[++top]=u,instack[u]=true;
     for (int i=head[u];i!=-;i=next[i])
     {
         int v=rea[i];
         if (dfn[v]==)
         {
             Tarjan(v);
             low[u]=min(low[v],low[u]);
         }
         else if (instack[v]) low[u]=min(low[u],dfn[v]);
     }
     if (low[u]==dfn[u])
     {
         int x=-;
         minnum[++sz]=INF;;
         while (!ve[sz].empty()) ve[sz].pop();
         while (x!=u)
         {
             x=stack[top--];
             belong[x]=sz;
             minnum[sz]=min(minnum[sz],x);//记录最小编号，发现对称的那个环的最小编号应该是该环最小编号的fan
             ve[sz].push(x);
             instack[x]=false;
         }
     }
 }
 void rebuild()
 {
     for (int i=;i<=*n;i++)
         for (int j=head[i];j!=-;j=next[j])
         {
             int v=rea[j];
             if (belong[i]!=belong[v])
             {
                 ru[belong[v]]++;
                 add2(belong[i],belong[v]);
             }
         }//重构
 }
 bool cmp(int x,int y)
 {
     return x<y;
 }
 void solve()
 {
     int ans[NN*];
     queue<int>q;
     while (!q.empty()) q.pop();
     for (int i=;i<=sz;i++)
         if (!ru[i]) q.push(i);
     bool biao[NN*]={};
     top=;
     while(!q.empty())
     {
         int u=q.front();
         if (!biao[fan[minnum[u]]]) ans[++top]=u,biao[minnum[u]]=;
         q.pop();
         for (int i=headr[u];i!=-;i=nextr[i])
         {
             int v=rear[i];
             ru[v]--;
             if (!ru[v]) q.push(v);
         }
     }//拓扑的一个过程
     bool booo=;
     int res[NN],ll=;
     for (int i=;i<=top;i++)
     {
         int x=ans[i];
         while(!ve[x].empty())
         {
             res[++ll]=ve[x].front();
             ve[x].pop();
         }
     }//ll最终等于n
     sort(res+,res+ll+,cmp);
     for (int i=;i<=ll;i++)
         printf("%d\n",res[i]);
 }
 void init()
 {
     cntr=cnt=top=Time=sz=flag=;
     memset(dfn,,sizeof(dfn));
     memset(head,-,sizeof(head));
     memset(headr,-,sizeof(headr));
     memset(ru,,sizeof(ru));
     for (int i=;i<=*n;i++)
         if (i%==) fan[i]=i+;
         else fan[i]=i-;
     for (int i=;i<=m;i++)
     {
         scanf("%d%d",&a[i].x,&a[i].y);
         add(fan[a[i].y],a[i].x);
         add(fan[a[i].x],a[i].y);//刚开始连反向边并不影响正确率，而且在拓扑的时候不需要反向标记，方便许多。
     }
 }
 void pan()
 {
     for (int i=;i<=*n;i+=)
         if (belong[i]==belong[fan[i]])//如果一个块中，有编号一组的点，绝对不可以满足。
         {
             flag=;
             return;
         }
 }
 int main()
 {
     while (~scanf("%d%d",&n,&m))
     {
         init();//初始化非常重要。
         for (int i=;i<=n*;i++)
             if (dfn[i]==) Tarjan(i);//tarjan一次
         pan();
         if (flag)
         {
             printf("NIE\n");
             continue;
         }
         rebuild();
         solve();
     }
 }