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