《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.

Theorem 2.16 0/1 IPROG是NPC的

令0/1IPROG是所有可满足0/1整数规划构成的集合。即是变量$u_1,\cdots ,u_n$的一组有理系数线性不等式，如果存在$u_i$的 { 0 , 1 } \{0,1\} {0,1}赋值使给定的不等式均被满足，则该0/1整数规划属于IPROG.

Proof.
3SAT ${\le }_p$ 0/1 IPROG: 将$u_1\vee u_2\vee \neg u_3$表示为$u_1+u_2+(1-u_3)\ge 1$

Theorem 2.17 dHAMPATH是NPC的

Proof.
同样将3SAT问题规约到dHAMPATH，构造见P41.

Theorem 2.18 P=NP 使得证明可高效计算

假定$\text{P}=\text{NP}$。那么，对于任意$\text{NP}$语言$L$和$L$的一个验证器图灵机$M$，存在多项式时间图灵机$B$为任意输入$x\in L$计算它的证明。

Def. 2.20 coNP的两种定义

定义1. coNP = { L : L ˉ ∈ NP } \text{coNP}=\{L: \bar{L}\in \text{NP}\} coNP={L:Lˉ∈NP}
定义2. ∀ L ⊂ { 0 , 1 } ∗ \forall L \subset\{0,1\}^* ∀L⊂{0,1}∗, 如果存在多项式$p:\text{N}\mapsto \text{N}$和一个多项式时间图灵机$M$使得对任意 x ∈ { 0 , 1 } ∗ x \in \{0,1\}^* x∈{0,1}∗有：
x ∈ L ⇔ ∀ u ∈ { 0 , 1 } p ( x ) , M ( x , u ) = 1 x\in L \Leftrightarrow\forall u \in \{0,1\}^{p(x)}, M(x,u)=1 x∈L⇔∀u∈{0,1}p(x),M(x,u)=1
则称$L\in \text{coNP}$.

Theorem 2.22 如果$\text{EXP}\ne \text{NEXP}$，则$\text{P}\ne \text{NP}$

Proof.
证明其逆否命题：如果$\text{P}=\text{NP}$，则$\text{NEXP}=\text{EXP}$。 $\forall L\in \text{NEXP}$，$L_{pad}\in \text{NP}\Rightarrow L_{pad}\in \text{P}\Rightarrow L\in \text{EXP}$.

第三章 对角线方法

Theorem3.1 时间分层定理

如果$f,g$是满足$f(n)\log f(n)=o(g(n))$的时间可构造函数，则$\text{DTIME}(f(n))⊊\text{DTIME}(g(n))$.

Proof.
采用对角线方法，将函数表中第$x$行$x$列取反（使用通用图灵机$\mathcal{M}$模拟，如果不能在$g(n)$的时间内算出来则停机并输出0），则：该函数不可在$f(n)\log f(n)$的时间内计算，但可在$g(n)$的时间内计算。
采用反证法，如果存在$f(n)\log f(n)$时间内计算上述函数的机器，设该机器为$M_a$，则$M_a$输入$a$如果能在$f(a)\log a<g(a)$的时间内停机，则与取反的条件矛盾，否则不能在$f(a)\log a$步内停机，产生矛盾。

Theorem3.2 非确定性时间分层定理

如果$f,g$是满足$f(n+1)=o(g(n))$的时间可构造函数，则$\text{NTIME}(f(n))\subseteq \text{NTIME}(g(n))$.

Proof.
注意题目的条件非常弱，这是由于非确定性图灵机的强大能力决定的。证明还不能同定理3.1完全等价，因为一个语言的补集不一定还是能由非确定性自动机在相同时间内计算。于是证明该定理需要巧妙的对角线方法。
首先找函数$h$，使得$f(n+1)=o(h(n+1)),h(n+1)=o(g(n))$（比如$h(n+1)=f(n+1)\log \frac{g(n)}{f(n+1)}$）,然后令$T(1)=1,T(n)=2^{h(T(n-1))}$. 将函数表第$i$行的$[T(i)+1,T(i+1)]$标记，考虑如下函数：
$\forall n$，找到标记第$n$列的行$i$，在$g(n)$的时间内计算$M_i(n+1)$，如果输出1，则$f(n)=1$，如果输出0或没有停机，则输出0. 如果$n=T(i+1)$，则指数时间对$M_i(T(i))$取反，则该函数可$g(n)$时间内计算，但不能在$f(n)$时间内计算，否则假设该图灵机为$M$，在第$i$行可得出矛盾（见P55图）。没有$\log$的是因为通用非确定性图灵机可在常数倍时间内模拟其他机器。

