不可判定问题

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

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

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

相关

  • 萨延बाप तहसील घंटियाली 城镇萨延(Sayan),是印度古吉拉特邦Surat县的一个城镇。总人口12856(2001年)。该地2001年总人口12856人,其中男性7258人,女性5598人;0—6岁人口
  • 特伦甘纳特伦甘纳邦(泰卢固语:తెలంగాణ),印度南部的一个邦,于2014年6月2日自安得拉邦析置,总面积114,840平方公里。2011年,总人口35,286,757。特伦甘纳邦首府位于海得拉巴市。特伦甘
  • 峰态在统计学中,峰度(Kurtosis)衡量实数随机变量概率分布的峰态。峰度高就意味着方差增大是由低频度的大于或小于平均值的极端差值引起的。四阶标准矩可以定义为:其中μ4是四阶中心
  • 山地生态山地生态学是生态学的一个分支,研究地球山地和其他高地的生态系统。山地是由众多山所在的地域,有别于单一的山或山脉,山地与丘陵的差别是山地的高度差异比丘陵要大,高原的总高度
  • 远传电信坐标:25°01′33.6″N 121°32′57.5″E / 25.026000°N 121.549306°E / 25.026000; 121.549306远传电信(简称远传,英语:Far Eas Tone,缩写:FET)是台湾第三大电信运营商,由远东集团
  • 人工光合作用人工光合作用(英语:artificial photosynthesis)是模仿生物自然光合作用的一类化学过程,将阳光、水及二氧化碳转化为碳水化合物与氧气。人工光合作用一词通常指涉任何能够将太阳
  • 广东省乡级以上行政区列表广东省乡级以上行政区包括中华人民共和国广东省的地级行政区、县级行政区和乡级行政区。至2011年12月31日,广东省共有21个地级行政区,这21个地级行政区均为地级市;121个县级行
  • 山姆·比林斯山姆·比林斯(英语:Sam Billings;1991年6月15日-)是一位英格兰板球运动员。他是一位右手球员。他现在也代表英格兰板球代表队参赛。他曾经就读于罗浮堡大学。
  • .pw.pw为帕劳国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .bn .
  • 野波罗蜜野波罗蜜(学名:)又可称野菠萝蜜、猴面果、拉哥加树为桑科波罗蜜属下的一个种。原生于亚洲热带地区。本种原生于南亚、华南到东南亚一带,包括安达曼群岛、阿萨姆邦、孟加拉、婆罗