充足可能性問題はNP（Non-deterministicPolynomialtime（非決定性多項式時間）非決定性チューリングマシンによって多項式時間で解くことができる問題）かつNP困難な問題である。
而NP也是可以在非确定型图灵机以多项式时间解决的问题（NP两字为Non-deterministicPolynomial的缩写）。