【无标题】

Ladner定理

若$\mathbf{P}\ne \mathbf{NP}$，则$\mathbf{P}\cup \mathbf{NPC}\ne \mathbf{NP}$，即存在$\mathbf{NPI}$问题。

证明

由Cook-Levin定理知$\mathrm{SAT}$问题为$\mathbf{NPC}$问题。

定义语言
S A T H = { ψ 0 11 ⋯ 1 ⏟ n H ( n ) 个 1 ∣ ψ ∈ S A T 且 ∣ ψ ∣ = n } \mathrm{SAT}_H=\{\psi0\underbrace{11\cdots1}_{n^{H(n)}个1}|\psi\in\mathrm{SAT}且|\psi|=n\} SATH​={ψ0nH(n)个1 11⋯1​​∣ψ∈SAT且∣ψ∣=n}
定义函数
$$\begin{gathered} H(n)=i,i<\log \log n且是满足以下条件的最小值： \\ 对于任意|x|\le \log n的输入x，{\mathbb{M}}_i(x)在i|x{|}^i个步骤内输出{\mathrm{SAT}}_H(x)。 \\ 如果上述i不存在，则H(n)=\log \log n。 \end{gathered}$$
显然$H(n)$是个非递减函数。

计算$H(n)$的算法：

for $i$ in $[\mathrm{0..}\log \log n-1]$ :

​ for $x$ with $|x|\le \log n$ :

​ 模拟${\mathbb{M}}_i(x)$的计算，使用通用图灵机$\mathbb{U}(i,x)$ ; $O(cC\log C)$

​ 计算${\mathrm{SAT}}_H(x)$ ;

计算${\mathrm{SAT}}_H(x)$的算法：

获得$x$中${\psi }^{\prime }$的长度$n^{\prime }$ ; $n^{\prime }\le |x|\le \log n$

暴力判断${\psi }^{\prime }$是否在$\mathrm{SAT}$中 ; $O(2^{n^{\prime }})=O(n)$

计算$H(n^{\prime })$ ; $T(\log n)$

计算$n^{\prime H(n^{\prime })}$ ; $O(|n^{\prime }{|}^{H(n^{\prime })})=O((\log \log n{)}^{\log \log n^{\prime }})$

判断$x$中末尾的1串的长度是否为$n^{\prime H(n^{\prime })}$ ; $O(n^{\prime H(n^{\prime })})=O((\log n{)}^{\log \log n^{\prime }})$

计算$H(n)$的时间函数$T(n)$满足
$$\begin{gathered} T(n)\le (\log \log n)(2^{1+\log n})(cC\log C+O(n)+T(\log n)+\cdots ) \\ 其中c=c(|i|)=c(\log \log \log n),C=i|x{|}^i=O((\log \log n)(\log n{)}^{\log \log n}) \end{gathered}$$
总之$H(n)=o(n^3)$。？

引理：若$\mathbf{P}\ne \mathbf{NP}$，则${\mathrm{SAT}}_H\notin \mathbf{P}$。

假定${\mathrm{SAT}}_H\in \mathbf{P}$，存在${\mathbb{M}}_{\alpha }$在$c|x{|}^c$步骤内判定${\mathrm{SAT}}_H(x)$，因为与${\mathbb{M}}_{\alpha }$等效的图灵机编码有无限个，可以取足够大的$\alpha >c$，${\mathbb{M}}_{\alpha }(x)$可以在$\alpha |x{|}^{\alpha }$步骤内判定${\mathrm{SAT}}_H(x)$，当$n$足够大使得$\alpha <\log \log n$以后，按照定义$H(n)=\alpha$恒成立。也就是说，当$n$足够大时，$\psi \in \mathrm{SAT}$当且仅当$\psi 0\underset{n^{\alpha }个1}{\underbrace{11\cdots 1}}\in {\mathrm{SAT}}_H$，即$\mathrm{SAT}{\le }_K{\mathrm{SAT}}_H$，则$\mathrm{SAT}\in \mathbf{P}$，这与$\mathbf{P}\ne \mathbf{NP}$矛盾。故${\mathrm{SAT}}_H\notin \mathbf{P}$。

