不可判定问题

✍ dations ◷ 2025-10-08 18:37:29 #数理逻辑,计算理论,计算复杂性理论,递归论

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

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

相关

  • 曼尼普尔Dr. Najma Heptulla曼尼普尔邦(印地语:मणिपुर,孟加拉语:মণিপুর,IAST转写:Maṇipūr)是印度东北的一个邦。该邦成立于1972年,东以缅甸为界,西与阿萨姆邦相连,南以米佐拉
  • 卵巢肿瘤卵巢癌是发源自女性卵巢的癌症,会产生会入侵以及转移到其他部位的异常细胞。卵巢癌初期症状不明显,随病情进展,才会出现许多癌症的典型症状,包括胀气、腹胀、骨盆痛(英语:Pelvic p
  • 捷克行政区划捷克的一级行政区划包括13个州和1个首都:
  • 周长周长(英语:Perimeter)指封闭曲线一周的长度(可以代号 P {\displaystyle P} 表示)。周长只适用于二维图形(平面、曲面)上,三维图形(立体图
  • 吴鸾旗墓园吴鸾旗墓园(又称吴家花园),位于台中市太平区在太平车笼埔冬瓜山,是台湾日治时期大正十一年(1922年)由吴鸾旗嗣子吴东碧所建造的西式坟墓。吴家各代先祖及元配,吴景春、吴鸾旗、吴东
  • 五点帮五点帮(英语:Five Points Gang),又译五角帮,是一个19世纪和20世纪初的犯罪组织,主要是爱尔兰裔美国人出身,驻扎在纽约市曼哈顿的第六区(五点(英语:Five Points, Manhattan))。在19世纪初
  • 牧区 (草原)牧区,或称蓄牧区,是广泛经营畜牧业的地区,天然草原是其主要载体。牧区常与农业区相对,自农业革命以来,牧区已与农业区区别开来,两种地区的居民也形成了迥异的生活习惯与生产方式,两
  • 姜宗泰姜宗泰(1868年-1946年),字保卿,山东省登州府莱阳县人,清末政治人物,书法家。光绪二十九年(1903年)癸卯科三甲第140名进士。同年闰五月,著交吏部掣签分发各省,以知县即用。任户部主事。
  • 安日纳三世真福教宗安日纳三世(拉丁语:Beatus Eugenius PP. III;1088年5月4日-1153年7月8日)本名伯尔纳铎(Bernardo),1145年2月15日当选罗马主教,同年2月18日即位至1153年7月8日为止。
  • 王铎 (天启进士)王铎自画像王铎(1592年-1652年4月28日),字觉斯,一字觉之,号嵩樵、十樵、石樵、痴庵、东皋长、痴庵道人、烟潭渔叟、雪塘渔隐、痴仙道人、兰台外史、雪山道人、二室山人、白雪道人