9-2 NP完全问题介绍.pdf

NP完全问题介绍 世界第一困难问题产生了： NP P = NP ? P 多项式归结 Q Q 定义（多项式归结）对于问题 和 ，若 1 2 Q 对 任何具体问题I ，存在一个多项式时间的确定型算法， 1 f I f I Q 它计算出 ，且   。   2 f I Q 对于   2 的解，存在一个多项式时间 的确定型算法，得到 的解。 Q Q Q Q 则说 多项式归结为 。记做 。 1 2 1 2 问题归结举例 设G=(V,E)是一个有n个顶点的连通图 问：G种有否一条经过每个点一次，最后回到出发点的回路吗？ 例： 问题归结举例 ≦ ≦ 设M 0 ，W 0 （其中1 i n）是n+1个正整数。 i 问：集合{W , W ,… W , W } 中有一个子集， 1 2 n-1 n 其中各元素之和等于M 吗？ 例： {W , W , W , W }={1, 2, 3, 4}，M=5 1 2 3 4 问题归结举例 问题1 设G=(V,E)是一个有n个顶点的连通图 问：G种有否一条经过每个点一次，最后回到出发点的回路吗？ 问题2 ≦ ≦ 设M 0 ，W 0 （其中1 i n）是n+1个正整数。 i 问：集合{W , W ,… W , W } 中有一个子集， 1 2 n-1 n 其中各元素之和等于M 吗？ 多项式归结的性质 多项式归结显然有以下性质： 如果问题Q P 且Q Q ，Q P 。 1 2 1 2 Q Q 而且Q Q ，则Q Q 。 1 2 2 3 1 3 NP 完全问题定义 定义 对于问题Q及任意判定问题Q NP，都有Q Q ， 1 1 则称Q是NP 困难的（NP-Hard ）。 NP 定义 NPC