2-SAT算法

例题:

https://www.luogu.org/problem/P4782

算法:

算法所求问题:

这个算法主要是求有n个人,每个有m个要求,要求只可能是1或0的情况(及是或不是,要或不要......),且每个要求只需满足其一即可,求是否有可行的分配方案(当然,也可以求出那个可行的分配方案)

算法前置知识:

Tarjan求强连通分量,拓扑序

算法主要思路:

如何求出能否有一种方案使得所有人的条件满足其一

首先声明一下:a --> b(a向b连一条边)表示如果慢足a这个条件,就必须满足b这个条件;a本身表示选a,a + n表示不选a。开始说思路:如果有一个要求是选a或者不选b,那么我们可以从a + n向b + n连一条边(如果不选a了,就必须不选b,否则就不满足这个要求了),然后我们也从b向a连一条边(如果选b了,就必须选a,否则就不满足要求了)。建完图之后,我们可以用Tarjan求强连通分量,如果有一个逆条件(即不能选A)和正条件(即选A)在同一个强连通分量里,那么这个图就GG了qwq那么这几个条件就无法同时满足;反之则一定可以。

如何求出这个方案是什么(在求出有方案的情况下)

这个需要用到拓扑序(即当前点是第几个被搜到的),例如:如果有一个点A它的选连着它的不选,那么就代表选A的选就必须选A的不选(就冲突了),所以我们只能选A的不选

转载于:https://www.cnblogs.com/qqq1112/p/11373590.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值