算法概论8.16

考虑怎么把一个3SAT实例转化成一个EXPERIMENTAL CUISINE 问题。
对于任意一个3SAT问题。若其某一子句 c (UVW我们可以相应地建立7种ingredients,分别为:
{ UV¯¯¯Wc¯¯¯¯¯U¯¯¯VWc¯¯¯¯¯U¯¯¯V¯¯¯WcUVW¯¯¯¯U¯¯¯VWcUV¯¯¯WcUVWc }。
这7种ingredients代表了使得子句 c 成立的七种不同情况比如UWVc¯¯¯代表U和W同时为真,且V为假。它们之间当然是完全不兼容的,因此将其中两两之间的discord值设为1。
现在再考虑子句与子句之间的情况,对于任意两个子句i,j,将两个子句互相矛盾的成分之间的discord值设为1。比如 UABi U¯¯¯CDi 等。
设子句总数为n,再令p=0,若此时能选择的成份数为n,那么即说明此3SAT能满足。另外,判断一个3SAT能否满足与找出这个3SAT的解实际上是等价的,参考8.2。因此如果EXPERIMENTAL CUISINE在多项式时间内可解的话,3SAT亦然。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值