不可判定问题

✍ dations ◷ 2025-06-08 07:37:14 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 大韩民国总统外交 · 南北统一 · 阳光政策 · 行政区划 · 人权(朝鲜语:대한민국의 인권)政治主题大韩民国总统(韩语:대한민국 대통령/大韓民國 大統領 Daehanminguk Daetongnyeong ?),通
  • 齐格勒卡尔·齐格勒(Karl Waldemar Ziegler,1898年11月26日-1973年8月11日),德国化学家。在聚合反应催化剂研究方面有很大贡献,并因此与意大利化学家居里奥·纳塔共同获得1963年诺贝尔化
  • 胰岛素抗拒胰岛素抵抗(英语:insulin resistance),是指脂肪细胞、肌肉细胞和肝细胞对正常浓度的胰岛素产生反应不足的现象,亦即这些细胞需要更高的胰岛素浓度才能对胰岛素产生反应。在脂肪细
  • 大鼠大鼠(学名:Rattus norvegicus f. domestica :147)是褐家鼠(Rattus norvegicus)的驯化型,生理和心理上都与野生的褐家鼠存在区别。以褐家鼠为基础培育出的动物实验用大鼠是医学及生
  • 上直肌上直肌(Superior rectus muscle)是眼窝里的肌肉,为眼外肌(英语:Extraocular muscles)的其中一块,受动眼神经(第三对脑神经)的上分支所支配。虽然上直肌有助于眼睛内旋与内收,不过当
  • 顶体 (精子)顶体(英语:acrosome,来自希腊语:acron (外面)和soma (体))是动物精子核前部由高尔基体所衍生来的顶状膜包结构。在真兽下纲的哺乳动物中,顶体含有多种酶(包括玻璃酸酶(英语:Hyaluroni
  • 奥茨塔尔阿尔卑斯山脉奥茨塔尔阿尔卑斯山脉(德语:Ötztaler Alpen;意大利语:Alpi Venoste)是欧洲的山脉,是中阿尔卑斯山脉的一部分,横跨奥地利南部蒂罗尔州和意大利北部特伦托自治省,最高点海拔高度3,774
  • 澳大利亚行政区划澳大利亚联邦由六个州及若干领地组成,澳大利亚本土主要由5个州和两个自治领地组成,余下一个州为塔斯马尼亚州,由岛屿所组成。此6个州和两个自治领地的自治政府为澳大利亚8个州
  • 性感儿子假说性感儿子假说(英语:Sexy son hypothesis),是一个演化生物学上的假说,在1930年由罗纳德·费雪提出。基于性选择的理论,这个假说认为,雌性生物在选择雄性配偶时,会以他们的子女在未来
  • 吕炳安吕炳安(1917年-1967年1月21日),河北省深泽县营里村人。中国人民解放军开国少将。1933年入党。1937年参加八路军。任八路军冀中军区第三军分区连指导员、冀中第八军分区营教导员