跳转到内容

不可判定问题

维基百科,自由的百科全书

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

背景

[编辑]

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

与哥德尔不完备定理的关系

[编辑]

不可判定问题举例

[编辑]

参考资料

[编辑]
  1. ^ sen., Luo; (1962-), Xu liu tong,; juan., Yang; bin., Wu; 罗森.; (1962-), 徐六通,; 杨娟.; 吴斌. Li san shu xue ji qi ying yong. 离散数学及其应用. Bei jing: Ji xie gong ye chu ban she. 2015. ISBN 9787111453826. OCLC 917593230.