bzoj 2199: [Usaco2011 Jan]奶牛议会【2-SAT】

好久没写2-SAT了啊，还以为是网络流

设点x为选，x'为不选，因为一头牛至少要满足一个条件，所以对于牛条件的两个点，选了一个不符合的点，就要选另一个符合的点，这样连两条边

然后枚举所有议案的选和不选点，从当前枚举的点出发，dfs一遍，把经过的点都打上标记，然后判断当前枚举的点是否合法（没有一个议案的选和不选点都被dfs到），如果选和不选点都不合法就退出，输出impossible；都合法就输出？；只有一个合法就输出相对的选或不选

#include<iostream>

#include<cstdio>

using namespace std;

const int N=2005,inf=1e9;

const char ha[]={'?','N','Y'};

int n,m,h[N],cnt,v[N],ti,ans[N];

struct qwe

{

	int ne,to,va;

}e[N*20];

int read()

{

	int r=0,f=1;

	char p=getchar();

	while(p>'9'||p<'0')

	{

		if(p=='Y')

			return 1;

		if(p=='N')

			return 0;

		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 dfs(int u)

{

	v[u]=ti;

	for(int i=h[u];i;i=e[i].ne)

		if(v[e[i].to]!=ti)

			dfs(e[i].to);

}

bool ok(int u)

{

	ti++;

	dfs(u);

	for(int i=1;i<=n;i++)

		if(v[i]==ti&&v[i+n]==ti)

			return 0;

	return 1;

}

int main()

{

	n=read(),m=read();

	for(int i=1;i<=m;i++)

	{

		int x=read(),xx=read(),y=read(),yy=read();

		add(x+(xx^1)*n,y+yy*n),add(y+(yy^1)*n,x+xx*n);

	}

	for(int i=1;i<=n;i++)

	{

		bool p=ok(i+n),q=ok(i);

		if(!p&&!q)

		{

			puts("IMPOSSIBLE");

			return 0;

		}

		else if(p&&q)

			ans[i]=0;

		else if(!p)

			ans[i]=1;

		else

			ans[i]=2;

	}

	for(int i=1;i<=n;i++)

		printf("%c",ha[ans[i]]);

	return 0;

}

巴特西

bzoj 2199: [Usaco2011 Jan]奶牛议会【2-SAT】

最新文章

热门文章