[工学]算法与计算复杂性课程10NP完全理论应用.pdfVIP

NP完全性理论的应用 用NP完全性理论进行子问题分析 子问题的定义 子问题的计算复杂性 子问题的NP完全性证明 NP难度 搜索问题 Turing归约 NP-hard, NP-easy 1 子问题的定义及其实例 定义 设判定问题 π=(Dπ,Yπ), 若 Dπ’⊆Dπ, Yπ’⊆Yπ∩Dπ’, 则称 π’=(Dπ’,Yπ’) 是 π 的子问题. 子问题的问题与原问题一样，定义域缩小. 通过对实例的参数加以限制得到子问题. 子问题实例 限制子句中文字的个数得到SAT的子问题3SAT,2SAT 限制顶点度数、平面图、二部图、无圈图等得到图论 问题的子问题 限制常数K 的大小，如K=2, K=3 等得到子问题 2 子问题的计算复杂性 努力扩大已知区域，缩小未知区域 当P≠NP时，存在不属于NPC也不属于P 的问题 3 有先行约束的 多处理机调度问题 优化问题: + 给定任务集 T, m 台机器,∀t ∈T, l(t) ∈Z , T上的偏序≺. 若σ:T→{ 0, 1, … , D }满足下述条件,则称 T 为可行调度. ∀t ∈T, σ(t)+l(t)≤D ∀i, 0 ≤i≤D, | { t ∈T : σ(t) ≤i σ(t)+l(t) }| ≤m ∀t, t’∈T, t ≺t’⇔σ(t)+l(t) ≤σ(t’) 求使得 D 最小的可行调度. 条件说明： 任务在截止时间前完成 同时工作的台数不超过m 有偏序约束的任务必须按照约束先行 4 实例 任务集如图所 示， m=2, 求使得 D 最 小的可行调度. 5 判定问题 + 实例：任务集T, m 台机器,∀t ∈T, l(t) ∈Z ,T上的偏序≺, + 截止时间 D ∈Z . 问：是否存在小于等于D 的可行调度？ 子问题通过限制参数(机器数、工作时间、偏序)构成 参数 限 制 偏序 ∅ 树 任意 m大小 m ≤1, 2, … , 某个常数 m 任意 l 大小 l 为常数 l 任意 6 调度问题的子问题结构 从上到下：偏序任意、树形偏序、无偏序约束 从左到右：处理器台数限制逐步放大 从前到后：各任务等长工作时间、任意工作时间 7 某些子问题属于P的说明 m =1, l 任意, 偏序任意（绿色面积） 算法： 1. 计算所有任务的工作时