直观理解

不能在多项式时间内给出一个确定性的解只能针对特定问题的具体数值猜出一个解猜出来的解能在多项式时间内验证

实例

一个计算机非常满意计算的问题但有人能像做奥数题一样, 猜出一个特解, 而计算机能够验证这个猜测的正确性