不可判定问题

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

背景

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

不可判定问题举例
条目：不可判定问题列表

参见
  1. sen., Luo; (1962-), Xu liu tong,; juan., Yang; bin., Wu; 罗森.; (1962-), 徐六通,; 杨娟.; 吴斌. . . Bei jing: Ji xie gong ye chu ban she. 2015. ISBN 9787111453826. OCLC 917593230.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.