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