[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;}