会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
limil
博客园
首页
新随笔
联系
订阅
管理
2021年3月10日
2sat学习笔记
摘要: 介绍 若干个类似 i or j = 1 的方程组成的方程组,寻找它的可行解的问题,就是2sat问题。方程中未知数个数为n就是n-sat问题。当n大于2时,这个问题是np难问题,因此主要解决的是2-sat问题。 原理 对于i or j = 1这个等式,我们可以得到: i=0 → j=1 j=0 → i
阅读全文
posted @ 2021-03-10 13:02 limil
阅读(69)
评论(0)
推荐(0)
编辑
公告