《Computational Complexity, A Modern Approach》 总结

参考资料：《计算复杂性 现代方法》， 中文版

第一章 计算模型

Theorem 1.9 高效通用图灵机

存在图灵机$\mathcal{U}$使得$\mathcal{U}(x,\alpha )=M_{\alpha }(x)$对于任意 x , α ∈ { 0 , 1 } ∗ x,\alpha \in \{0,1\} ^* x,α∈{ 0,1}∗成立. 并且如果$M_{\alpha }$在输入$x$上至多运行$T$步后停机, 则$\mathcal{U}(x,\alpha )$将在$CT\log T$步内停机。$C$仅依赖于$\alpha$所表示的图灵机。

Proof. 关键是如何处理多带的情形，只需将记录在纸带上的字符改为序对${\Gamma }^k$ . 其次要处理不同的带移动的情况不同的情况，利用缓冲区的想法可以在额外$\log T$的时间内处理。（P21）

Theorem 1.10 不可计算函数的存在性

存在不能被任意图灵机计算的函数 U C : { 0 , 1 } ∗ ↦ { 0 , 1 } UC: \{0,1\}^* \mapsto \{0,1\} UC:{ 0,1}∗↦{ 0,1}。

Proof. 采用对角线方法即可，将函数表的对角线取反，如果该对角线可被图灵机$M$计算，则在第 $M$行出现矛盾.

Theorem 1.11 HALT不可计算

HALT以序对$(\alpha ,x)$为输入，它输出1当且仅当$M_{\alpha }$输入$x$后在有限步停机，则HALT不可计算。

Proof. 如果可以计算，则可利用HALT计算$UC$, 产生矛盾.

哥德尔定理

任何包含算数公理的逻辑系统不可能同时完备且可靠。完备指能证明所有正确的结论，可靠指不会证明出错误的结论。能证明是指存在有限长的字符串可推导出该结论。

Proof. 图灵机的运算可看做是在格局图对应的整数上进行简单的算数操作（具有局部性，每次只对几位操作），由于逻辑系统包含算数公理体系，故输入$(\alpha ,x)$，HALT$(\alpha ,x)$可表示为逻辑算式$\phi$，如果该逻辑系统能证明$\phi$或者$\neg \phi$，则图灵机也可通过枚举所有字符串在有限步证明，故HALT是可计算的，产生矛盾。

第二章 NP和NP完全性

Theorem 2.6 NP两种定义的等价性

$\text{NP}={\bigcup }_{c\in \mathbb{N}}\text{NTIME}(n^c)$，$\text{NTIME}(n^c)$指非确定性图灵机能在$T(n^c)$内停机或者进入$q_{accept}$, $\text{NP}$指存在一个验证器$\mathcal{M}$, 任意可被接受的字符串$x$都存在一个多项式长度的证据$u$,使得$\mathcal{M}(x,u)=1$。

Proof.
$\text{NP}\Rightarrow \text{NTIME}(n^c)$：用非确定图灵机枚举所有证据。
$\text{NTIME}(n^c)\Rightarrow \text{NP}$：证据即为状态转移序列。

Theorem 2.8 规约的传递性

$L{\le }_p{L}^{\prime },L^{\prime }{\le }_p{L}^{\prime \prime }\Rightarrow L{\le }_p{L}^{\prime \prime }$

Theorem 2.10 库克勒维定理(SAT是NPC的)

SAT问题是NPC的，3SAT问题是NPC的。

Proof.
SAT $\in \text{NP}$: 枚举变量赋值
SAT $\in \text{NPC}$: 散漫图灵机的运行过程可表示为一系列逻辑等式
3SAT $\in \text{NPC}$: SAT可多项式规约到3SAT

Theorem 2.15 独立集是NPC的

INDEST是NPC的

Proof.
只需证明3SAT ${\le }_p$ INDEST, 具体构造见P40.

The