不可判定问题

✍ dations ◷ 2025-11-03 02:56:22 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 轨道面轨道平面是当一个天体环绕另一个天体时轨道被嵌进去的几何平面。在空间中只要有三个点就可以确定一个平面,最常见的例子就是:在中心有一个大质量的天体,一个天体环绕中心天体的
  • 黄进黄进可以指:
  • 攻击位在塔兰托塔兰托战役发生在第二次世界大战中的1940年11月11日晚上至11月12日,英国皇家海军进行了在历史上首次航空母舰舰载机对海军舰只的进攻,从地中海上的航空母舰派出少量飞机攻击在
  • 凯末尔穆斯塔法·凯末尔·阿塔图尔克(土耳其语:Mustafa Kemal Atatürk,1881年5月19日-1938年11月10日),土耳其军事将领、改革家和作家,土耳其共和国第一任总统、总理及国民议会议长,有现
  • 2019冠状病毒病巴基斯坦疫情2019冠状病毒病巴基斯坦疫情,介绍在2019新型冠状病毒疫情中,在巴基斯坦发生的情况。2020年2月26日,2019冠状病毒病疫情扩散至巴基斯坦。
  • 果阿邦果阿邦(孔卡尼语:गोंय goṃya,马拉地语:गोवा govā,印地语:गोआ Goa)是印度面积最小的一个邦,人口是印度人口第四少的邦,仅多于锡金邦、米佐拉姆邦及阿鲁纳恰尔邦。果阿位
  • 972最爱频道Love972最爱频道(英语:LOVE 97.2FM)是新加坡新传媒的一个华语广播电台,与1994年9月23日启播,当地的频率设在FM 97.2。目前为新加坡收听率榜首第一的电台。此频道主打健康保健资讯
  • 本特·斯特龙根本特·格奥尔·丹尼尔·斯特龙根(丹麦语:Bengt Georg Daniel Strömgren,1908年1月21日-1987年7月4日),丹麦天文学家。1908年出生于丹麦的哥德堡(今属瑞典),父亲伊利斯·斯特龙根是哥
  • 韩国麻糬面包韩国麻糬面包又称为韩国面包、韩国麻糬球,是一种外表饱满圆润、表面均匀龟裂、口感柔软有嚼劲、中心质地孔洞大又多的面包,有多种口味,大部分会添加黑芝麻。主要流行地区为台湾
  • 医龙-Team Medical Dragon-《医龙-Team Medical Dragon-》(日语:医龍-Team Medical Dragon-),是由永井明原作、吉沼美惠医疗监修、乃木坂太郎作画,以医疗为题材的日本漫画作品。一般简称为“医龙”。2006年