停机问题

✍ dations ◷ 2025-06-08 06:32:03 #数理逻辑,计算理论,递归论,数学问题

停机问题(英语:halting problem)是逻辑数学中可计算性理论的一个问题。通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。

艾伦·图灵在1936年用对角论证法证明了,不存在解决停机问题的通用算法。这个证明的关键在于对计算机和程序的数学定义,这被称为图灵机。停机问题在图灵机上是不可判定问题。这是最早提出的决定性问题之一。

用数学语言描述,则其本质问题为: 给定一个图灵机T,和一个任意语言集合S,是否T会最终停机于每一个 s S {\displaystyle s\in S} 。其意义相同于可确定语言。显然任意有限 S 是可判定性的,可数的(countable)S 也是可停机的。

停机问题包含了自我指涉,本质是一阶逻辑的不完备性,类似的命题有理发师悖论、全能悖论等。

假设停机问题有解,即:存在过程H(P, I)可以判断对于程序P在输入I的情况下是否可停机。假设P在输入I时可停机,H输出“停机”,反之输出“死循环”,即可导出矛盾:

显然,程序本身也是一种数据,因此它可以作为输入(例如Pascal的编译器本身就可以用Pascal所写成,所以程序在自己身上运行自己也是合理的),故H应该可以判定当将P作为P的输入时,P是否会停机。然后我们定义一个过程U(P),其流程如下:

伪代码及其注释表示如下:

int H(procedure,Input); // 这里的H函数有两种返回值,死循环(1) 或 停机(0)int U(P){    if (H(P,P) == 1){ // 如果H死循环        return 0; // 此时会停机    }else{ // 否則        while(1){} // 此时会死循环,而這是個空迴圈    }}

上面把H(P, P)包装在U(P)内,也就是用U()来模拟H()。H()的输出可能出现两种状况:

因此,H不是总能给出正确答案,故前述的假设不成立,不存在解决停机问题的方法。

理发师悖论:村子里有个理发师,这个理发师有条原则是,对于村子里所有人,当且仅当这个人不自己刮胡子,理发师就给这个人刮胡子。如果这个人自己刮胡子,理发师就不给这个人刮胡子。无法回答的问题是,理发师给自己刮胡子么?

停机测试悖论:计算机里面有个测试程序,这个测试程序的原则是,对于计算机里所有程序,当且仅当这个程序不递归调用自己(输出停机),测试程序就调用它(对应不停机)。如果这个程序递归调用自己(对应不停机),测试程序就不调用它(对应停机)。无法回答的问题是,测试程序递归调用自己么?

相关

  • 冷媒制冷剂,又称冷媒、致冷剂、雪种,是各种热机中借以完成能量转化的媒介物质。这些物质通常以可逆的相变(如气-液相变)来增大功率。如蒸汽引擎中的蒸汽、制冷机中的雪种等等。一般
  • 甘油三酸脂甘油三酯(triglyceride, TG, triacylglycerol, TAG, or triacylglyceride),亦作三酸甘油酯,常称为油脂,为动物性油脂与植物性油脂的主要成分,一种由一个甘油分子和三个脂肪酸分子
  • 吡咯里西啶吡咯里西啶(Pyrrolizidine,又译为吡咯双烷或双吡咯烷)为一种杂环有机化合物,属于吡咯里西啶生物碱(英语:pyrrolizidine alkaloids)的一种。吡咯里西啶显示有肝毒性,为肝毒素。
  • 尖嘴鸟尖嘴鸟(学名:Cuspirostrisornis)是一属反鸟亚纲鸟类。其下只有一个物种,就是侯氏尖嘴鸟。它们的唯一化石是在中国辽宁的九佛堂组发现。九佛堂组属于白垩纪早期阿普第阶,约1亿2000
  • 蛋白磷酸酶2蛋白磷酸酶2(英语:Protein phosphatase 2,简称PP2或PP2A)是由PPP2CA基因编码的蛋白磷酸酶。PP2A存在于很多组织中,为异三聚体,属于丝氨酸/苏氨酸磷酸酶,具有广泛的底物特异性和多样
  • 1978年冬季世界大学生运动会第九届冬季世界大学生运动会于1978年2月5日至12日在捷克斯洛伐克什平德莱鲁夫姆林举行。这是什平德莱鲁夫姆林第二次主办冬季世界大学生运动会。 *  主办国家/地区(捷克斯
  • 盗梦侦探《盗梦侦探》(日语:パプリカ)是日本作家筒井康隆撰写的科幻小说。原作第一部于《Marie Claire》1991年1月号至1992年3月号、第二部于《Marie Claire》1992年8月号至1993年6月号
  • 龙背上的骑兵《龙背上的骑兵》(日版名:ドラッグ オン ドラグーン,Drag-On Dragoon,英文版名:Drakengard,港台译作“誓血龙骑士”)是史克威尔艾尼克斯于2003年9月11日,在PlayStation 2平台上发售
  • 音乐公园礼堂音乐公园礼堂(Auditorium Parco della Musica),是位于意大利首都罗马的一个多功能音乐厅,它分布在55,000平方米的弗拉米尼奥区,位于Parioli山和奥运村的区域,由意大利建筑师伦佐·
  • 奥斯曼·伊本·易卜拉欣奥斯曼(Uluğ Sultan Osman(?-1212年))又译作斡思蛮,西喀喇汗国第22代汗,末代可汗。伊卜拉欣·本·侯赛因·本·哈桑的儿子。西喀喇汗国是西辽的属国,奥斯曼联合花剌子模阿拉乌丁·摩