P NP NPC问题小结

P(Polynomial问题)。在计算机里面，对一个问题寻求一种多项式的算法是一个很好的解答。从理论上来说，如果一个问题能够有多项式的解法的话，就算是一个很好的算法了。这种问题总可以找到一个DTM（Deterministic Turing Machine）。 

NP(Nondeterministic Polynomial问题)。但是对于很多问题来说，他们找不到一个多项式的解决方法，他们只能对应一个NDTM(Nondeterministic Turing Machine）来解决。可以这样想想：对于下一步的动作，他们也不知道确切的应该怎么办，只能“尝试”很多种方案 才能够得出一个答案，这显然是很费时的，这种问题就是NP问题。 

NPC(NP Complete)问题，可以这么认为，这种问题只有把解域里面的所有可能都穷举了之后才能得出答案，这样的问题是NP里面最难的问题，这种问题就是NPC问题。（1）：首先它是一个NP问题，2）：然后所有的NP问题都可以约化到它）

NP-Hard问题，满足NPC问题定义的第二条但不一定满足第一条（就是说，NP-Hard问题要比NPC问题的范围广，但不一定是NP问题）。NP-Hard问题同样难以找到多项式的算法，但它不列入研究范围，因为它不一定是NP问题。即使NPC问题发现了多项式级的算法，NP-Hard问题有可能仍然无法得到多项式级的算法。事实上，由于NP-Hard放宽了限定条件，它将有可能比所有的NPC问题的时间复杂度更高从而更难以解决。（可以理解NP-Hard为像NP一样难的问题，因为像所以不是NP，因为像所以难度差不多）

终于又被我找到DTM和NDTM的定义了：

There are two kinds of TM's that concern us here: deterministic and non-deterministic. A deterministic TM only has one transition from each state for each symbol that it is reading off the tape. A non-deterministic TM may have several such transition, i. e. it is able to check several possibilities simultaneously. This is sort of like spawning multiple threads. The difference is that a non-deterministic TM can spawn as many such "threads" as it wants, while on a real computers only a specific number of threads can be executed at a time (equal to the number of CPUs). In reality, computers are basically deterministic TMs with finite tapes. On the other hand, a non-deterministic TM cannot be physically realized, except maybe with a quantum computer.

关键的就一点：DTM在状态迁移的时候是确定的到另外一个状态，而NDTM可能有多个不同的迁移路径，这不符合现在的单核CPU计算模型，所以最后提到了量子计算机。