承诺"。对于不属于承诺里面的输入则没有规定输出必须是什么。如果承诺等于formula_10，此承诺问题同时也是决定性问题。
范例.许多自然的问题实际上是承诺问题。举例来说，考虑以下问题：给予一个有向图，决定此图是否有长度为10的道路。这问题回答为"是"的输入是有长度为10道路的有向图，回答"否"的输入是所没有长度为10道路的有向图，承诺范围则是所有的有向图。在这个例子里面，检查输入是否在承诺范围里面是比较简单的，不过有一些问题可能承诺范围是很难计算的。举例，考虑此问题："给定一个哈