题目概述
有n个组,每个组有2个领导人(i组两人的标号为2*i-1和2*i),每个组只能选一个领导人参加会议。再给出m条关系x,y,表示x与y不和,不能同时参加会议,求字典序最小解。
解题报告
这道题就是经典的2-SAT字典序最小解啊,用暴力解法就可以水过去。
虽然看起来时间复杂度十分不正常,但要相信2-SAT暴力的玄学……
WTF?这道题多组数据?题目里根本就没有说??
示例程序
#include<cstdio>
#include<cstring>
using namespace std;
const int maxn=16000,maxm=40000;
int n,m;
int E,lnk[maxn+5],nxt[maxm+5],son[maxm+5];
bool vis[maxn+5];
void Add(int x,int y) {son[++E]=y;nxt[E]=lnk[x];lnk[x]=E;}
int top,stk[maxn+5];
bool Dfs(int x)
{
if (vis[x]) return true;
if (vis[x^1]) return false;
vis[x]=true;stk[++top]=x;
for (int j=lnk[x];j;j=nxt[j])
if (!Dfs(son[j])) return false;
return true;
}
bool Two_SAT()
{
memset(vis,0,sizeof(vis));
for (int i=0;i<2*n;i+=2)
if (!vis[i]&&!vis[i^1])
{
top=0;if (Dfs(i)) continue;
while (top) vis[stk[top--]]=false;
if (!Dfs(i^1)) return false;
//能选i优先选i可以达到字典序最小的效果
}
return true;
}
int main()
{
freopen("program.in","r",stdin);
freopen("program.out","w",stdout);
while (~scanf("%d%d",&n,&m))
{
E=0;memset(lnk,0,sizeof(lnk));
while (m--)
{
int x,y;scanf("%d%d",&x,&y);x--;y--;
Add(x,y^1);Add(y,x^1);
}
if (!Two_SAT()) printf("NIE\n"); else
for (int i=0;i<2*n;i++) if (vis[i]) printf("%d\n",i+1);
}
return 0;
}