BZOJ1823 [JSOI2010]满汉全席 洛谷P4171

本文深入探讨了2-SAT算法的原理及其在解决特定布尔逻辑问题中的应用。通过详细的代码示例,展示了如何使用深度优先搜索(DFS)进行强连通分量(SCC)的分解,以判断是否存在矛盾的逻辑状态。文章还讨论了输入预处理方法和判断解的存在性,为读者提供了一个完整的2-SAT问题解决方案。

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

https://www.luogu.com.cn/problem/P4171

https://lydsy.com/JudgeOnline/problem.php?id=1823

辣鸡bzoj又不能用auto

裸中裸,8说了。

yyb的2-sat列表难度顺序不太对。。。我觉得入门题那个dfs反而比较麻烦。。。

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

const int maxl=210;

int n,m,ind,top,ff,ans;
int dfn[maxl],low[maxl],f[maxl],s[maxl];
bool in[maxl];
vector <int> e[maxl];
char ch[maxl];

inline int opp(int u)
{
	if(u>n)	return u-n;
	else return u+n;
}

inline void prework()
{
	scanf("%d%d",&n,&m);
	ff=0;ind=0;top=0;ans=1;
	for(int i=1;i<=2*n;i++)
	{
		dfn[i]=low[i]=f[i]=0;
		e[i].clear();in[i]=true;
	}
	int u,v,l;
	for(int i=1;i<=m;i++)
	{
		u=0;
		scanf("%s",ch+1);
		l=strlen(ch+1);
		for(int j=2;j<=l;j++)
			u=u*10+ch[j]-'0';
		if(ch[1]=='h')
			u+=n;
		v=0;
		scanf("%s",ch+1);
		l=strlen(ch+1);
		for(int j=2;j<=l;j++)
			v=v*10+ch[j]-'0';
		if(ch[1]=='h')
			v+=n;
		e[opp(u)].push_back(v);
		e[opp(v)].push_back(u);
	}
}

inline void tarjan(int u)
{
	dfn[u]=low[u]=++ind;
	in[u]=true;s[++top]=u;
	for(auto v : e[u])
	if(!dfn[v])
	{
		tarjan(v);
		low[u]=min(low[u],low[v]);
	}else if(in[v])
		low[u]=min(low[u],dfn[v]);
	if(dfn[u]==low[u])
	{
		ff++;int v;
		do
		{
			v=s[top--];
			f[v]=ff;in[v]=false;
		}while(u!=v);
	}
}

inline void mainwork()
{
	ans=1;
	for(int i=1;i<=2*n;i++)
	if(!dfn[i])
		tarjan(i);
	for(int i=1;i<=n;i++)
	if(f[i]==f[i+n])
		ans=0;
}

inline void print()
{
	if(ans)
		puts("GOOD");
	else
		puts("BAD");
}

int main()
{
	int t=1;
	scanf("%d",&t);
	for(int i=1;i<=t;i++)
	{
		prework();
		mainwork();
		print();
	}
	return 0;
}

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值