2018年7月5日
初涉2-SAT
摘要： 2-SAT：有趣的图论模型 什么是2-SAT SAT是适定性(Satisfiability)问题的简称。之所以研究2-sat是因为当k>2时，k-sat问题已经被证明是NPC的了。 2-sat问题简单来说就是有$n$个二元集合，其中一些元素不能同时取到，问每个集合各取一个的方案。 至于2-sat的算 阅读全文
posted @ 2018-07-05 10:00 AntiQuality 阅读(181) 评论(0) 推荐(0) 编辑