[2-sat]HDU 1814——Peaceful Commission

题目传送门

题目概述

有n个党派，每个党派有两名成员且必须派出一名成员参加和平会议，给出m个不合的人，求字典序最小的方案。

解题思路

裸的2-sat，假设每个党派有成员$A，B$，如果有$A$和$A'$不合，则可以推出

$$A-->B'$$ $$A'-->B$$
$-->$表示选择前者就必须选择后者，显然也是这么建边的。
那么就形成了一个有向图，显然当 $A，B$同时出现在一个环上的时候无解。
因为要求字典序最小的方案，所以O(NM)刷了。

#include<cstdio>
#include<cstring>
using namespace std;
const int maxn=16005,maxm=40005;
int lnk[maxn],son[maxm],nxt[maxm],n,m,tot,top,s[maxn];
bool vis[maxn];
void add(int x,int y){
    nxt[++tot]=lnk[x];lnk[x]=tot;son[tot]=y;
}
bool DFS(int x){
    if (vis[x^1]) return 0;
    if (vis[x]) return 1;
    vis[x]=1;s[++top]=x;
    for (int j=lnk[x];j!=-1;j=nxt[j]) if (!DFS(son[j])) return 0;
    return 1;
}
bool two_sat(){
    for (int i=0;i<2*n;i+=2)
    if (!vis[i]&&!vis[i^1]){
        top=0;
        if (!DFS(i)){
            while (top) vis[s[top]]=0,top--;
            if (!DFS(i^1)) return 0;
        }
    }
    return 1;
}
int main(){
    freopen("exam.in","r",stdin);
    freopen("exam.out","w",stdout);
    while (scanf("%d%d",&n,&m)==2){
        memset(lnk,255,sizeof(lnk));
        memset(vis,0,sizeof(vis));
        tot=0;
        for (int i=1;i<=m;i++){
            int x,y;scanf("%d%d",&x,&y);
            x--,y--;
            add(x,y^1);add(y,x^1);
        }
        if (two_sat()){for (int i=0;i<2*n;i++) if (vis[i]) printf("%d\n",i+1);}
        else printf("NIE\n");
    }
    return 0;
}