离散数学——停机问题

停机问题

停机问题由 1936 年图灵提出，停机问题的提出，证明了存在无法实现的算法。

停机问题的主要思想如下：

试图编写一个程序 $H$ ，将一个可执行的程序代码 $P$ 作为输入，将作为执行 $P$ 的输入作为参数 $I$ ，也就是说，如果程序 $P(I)$ 能够在有限的时间内停止，那么 $H(P,I)$ 返回“停止”，否则返回“死循环”。

可以证明不存在这样的 $H$ 程序。

证明

为了证明检查停机程序不存在，我们引入以新的程序 $K$ ，使得如果 $H(P,P)$ 返回“停止”，则执行 $K(P)$ 将死循环，否则执行 $K(P)$ 会在有限步内终止。

这里 $H(P,P)$ 的意思是将 $P$ 本身作为 $P$ 的输入。

现在我们构造一个矛盾，即观察 $H(K,K)$ 的结果：

1. 若 $H(K,K)$ 返回“停止”，那么 $K(K)$ 的将死循环，和前者返回的结果矛盾。
2. 若 $H(K,K)$ 返回“死循环”，那么 $K(K)$ 的将停止，也和前者返回的结果矛盾。

因此 $H$ 不总是返回正确的结果，因此不存在这样的 $H$ 程序，这样就证明了停机问题。