不可判定问题

✍ dations ◷ 2024-12-22 20:16:49 #数理逻辑,计算理论,计算复杂性理论,递归论

不可判定问题是可计算性理论和计算复杂性理论中定义的一类决定性问题,此类问题无法总是用单一算法得出正确的是/否的答案。停机问题是这类问题的一个代表:对于停机问题,没有算法能够正确判定任意程序是否会终止运行。

决定性问题是一类根据从一个无限集合中选取的输入值,得出是或否的回答的问题。因此,根据传统定义,寻求答案为是的输入值之集合的问题,与决定性问题等价。

相关

  • 膜蛋白膜蛋白(英语:membrane protein)是指能够结合或整合到细胞或细胞器的膜上的蛋白质的总称。而细胞中一半以上的蛋白质可以与膜以不同形式结合。根据与膜结合强度的不同,膜蛋白可以
  • 勃起功能障碍勃起功能障碍(Erectile dysfunction,缩写:ED),为男性性功能障碍的一种,其特征在于阴茎在性行为期间无法勃起或维持勃起:538-39。勃起功能障碍可能会产生心理上的后果,因为它与关系
  • 迈克尔·N·霍尔迈克尔·N·霍尔(英语:Michael Nip Hall,1953年6月12日-),美国-瑞士分子生物学家,巴塞尔大学生物中心教授。1991年霍尔及其团队发现了雷帕霉素靶蛋白(TOR)激酶信号通路,并揭示了它在细
  • 社会建构社会建构主义(social constructionism)是由20世纪著名的思想家米歇尔·福柯在其《性史》第一卷中提出的。社会建构主义认为,性并不是一种独立于外界条件的观念,而是文化建构的结
  • 健美健美,(英语:Body Building),是一种强调肌肉健壮与美的活动,起源于古希腊,最初只由男性参加,当时是以男子的粗壮的脖子、发达的胸肌、粗壮的双腿为美。 现代健美活动则由德国人尤金·
  • 智能智力或智能(英语:Intelligence)是指生物一般性的精神能力。这个能力包括以下几点:推理、理解、计划、解决问题、抽象思维、表达意念以及语言和学习的能力。尽管智力的定义与重要
  • 圣多明尼克圣道明(圣公宗传统译圣道明力;西班牙语:Santo Domingo de Guzmán Garcés O.P.,1170年-1221年8月6日),又称为奥斯马的道明(Dominic of Osma)。他是一个西班牙的教士,西班牙神父及罗
  • 洪鱼脍洪鱼脍(朝鲜语:홍어회/洪魚膾)是一种由鳐鱼(韩语称“洪鱼”)制成的发酵食品,具有类似氨的刺激性气味。洪鱼脍是韩国全罗道(尤其是木浦市)的一种乡土饮食(英语:Korean regional cuisine),
  • 卡瓜-埃拉韦县坐标:6°19′S 143°50′E / 6.317°S 143.833°E / -6.317; 143.833卡瓜-埃拉韦县(英语:Kagua-Erave District),是巴布亚新几内亚的县份之一,位于新几内亚岛东部,由南高地省负责管
  • 杜厦图书馆杜厦图书馆为南京大学仙林校区图书馆,位于南京市栖霞区仙林大道163号。由南京大学校友、天津家世界商业有限公司董事长杜厦先生捐资建设,总投资超过2亿元,总建筑面积53000平方