【2-SAT字典序最小解】HDU1814[Peaceful Commission]题解

题目概述

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