NP完全性剖析.ppt

若干NP完全问题 小结 本章主要讨论了多项式时间,多项式时间归约,多项式时间可验证算法,多项式时间可判定算法;优化问题及其相关的判定问题;P,NP,NP-难,NP-完全,CO-P,CO-NP;电路可满足性问题是NP-完全问题;若干NP-完全性问题的证明方法. x1 NP完全性的证明 显然，SHORTEST－PATH是一个关系。 （由于最短路径未必唯一，因此一个给定 问题实例可能有多个解。） NP完全性与归约性 David Luebke * * 第五章 NP-完全性 NP Completeness 内容提要 多项式时间,多项式时间归约,多项式时间可验证算法,多项式时间可判定算法 优化问题及其相关的判定问题 P,NP,NP-难,NP-完全,CO-P,CO-NP 电路可满足性问题是NP-完全问题 若干NP-完全性问题的证明 重点与难点 重点: 多项式时间归约 P,NP,NP-难,NP-完全,CO-P,CO-NP 电路可满足性问题是NP-完全问题 难点:若干NP-完全性问题的证明 学习目的与要求 理解多项式时间,多项式时间归约,多项式时间可验证算法,多项式时间可判定算法,优化问题及其相关的判定问题,P,NP,NP-难,NP-完全,CO-P,CO-NP,电路可满足性问题是NP-完全问题.掌握若干NP-完全