LG4171/BZOJ1823 「JSOI2010」满汉全席 2-SAT

问题描述

LG4171

BZOJ1823

---

题解

显然，每个评委对每个材料的满式/汉式要求是对\(n\)个元素的\(0,1\)取值限制。

显然想到\(\mathrm{2-SAT}\)

于是就可以切掉了。

---

\(\mathrm{Code}\)

#include<bits/stdc++.h>
using namespace std;

template <typename Tp>
void read(Tp &x){
	x=0;char ch=1;int fh;
	while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
	if(ch=='-'){
		fh=-1;ch=getchar();
	}
	else fh=1;
	while(ch>='0'&&ch<='9'){
		x=(x<<1)+(x<<3)+ch-'0';
		ch=getchar();
	}
	x*=fh;
}

const int maxn=207;
const int maxm=2007;

int T,n,m;
int Head[maxn],to[maxm],Next[maxm],tot=1;

void add(int x,int y){
	to[++tot]=y,Next[tot]=Head[x],Head[x]=tot;
}

void fr(int &x){
	char ch=1;
	while(ch!='m'&&ch!='h') ch=getchar();
	if(ch=='m') x=1;
	else x=0;
}

int dfn[maxn],low[maxn],bel[maxn],cnt,ind;
bool ins[maxn];
int sta[maxn],top;

void tarjan(int x){
	dfn[x]=low[x]=++ind;ins[x]=1;sta[++top]=x;
	for(int i=Head[x];i;i=Next[i]){
		int y=to[i];
		if(dfn[y]){
			if(ins[y]) low[x]=min(low[x],dfn[y]);
		}
		else{
			tarjan(y);
			low[x]=min(low[x],low[y]);
		}
	}
	if(dfn[x]==low[x]){
		++cnt;
		while(sta[top]!=x){
			ins[sta[top]]=0,bel[sta[top]]=cnt,top--;
		}
		ins[x]=0,bel[x]=cnt,top--;
	}
}

bool flag;

void clear(){
	memset(ins,0,sizeof(ins));top=0;flag=1;
	memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));ind=cnt=tot=0;memset(bel,0,sizeof(bel));memset(Next,0,sizeof(Next));memset(Head,0,sizeof(Head));
}

int main(){
	read(T);
	while(T--){
		read(n);read(m);clear();
		for(int i=1,x,y,xx,yy;i<=m;i++){
			fr(xx);read(x);fr(yy);read(y);
			if(!xx&&!yy){
				add(x,y+n);add(y,x+n);
			}
			if(!xx&&yy){
				add(x,y);add(y+n,x+n);
			}
			if(xx&&!yy){
				add(x+n,y+n);add(y,x);
			}
			if(xx&&yy){
				add(x+n,y);add(y+n,x);
			}
		}
		for(int i=1;i<=2*n;i++){
			if(!dfn[i]) tarjan(i);
		}
		for(int i=1;i<=n;i++){
			if(bel[i]==bel[i+n]){
				puts("BAD");flag=0;break;
			}
		}
		if(flag) puts("GOOD");
	}
	return 0;
}