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不存在多項式複雜度算法。