steiner树 matlab程序,Steiner树问题的近似算法

, 年 , 月 计 算 机 学 报 第 期 树问题的近似算法 马 绍 汉 王 锐山东大学 山东海洋学院 汤 , 蔺夕 , 入夕著名的 树问题是 , 给定图 、 , , 在边集 上定义权 函 数 , 十 , 要求在图 ‘ 上找一子树 一 , , 使得 且又 。 达到 极小 以后 , 我们称该问题为 问题 广 , 曾证明 问题为 尸一完全的 本文作者 曾提 出图上 树问题 在图 , , 上 , 要求一子树 , , 使得 , 且 达到极小 并证明了该问题的 一 完全性 , 提 出了一个多项式 时 间启发算法 以后 , 我们称之为 问题关干多项式时间绝对近似算法 定理 如果 铸 , 则 和 问题都不存在多项式时间绝对近似算法 , 即都不存在多项式时间算法 , 使得对于某个常数 〕 有 , 一 尸 ‘ 】 证 若 问题有 多项式时间绝对近似算法 , 则对 问题的任 意 实 例 ‘ , , 在其边集上 定义 权函数 了“ , 对这种特殊的赋权图调用算法 , 将得到问题的多项式时间绝对近似算法 所以 , 我们只需对 ‘ 问题证明定理成立即可 假设 问题存在这样的绝对近似算法 , 使得存在常数 , 对于其任一实例 , , 二 , 都有 】 , 一 , 我们考虑集合覆盖问题 简称 问题 即 , 该问题是 一 完全的 将 间题的任一实例 集合 , , 勺 , ⋯, , 。 及其子集族 ‘ , , ⋯, ‘ 。 , 多 项 式 变 换 到 问题的相应实例 图 ‘ , , , 为 图 , 的独立顶点集 , 其中 , ‘ , 了‘ 〔 , 几 〔 , , 〔 毛 ‘ , , ‘ , 〔 飞 该文是国家自然科学基金资助项 目本文 年 月 日收到 期 马绍汉等 树问题的近似算法 显然 , 当 一 , 是实例 ‘ , , 的解 当且仅当 一 为 问题相应实例 , 的解 所以 , 应 用算法 可构造 问题的多项式时间绝对近似算法 , 且有 , 一 , 然而 , 我们可 用 中类似的复制放大技术 , 证明 当 矢 尸 时 , 问题不存在这样的绝 对近似算法 和 问题的多项式时 间近似算法 首先 , 将 问题的多项式 时间近似算法 描述如下 , 对赋权图 ‘ , , 调用 算法 , 求出图 ‘ 中所有顶点对 。‘ , 约 间的最短 路径 八, , 以 为顶点集构造完全图 , 并对其每条边 , , , , 赋权 甲 , ‘ , “ , 八, 其中 限月 表示最短路 的长度 , 对赋权图 , 阿 , 调 用 算法‘, , , 求其最小生成树 。 , , 构造图 , , 其 中 , , 在 某 边 , ‘ , , 对应的 乃, 上一 , ‘ , , , , ‘ , , 〔 , 且 , ‘ , , , 在 某边对应 的最短路上 , 对赋权图 , , 调用 算法 们 , 求其最小生成树 ‘ 一 , ‘ 印 , 从树 ’ 中删除不属于 的叶子顶点得子树 , 力 , 二定理 算法 是 问题的 多项式时间近似算法 , 其近似性能比为 , , , , 证 显 然 , 算法 的时间复杂性为 ‘ 对 丁 问题的任一实例 , , , 假定其最优解子 树为 一 , , ‘ 且 。 , , 一 习 。 达到极小值 亡 〔 将子树 的每条边复制成重 边 , 其边上的权函数值也同样复制 , 得到欧拉 图 圣一 , 瓦 , 其中 会是边集 的复制 从 跳 中取欧拉回路夕 一 少 一 ’ ‘ ’ 一 口 , 一 夕 , 其中 ‘ , ‘ , ⋯, ‘ , 是 在欧拉回路 上 中顶点 出现 的序列 , 即 一 毛‘ 、