NP:
A. 机器角度去定义:被多项式界限非确定型图灵机判定的所有语言的类。
B. 基于verifier的定义:NP问题上建立的非确定机包含两步:
1) 非确定地猜一个解
2) 用一个确定的算法判定该解是否为可行解
判定一个给定猜测值是否满足该问题(可满足性)的算法称作verifier,一个问题称作NP问题当且仅当存在一个多项式时间的verifier。
这两个定义是不矛盾的,因为如果一台非确定TM在多项式时间内可以判定一个非确定选择的输入是否满足,就是基于verifier的定义。
以上来自:http://blog.csdn.net/assiduousknight/article/details/17217577
我的理解:证书是对非确定图灵机猜测的一个解。每一个分支,都可以有验证机进行验证是否是解,验证机的时间复杂度是多项式时间的。
从而保证了每一个分支都是在多项式时间内完成。因此,这是一个NP问题。