计算理论基础：3、可计算性-CSDN博客

本文链接：https://blog.csdn.net/shiki217_/article/details/137939175

通用图灵机

对一个多带图灵机进行编码，假设我们对图灵机的编码满足：

每一段字符串 $\alpha \in\{0,1\}^*$ 表示某一图灵机(对于无效的编码 $\alpha$ ，图灵机总是拒绝)
每个图灵机被无限长的字符串(每个字符串可含有任意多个无效状态)

$TM:M=(Q,\sum,\Gamma,\delta,q_0,q_{accept},q_{reject})\\ \sum=\{0,1\}\\ \delta:Q\times \Gamma ^k\rightarrow Q\times \Gamma^k\times\{L,R,S\}^k\\ \overrightarrow{a}表示当前状态的k带标志组成的列向量，\overrightarrow{b}表示将要写的k带标志组成的列向量\\ \overrightarrow{D}表示k个指针的移动方向\\ \overrightarrow{a}，\overrightarrow{b}\in\Gamma^k;\overrightarrow{D}\in \{L,R,S\}^k \\ \delta:\{(q_1,\overrightarrow{a},q_2,\overrightarrow{b},\overrightarrow{D})\}$
编码图灵机 $M$ 用时 $O (1)$

定理1 通用图灵机停机

存在一个多带图灵机 $u$ ,对所有 $x\in \{0,1\}^*，u(x,\alpha)=M_\alpha (x),x时输入,\alpha是程序$ ,并且，如果 $M_\alpha$ 在输入 $x$ 时 $T$ 步内停机，那么 $u(x,\alpha)$ 会在 $O_M(T\log T)$ 步内停机

更弱的结论： $O_M(T^2)$ 步内停机

$Proof\ weaker\ vision$

根据引理3.9，我们知道一个多带图灵机可在 $O(T^2)$ 内转化为一个单带图灵机。

在这里插入图片描述

UTM 有三个带子，第一个模拟M的工作带，第二个编码程序，第三个储存M现在的状态

对于单带图灵机 $M$ 的每一步，UTM u 将

读取 $M$ 工作带上的标志 $O (1)$
读取 $M$ 现在的状态 $q$ $O(log_2 Q)=O_M(1)$
扫描程序带(M的描述)，来找到转移函数 $\delta_1(q_1,a)$ $O_M(1)$
更新M工作带上的标识，如果需要的话，移动指针 $O (1)$
更新 $M$ 现在的状态为 $q_2$ （原为 $q_1$ ） $O_M(1)$

每一步都需要 $O_M(1)$ 步，即通用图灵机和单带图灵机的差别是常数级的，而单带图灵机模拟多带图灵机是 $O(T^2)$ 的，则在 $O_M(T^2)$ 内停机

$O(1)与O_m(1)$ :

$O(1)：\exists c,\exist N,\forall n\ge N,|f(n)|\le c$
$O_M(1)：\forall M,\exists c,\exist N,\forall n\ge N,|f(n)|\le c$ ，即这里的c与M有关， $c = c (M)$

$Proof\ 4.1$

假设 $k$ 时 $M_\alpha$ 工作带的数目， $\Gamma$ 时字母表。我们假定 $u$ 使用字母表 $\Gamma^k$ , $u$ 移动纸带，而不是移动指针。然而，模拟需要 $O(T^2)$ 的时间（移动纸带就需要 $O (T)$ 的时间）

在这里插入图片描述

因此，我们认为 $u$ 的平行带为双向无限的(双向纸带可被单带模拟，相差常数级)，。

接着，我们将 $u$ 的每一条平行的纸带划分为多个区域，标记为：
$R_0,L_0,R_1,L_1,\cdots,R_{\lceil log_2T\rceil},L_{\lceil log_2T\rceil}\\ |R_i|=|L_i|=2^{i+1}$
我们约定：

