非确定性多项式

nondeterministic polynomial