摘要:
阅读全文
posted @ 2020-08-19 10:06
Jessica_Cao
阅读(26)
评论(0)
推荐(0)
摘要:
推荐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
阅读(267)
评论(0)
推荐(0)

浙公网安备 33010602011771号