问题的难与易论P,NP及NPC.pdfVIP

第 12卷 第4期 许 昌 师 专 学 报 Vo1．12 No．4 1993年 12月 Joum~ ofXuchangteachersco~ege Dec．1993 (}c嗯 问题的难与易 — — 论 P、NP及 NPC 弋 李文权 张志立 (河南大 亭系一475001) (许昌师 未 46‘1000) 擒■ 在计算机科学、运筹学、数论及其它离散数学领域，提出了一些很重要的阿题，对这些阿题难 导的讨论由于其重要的意义而一直受到重视 。七十年代初Cook和Karp为此提出丁NP--完全理论。本文 简单地介绍NP--完垒理论的基本概念及研究意义。 ^／f ． 关簟调 篱隰茗 努 自j!萆隐 ⅣP元重攫它 ， 寡糸佳． ”d 午旧 wj土皿u 所谓问题的难与易 疑指按 曙 标准解决该问题所有实例 困难程度。本文讨论问题 的分类，所讨论问题的难易及讨论问题难易的研究意义． 1 问题及其分类 世上问题成千上万，千姿百态。按其有无明确的敷学意义可分为意义不明确的非数学问 腭，如人的智能问题 ，上帝问题，能源 问题等；和意义明确的数学问题，它是具有某种属性的 一 切实例的集合。意义明确的数学问题按其有无算法可分为不可判定问题，此类数学问题虽 然意义明确。但不存在算法 以解决该问题的一切实例 。如所谓停机 问题：“给定一个带有输入 程序的计算机程序 ，它会停机吗?；和可判定问题，此类问题存在算法并且可以转化为一个 与之相应 的判定形式 (其实有的问题本身就是判定形式)即可用 “是 或 否”来回答的问题 一 对于给定问题的实例 (F，c)及整数 L，是否存在一个解 f∈F使 e(D≤L或 c(D≥L?在 可辫定问题中，我们按照其算法复杂性分P类，NP类及非NP类。P类表示多项式时间算法 所能解决的闸露类，记为P。NP类表示对该问题任一宴例在非确定性计算机 (non～deter minsticmachine)模型下有多项式时间算法的判定问题类，记为NP。或形式地定义为A∈NP 意即对A的任一个Yes实例 x，存在一个关于它是Yes实例的证明文件 c(x)，其长度是x长 度的多项式，井且可 以在多项式时间内验证 c(x)的有效性 。非NP类用丽 表示，A∈丽 意即 对A 的任一Yes实例 x或者不存在关于它是Yes实例的证明文件 c(x)，使 c(x)为X长度的 多项式 ，或者验证 c(x)的有效性要在指数时间内。也就是说A∈ ．当且仅当解决A 的任 一 实锶只有指数算法。到此我们把意见分为 f意义不确定的非数学 问题 l f fNP 问题1l意义确定的数学问题l可判定问题1 不可判定问题 垃崔 日囊 t 1995一O5—2O 第 l2卷摹4期 孛文权等：问赶的堆与易—— 论P、NP亚NPC 45 我们感兴趣 的是 NP类 问题 ，其它问题不在此讨论 。这是 因为全部合理 的组合最优化 问题 的 判定形式都是 NP的。由于组合最优化问题的 目的在于对象的最优设计如环、路径、点集、划 分 ，以及整数表等 因此有理 由期望 ，一旦找到最优解就把它筒短地记录下来．于是可作为判 定形式的证 明。人们不能指望最忧设计某种在 台理时间界限 内完全不能设计的东西 。从而 非NP类 问题 图其任何实例的验证都不能在合理 (多项式)时间内完成。非教学 问题及非判 定问题 因算法不确定或者无算法，更谈不上可在合理时间界内设计最优设计。故均不在我们 的讨论之列。其次P≤NP。换言之，每个有效可解问题也是可简短证明的 若A∈P，嗵4存在 多项式时间算法Q一及多项式P(x)。对A 的一个Yes实例x，将算法Q