不可判定问题

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

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

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

相关

  • 酒渣鼻酒糟鼻(Rosacea,又称玫瑰痤疮)是一种以脸部红斑 和丘疹(有时)为特点的慢性皮肤病。酒糟鼻在所有年龄层都可能发病并且分为四种类型,其中三种患及皮肤,而第四种患及眼睛。疾病若得不
  • 醌是含有共轭环己二烯二酮或环己二烯二亚甲基结构的一类有机化合物的总称。大部分的醌都是α,β-不饱和酮,且为非芳香、有颜色的化合物。最简单的醌是苯醌,包括对苯醌(1,4-苯醌
  • 谢赫特曼丹·谢赫特曼(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Ta
  • 焚风焚风(德语:Föhn;英语:Föhn wind)或称火烧风,是出现在山脉背面的干热风,焚风往往以阵风形势出现,从山上沿山坡向下吹,是一种下坡风。世界各地几乎所有的山脉都有类似的风,在各个地方
  • 蒙正发蒙正发,明朝政治人物。湖北崇阳县贡生,李自成死后不久,蒙正发在崇阳起兵,事败后,逃入湖南平江、长沙,投奔何腾蛟。南明隆武时,任推官,属章旷幕下,永历时,官至兵科都给事。受何腾蛟、瞿
  • 波茨坦电影博物馆波茨坦电影博物馆(德语:)是位于德国城市波茨坦的一座博物馆。波茨坦电影博物馆开业于1981年,最初名为东德电影博物馆。1990年改为现在的名称。博物馆位于波茨坦城市宫之内。2014
  • 扎比内·比朔夫扎比内·比朔夫(德语:Sabine Bischoff,1958年5月21日-2013年3月6日),德国女子击剑选手,曾获1984年夏季奥林匹克运动会花剑团体金牌。2013年3月6日因病逝世。
  • 东皋心越东皋心越(日语:東皐心越/とうこう しんえつ,1639年-1696年10月25日) 俗姓蒋,字心越,法名兴俦,初名兆隐,号东皋、樵云、越道人、鹜峰野樵,是在江户时代初期从中国东渡到日本的一位禅僧
  • 安硕MSCI南非指数基金安硕MSCI南非指数基金(NYSE:EZA)是于纽约证券交易所上市的交易所交易基金,这个是在投资上市的MSCI南非指数成份股最有价值基础企业股份类别。现时基金持股比重最大公司(按所占比
  • 伊娃的波尔卡伊娃的波尔卡(芬兰语:Ievan Polkka)是一首来自芬兰的波尔卡舞曲,也是斯堪的纳维亚的地方歌谣。歌曲是由埃伊诺·凯图宁(芬兰语:Eino Kettunen)在1930年代以东欧传统的民谣波尔卡调