计算性复杂理论初步（二）：NP完全问题的基本概念

一、NP完全问题的定义

（一）在定义P问题的基础上，我们进一步定义NP问题

非确定行算法在多项式时间内可解，也可以理解为多项式内可验证

准确的定义：

定义一个NP问题，如果该问题的解在多项式时间内可验证。这里的可验证：

1、多项式时间内可以推测该问题的一个解

2、多项式时间检查这个解是不是该问题的一个解

（二）NP问题举例

最大团问题就是NP问题

二、NP难问题与NP完全问题的定义

（一）NP难问题

（二）NP完全问题

一个问题P是NP完全问题，如果P属于NP，并且P是NP难问题

直观地将，NP完全问题就是所有NP问题中最难的问题，对这类问题的研究计算复杂性的基础

（三）P==NP

 

(四)NPC问题的证明