每个区域只有三个状态：空的，满的或者时半满的
$L_i\cup R_i$ 中的缓冲符号的数目只能为 $2^{i+1}$ ，也就是说
$R_i 为空，L_i为满\\ R_i为满，L_i为空\\ R_i为半满，L_i为半满\\$
只有这三种情况。

纸带左右移是对称的，考虑左移：

找到最小的 $i_0$ ，使得 $R_{i_0}$ 不为空，(等价的，找到最小的 $i_0$ ，使得 $L_{i_0}$ 不为满)
将 $R_{i_0}$ 最左边的不为缓冲符号的符号移动到位置0，然后将 $R_{i_0}$ 中剩余的 $2^{i_0}-1$ 个非缓冲符号移动到 $R_0,R_1,\cdots,R_{i_0-1}$ ，刚好能填一半( $\sum^{i_0-1}_{k=0}2^{k+1}=2^1+2^2+\cdots+2^{i_0}=2^{i_0+1}-2$ )
左边是对称的，令 $j$ 是从 $i_0-1$ 到0,移动一半的 $|L_0|+|L_1|+\cdots+|L_{i-1}|-1$ 个非缓冲符号到 $L_{i_0}$ ，原0位置占据了 $L_0$ 的一半。我们可以计算总共移动了 $\frac12 (2^1+2^2+\cdots+2^{i_0})-1=2^{i_0}-2$ 个元素，刚好占一半
移动完成后， $R_0,L_0,R_1,L_1,\cdots,R_{i_0-1},L_{i_0-1}$ 是半满的， $R_{i_0}$ 要么空要么半满， $L_{i_0}$ 要么满要么半满

当我们以指标 $i_0$ 完成一次操作后，那么接下来的 $2^{i_0}-1$ 次的移动指标不会超过 $i_0$ (因为 $i_0$ 以内都是半满的，所以需要移动这么多次才会再遇到 $i_0$ 操作)，因此，最多有 $\frac{1}{2^{i_0}}$ 次操作会以指标 $i_0$ 进行移动。
$\Longleftrightarrow 第i次操作的指标\\ k\sum^{T}_{i=1} O(2^{index(i)})\ \{1\le i\le T:index(i)=j\}\\ =k\sum^{log_2\ T}_{j=0} O(2^{j})\cdot \frac{T}{2^j}\\ =k\sum^{log_2T}_{j=0}O(T)=kO(Tlog_2T)=O_M(Tlog_2T)$

引理2 几乎所有语言不可判定

$P roo f$

$2^{\aleph_0}=\aleph_1$

而 $\{L\subseteq \{0,1\}^*\},TMs=\aleph_0$

引理 3 $L_{flip}$ 不可判定

$L_{flip}=\{\alpha:M_\alpha\ does\ not\ accept\ \alpha\}$ ,证明这个语言是不可被判定的(对角线化)

$P roo f :$ 假设 $L_{flip}$ 可被判定，则设可判定它的图灵机为 $M_\beta$ ，即 $L(M_\beta)=L_{flip}$

情况1：

若 $\beta \in L_{flip}$ ，根据定义，那么 $M_\beta$ 没有接收 $\beta$ ，又因为被判定了(要么接收要么拒绝，不存在死循环)，那么 $M_\beta$ 拒绝了 $\beta$ ,则 $\beta \notin L(M_\beta)$ ,矛盾。

情况2：

若 $\beta\notin L_{flip}$ ,根据定义， $M_\beta$ 接收了 $\beta$ ，那么 $\beta \in L(M_\beta)=L_{flip}$ ，矛盾。

图灵停机问题

$L_{halt}=\{(\alpha,x):M_\alpha\ 会在输入x时停下\}$ ，是否可判定？

显然，对于某一类的程序，是可判定的，但这个语言表示是否存在一种通用的算法解决图灵停机问题。

费马大定理:

