会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
何太狼
博客园
首页
新随笔
联系
订阅
管理
2022年7月15日
2-SAT
摘要: #定义 2-SAT(Satisfiability)问题是这样的:有n个布尔变量,另有m个需要满足的条件,每个条件的形式都是“$x_i$为真/假或者$x_j$为真/假”(每条语句只有两个变量并且用或连接)。 我们的任务是判断对于n个布尔变量是否有合适的取值(0或1)来满足所有的条件。 #解法 由于每种
阅读全文
posted @ 2022-07-15 17:04 何太狼
阅读(14)
评论(0)
推荐(0)
编辑
公告