生物小组工作总结.pptVIP

第*页 彩色编码(Color-Coding) 假设G中从s到t含有k个中间结点的简单路径已被正确着色 怎样基于着色找到该路径？ s t s t 最优子结构 s 第i个点 如何基于第i个点得到第i+1个点 第*页 彩色编码(Color-Coding) 动态规划 对于图中的任一点v，需要记录从s出发到达v的彩色路径的可能颜色集。 s t v1 v1点记录的信息： {{蓝,紫, 绿}, {蓝, 黄, 绿}} v2 v2点记录的信息： {{蓝,紫, 绿, 黄, 红}, {蓝, 黄, 红}} 第*页 彩色编码(Color-Coding) 假设用Qi={C1, C2,…, Ch}表示v点记录的从s出发到达v且长度为i的所有彩色路径对应的颜色集合。 h的取值范围：1 ≤ h ≤(k \choose i). 如何基于得到从s出发经过顶点v的长度为i+1的彩色路径。 for v的每一个邻居u do for j=1 to h if u的颜色没有被包含在Cj 中 then Cj’=Cj ∪{u的颜色}; if Qi+1中没有一个集合用到的颜色与Cj’相同 then Qi+1= Qi+1 ∪Cj’; 第*页 彩色编码(Color-Coding) 算法的时间复杂度： 1. 基于着色对路径的求解：|E|2k 2. 着色的次数：ek 3. 总的时间复杂度：ek 2k|E|=(2e)k|E| 第*页 核心化(Kernelization) Q1 (x, k) Q2 (x’, k’) 多项式时间 |x|=n, |x’|=f(k) k’=k Q1 Yes Q2 Yes 第*页 核心化(Kernelization) 给定图G＝(V, E)和正整数k，问V是否存在一个大小不超过k的子集V’，使得E中的任意一条边至少有一个端点在V’中。 点覆盖问题(Vertex Cover) ① 如果图G中存在0度点u，则删除点u ② 对于G中的一度点v，假设v的邻居为u，则可直接把u点放入点覆盖中，k=k-1。 ③如果G 中存在度数大于等于k+1的点v，删除点v并且k=k-1 假设运用上述规则得到的点覆盖问题的新实例为(G’＝(V’, E’), k’) |V’|=k2 核心化规则： 第*页 讨论 1. 分治法：什么问题可以应用分治法，什么问题不能用？ 2. 动态规划：动态规划与分治法的关系 分治法能解得问题可不可以用动态规划解？ 动态规划可以解的问题可不可以用分治法解？ 3. 理解最大独立集问题的NP-难证明 可满足性问题 规约到最大独立集问题 * * * * 参数计算简介(NP-难问题的算法设计与分析) 冯启龙 csufeng@mail.csu.edu.cn 第*页 提纲 NP完全理论 参数计算理论 分支界定 彩色编码 核心化 第*页 NP完全理论 多项式可解 P NP难解问题 各领域中的可计算问题 最小生成树 最短路径 最大流问题 最大匹配问题 …… 顶点覆盖 最大团 独立集 旅行商问题 …… NP完全理论 多项式可解 P 多项式可解 P NP难解问题 多项式可解 P NP难解问题 多项式可解 P NP难解问题 多项式可解 P 最小生成树 最短路径 最大流问题 最大匹配问题 …… 顶点覆盖 最大团 独立集 旅行商问题 …… 最小生成树 最短路径 最大流问题 最大匹配问题 …… 第*页 NP:在多项式时间内被验证，仅回答Yes或No(判定问题) 如何判定给定问题是否在NP中？ 给定图G=(V, E)，问图G中是否存在V的一个大小不超过k的子集V’，使得E中的任意一条边e, e至少有一个端点被包含在V’中。 点覆盖 给定V的任意一个子集V1, 如果可在多项式时间内判定V1是否为点覆盖问题的解，则说明点覆盖问题在NP 中。 NP完全理论 第*页 给定完全图G=(V, E)，其中每条边赋有一定的权值，并给定参数K，问G中是否存在一条权值小于等于K且包括图中所有点的圈。 旅行商问题 给定G中的任意一个圈S, 可在多项式时间内判定S是否为旅行商问题的解。 NP完全理论 第*页 多项式规约 Q1 x Q2 r(x) 多项式时间 Yes Yes Yes Yes NP完全理论 第*页 NP-难 NP中的任意问题 Q 多项式规约 问题Q 是NP-难的 NP完全理论 第*页 NP-完全 NP-难 + 在NP中 Q 问题Q 是NP-完全的 NP完全理论 第*页 可满足性问题(Satisfiability)