不可判定问题
此條目需要补充更多来源。 (2018年3月12日) |
此條目可参照英語維基百科相應條目来扩充。 |
不可判定问题是可计算性理论和计算复杂性理论中定义的一类决定性问题，此类问题无法总是用单一算法得出正确的是/否的答案。停机问题是这类问题的一个代表：对于停机问题，没有算法能够正确判定任意程序是否会终止运行。[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.