[论文解读] Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees

Markus Chimani, Joachim Spoerhase|arXiv (Cornell University)|Sep 23, 2014

VLSI and FPGA Design Techniques被引用 5

一句话总结

本文提出了针对有向图中三个 NP-难网络设计问题的首个非平凡双准则近似算法：有界成对距离的网络设计、有向浅层-轻量斯坦纳树，以及轻量有向 α-连通器。通过采用一种新颖的两阶段方法，结合线性规划舍入与递归树构建，该方法在允许距离约束被小幅违反的前提下，实现了成本与伸展度之间的改进权衡。对于有界距离网络设计，实现了 (2+ε, O(n^{0.5+ε}))-近似；对于浅层-轻量斯坦纳树，实现了 (1+ε, |R|^ε)-近似。

ABSTRACT

In a directed graph $G$ with non-correlated edge lengths and costs, the \emph{network design problem with bounded distances} asks for a cost-minimal spanning subgraph subject to a length bound for all node pairs. We give a bi-criteria $(2+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for this problem. This improves on the currently best known linear approximation bound, at the cost of violating the distance bound by a factor of at most~$2+\varepsilon$. In the course of proving this result, the related problem of \emph{directed shallow-light Steiner trees} arises as a subproblem. In the context of directed graphs, approximations to this problem have been elusive. We present the first non-trivial result by proposing a $(1+\varepsilon,O(|R|^{\varepsilon}))$-ap\-proxi\-ma\-tion, where $R$ are the terminals. Finally, we show how to apply our results to obtain an $(α+\varepsilon,O(n^{0.5+\varepsilon}))$-approximation for \emph{light-weight directed $α$-spanners}. For this, no non-trivial approximation algorithm has been known before. All running times depends on $n$ and $\varepsilon$ and are polynomial in $n$ for any fixed $\varepsilon>0$.

研究动机与目标

• 为解决长期存在的开放问题：设计有向网络设计中成对距离有界的高效近似算法，此前仅存在线性近似比。
• 为有向浅层-轻量斯坦纳树问题提供首个非平凡近似，尽管该问题在理论与实际应用中均具有重要意义，但此前尚无有效解法。
• 将上述结果扩展至轻量有向 α-连通器问题，该问题在本文工作之前尚无已知的非平凡近似算法。
• 通过允许对距离约束进行小范围、有界的违反，实现成本与伸展度之间更优的权衡，从而获得优于以往可能的近似比。

提出的方法

• 采用一种两阶段算法框架，根据潜在最短路径子图的大小，将节点对分类为‘纤细’或‘粗壮’。
• 对于纤细对，使用线性规划舍入以覆盖所需割集，从而在最小成本下保证有界距离。
• 对于粗壮对，算法采样 O(√n log n) 个节点，并为每个采样节点构建以之为根的浅层-轻量入树与出树，以覆盖长距离连接。
• 设计了一种递归过程以计算近似浅层-轻量斯坦纳树，通过在层级上使用动态规划，并在满足长度约束的前提下最小化成本。
• 该算法利用最短路径计算的全多项式时间近似方案（FPTAS），并将其整合进分层树构建过程中，以控制成本与伸展度。
• 最终解通过组合多个浅层-轻量树构成，并利用概率论证证明：即使存在伸展度违反，所有粗壮对仍能以高概率被覆盖。

实验结果

研究问题

• RQ1 能否为有向网络设计问题中成对距离有界的场景实现非平凡的双准则近似，从而改进最佳已知的线性近似比？
• RQ2 是否可能设计出针对有向浅层-轻量斯坦纳树问题的有效近似算法，尽管该问题在相关领域中长期难以解决？
• RQ3 能否将为浅层-轻量树所开发的技术扩展至轻量有向 α-连通器问题，该问题此前尚无已知的非平凡近似算法？
• RQ4 在实现关于 n 的次线性成本近似的同时，距离约束可被放宽到何种程度（即允许伸展）？

主要发现

• 本文为有向网络设计问题中成对距离有界的情形提出了双准则 (2+ε, O(n^{0.5+ε}))-近似，优于最佳已知的线性近似。
• 首次实现了针对有向浅层-轻量斯坦纳树问题的非平凡双准则近似，近似比为 (1+ε, |R|^ε)，其中 R 为终端集合。
• 针对轻量有向 α-连通器问题的算法实现了双准则 (α+ε, O(n^{0.5+ε}))-近似，为该开放问题提供了首个非平凡解法。
• 所有算法对任意固定的 ε > 0 均在多项式时间内运行，运行时间依赖于 n 和 ε，但不依赖于 L 或边权值。
• 该方法依赖于一种新颖的递归树构建与线性规划舍入策略，确保成本有界，同时允许在斯坦纳树子问题中对长度边界有 (1+ε) 的违反。
• 理论分析证实，通过采样节点构建的浅层-轻量树的并集，即使在存在伸展违反的情况下，也能以高概率覆盖所有粗壮对。