计算性和复杂度理论2

本文主要是关于图灵可确定，不可确定问题和半确定问题等
本文中可判定或不可判定也翻译为可决定（确定），不可决定（确定），这里我统一用可判定与不可判定

预备知识

可数与不可数集合

可数集合

可数集合：一个集合$M$称为可数的，当$M$是空的，或者当有一个满射的函数$c:\mathbb{N}\to M$存在

1. 每一个可数集合的元素都可以被枚举出来
2. 每一个有限集合都是可数的
3. 对于一个可数的无限集合都存在一个双射函数$c:\mathbb{N}\to M$
4. 所有可数的无限集合和自然数集合$\mathbb{N}$等势

可数集合举例：

1. 有限字母集合$\Sigma$所有构成的词的集合${\Sigma }^{\ast }$，例如： { 0 , 1 } ∗ \{0,1\}^* { 0,1}∗在卡农顺序下可以枚举为：

$$ϵ,0,1,00,01,10,11,000,001,010,011,100,101,...$$

2. 哥德尔数Gödelnummer的集合。因为Gödelnummer的词是关于字母集{0,1}的
3. 所有图灵机的集合。因为每个图灵机都可以通过一个Gödelnummer表示

符号

对于二维字母集合 Σ = { 0 , 1 } \Sigma=\{0,1\} Σ={ 0,1}我们将在卡农顺序下的第i个词表示为$w_i$

对于第i个卡农顺序下的图灵机Gödelnummer我们记为$M_i$

不可数聚合

定理：自然数集的幂集$\mathcal{P}(\mathbb{N})$是不可数的

证明：反证法

1. 假设$\mathcal{P}(\mathbb{N})$是可数的

2. 那么令$S_0,S_1,S_2,S_3,...$为一个$\mathcal{P}(\mathbb{N})$的枚举

3. 我们定义一个二维无限的邻接矩阵$(A_{i,j}{)}_{i,j\in \mathbb{N}}$

$$A_{i,j}=\{\begin{array}{ll}1& 如果j\in S_i\\ 0& 其他\end{array}$$

上述两行分别定义对角线集合$S_{diag}$和其补集${\bar{S}}_{diag}$

注：对角线集合$S_{diag}$和其补集${\bar{S}}_{diag}$都是自然数集合的子集，因此在$\mathcal{P}(\mathbb{N})$存在一个元素$S_k,k\in \mathbb{N}$使得${\bar{S}}_{diag}=S_k$

现在有两种情况，都可以导致矛盾：

$第一种情况：A_{k,k}=1\stackrel{Def.{\bar{S}}_{diag}}{\Rightarrow }k\notin {\bar{S}}_{diag}\Rightarrow k\notin S_k\stackrel{Def.A}{\Rightarrow }{A}_{k,k}=0$
$第二种情况：A_{k,k}=0\stackrel{Def.{\bar{S}}_{diag}}{\Rightarrow }k\in {\bar{S}}_{diag}\Rightarrow k\in S_k\stackrel{Def.A}{\Rightarrow }{A}_{k,k}=1$

所以不存在$\mathcal{P}(\mathbb{N})$的枚举，因此不可数

不可判定问题

对角线语言

定义： D = { w ∈ { 0 , 1 } ∗ ∣ w = w i 且 M i 不 接 受 w } D=\{w\in\{0,1\}^*|w=w_i且M_i不接受w\} D={ w∈{ 0,1}∗∣w=wi​且Mi​不接受w}

换句话说：第i个词$w_i$（卡农顺序下对于 { 0 , 1 } ∗ \{0,1\}^* { 0,1}∗）在对角线语言D中，当且仅当第i个图灵机$M_i$（在卡农顺序下的Gödelnummer）不接受这个词$w_i$。

注：这里图灵机$M_i$不接受$w$有两种情况：1.图灵机$M_i$拒绝了