SAT问题的NPC证明PPT课件

- 内容提要 - 证明思路总览证明中用到的知识 2.1 非确定图灵机 2.2 非确定图灵机的