$(\forall n\ge 3)(\forall a,b,c\ge 1)(a^m+b^m\ne c^m)$ ，如果可以找到反例，即不停地循环，直到找到这个等式，那么它成立，当且仅当 $(M_\alpha,\epsilon)\notin L_{halt}$ 。这个问题是困难的。

定义4 `归约`(reduction)

设 $L_1,L_2\subseteq\{0,1\}^*$ ，如果有一个从 $L_1$ 到 $L_2$ 的归约，就写作 $L_1\le L_2$ ( $L_2$ 不会比 $L_1$ 简单)，因此存在一个TM $M:\{0,1\}^*\rightarrow\{0,1\}^*$ （当输入x时， $M$ 总会停止，并且输出一段字符串 $M (x)$ ）,，有

$(\forall x\in L_1)(M(x)\in L_2)$
$(\forall x \notin L_1)(M(x)\notin L_2)$

即若 $L_1\le L_2$ ,且如果 $L_2$ 可判定，那么 $L_1$ 也是可判定的，它的逆否：如果 $L_1$ 不可判定，那么 $L_2$ 也不可判定。

在这里插入图片描述

图1 归约示意

在这里插入图片描述

图2 映射示意

如果 $x\in L_1$ ,则 $M(x)\in L_2$ ,所以 $M_2$ 接收 $M (x)$

如果 $x\notin L_1$ ,则 $M(x)\notin L_2$ ,所以 $M_2$ 不接收 $M (x)$

更为完整的定义：

归约是将一个问题的算法转化为另一个问题，使用归约的原因：

把一个新问题归约到已知问题的算法上
证明某些问题是不可判定的。

归约的例子：

映射归约(Mapping reduction)

$L_1\le_m L_2$ ，即在先前的定义中的，经过函数映射。

图灵归约(Turing reduction)

$L_1\le_T L_2$

多项式时间的映射归约(Karp reduction)

$L_1\le_p L_2$

多项式时间的图灵归约(Cook reduction)

例子：

1.可以计算 $x^2$ ，如何计算 $x y$ ？

$xy=\frac{(x+y)^2-x^x-y^2}{2}$ ，是图灵归约，这个公式需要调用三次，而在映射归约中只能调用一次，且需返回结果

2.最大匹配问题，可归约为最大流问题

在匹配前后新加源和汇，并均连接起来，每个点，边的容量都为1。是映射归约(只调用了一次，且调用完后直接返回结果)

定义4.1 `映射归约`

令 $L_1,L_2\subseteq\{0,1\}^*$ ，若存在一个可计算的函数映射： $\phi:\{0,1\}^*\rightarrow \{0,1\}^*$ ,且 $的x\in L_1$ 当且仅当 $\phi(x)\in L_2$ ，我们说 $L_1$ 是映射归约到 $L_2$ 的，记作 $L_1\le_m L_2$ (映射是多对一的)

$\forall L,L\le_m L$
$L_1\le L_2 \Longleftrightarrow \overline{L_1}\le_m \overline{L_2}$
可传递：若 $L_1\le_m L_2,L_2\le_M L_3 ，则L_1\le_mL3$

映射归约将直接返回结果，即不能对结果做运算

定义4.2 `神谕图灵机` （Oracle Turing Machine）

一个语言 $L$ 的神谕k带图灵机，是一个k带图灵界，拥有两个额外的状态 $q_{ask},q_{response}$ ,前k-1条带子是输入和工作带，最后一条带子是神谕带。

当进入 $q_{ask}$ 状态时，以下操作将在一步内完成：

写在神谕带上的字符串 $z$ 会被擦除
如果 $z\in L$ ,标志1将会写到神谕带的最左端，否则将会写0
神谕带的指针将移到最左边
进入到 $q_{request}$ 状态

类似地，我们可以定义一个拥有神谕(oracle)函数 $f$ 的TM

定义 4.3 `图灵归约`

