不可判定问题

✍ dations ◷ 2025-06-30 03:57:54 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 平权法案在美国,平权法案(Affirmative action)/(Affirmative Act),又称为积极平权措施,是指美国联邦政府和州政府在法律要求的平等机会。这些措施是为了防止在“肤色、宗教、性别或民族出
  • 费拉芦荟费拉芦荟(学名:Aloe vera)是芦荟属下的一种多肉植物。又名翠叶芦荟、洋芦荟、吉拉索芦荟、库拉索芦荟或美国芦荟,芦荟属广泛分布于全世界的热带及亚热带,包含高海拔、海岸、沙漠
  • 腺(亦称腺体,旧称䐃)指动物机体能够产生特殊物质的组织,这种物质主要为激素(荷尔蒙),激素通过血液输送到体内或外分泌腺。腺体的归类方式很多,可以依照组织所在部位、功能(作用)划分,解
  • 山峰列表这是一个地球各地的山峰列表:海拔8,000米以上山峰共有14座:
  • 鼷鹿科鼷鹿科(学名:Tragulidae),是一类小型的哺乳纲偶蹄目动物,它们是反刍亚目下最原始的成员。鼷鹿属主要分布于东南亚地区,水鼷鹿属分布在非洲的热带森林中。鼷鹿类仅有3胃室,反刍能力
  • 朝鲜劳动党中央军委朝鲜民主主义人民共和国主题朝鲜劳动党中央军事委员会(韩语:조선로동당 중앙군사위원회)是朝鲜劳动党的最高军事机关,根据《朝鲜劳动党章程》的规定,统帅朝鲜民主主义人民共和国
  • 近藤麻理惠近藤麻理惠(日语:近藤 麻理恵/こんどう まりえ  */?;1984年10月9日-)是日本专业整理师(英语:Professional organizing)及作家,以自研的居家物品整理顾问咨询为人所知。东京都出身,昵
  • 错误发现率错误发现率(False discovery rate, FDR)完善了对多重假设测试的检验, F D R = Q
  • 歌川芳艳歌川芳艳,生于文政5年闰1月1日(1822年2月22日),死于庆应2年6月22日(1866年8月2日),是日本江户时代末期的浮世绘画家,以画武者画闻名。歌川芳艳是歌川国芳的弟子。本姓维甲胡或三轮,本
  • 朱娜·巴恩斯朱娜·巴恩斯(Djuna Barnes,1892年6月12日-1982年6月18日)是一位美国作家和艺术家,以她的小说《夜林(英语:Nightwood)》(,1936年)而闻名,它是女同性恋文学的邪典经典,也是现代主义文学的