会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
zjp_shadow
世界是个回音谷,念念不忘,必有回响,你大声喊唱,山谷雷鸣,音传千里,一叠一叠,一浪一浪,彼岸世界都收到了。凡事念念不忘,必有回响。因为它在传递你心间的声音,绵绵不绝,遂相印于心。
博客园
首页
新随笔
联系
订阅
管理
2018年3月18日
2-SAT 问题与解法小结
摘要: 这个算法十分的奇妙qwq... 将一类判定问题转换为图论问题,然后就很容易解决了。 本文有一些地方摘录了一下 赵爽《2 SAT解法浅析》 (侵删) 一些概念 $SAT$问题 :就是给一些布尔变量赋值,使得所有给你的条件成立的问题 适定性(Satisfiability)问题 。我们令$k$为所有条件中
阅读全文
posted @ 2018-03-18 18:34 zjp_shadow
阅读(3275)
评论(0)
推荐(3)
编辑
公告