学习一下2-sat
算法流程如下:
1、建图,图具有对称性(对于有限制的A,从A‘向A连边)
2、tarjan算法缩点
3、判断是否有解:若存在一组A和A'在同一个强连通分量中,则无解
4、缩点后,建反图
5、拓扑排序,若当前点A未标记,则选择A,对应的,标记A’;若当前点A标记了,则沿着边传递标记
本题是裸题
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<iostream>
#include<algorithm>
#define maxn 20100
using namespace std;
int head[maxn],to[maxn],next[maxn];
bool vis[maxn];
int dfn[maxn],low[maxn],st[maxn],bel[maxn];
int n,m,T,top,num,cnt,tot;
char s1[5],s2[5];
int cal(char *s)
{
int x=0,n=strlen(s+1);
for (int i=2;i<=n;i++) x=x*10+s[i]-'0';
return x;
}
void addedge(int x,int y) {num++;to[num]=y;next[num]=head[x];head[x]=num;}
void tarjan(int x)
{
st[++top]=x;vis[x]=1;dfn[x]=low[x]=++tot;
for (int p=head[x];p;p=next[p])
if (!dfn[to[p]]) tarjan(to[p]),low[x]=min(low[x],low[to[p]]);
else if (vis[to[p]]) low[x]=min(low[x],dfn[to[p]]);
if (dfn[x]==low[x])
{
cnt++;
while (st[top+1]!=x)
{
bel[st[top]]=cnt;
vis[st[top]]=0;
top--;
}
}
}
int main()
{
scanf("%d",&T);
while (T--)
{
num=top=tot=cnt=0;
memset(st,0,sizeof(st));
memset(head,0,sizeof(head));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(vis,0,sizeof(vis));
scanf("%d%d",&n,&m);
for (int i=1;i<=m;i++)
{
scanf("%s%s",s1+1,s2+1);
int op1=(s1[1]=='m'),x1=cal(s1),op2=(s2[1]=='m'),x2=cal(s2);
addedge((!op1)*n+x1,op2*n+x2);
addedge((!op2)*n+x2,op1*n+x1);
}
for (int i=1;i<=2*n;i++) if (!dfn[i]) tarjan(i);
bool flag=1;
for (int i=1;i<=n;i++) if (bel[i]==bel[i+n]) {flag=0;printf("BAD\n");break;}
if (flag) printf("GOOD\n");
}
return 0;
}