不可判定问题

✍ dations ◷ 2025-09-06 10:36:51 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 风湿病学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学风湿病学或称风湿病专科(英语:Rheumatol
  • 聚合酶聚合酶 (英语:polymeraseis)是一类将小分子核苷酸聚合成大分子核酸聚合物的酶(EC编号2.7.7.6/7/19/48/49),通过与模板连进行碱基配对来实现复制,根据产物分子是DNA还是RNA可分为DNA
  • 蛋白质A蛋白质A(英语:Protein A)为金黄色葡萄球菌表面上发现的一种表面蛋白,大小约为42 kDa。该蛋白由 spa 基因转译而成,并由DNA的拓朴结构、包内渗透压,以及一个名为ArlS-ArlR的双单元
  • 弗里敦弗里敦(英语:Freetown),是西非国家塞拉利昂共和国的首都,经济、文化中心,亦是该国的最大城市。位于大西洋岸边的弗里敦半岛(Freetown Peninsula),2004年人口有1,070,200人。它不仅是
  • 电热电热(英语:Electric heating)或电加热,是指将电能转换为热能的方式。常见的应用包括有空间加热(英语:space heating)、烹饪、热水器与工业生产上。辐射加热器(英语:Radiator (heating
  • 计重秤计重秤,俗称秤、称或磅,泛指量度物体质量的工具,间中也会用作测量力量。使用杠杆原理的天平是最原始的计重秤。现在的计重秤已经电气自动化。
  • 圣巴巴拉加大加州大学圣巴巴拉分校(英语:University of California, Santa Barbara,简称UCSB,又常被译作圣巴巴拉加州大学),是一所著名的公立研究型大学,加州大学系统的成员之一。学校坐落在位
  • 假想敌假想敌(opposing force),本为军事术语,原意为“假定、想定的敌人”。“假定”通‘假设’,“想定”也是军事术语,即‘为诱导演习或战术作业,所拟定之一种假设状况。’世界上设有军队
  • 辐射变晶辐射变晶(英语:Metamictization)是一种晶体内结晶构造被破坏的现象。某些矿物常会含有辐射性的元素,这些元素经由衰变释放α粒子或β粒子。这些粒子具有高能量,在释放的同时撞击
  • 魁北克省 (1763年-1791年)魁北克省(英语:Province of Quebec)是英国在七年战争后在北美建立的一块殖民地。根据《1763年巴黎条约》,英国获得法属加拿大,而法国则保留非常富裕的小岛瓜德罗普。根据英国《17