定义4.9一个语言的成员识别问题属 NP类,若存在一个的子集(称为一个布 尔关系)及一个正多项式(n)满足下列两 个条件: 1)的成员识别问题属于P类; 2)当且仅当存在一个,其长,且。这样 的称为是的证据。所有NP类问题构成的 集记作NP• 定义4.9 一个语言的成员识别问题属于 NP类，若存在一个的子集（称为一个布 尔关系）及一个正多项式(n)满足下列两 个条件： 1）的成员识别问题属于P类； 2）当且仅当存在一个，其长，且。这样 的称为是的证据。所有NP类问题构成的 集记作NP