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) 编辑