计算理论笔记--5

NP 完全命题 ★ : 如果 B问题是 N P完全的 , 并且 B能在 多项式时间规约 到 C , 记作 B ≤ C , 则 C 也是 N P
完全的 ;
该命题是很重要的命题 , 验证一个命题是 N P 完全的 , 需要满足上面的两个条件 , ① 是 N P问题 , ② 是 N
P 最难问题 ;
将计算问题与 N P 中最难问题 B 进行比较 , 是很难的 , 如果已经知道某个计算问题是 N P 完全的 , 就不
需要与 N P 中所有问题进行比较 , 只与当前已知的 N P 完全问题比较即可 ;
将 已知的 N P完全的 计算问题 B , 与 要验证的 C 问题 , 进行规约 , 就知道 C问题是否是 N P 完全的 ;
历史已经找到了一个 N P 完全问题 : 布尔可满足性问题 ( Boolean Satisfiability Problem；SAT ) ;
N P类包含 N P C类 ( N P 完全 ) , N P C 算法举例 : ★
① 布尔可满足性问题 SAT
② 3-SAT
③ 团问题 : 无向图中是否包含 k 团 , k个节点两两之间有边相连 ;
④ 独立集问题
⑤ 顶点覆盖问题
⑥ 哈密顿路径问题
⑦ 旅行商问题
⑧ 子集和问题
P、NP、NPC三者关系
P =NP 情况分析 : 如果 P ≠ N P ， 则有
P < N P
N P 完全 < N P
N P问题 中包含了三种计算问题 :
① P 问题
② N 完全问题
③ 其它问题 , 既不属于 P 问题 , 又不属于 N P 完全问题 ;
图同构问题 , 就属于 其它问题 , 既不属于 P 问题 , 又不属于 N P 完全问题 ;
N P 难 问题 , 包含了 N P 完全问题 , 不包含 P 问题 和 N P 中的其它问题 。