不可判定问题

✍ dations ◷ 2025-02-24 00:57:15 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 疟疾疟疾(拉丁语:Malaria,中文俗称打摆子、冷热病、发疟子)是一种会感染人类及其他动物的全球性寄生虫传染病,其病原疟原虫借由蚊子散播,隶属囊泡藻界(统称原生生物的生物类群之一),皆
  • 寻欢洞寻欢洞(英语:Glory hole)是用来描述一种特殊的性行为。在欧美国家,是颇为常见的,甚至在亚洲国家也可见到。透过公共厕所中隔离的木板或墙壁,中间弄个洞,双方便可以开始鱼水之欢,非常
  • 绿闪光绿闪光和绿光是在日没之后和日出之前,出现的短暂光学现象,在太阳的上缘或是日没点的上方,可以看见绿光或绿色的光斑,通常只能维持1至2秒。绿闪光是一种真实的现象,有许多不同的成
  • 专营专营一般是指由政府授权商人独家经营某些业务,在相关范畴内政府以立法或行政等方法确保没有竞争者加入,条件是业者服务及利润水平由政府管制。而在中国大陆专营事实上可以是政
  • 蕾妮·齐薇格蕾妮·凯丝琳·齐薇格(英语:Renée Kathleen Zellweger,1969年4月25日-),美国女演员,生于得克萨斯州休斯顿郊区的卡地镇。她获得多个赞赏及奖项,包括两座奥斯卡金像奖、两座英国电影
  • 英格兰行政区划政治主题英国英格兰的行政区划共划分为四个层级,而实际上只有“郡级”和“区级”两个层级设有政府机构,其它则为一般民间法人机构代为运作的虚级化层级。对英格兰行政区划有深
  • 炳·廷素拉暖炳·廷素拉暖将军(泰语:เปรม ติณสูลานนท์,RTGS:Prem Tinnasulanon,IPA:,1920年8月26日-2019年5月26日),泰国军事将领、政治人物,第16任泰国总理,曾任泰国摄政、泰国枢密
  • 南斯拉夫广播电视南斯拉夫广播电视(Jugoslavenska radiotelevizija, JRT)是南斯拉夫社会主义联邦共和国的国家公共广播电视服务系统。南斯拉夫广播电视拥有八个广播及电视节目制作中心,分别位于
  • 博茨瓦纳航空博茨瓦纳航空(Air Botswana,IATA:BP,ICAO:BOT)是非洲国家博茨瓦纳的国营航空公司,总部设于首都嘉柏隆里,以塞雷茨·卡马爵士国际机场为基地。博茨瓦纳航空于1972年7月2日由两间经营
  • 向焘向熹(?-1878年),字静安,号静庵,四川中江人,清朝官员。拔贡出身。向熹于1872年于台湾担任台湾府淡水抚民同知,又于1877年(光绪3年)奉旨接替孙寿铭担任台湾府知府。1877年-1878年间,他两度