因为一直都不怎么会 NPC 问题的规约证明，于是记录一下今天看到的几个简单的问题。 首先这里的 NPC 问题都是规约到 3-SAT 上的，3-SAT 问题的即有 (n) 个 (01) 变量 (x_i) … Continue reading 几个NPC问题的简单规约
因为一直都不怎么会 NPC 问题的规约证明，于是记录一下今天看到的几个简单的问题。 首先这里的 NPC 问题都是规约到 3-SAT 上的，3-SAT 问题的即有 (n) 个 (01) 变量 (x_i) … Continue reading 几个NPC问题的简单规约