在computability theory 和 computational complexity thory中，decision problem（可判定问题）是一个问题在一些形式化系统中，根据输入的参数值，这个问题有一个确定的答案：yes 或者no.
decision problem一般出现在数学的判定问题中。 判定问题是，是否存在一个有效的方法来判断一个对象是否存在，或者一个元素是否属于一个集合。
decision problem 与 function problem和接近， function problem是答案比 yes 或者 no 更复杂的问题。
也与optimization problem很相关， optimization problem是关注与找到特定问题的最佳答案。
解决一个 decision problem的方法，是以algorithm（算法）的形式给出的。
原文地址：http://www.cnblogs.com/disemboltura/p/3945791.html
