定义：
有两个自变量的算法 $A$，

一个是通常的输入串 $X$

一个是称为“证书”的二进制串 $Y$

若对任意的串 $X \in L$

存在一个证书 $Y$

且 $A$可以用 $Y$来证明 $X \in L$，

则算法 $A$验证了语言 $L$，称

VP={ $L|L \in \Sigma^{*}，\Sigma 是一个有限字符集，$
$存在一个多项式p和多项式时间验证算法A(X,Y)，$
$使得对于任意X \in \Sigma^{*}，$
$X \in L当且仅当存在Y \in \Sigma^{*}，|Y|\le p(|X|)，且A(X,Y)=1$}

定理：VP=NP