NP问题验证机的理解

NP：

A.      机器角度去定义：被多项式界限非确定型图灵机判定的所有语言的类。

B.      基于verifier的定义：NP问题上建立的非确定机包含两步：

1)           非确定地猜一个解

2)           用一个确定的算法判定该解是否为可行解

判定一个给定猜测值是否满足该问题（可满足性）的算法称作verifier，一个问题称作NP问题当且仅当存在一个多项式时间的verifier。

这两个定义是不矛盾的，因为如果一台非确定TM在多项式时间内可以判定一个非确定选择的输入是否满足，就是基于verifier的定义。

以上来自：http://blog.youkuaiyun.com/assiduousknight/article/details/17217577

我的理解：证书是对非确定图灵机猜测的一个解。每一个分支，都可以有验证机进行验证是否是解，验证机的时间复杂度是多项式时间的。

从而保证了每一个分支都是在多项式时间内完成。因此，这是一个NP问题。