2020年8月19日
与或 异或
摘要： 阅读全文
posted @ 2020-08-19 10:06 Jessica_Cao 阅读(26) 评论(0) 推荐(0)
2-SAT
摘要： 推荐blog： https://www.mina.moe/archives/11387 https://www.cnblogs.com/cjjsb/p/9771868.html SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT 可以证明，当k>2 阅读全文
posted @ 2020-08-19 09:24 Jessica_Cao 阅读(268) 评论(0) 推荐(0)