引理：若$\mathbf{P}\ne \mathbf{NP}$，则${\mathrm{SAT}}_H\notin \mathbf{NPC}$。

假定${\mathrm{SAT}}_H\in \mathbf{NPC}$，存在多项式$d|\phi {|}^d$时间内可计算的卡普规约$r:\mathrm{SAT}\mapsto {\mathrm{SAT}}_H$，即
$$\phi \in \mathrm{SAT}当且仅当r(\phi )=\psi 0\underset{n^{H(n)}个1}{\underbrace{11\cdots 1}}\in {\mathrm{SAT}}_H$$
因为$H(n)$是趋于无穷大的，存在足够大的$N$，当
$$|r(\phi )|=|\psi 0\underset{n^{H(n)}个1}{\underbrace{11\cdots 1}}|>N$$
时$H(n)>2d+1$且$|\psi |>d$。在这种情况下
$$|\psi {|}^{2d+1}<n^{H(n)}<|r(\phi )|\le d|\phi {|}^d<|\psi ||\phi {|}^d$$
得到$|\psi |<\sqrt{|\phi |}$，于是我们得到了多项式时间判定$\mathrm{SAT}(\phi )$的递归算法：

计算$r(\phi )$，判断结果是否为$\psi 0\underset{n^{H(n)}个1}{\underbrace{11\cdots 1}}$的形式，若不是，拒绝$\phi$。

若$|r(\phi )|>N$，递归调用$\mathrm{SAT}(\psi )$，否则暴力判定$\psi$是否在$\mathrm{SAT}$中。

设递归深度为$k$，即递归$k-1$次时依然要继续递归，则
$$\begin{gathered} \underset{k-1个根号}{\underbrace{\sqrt{\cdots \sqrt{|\phi |}}}}=|\phi {|}^{2^{1-k}}>N \\ {N}^{2^{k-1}}<|\phi | \\ {2}^{k-1}\log N<\log |\phi | \\ (k-1)\log 2+\log \log N<\log \log |\phi | \\ k=O(\log \log |\phi |) \end{gathered}$$
递归每一层都只需要多项式的时间，而递归边界暴力判定$\psi$时，由于$|\psi |\le N$，时间为常数，故$\mathrm{SAT}\in \mathbf{P}$，矛盾。故${\mathrm{SAT}}_H\notin \mathbf{NPC}$。
设L可被多项式NDTM$\mathbb{N}$判定。构造从L到SAT的隐式对数空间可计算的Cook-Levin规约。

定理4.6

一个语言L可被一致电路族接受，当且仅当$L\in \mathbf{P}$.

电路族 { C n } \{C_n\} {Cn​}是一致的，当且仅当存在一个将$1^n$映射到$C_n$编码的隐式对数空间可计算函数。

证明

证明$\Rightarrow$：

设L可被一致电路族接受。构造一DTM$\mathbb{M}$，当输入是x时，调用隐式对数空间可计算函数在多项式时间内产生一个多项式大小的电路$C_n$，然后在多项式时间完成$C_n(x)$的计算。因此$L\in \mathbf{P}$.

证明$\Leftarrow$：

设只有一条读写带的$\mathbb{M}$在多项式时间t=T(n)内判定L.

用$T_0,\cdots ,T_t$表示$\mathbb{M}(x)$计算的格局序列，$T_i$包含了t+1个格子里的所有符号，$T_{ij}$表示$T_i$中第j个符号，其中$0\le j\le t+1$. 显然有$T_{i0}=⊳$和$T_{i(t+1)}=\square$.

我们再将$T_{ij}$换为一个三元组(s, h, q)，其中s就是所指格子中的符号；h取布尔值，表示读写头是否指向该格；q是格局所处的状态。

第t+1个格局和第t个格局有如下的局部递推关系：$T_{ij}$可从$T_{(i-1)(j-1)},T_{(i-1)j},T_{(i-1)(j+1)}$中算出来，而且这个计算只依赖于$\mathbb{M}$，不依赖于输入x，这可以用同一个电路C实现，如图所示：

