不可判定问题

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

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

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

相关

  • 康力龙康力龙也称司坦唑醇(Stanozolol),雄激素类药物。白色粉末状无臭。几乎不溶于水,能溶于油脂。用于慢性消耗性疾病、纠正重症术后消瘦负氮平衡、男性性腺功能减退、骨质疏松症、小
  • 王自强王自强(1938年11月-),中国固体力学家。中国科学院力学研究所研究员。1938年生于上海,原籍浙江定海。1963年毕业于中国科学技术大学近代力学系。2009年当选中国科学院院士。
  • 卫满朝鲜卫满朝鲜(朝鲜语:위만조선/衛滿朝鮮 Wiman joseon;前195年—前108年),又称卫氏朝鲜(朝鲜语:위씨조선/衛氏朝鮮 Wissi joseon),是一个由燕人卫满建立的古朝鲜政权。君主 · 首都 ·
  • 巴倍虫属巴倍虫属(Babesia)是一种血液细胞梨形虫目的单细胞寄生虫,其统称为巴倍虫或焦虫,依赖宿主生存。。这类寄生虫的形状为圆形、杆形或不规则形,并且没有可运动的结构,如纤毛或鞭毛。
  • 突击队突击队(英语:Commando),又称特攻队,是一种精英的轻装步兵或是特种部队。在美国陆军中的游骑兵,就是一种突击兵,因此也被称为游骑兵。一般来说,突击队是有能力在发动大规模的攻势中,作
  • 飞镖飞镖,是一种用手将前端使用金属制作,后端具有尾翼的细长镖具投掷至靶子,并讲究投射精准度的运动。外圈为三倍 内圈两倍飞镖运动的历史,最早可追溯到罗马帝国时代。帝国军团驻守
  • 醇类似物醇类似物是泛指任何有类似于醇类或羟基结构的有机化合物,例如硫醇、酚等。大部分的醇类似物都有类似的性质,例如易挥发和刺激性等性质。酚是一种具有羟基的芳香烃,不属于醇类,但
  • 缅甸人口缅甸有约五千二百万的国民,68%为缅族。主要的少数民族为掸族(9%)、克伦族(7%)、若开族(3.5%)、华人(2.5%)、孟族(2%)、克钦族(1.5%)、克耶族(0.75%)以及其他原住民民族(4.5%),此外还有印度人和
  • 鲍里斯·瓦西里耶维奇·彼得罗夫斯基鲍里斯·瓦西里耶维奇·彼得罗夫斯基(俄语:Борис Васильевич Петровский,1908年6月27日-2004年5月4日)苏联外科医生,医学博士,教授,全苏医学科学院外科中
  • 弗拉基米尔·福克弗拉基米尔·亚历山德罗维奇·福克(俄语:Влади́мир Алекса́ндрович Фок,1898年12月22日-1974年12月27日),苏联物理学家,对量子力学和量子电动力学做出了