令 $L_1,L_2\subseteq\{0,1\}^*$ ,如果存在一个神谕图灵机，拥有 $L_2$ 的神谕，这个神谕可判定 $L_1$ ,则 $L_1$ 是可图灵归约到 $L_2$ 的，记作 $L_1\le_T L_2$
$KaTeX parse error: Expected 'EOF', got '&' at position 2: &̲Let\ L_1,L_2\su…$

即可以任意次调用结果，也可以对结果进行变换。

性质

对任意可判定的语言 $L_1,L_2$ ，我们有 $L_1\le_T L_2$
如果 $L_1\le_T L_2,L_2 \le_T L_3$ ,那么 $L_1\le_T L_3$
对于任意语言 $L$ ， $L\le_T L,L\le_T\overline{L}$
如果 $L_1\le _m L_2$ ,那么 $L_1\le_T L_2$

实际上，映射归约是比较特殊的图灵归约

定理5 $L_{halt}$ 不可判定

$P roo f$ ：

我们将证明 $L_{flip}\le L_{halt}$ ,假定 $L_{halt}$ 可被TM $M_{halt}$ 判定，我们将证明 $L_{flip}$ 是可判定的，就产生了矛盾

构造一个TM $M_{flip}$ ：

以输入 $(\alpha,\alpha)$ 运行 $M_{halt}$ :

如果 $M_{halt}$ 拒绝 $(\alpha,\alpha)$ ,那么 $M_{flip}$ 接收 $\alpha$
如果 $M_{halt}$ 接收 $(\alpha,\alpha)$ ，以输入 $\alpha$ 模拟 $M_\alpha$ (使用一个UTM,并不直接运行，而是一种直接模拟)，然后反转输出，那么很容易确认 $M_{flip}$ 接收 $L_{flip}$ ，矛盾。

令 $L_{accept}=\{(\alpha,x):M_\alpha 接收x\}$

引理 6 $L_{accept}$ 不可判定

$P roo f$

我们将证明 $L_{halt}\le L_{accept}$ ，假定 $L_{accept}$ 是可判定的为矛盾的，例如：存在一个TM $M_{accept}$ 判定 $L_{accpet}$ ,我们构造一个TM $M_{halt}$ ，它可以判定 $L_{halt}$ :

以 $(\alpha,x)$ 作为输入，构造一个新的TM $M_\beta$ ,用来模拟输入 $x$ 时的 $M_\alpha$ ,并且无论 $M_\alpha$ 何时停止，总是接收(如果 $M_\alpha$ 死循环， $M_\beta$ 也死循环)，输出为 $(\beta,x)$ ，合并了拒绝和接收的状态。
以 $(\beta,x)$ 作为输入，运行 $M_{accept}$ ，然后转发它的输出，显然 $M_{halt}$ 可判定 $L_{halt}$

“显然”的解释：

$(\alpha,x)\in L_{halt}$ ,那么 $M_\alpha$ 在输入 $x$ 时停机，根据 $M_\beta$ 的定义，它一定接收 $x$ ,那么 $M_{halt}$ 将接收 $(\alpha,x)$
$(\alpha,x)\notin L_{halt}$ ，那么根据 $M_{beta}$ 的定义，在输入 $x$ 时，死循环，但 $M_\beta$ 不是图灵机，只是一种直接的映射，那么它仍会输出 $(\beta,x)$ ,那么 $M_{accept}$ 将拒绝 $(\alpha,x)$

引理 7 $L_{empty}不可判定$

$L_{empty}=\{<M>:M 不接收任何输入,例如：L(M)=\varnothing\}$

$P roo f$

我们将证明 $L_{halt}\le h_{empty}$ ，假定 $L_{empty}$ 可被一个TM $M_{empty}$ 判定，我们可以导出一个矛盾：

我们可构建一个TM $M_{halt}$ :

以 $(\alpha,x)$ 作为输入

构造一个新的TM $M_{\beta}$ ，它输入是 $\in\{0,1\}^*$ ,它将
- 以输入 $x$ 模拟 $M_\alpha$
- 如果上一步停止了，总是接受 $y$

