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