不可判定问题

✍ dations ◷ 2025-07-27 01:57:17 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 临床症状人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学症状(英语:symptom)又称病状,医学术语,在疾
  • 菊头蝠菊头蝠科(Rhinolophidae)属哺乳纲翼手目小蝙蝠亚目下的一科,这一科下的蝙蝠被称为菊头蝠。菊头蝠主要分布于热带和亚热带地区,少数分布于温带的菊头蝠冬季会进行冬眠。菊头蝠科
  • span class=nowrapKsub2/subSOsub4/sub/span>硫酸钾(化学式K2SO4)是硫酸根离子与钾离子结合生成的化合物。其固体为无色或白色六方形或斜方晶系结晶或颗粒状粉末。溶于水,不溶于醇、丙酮和二硫化碳。具有苦咸味。硫酸钾在
  • 可移动计算机便携式电脑(英语:Portable computer)是指没有电池的笔记本电脑,亦可称为“移动计算机”(英语:DeskNote)。其体积小、重量轻,方便携带,但不能如笔记本电脑一样能在没有外部电源供应的
  • 阿拉姆·哈恰图良阿拉姆·哈恰图良(亚美尼亚语:Արամ Խաչատրյան,转写:Aram Xačatryan;俄语:Арам Ильич Xачатурян,罗马化:Aram Il'yich Khachaturian,1903年6月6日-1978
  • 锯齿波锯齿波(英语:sawtooth wave)是一种非正弦波,由于它具有类似锯子一样的波形,即具有一条直的斜线和一条垂直于横轴的直线的重复结构,它被命名为锯齿波。锯齿波的傅里叶级数展开为:
  • 水环境水环境(Water Enviornment),也称水文环境,是指一类与传输、储存和提供水资源的水体形成的系统,它兼顾生物生存、繁衍的栖息地,以及水、固体、大气污染物等组成进行能量与物质交换
  • .by.by为白俄罗斯国家及地区顶级域(ccTLD)的域名,也被德国非官方用于指代巴伐利亚人。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .
  • Flower Bud《Flower Bud》,是韩国女子演唱团体GFRIEND的第二张迷你专辑,为“校园系列三部曲”的第二部曲,以《오늘부터우리는》(Me Gustas Tu)为主打歌。《오늘부터우리는》(Me Gustas Tu
  • 托马斯·华立·齐维尔斯托马斯·华立·齐维尔斯(英语:Thomas Holley Chivers,1809年10月18日-1858年12月18日),美国诗人。生于佐治亚州华盛顿的一个富有农场主家庭。早年是内科医师,1832年出版诗集《悲伤