[HDU1814]Peaceful Commission（2-SAT）

题目：

我是超链接

题意：

一国有n个党派，每个党派在议会中都有2个代表，现要组建和平委员会，要从每个党派在议会的代表中选出1人，一共n人组成和平委员会。已知有一些代表之间存在仇恨，也就是说他们不能同时被选为和平委员会的成员，现要你判断满足要求的和平委员会能否创立？如果能，请给出一种字典序最小的方案。

题解：

这个一眼2-SAT，但是要想要字典序最小的方案，那我们只能用持（ju）之（da）以（bao）恒（li）法
每次贪心的选择一个，然后dfs删除影响
这种做法针对于【字典序最小】，但是时间复杂度是$O(nm)$的

代码：

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
const int N=40005;
int ans[N],nxt[N],point[N],vis[N],v[N],stack[N],top,tot,n,m;bool can;
void clear()
{
    tot=0;memset(point,0,sizeof(point));
    memset(vis,0,sizeof(vis));
}
void addline(int x,int y){++tot; nxt[tot]=point[x]; point[x]=tot; v[tot]=y;}
void dfs(int x)
{
    if (vis[x]==-1) {can=0;return;}
    if (vis[x]) return;
    vis[x]=1; vis[((x-1)^1)+1]=-1;
    stack[++top]=x;
    for (int i=point[x];i&&can;i=nxt[i]) dfs(v[i]);
}
int main()
{
    while (~scanf("%d%d",&n,&m))
    {
        clear();
        int x,y;bool fff=0;
        for (int i=1;i<=m;i++)
        {
            scanf("%d%d",&x,&y);
            addline(x,((y-1)^1)+1);
            addline(y,((x-1)^1)+1);
        }
        for (int i=1;i<=n*2;i+=2)
        {
            if (vis[i] && vis[i+1])
            {
                if (vis[i]==vis[i+1]) {fff=1;break;}
                if (vis[i]==1) ans[i/2+1]=i;
                else ans[i/2+1]=i+1;
                continue;
            }
            top=0;can=1;dfs(i);
            if (can) {ans[i/2+1]=i; continue;}
            for (int j=1;j<=top;j++) vis[stack[j]]=vis[((stack[j]-1)^1)+1]=0;
            top=0;can=1;dfs(i+1);
            if (can) {ans[i/2+1]=i+1; continue;}
            else {fff=1;break;}
        }
        if (fff) printf("NIE\n");
        else for (int i=1;i<=n;i++) printf("%d\n",ans[i]);
    }
}