poj 3678 （如何根据布尔运算来建图跑 2-sat）

最新推荐文章于 2019-06-12 19:34:35 发布

sky_zdk

最新推荐文章于 2019-06-12 19:34:35 发布

阅读量305

点赞数

CC 4.0 BY-SA版权

分类专栏： ACM poj 文章标签： poj 联通

本文链接：https://blog.youkuaiyun.com/sky_zdk/article/details/70035076

ACM poj 专栏收录该内容

201 篇文章

订阅专栏

本文介绍了一种基于深度优先搜索的SCC（Strongly Connected Components）算法实现，该算法用于解决图论中节点间的强连通性问题。通过对输入数据的处理和两次DFS遍历，有效地划分出图中的所有强连通分量。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include<cstdio>
#include<cstring>
#define MAX_N 2017
using namespace std;
bool map[MAX_N][MAX_N],vis[MAX_N],rmap[MAX_N][MAX_N];
int stack[MAX_N],cmp[MAX_N];
int tot=0,n;
void dfs(int i)
{
	vis[i]=1;
	for(int j=0;j<2*n;j++)
	{
		if(!vis[j]&&map[i][j])
		dfs(j);
	}
	stack[tot++]=i;
}
void rdfs(int i,int k)
{
	vis[i]=1;
	cmp[i]=k;
	for(int j=0;j<2*n;j++)
	{
		if(!vis[j]&&rmap[i][j])
		rdfs(j,k);
	}
}
int scc()
{
	memset(vis,0,sizeof(vis));
	for(int i=0;i<2*n;i++)
	{
		if(!vis[i])
		dfs(i);
	}
	int k=0;
	memset(vis,0,sizeof(vis));
	for(int i=tot-1;i>=0;i--)
	{
		if(!vis[stack[i]])
		rdfs(stack[i],k++);
	}
	return k;
}
int main()
{
    int m,a,b,c;
    char str[10];
	scanf("%d%d",&n,&m);
	while(m--)
	{
		scanf("%d%d%d %s",&a,&b,&c,str);
		if(str[0]=='A')
		{
			if(c==1)
			{
				map[a+n][a]=1;
				map[b+n][b]=1;
				rmap[a][a+n]=1;
				rmap[b][b+n]=1; 
			}
			else
			{
				map[a][b+n]=1;
				map[b][a+n]=1;
				rmap[b+n][a]=1;
				rmap[a+n][b]=1;
			}
		}
		else if(str[0]=='O')
		{
			if(c==1)
			{
				map[a+n][b]=1;
				map[b+n][a]=1;
				rmap[b][a+n]=1;
				rmap[a][b+n]=1;
			}
			else
			{
				map[a][a+n]=1;
				map[b][b+n]=1;
				rmap[a+n][a]=1;
				rmap[b+n][b]=1;
			}
			
		}
		else
		{
			if(c==1)
			{
				map[a][b+n]=1;
				map[b+n][a]=1;
				map[a+n][b]=1;
				map[b][a+n]=1;
				rmap[b+n][a]=1;
				rmap[a][b+n]=1;
				rmap[b][a+n]=1;
				rmap[a+n][b]=1;
			}
			else
			{
				map[a][b]=1;
				map[b][a]=1;
				map[a+n][b+n]=1;
				map[b+n][a+n]=1;
				rmap[b][a]=1;
				rmap[a][b]=1;
				rmap[b+n][a+n]=1;
				rmap[a+n][b+n]=1; 
			}
		}
	} 
	int k=scc();
	int flag=0;
	for(int i=0;i<n;i++)
	{
		if(cmp[i]==cmp[i+n])
		{
			flag=1;
			break;
		}
	} 
	if(flag)
	printf("NO\n");
	else
	printf("YES\n");
}