P、NP及NPC问题

关于计算理论的一些概念

　　—判定问题和最优化问题

　　—归约

　　—多项式时间

　　—抽象问题

　　—形式语言体系

 

NPC证明

　　—一个问题转换为判定问题

　　—说明问题是NP

　　—一个NPC问题规约到这个问题

　　　　—只需要规约到这个抽象问题的一个具体问题就可以了

　　　　　这个具体问题是NPC那么它的整个抽象问题也是NPC的

　　　　　　—比如背包问题，可以人为设置它的容量和价值下界为特定的值