显然， $L(M_{\beta})=\varnothing$ ，如果 $M_\alpha$ 没有在输入 $x$ 时停止；否则 $L(M_\beta)=\{0,1\}^*$

以 $\beta$ 为输入运行 $M_{empty}$ ，并且反转输出(如果拒绝，则接收;如果接收，则拒绝)，

我们可以确认 $M_{halt}$ 可判定 $L_{halt}$ ,矛盾。

情况1：如果 $M_\alpha$ 停止了，那么 $\beta\in \{0,1\}^*$ ,那么 $M_{empty}$ 总是拒绝，反转后，总是接受

情况2：如果 $M_\alpha$ 没有停止，则 $\beta = \varnothing$ ,那么 $M_{empty}$ 总是接收，反转后，总是拒绝

那么 $M_{halt}$ 就判定了 $L_{halt}$

定理 8 $L_{regular}$ 不可判定

$L_{regular}=\{<M>:M是一个图灵机，且L(M)是一个正则语言\}$ ，它是不可判定的

$P roo f$

假定 $L_{regular}$ 是可被TM $M_{regular}$ 判定的，我们可以证明 $L_{accept}$ 是可判定的，从而导出矛盾.

以 $(\alpha,x)$ 作为输入，构造一个TM $M_{accept}$ ：

构造一个TM $M_{beta},\beta=\beta(\alpha,x)$ ，并且 $M_\beta$ 的输入表示为 $y$
- 如果 $y\in\{0^n1^n:n \ge 0\}$ ,直接接收
- 否则，用 $x$ 模拟 $M_\alpha$ ，则 $M_\beta$ 接收 $y$ 当且仅当 $M_\alpha$ 接收 $x$
以 $\beta$ 运行 $M_{regular}$ ，转发它的输出，( $L_{regular}$ 是判定的语言，则要么接收要么拒绝)

情况1：如果 $(\alpha,x)\notin L_{accept}$ ，即 $M_\alpha$ 不接受 $x$ ，那么是1的第二种情况，则 $M_\beta$ 不接收 $y$ ，那么唯一接受的语言集合 $L(M_\beta)=\{0^n1^n:n\ge 0\}$ (它不是正则语言)，那么 $M_{regular}$ 拒绝 $\beta$ ， $M_{accept}$ 也拒绝 $\beta$

情况2：如果 $(\alpha,x)\in L_{accept}$ ，那么 $L(M_\beta)=\{0,1\}^*$ ,那么 $M_{regular}$ 接收 $\beta$ ， $M_{accept}也接收$ $\beta$ ，那么 $L_{accept}$ 是可判定的，矛盾了。

引理 9 $L_{equal}$ 不可判定

$L_{equal}=\{(<M_1>,<M_2>):M_1和M_2是图灵机，且L(M_1)=L(M_2)\}$

$P roo f$

假定 $L_{equal}$ 是可被 $M_{equal}$ 判定的，将其归约到 $L_{empty}$ 上，即证明 $L_{empty}$ 是可判定的，从而导出矛盾。

以 $< M >$ 作为输入，构造一个TM $M_{empty}$ ：

以输入 $M>,<M_0>)$ 运行 $M_{equal}$ ，其中 $L(M_0)=\varnothing$ ，那么 $M_0$ 立刻拒绝,只有当 $M$ 也只接受 $\varnothing$ 时才会接受
转发输出。

显然， $M_{empty}$ 可判定 $L_{empty}$ ，因为输入的 $M$ 只接受空集时， $M_{empty}$ 才接受。

定义10 语言的非平凡性质

性质P是关于一个可被图灵机识别的语言的性质(语言)，如果有 $L (M) = L (N)$ ，那么 $P$ 包含 $< M >$ 当且仅当 $P$ 包含 $< N >$ ( $P\subseteq\{0,1\}^*$ )

