2020年5月14日
几个NPC问题的简单规约
摘要： 因为一直都不怎么会 NPC 问题的规约证明，于是记录一下今天看到的几个简单的问题。 首先这里的 NPC 问题都是规约到 3 SAT 上的，3 SAT 问题的即有 $n$ 个 $01$ 变量 $x_i$ 和 $m$ 个限制，每个限制为有一个三元组 $C_j=(a,b,c)$ 其中 $a,b,c\in\ 阅读全文
posted @ 2020-05-14 20:35 pusheen-the-cat 阅读(1454) 评论(0) 推荐(0) 编辑