电路$C_{ij}$的输入是$C_{(i-1)(j-1)},C_{(i-1)j},C_{(i-1)(j+1)}$的输出。所有$C_{0j}$直接绑定为起始格局（的二进制编码）；所有的$C_{i0}$绑定为$⊳$；所有$C_{i(t+1)}$绑定为$\square$. 最终得到的电路可接受L中输入长度是n的串。可以用一个类似于深度优先遍历的算法将最终电路的邻接矩阵在对数空间里输出。

引理4.1

对所有$L\in \mathbf{NP}$，有$L{\le }_L\text{CKT-SAT}$.

其中CKT-SAT是电路版本的可满足性问题，即所有那些可满足的电路的集合。$x\in \text{CKT-SAT}$当且仅当x是一个电路C的编码且
∃ u ∈ { 0 , 1 } n . C ( u ) = 1 \exists u\in\{0,1\}^n.C(u)=1 ∃u∈{0,1}n.C(u)=1
其中n是C所接受的输入长度。

证明

设$L\in \mathbf{NP}$，则存在多项式p与DTM$\mathbb{M}$满足
x ∈ L ⇔ ∃ u ∈ { 0 , 1 } p ( ∣ x ∣ ) . M ( x , u ) = 1 x\in L\Leftrightarrow\exists u\in\{0,1\}^{p(|x|)}.\mathbb M(x,u)=1 x∈L⇔∃u∈{0,1}p(∣x∣).M(x,u)=1
用定理4.6将$\mathbb{M}(x,u)$在对数空间规约到计算$\mathbb{M}(x,u)$的电路C，然后将输入x和C做硬链接。这给出了从L到CKT-SAT的对数规约。

引理4.2

$\text{CKT-SAT}{\le }_L\text{SAT}$.

证明

设C为输入电路。为C的每个输入、每个门、每个输出引入一个布尔变量。输入的C包含了所有门的输入编码和输出编码，可将这些编码作为相应变量的编码。若一个与门的输入为x, y，输出为z，即满足布尔公式$z=x\wedge y$，这可等价转换为合取范式：
$$\begin{array}{rl}z\iff x\wedge y& =(z\vee \overline{x\wedge y})\wedge (\overline{z}\vee (x\wedge y))\\ & =(z\vee \overline{x}\vee \overline{y})\wedge (\overline{z}\vee x)\wedge (\overline{z}\vee y)\end{array}$$
或门和非门也同样可用合取范式表示。这些合取范式的大小是对数长的，可逐个输出。

Immerman-Szelepcsenyi 定理

$$\overline{\mathrm{PATH}}\in \mathbf{NL}$$

证明

需设计一对数空间NTM$\mathbb{N}$，当输入一个可达性问题实例$(G,s,t)$时，$\mathbb{N}(G,s,t)=1$当且仅当图G中从s到t没有路径。

设图G有n个结点。显然，如果s到t有路径，从s出发n-1步内能到达t，我们逐步构建从s出发$i\in [\mathrm{1..}n-1]$步内能到达的节点集合。引入集合$C_i$和数$c_i$，其定义如下：

• $C_i$为从s出发i步内能到达的结点集合。显然$C_1\subseteq C_2\subseteq \cdots \subseteq C_{n-1}$，且以下三者等价：$\mathbb{N}(G,s,t)=1\iff$“s到t没有路径”$\iff t\notin C_{n-1}$.
• $c_i=|C_i|$为$C_i$中的节点数。

每个$C_i$的大小是线性的，故每个$c_i$的长度是对数的，所以可以把固定数目的$c_i$存放在工作带上。我们使用如下算法：

1. 计数器初始化$c_1=c_2=\cdots =c_{n-1}=0$；
2. 计算$c_1$；
3. 由$c_i$计算$c_{i+1}$，直至算出$c_{n-2}$；
4. 由$c_{n-2}$判断t是否在$C_{n-1}$内。

第2步容易在对数空间内计算。枚举G中每个异于s的节点v，如果s到v有边，则计数器$c_1$自增。