性质是非平凡的，如果存在一个 $TM_\alpha$ ,其中 $\alpha \in P$ ,且存在 $TM_\beta$ ,其中 $\beta \notin P$

定理 11 `米饭理论`(rice theorem)

任何关于可被图灵机识别的语言的非平凡性质都是不可判定的

$P roo f$

不失一般性，假设 $\varnothing\notin P$ ,可产生矛盾：假定 $P$ 可被图灵机 $M_P$ 判定

既然 $P$ 是非平凡的，任取 $\beta\in P$ (因为 $\varnothing\notin P$ ,那么空图灵机(总是拒绝的图灵机)不在P里)。

构造一个图灵机 $M_{accept}$ 如下：

对于输入 $(\alpha,x)$ ，构造 TM $M_\gamma$ ,又构造 $\gamma=\gamma(\alpha,x)$ 如下：
1. 用输入 $x$ 模拟 $M_{\alpha}$ ，直到 $M_\alpha$ 接收 $x$ ，否则死循环。
2. 以输入 $y$ 模拟 $M_{\beta}$ ， $M_\gamma$ 接收当且仅当 $M_\beta$ 接收
  
  注意到，当 $M_\alpha$ 接收 $x$ 时， $M_\gamma=M_\beta$ ，当死循环时， $M_\gamma$ 也死循环
以 $\gamma$ 运行 $M_P$ ，接收当且仅当 $M_P$ 接收。

可以断定 $M_{accept}$ 可判定 $L_{accept}$

情况1： $(\alpha,x)\in L_{accept}$ ,则 $L(M_{\gamma})=L(M_\beta)$ ，那么 $M_P$ 接收 $\gamma$

情况2： $(\alpha,x)\notin L_{accept}$ ,则 $L(M_{\gamma})=\varnothing$ ,那么 $M_P$ 不接收 $\gamma$

Post Correspondence Problem

定义多米诺牌 $[\frac{a}{ab}]$

对一组多米诺牌 $\{[\frac{b}{ca}],[\frac{a}{ab}],[\frac{ca}{a}],[\frac{abc}{c}]\}$ 是否存在一个划分，满足这样的牌

$PCP$ 问题是为了确定是否每一组多米诺牌都有一个匹配。

形式化的，一个PCP的实例为：
$P=\{[\frac{t_1}{b_1}],[\frac{t_2}{b_2}],\cdots,[\frac{t_k}{b_k}]\}$
其中 $t_i,b_i\in \sum^*$ ,一个匹配是两排一样的片段 $i_1,i_2,\cdots,i_l$ ，其中 $t_{i_1}t_{i_2}\cdots t_{i_l}=b_{i_1}b_{i_2}\cdots b_{i_l}$ ，(可以不全用，可以重复用)那么语言为
$PCP=\{<P>:P 有一个匹配\}$

其中 $< P >$ 表示一组多米诺骨牌的编码

定理12 PCP问题是不可判定的

思路：归约 $L_{accept}$ 到 $PCP$

对于任意 $\alpha,x$ ，构造一个 $PCP$

对于实例 $P_{\alpha,x}$ ,认为 $M_\alpha$ 接收 $x$ 当且仅当 $P_{\alpha,x}$ 有一个匹配

