hdu 1814 Peaceful Commission (2-SAT)

给定一个由N个bool值组成的序列A，给出一些限定关系，确定序列中每个元素的值，使其满足所有限制关系。这个称为SAT关系。

特别的，如果每种关系中最多只对两个元素进行限制，则称为2-SAT问题，即二元可满足性问题

显然这个题属于2-SAT问题，直接暴力枚举，对每个结点进行dfs染色，如果我们将i染成红色，那么就将i‘染成蓝色，如果存在i的后继j是蓝色，那么这种方法是不可行的，回溯，将i’染成红色，如果同样不可行则说明原问题无解，否则对下一个未被染色的点进行染色，搜索的时间复杂度是O(mn)

由于这道题的n比较大，所以可以采用邻接表或者边表的方式存储边。

做题的时候由于数组开小了，wa了好几次TAT

#include <cstdio>
#include <iostream>

using namespace std;

int n,m,len;
int col[50005],ans[50005];
int fi[50005],ne[50005];
struct edge
{
    int u,v;
}e[50005];

bool dfs(int x)
{
    if (col[x]==1) return 1;
    if (col[x]==2) return 0;
    col[x]=1; col[x^1]=2;
    ans[len++]=x;
    for (int i=fi[x];i!=-1;i=ne[i])
    {
       if (!dfs(e[i].v)) return 0;
    }
    return 1;
}

bool work()
{
    for (int i=0;i<n;i++) col[i]=0;
    for (int i=0;i<n;i++)
    {
        if (col[i]) continue;
        len=0;
        if (!dfs(i))
        {
            for (int j=0;j<len;j++)
            {
                col[ans[j]]=0;
                col[ans[j]^1]=0;
            }
            if (!dfs(i^1)) return 0;
        }
    }
    return 1;
}

int main()
{
    while (scanf("%d%d",&n,&m)!=EOF)
    {
        n=n*2;
        for (int i=0;i<n;i++) fi[i]=-1;
        for (int i=0;i<m;i++)
        {
            int j,k;
            scanf("%d%d",&j,&k);
            j--; k--;
            e[2*i].u=j; e[2*i].v=k^1; ne[2*i]=fi[j]; fi[j]=2*i;
            e[2*i+1].u=k; e[2*i+1].v=j^1; ne[2*i+1]=fi[k];  fi[k]=2*i+1;
        }
        if (work())
        {
            for (int i=0;i<n;i++)
                if (col[i]==1) printf("%d\n",i+1);
        }
        else printf("NIE\n");
    }
    return 0;
}