HDU 1848 2SAT 输出字典序最小-CSDN博客

告诉你两两冲突的序列，让输出字典序最小。

一开始老老实实tarjan,写完了发现后面完全不能好弄，因为选了第一个点，你没办法快速找出全部对立组，只能找出本来在一个pair中的那个对立组，而找不出给定的那个随意的对立组。所以直接从1开始染色，弄不出来就染2。以此类推。

这个题还有一个教训就是，点要多开一倍，边也要多开一倍。老是忘。。。

#include<algorithm>
#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<stack>
#include<cmath>
#include<cstdlib>

using namespace std;

const int MAXN=16010;

struct node
{
    int v;
    int nxt;
};
node edge[40100];//边数
int head[MAXN];
int clo[MAXN];
int dirty[MAXN],dirtop=0;
int n,m;
int cnt=0;
void add_edge(int u,int v)
{
    edge[cnt].v=v;
    edge[cnt].nxt=head[u];
    head[u]=cnt;
    cnt++;
}
int dfs(int u)
{
    clo[u]=1;
    clo[u^1]=2;
    dirty[dirtop++]=u;
    for (int i=head[u];i!=-1;i=edge[i].nxt)
    {
        int v=edge[i].v;
        if (clo[v]==1) continue;
        if (clo[v]==2||!dfs(v)) return 0;
    }
}
int solve()
{
    memset(clo,0,sizeof(clo));
    for (int i=0; i<2*n; i+=2)
    {
        if (!clo[i])
        {
            dirtop=0;
            if (!dfs(i))
            {
                for (int i=0;i<dirtop;i++) clo[dirty[i]]=clo[dirty[i]^1]=0;
                if (!dfs(i+1)) return 0;
            }
        }
    }
    return 1;
}

int main()
{
    while (scanf ("%d%d",&n,&m)!=EOF)
    {
        cnt=0;
        memset(head,-1,sizeof(head));
        while (m--)
        {
            int t1,t2;
            scanf ("%d%d",&t1,&t2);
            --t1,--t2;
            add_edge(t1,t2^1);
            add_edge(t2,t1^1);
        }
        if (!solve()) printf ("NIE\n");
        else
        {
            for (int i=0;i<2*n;i++)
            {
                if (clo[i]==1)
                {
                    printf ("%d\n",i+1);
                }
            }
        }
    }
    return 0;
}