主要就是下图中,给出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<