题目传送门
题目概述
有n个党派,每个党派有两名成员且必须派出一名成员参加和平会议,给出m个不合的人,求字典序最小的方案。
解题思路
裸的2-sat,假设每个党派有成员
A,B
,如果有
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;
}