截图：对于一个单带图灵机运行时的某一状态，记录下来：
$a_0a_1a_2q_ia_3a_4a_5a_6\#$
那么我们需要拼出这样一个匹配：
$\underbrace{\#q_0w_0w_1\cdots w_{n-1}}_{snapshot1}\underbrace{\#w'_0q_1w_1\cdots w_{n-1}}_{snapshot2}\underbrace{\#\cdots\#}_{many\ snapshots}\underbrace{\#\cdots q_{accept}\cdots\#}_{last\ snapshot}$

$P roo f$

归约 $L_{accept}$ 到 $PCP$ ,因为 $L_{accept}$ 是不可判定的，那么我们可以得到PCP 是不可判定的，即假设PCP是可判定的，推导出 $L_{accept}$ 也是可判定的，从而导出矛盾

对于一个 $TM_\alpha$ ,输入 $w$ ，构造一个PCP实例 $P=P(\alpha,x)$ ，有

如果 $M_\alpha$ 接收 $w$ ,那么 $P\in PCP$
如果 $M_\alpha$ 不接受 $w$ ，那么 $P\notin PCP$

即若 $P\in PCP,则(\alpha,x)\in L_{accept}$

作三个假设：

$M$ 永不会尝试将自己的指针移动到带子的最左端(即 $\rhd$ 处),每一步均会左移和右移，不会停留。
如果 $w=\epsilon$ （是空串），用 $\sqcup$ 替代 $w$
修改一下PCP，规定一个匹配必须以 $[\frac{t_1}{b_1}]$ 开始

对于假设3，我们用另一个语言描述
$MPCP=\{<P>:P\in PCP,且\exist 以[\frac{t_1}{b_1}]为开始的匹配\}$
那么我们的目标是：

$L_{accept}\le_m MPCP$
$\le_m PCP$

令 $M_\alpha = (Q,\sum,\Gamma,\delta,q_0,q_{accept},q_{reject})$ ,构造 $P'=P'(\alpha,w)$ , $P'\in MPCP$ ,当且仅当 $M_{\alpha}$ 接收 $w$ 。

第一部分(初始状态):

输入 $[\cfrac{\#\cdots}{\#q_0w_1w_2\cdots w_n\#}]$ 到 $P^{'}$ 作为第一张多米诺牌， $q_0$ 在指向的指标前面

第二部分(右移)

对任意 $a,b\in \Gamma^*$ ，任意 $q_0,r\in Q$

如果 $\delta(q,a)=(r,b,R)$ ,（分别是下一状态，写的字符，右移）且 $q\ne q_{reject}$ ，将 $[\cfrac{qa}{br}]$ 输入到 $P^{'}$

第三部分

如果 $\delta(q,a)=(r,b,l)$ ，将 $[\cfrac{cqa}{rcb}]$ 输入到 $P^{'}$ ，对任意 $c\in \Gamma$

第四部分(处理没被指过的标志)：

对任意 $a\in \Gamma\cup\{\#\}$ ，将 $[\frac{a}{a}]$ 放入 $P^{'}$

一个例子(用来展示前四步的用意)

$\Gamma = \{0,1,2,\sqcup\}，w =0100$

从状态 $q_0$ 开始， $\delta(q_0,0)=(q_7,2,R)$

那么

$ Part1\ \ [\frac{t_1}{b_1}]=[\frac{#}{#q_00100}] $

$Part2\ [\frac{t_2}{b_2}]=[\frac{q_0 0}{2q_7}]$

$Part4\ \ [\frac{0}{0}]\ [\frac{1}{1}]\ [\frac{2}{2}]\ [\frac{\sqcup}{\sqcup}]\ [\frac{\#}{\#}]$

第五部分

放入 $[\frac{\#}{\#}],[\frac{\#}{\sqcup\#}]$ （用来处理空格）

第六部分

对任意 $a\in \Gamma$ ，在P’放入 $[\frac{aq_{accept}}{q_{accept}}],[\frac{q_{accept}a}{q_{accept}}]$ ，用来收缩

第七部分

放入 $[\frac{q_{accept}\#\#}{\#}]$

至此构造完成，断言 $M_\alpha$ 接收 $w$ 当且仅当 $P'\in MPCP$

$\Longrightarrow$ （充分性):

用 $S_i$ 表示一张截图

则 $\#S_1\#S_2\#\cdots\# S_l\#$ ,可以用七种牌拼出来

$\Longleftarrow$ （必要性):

考虑相邻的两个configuration(配置，即截图) $S_i,S_{i+1}$ ，有如下可能

$S_i =S_{i+1}$
如果 $S_i$ 包含 $q_{accept}$ ， $S_{i+1}$ 是由 $S_i$ 收缩得来，即使用了第六种牌
如果 $S_i$ 不含 $q_{accept}$ ，且 $S_i\ne S_{i+1}$ ，那么 $S_{i+1}$ 是一个从 $S_i$ 得到的有效转移，即处于运行阶段

最终，我们可以用一个小技巧得到 $\le_m PCP$ ：

令 $u=u_1u_2\cdots u_n$ 为一段长度为 $n$ 的字符串

定义：
$*u=*u_1*u_2*\cdots *u_n\\ u*=u_1*u_2*\cdots *u_n*\\ *u*=*u_1*u_2*\cdots *u_n*\\$
如果 $P'=\{[\frac{t_1}{b_1}],[\frac{t_2}{b_2}],\cdots,[\frac{t_n}{b_n}]\}$

则令 $P=\{[\frac{*t_1}{*b_1*}],[\frac{*t_1}{b_1*}],[\frac{*t_2}{b_2*}],\cdots,[\frac{*t_k}{b_k}],[\frac{*\rhd}{\rhd}]\}$ ，则显然必须以第一张牌开始，假设三就不是必要的了，且得到了 $P'\in MPCP \ iff\ P\in PCP$ 。

哥德尔不完备定理

皮亚诺算术

含有以下符号

常数 $0$
后继符号$ S \ (1=S(0),2=S(S(0)))$
加法符号 $(+)$ ,乘法符号 $(\cdot)$
逻辑运算 $\land,\lor,\neg$
全称量词 $\forall,\exist$
二元运算 $\le,=$
括号 $()$
变量符号 $x,x^*,x^{**}$

例子：

“x整除y” DIVIDEX(x，y)

$(\exist z)(y=xz)$
“y是质数” PRIME(y)

$(\forall x)x=1\lor x=y\lor \neg DIVIDE(x,y)$
哥德巴赫猜想

$(\forall x)(x\ge 2)\Rightarrow (\exist y)(\exist z)(2x=y+z \land PRIME(y)\land PRIME(z))$

练习

质数有无穷多个

$(\forall N)(\exist x)(x>N \land PRIME(x))$
有无穷多对素数，他们相差2(孪生素数)

$(\forall N)(\exist x\gt N)(\exist y\gt N)(x=S(S(y))\land PRIME(x) \land PRIME(y))$
0不是任何自然数的后继

$(\forall x\in N)(S(x)\ne 0)$
两个数相等当且仅当他们的后继相等

$(\forall x)(\forall y)( x=y)\Leftrightarrow (S(x)=S(y))$

$KaTeX parse error: Undefined control sequence: \and at position 32: …rrow y\ \ \ (x\̲a̲n̲d̲ ̲y)\or(\urcorner…$

定理17 哥德尔不完备定理

所有包含皮亚诺算术的公理化的证明系统，一定存在一个命题，不能被证明，也不能被证否。

证明思路:

对任意的 $\alpha,x\in\{0,1\}^*,$ 构造一个一阶皮亚诺算术公式 $\phi_{\alpha,x}$ ， $\phi_{\alpha,x}$ 为真当且仅当 $M_\alpha$ 在输入x时停机。即将图灵停机问题归约到哥德尔不完备定理

假设上述的证明系统是完备的，对于任意的皮亚诺算式都可以证明或证否

那么我们可以构造一个TM 模拟所有的证明，这些证明的长度从 $\pi$ 到长度 $k$ ,认为如果 $\pi$ 是一个关于 $\phi_{\alpha,x}$ 或 $\urcorner \phi_{\alpha,x}$ 。由于我们假设证明系统是完备的，那么图灵机 $M_{halt}$ 总会停机(对于一个命题总能证明或证否)，则 $L_{halt}$ 是可判定的。