计算复杂度 中的一类问题,答案为“是”或“否”的问题。

例子

  • 经典的可判定问题:素数问题,判定是非为素数
  • 不可判定的问题:停机问题