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