Decision problem

　　在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（算法）的形式给出的。