可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成，或者等效的说，那些解可以在非确定图灵机上在多项式时间内找出的问题的集合。很可能，计算理论最大的未解决问题就是关于这两类的关系，P和NP是否对等，NP=P？，在这个问号上，到底是NP等于P，还是NP不等于P。”科恩解释说。

林风听了还是一头雾水。老实说，林风的数学一