Notes----20160706

P问题是具有多项式级算法的问题。
NP问题是能够以多项式时间复杂度验证一个解的问题。
NPC问题的条件1：是一个NP问题 2：能由一个NPC问题归约而来。
第一个NPC问题，逻辑电路问题：对于给定的n个输入变量，问是否有一组逻辑解（即0或者1），使得逻辑电路的输出为1，也即satisfiability问题，简称sat问题。
2-sat问题是sat问题的基础上加上一个限制条件：逻辑电路函数一定可以化为每个析取式只含有最多两个变量的合取范式。例如(x1Vx2)^(x3Vx4Vx5) 不满足条件，因为第二项中含有三个变量。
注意2-sat问题不是NPC问题，其有多项式复杂度的算法，即强连通分量分解后拓扑排序。3-sat即以上为NPC问题。NPC不存在多项式复杂度算法。