Theorem 3.3 拉德纳尔定理：如果$\text{P}\ne \text{NP}$，则$\text{NPC}\ne \text{NP}$

如果$\text{P}\ne \text{NP}$，则$\text{NPC}\ne \text{NP}$

Proof.
这个定理的证明构造非常神奇，就不重复叙述了，见P56.

Theorem 3.7 只使用对角线定理不能证明$\text{P}$与$\text{NP}$的关系

Proof.
这是因为可构造$A,B$使得${\text{P}}^A={\text{NP}}^A$，同时${\text{P}}^B\ne {\text{NP}}^B$。因此用对角线方法得不出其中任意一个结论。
A的构造： EXPCOM
B的构造：见P58. 构造B,U_B.

第四章 空间复杂性

Theorem 4.2 $\text{DTIME}(S(n))\subseteq \text{SPACE}(S(n))\subseteq \text{NSPACE}(S(n))\subseteq \text{DTIME}(2^{O(S(n))})$

Proof.
只有最后一个subset是non trival的，考虑格局图+BFS即可.

Theorem 4.3 空间分层定理

如果$f,g$满足$f(n)=o(g(n))$，则$\text{SPACE}(f(n))⊊\text{SPACE}(g(n))$.

Proof.
同时间分层定理的证明，因为通用图灵机是空间常数倍，所以可去掉$\log$.

Theorem 4.13 量化SAT(TQBF)是PSAPCE完全

Proof.
TQBF $\in \text{PSPACE}$: 枚举所有变量
TQBF是$\text{PSPACE}$完全： 格局图的路径$(s,t,i)$递归为$(s,mid,i-1),(mid,t,i-1)$可$(S(n{)}^2)$空间解决。

Theorem 4.14 塞维奇定理

$\text{NPSPACE}(S(n))\subseteq \text{SPACE}(S(n{)}^2)$

Proof. 类似4.13

Def. 4.16 对数空间规约

通过隐式对数空间可计算函数（可对数计算某一位）规约。

Theorem 4.18 PATH是NL-完全的

Proof.
PATH $\in \text{NL}$: 存当前点编号以及步数.
$L\in \text{NL}$ $\Rightarrow$格局图的邻接矩阵可$O(\log n)$计算$\Rightarrow$可对数空间规约到PATH.

Def. 4.19 NL的另一种定义：L+只能读一次的纸带

只能读一次的纸带等价于不确定性的选择方式

Theorem 4.20 NL = coNL

PATH的补集NPATH是coNL完全的，同时也是NL完全的.

Proof.
即证明可在对数空间内证明不存在一条路径连通s,t. 也等价于给出多项式的只读一次的证明。具体证明的构造方法可见P72,也很直观。

第5章 多项式分层与交错

Theorem 5.4 多项式坍塌定理

1.对任意$i\ge 1$, 如果${\sum }_i^p={\prod }_i^p$，则$\text{PH}={\sum }_i^p$.
2.如果$\text{P}=\text{NP}$,则$\text{PH}=P$.

Proof.
思路：P=NP相当于可以直接一层一层的拿掉$\forall ,\exists$.

Theorem 5.10 $\text{AP}=\text{PSPACE}$

Proof.
PSAPCE $\subseteq$ AP: TQBF可以通过交错图灵机解决
AP $\subseteq$ PSAPCE: 递归搜索

Theorem: $\text{APSPACE}=\text{EXP}$

Proof.
ASPACE $\subseteq$ EXP: 递归搜索
EXP $\subseteq$ APSPACE: 指数电路上利用交错图灵机(?) Proof of APSPACE = EXP

Theorem 5.11：$\text{SAT}\notin \text{TISP}(n^{1.1},n^{0.1})$

Proof. 只需证明$\text{NP}\notin \text{TISP}(n^{1.2},n^{0.2})$.
1.$\text{TISP}(n^{12},n^2)\subseteq {\sum }_2(n^8)$:用格局图来暴力枚举前者
2.若$\text{NTIME}(n)\subseteq \text{DTIME}(n^{1.2})$，则${\sum }_2(n^8)\subseteq \text{NTIME}(n^{9.6})$: 同样把后半部分提出来

Theorem 5.12：${\sum }_2^p={\text{NP}}^{\text{SAT}}$

Proof.
类似5.11的证明，具体见p81.

第六章 布尔线路

Theorem 6.6 $\text{P}\subseteq {\text{P}}_{\text{/poly}}$

Proof. 散漫图灵机

Theorem 6.13 语言$L$可被$\text{P}$一致线路族计算$\iff Lin\text{P}$

Proof.多项式时间内构造线路即可