第3步的计算需要知道$C_i$和$C_{i+1}$. 我们没法存下任何$C_i$，但是我们能存下$c_i$. 在存着$c_i$的时候，有$\mathbf{NL}$中的算法来判断任一节点v是否满足$v\in C_{i+1}$，即
$$\mathrm{judge}(v,i)=\{\begin{array}{ll}1,& v\in C_{i+1}\\ 0,& v\in C_{i+1}\end{array}$$
judge(v, i)的算法如下：

def judge(v, i):

​ ans=0;

​ counter=0;

​ for w in G:

​ //猜w是否在$C_i$中

​ if Guess($w\in C_i$):

​ if not PATH(G, s, w, i): //调用$\mathbf{NL}$中的可达性算法，G中s是否在i步内可达w.

​ //猜错了，w不在$C_i$内，停机。

​ halt();

​ if v==w or w到v有边:

​ //$v\in C_i$或从$C_i$起v一步可达。

​ ans=1;

​ counter+=1;

​ if counter$\ne c_i$:

​ //猜少了，猜的$C_i$中结点数不够，停机。

​ halt();

​ return ans;

以上算法中把$C_i$给准确地猜出来了，有且仅有一条正确猜测路径，且返回了judge(v, i)的正确结果，其余错误猜测路径全部停机。

那么$c_{i+1}$的计算只需要简单地累加得出：

for v in G:

​ if judge(v, i):

​ $c_{i+1}$+=1;

计算出$c_{i+1}$后把$c_i$擦掉以腾出空间。

最终，我们可以计算出$c_{n-2}$，然后调用judge(t, n-2)得到$\mathbb{N}(G,s,t)$的结果。

引理4.4

图的可达性问题$\mathrm{PATH}\in {\mathbf{NC}}^2$.

证明

图G用邻接矩阵A表示，其中元素$A_{ij}=1\iff$“结点i到j有边”，$A_{ii}$恒为1.

考虑布尔矩阵自乘$A^2$，其中
$$(A^2{)}_{ij}=\underset{k=1}{\overset{n}{\bigvee }}(A_{ik}\wedge A_{kj})$$
说明$A_{ij}^2$表示结点i在2步之内可达j，由此类推得$(A^{n-1}{)}_{ij}$表示结点i在n-1步之内可达j，即i可达j. PATH问题有解，当且仅当$(A^{n-1}{)}_{ij}=1$.

计算$A^2$时，使用$n^3$个处理器可将所有$A_{ik}\wedge A_{kj}$在一个并行步内算出。计算${\bigvee }_{k=1}^n$可用快速幂思想，故可用$\log n$个并行步计算所有的$(A^2{)}_{ij}$，故$A^2\in {\mathbf{NC}}^1$.

计算$A^{n-1}$也可用快速幂思想，故$A^{n-1}\in {\mathbf{NC}}^2$，故$\mathrm{PATH}\in \mathbf{N}{\mathbf{C}}^2$.

引理4.5

隐式对数空间可计算函数可高效并行化。

证明

隐式对数空间可计算函数输出的每一位都可在对数空间算出来，这些位的计算当然是可并行进行的。每一位的计算可高效并行化，这是因为有两点：

• 对数空间可计算函数的格局图可用一个多项式大小的邻接矩阵表示。因为格局的大小是对数的，所以可以在对数时间里完成计算。因此，对数空间可计算函数的格局图的邻接矩阵可被高效并行地产生。
• 计算每一位的值就相当于判定图的可达性。根据引理4.4，可达性判定具有高效并行算法。

根据对数空间规约的传递性，引理4.5得证。

定理4.8

设L是$\mathbf{P}$-完备的，$L\in \mathbf{NC}$当且仅当$\mathbf{P}=\mathbf{NC}$.

证明

所有$\mathbf{P}$中的问题都可以对数空间规约到L，由引理4.5知该规约可高效并行化。

若$L\in \mathbf{NC}$，则L可高效并行地计算。对于任意$\mathbf{P}$中的问题，首先将它高效并行地规约为L，再用高效并行算法判定L. 因为高效并行算法的复合依然是高效并行算法，定理4.8得证。