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