hdu4421 Bit Magic 2-sat

点击打开链接～～

主要就是下图中，给出b[n][n],求是否有a[n]符合，有则“YES”，否则“NO”

至于2-sat，就是处理两个关系以下的算法，比如a&b==0,那么如果a==1，那么 b一定是0，如果b==1，那么a一定等于0，具体看代码

可以将i看作i==0时，i+n看作i==1时

#include 
   
   
    
    
#include 
    
    
     
     
#include 
     
     
      
      
#include 
      
      
       
       
using namespace std;
const int N=400010;
const int M=400010;
int b[505][505];
struct twosat
{
    int num[N],ad[M],v[M],pre[M];   
    int dfn[N],low[N],s[N];
    int cnt,top,tol,n,scnt;
    void init()
    {
        tol=0;
        memset(ad,0,sizeof ad);
    }
    void add(int x,int y)   //建图
    {
        pre[++tol]=ad[x];
        ad[x]=tol;
        v[tol]=y;
    }
/*    void add_c(int x,int xi,int y,int yi)
    {
        add(x+xi*n,y+(!yi)*n);
        add(y+yi*n,x+(!xi)*n);
    }*/
    void dfs(int u)
    {
        dfn[u]=low[u]=cnt++; //排序     
        s[++top]=u;   //入栈
        for(int i=ad[u];i;i=pre[i])
        {
            if(!dfn[v[i]])   //如果没有访问过，则再继续找
            {
                dfs(v[i]);
                low[u]=min(low[u],low[v[i]]); //最小公共祖先
            }
            else if(!num[v[i]])
                low[u]=min(low[u],dfn[v[i]]);  //有可能low[v[i]]是已经被删除 ？
        }
        if(low[u]==dfn[u])
        {
            ++scnt;
            while(1)
            {
                int x=s[top--];
                num[x]=scnt;
                if(x==u) break;
            }
        }
    }
    bool solve()
    {
        memset(num,0,sizeof num);
        memset(dfn,0,sizeof dfn);
        memset(low,0,sizeof low);
        cnt=top=scnt=0;
        for(int i=0;i<2*n;i++)
        {
            if(!dfn[i])
                dfs(i);
        }
        for(int i=0;i
       
        
        
          选了i，就一定要选j sat.add(j,i+n); } else { sat.add(i+n,i); sat.add(j+n,j); } } else if(i%2==0 && j%2==0) //& { if(b[i][j]&(1<