首页 > 代码库 > Decision problem

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(算法)的形式给出的。

Decision problem