承諾問題

在計算複雜度理論裏 ， 承諾問題是一類決定性問題 ， 其可接受輸入是一個確定大小的集合 。 與其他的決定性問題不同 ， 承諾問題接受的輸入 （ 確定輸出會是是或者否的輸入 ） 並不包含所有可能的輸入 。 直覺上 ， 我們可以說輸入的承諾是在一群是的輸入或否的輸入裏面 。 如果輸入不屬於這兩個集合 ， 那麼此演算法允許輸出任何答覆 。