2018年3月18日
2-SAT 问题与解法小结
摘要： 这个算法十分的奇妙qwq... 将一类判定问题转换为图论问题，然后就很容易解决了。 本文有一些地方摘录了一下 赵爽《2 SAT解法浅析》 （侵删） 一些概念 $SAT$问题 ：就是给一些布尔变量赋值，使得所有给你的条件成立的问题 适定性(Satisfiability)问题 。我们令$k$为所有条件中 阅读全文
posted @ 2018-03-18 18:34 zjp_shadow 阅读(3452) 评论(0) 推荐(3) 编辑