bzoj 1823: [JSOI2010]满汉全席【2-SAT+tarjan】

因为每种食材只有一份，所以两个评委的如果有要求同一种食材的两种做法就是不可行，用这个来建立2-SAT模型

然后跑tarjan判可行性即可

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int N=200005;
int T,n,m,h[N],cnt,dfn[N],low[N],tot,s[N],top,bl[N],col,rl[N],a[N],b[N];
bool v[N],fl;
struct qwe
{
	int ne,to;
}e[N*10];
int read()
{
	int r=0,f=0;
	char p=getchar();
	while(p>'9'||p<'0')
	{
		if(p=='m')
			f=n;
		p=getchar();
	}
	while(p>='0'&&p<='9')
	{
		r=r*10+p-48;
		p=getchar();
	}
	return r+f;
}
void add(int u,int v)
{
	cnt++;
	e[cnt].ne=h[u];
	e[cnt].to=v;
	h[u]=cnt;
}
void tarjan(int u)
{
	dfn[u]=low[u]=++tot;
	v[s[++top]=u]=1;
	for(int i=h[u];i;i=e[i].ne)
	{
		if(!dfn[e[i].to])
		{
			tarjan(e[i].to);
			low[u]=min(low[u],low[e[i].to]);
		}
		else if(v[e[i].to])
			low[u]=min(low[u],dfn[e[i].to]);
	}
	if(low[u]==dfn[u])
	{
		col++;
		while(s[top]!=u)
		{
			bl[s[top]]=col;
			v[s[top--]]=0;
		}
		bl[s[top]]=col;
		v[s[top--]]=0;
	}
}
int main()
{
	T=read();
	while(T--)
	{
		memset(h,0,sizeof(h));
		memset(dfn,0,sizeof(dfn));
		memset(v,0,sizeof(v));
		cnt=0,tot=0,top=0,col=0,fl=1;
		n=read(),m=read();
		for(int i=1;i<=n;i++)
			rl[i]=i,rl[i+n]=i;
		for(int i=1;i<=m;i++)
			a[i]=read(),b[i]=read();
		for(int i=1;i<=m;i++)
			for(int j=i+1;j<=m;j++)
			{
				if(rl[a[i]]==rl[a[j]]&&a[i]!=a[j])
					add(i,j+m),add(j,i+m);
				if(rl[b[i]]==rl[b[j]]&&b[i]!=b[j])
					add(i+m,j),add(j+m,i);
				if(rl[a[i]]==rl[b[j]]&&a[i]!=b[j])
					add(i,j),add(j+m,i+m);
				if(rl[b[i]]==rl[a[j]]&&b[i]!=a[j])
					add(i+m,j+m),add(j,i);
			}
		for(int i=1;i<=m+m;i++)
			if(!dfn[i])
				tarjan(i);
		for(int i=1;i<=m;i++)
			if(bl[i]==bl[i+m])
			{
				fl=0;
				break;
			}
		if(fl)
			puts("GOOD");
		else
			puts("BAD");
	}
	return 0;
}