P、NP及NPC问题

关于计算理论的一些概念

  —判定问题和最优化问题

  —归约

  —多项式时间

  —抽象问题

  —形式语言体系

NPC证明

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

  —说明问题是NP

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

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

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

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

原文地址:https://www.cnblogs.com/siyudemo/p/3132343.html