是那些我们很难在多项式时间内直接找到解,但能验证一个给定的解是否正确的问题

reference