[论文解读] A Logarithmic Integrality Gap for Generalizations of Quasi-Bipartite Instances of Directed Steiner Tree

Chan, Chun-Hsiang, Laekhanukit, Bundit+2 more|arXiv (Cornell University)|Nov 20, 2019

Complexity and Algorithms in Graphs参考文献 49被引用 3

一句话总结

本文提出了首个针对准二分图上的k-连通有向斯坦纳树（k-DST）问题的多项式时间O(log q log k)-近似算法，其中不存在连接两个非终端顶点的边。该方法通过一种新颖的从不可交叉族覆盖问题到集合覆盖问题的归约，结合全息集（Halo-Set）分解，实现了与最优解结构无关的多对数近似比，适用于任意k ≥ 1。

ABSTRACT

In the classic Directed Steiner Tree problem (DST), we are given an edge-weighted directed graph G = (V,E) with n nodes, a specified root node r ∈ V, and k terminals X ⊆ V-{r}. The goal is to find the cheapest F ⊆ E such that r can reach any terminal using only edges in F. Designing approximation algorithms for DST is quite challenging, to date the best approximation guarantee of a polynomial-time algorithm for DST is O(k^ε) for any constant ε > 0 [Charikar et al., 1999]. For network design problems like DST, one often relies on natural cut-based linear programming (LP) relaxations to design approximation algorithms. In general, the integrality gap of such an LP for DST is known to have a polynomial integrality gap lower bound [Zosin and Khuller, 2002; Li and Laekhanukit, 2021]. So particular interest has been invested in special cases or in strengthenings of this LP. In this work, we show the integrality gap is only O(log k) for instances of DST where no Steiner node has both an edge from another Steiner node and an edge to another Steiner node, i.e. the longest path using only Steiner nodes has length at most 1. This generalizes the well-studied case of quasi-bipartite DST where no edge has both endpoints being Steiner nodes. Our result is also optimal in the sense that the integrality gap can be as bad as poly(n) even if the longest path with only Steiner nodes has length 2.

研究动机与目标

• 设计一种在故障容错设置下k ≥ 3时的多项式时间近似算法，此前的研究仅限于特殊情况。
• 将此前仅用于经典有向斯坦纳树问题（k=1）的准二分图研究扩展至k-连通情形。
• 实现与最优解直径或结构复杂度无关的多对数近似比。
• 通过引入一种新的集合覆盖归约技术，克服先前基于树舍入和嵌入方法的局限性。

提出的方法

• 采用Kortsarz和Nutov最初提出的全息集分解框架，并将其适配至k-DST场景。
• 为每个核心C ∈ C定义全息集H(C)，其中每个H(C)包含由解导出的子集族中的所有不足集合。
• 将覆盖不可交叉子集族的问题归约为集合覆盖实例，从而可应用随机舍入技术。
• 证明覆盖每个全息族H(C)的成本可通过整数线性规划或最小费用(ℓ+1)-流精确计算，确保多项式时间可行性。
• 利用准二分图的性质：每条边至多属于一个H(C)，从而保证不同核心之间的边互不相交。
• 在集合覆盖公式上应用依赖性随机舍入，以构建具有有界代价的可行k-DST解。

实验结果

研究问题

• RQ1 能否在不依赖最优解结构假设的前提下，为任意k ≥ 1的准二分图上的k-DST问题设计出多对数近似算法？
• RQ2 是否可以利用一种新颖的集合覆盖归约方法，将Klein-Ravi与Nutov的蜘蛛分解法推广至k-连通情形？
• RQ3 全息集分解技术能否被调整以处理k-DST问题中的非不可交叉族？
• RQ4 在k ≥ 3的场景下，所提算法是否优于现有的树舍入或嵌入方法？
• RQ5 该随机舍入框架是否可扩展至其他问题，仅通过相同的内核分解与归约策略？

主要发现

• 本文提出了一种在准二分图上针对k-DST问题的O(log q log k)-近似算法，对任意k ≥ 1均可在多项式时间内求解。
• 该算法实现了与最优解直径或结构无关的多对数近似比，相较于先前方法具有显著改进。
• 每个全息族H(C)的覆盖成本通过整数线性规划或最小费用(ℓ+1)-流精确计算，确保了多项式时间可行性。
• 从不可交叉族覆盖问题到集合覆盖问题的归约具有非平凡性，使得依赖性随机舍入成为可能。
• 该方法在k = O(1)时建立了准二分图上k-DST与集合覆盖问题之间的结构等价性，意味着在此参数范围内k-DST问题的难度与集合覆盖问题相当。
• 该算法避免了对树嵌入或具有树支撑的线性规划的依赖，从而与先前工作如[GL17]和[CGL15]相区别。