关于计算理论的一些概念
—判定问题和最优化问题
—归约
—多项式时间
—抽象问题
—形式语言体系
NPC证明
—一个问题转换为判定问题
—说明问题是NP
—一个NPC问题规约到这个问题
—只需要规约到这个抽象问题的一个具体问题就可以了
这个具体问题是NPC那么它的整个抽象问题也是NPC的
—比如背包问题，可以人为设置它的容量和价值下界为特定的值