[论文解读] Approximating Sparsest Cut in Graphs of Bounded Treewidth

Eden Chlamtáč, Robert Krauthgamer+1 more|arXiv (Cornell University)|Jun 21, 2010

Complexity and Algorithms in Graphs参考文献 28被引用 10

一句话总结

本文提出了首个针对有界树宽图中具有一般需求的稀疏割（Sparsest-Cut）问题的常数因子近似算法，使用层次为 $ r + O(1) $ 的Sherali-Adams线性规划松弛方法，获得与图大小无关的近似因子 $ C(r) $。该方法绕过了传统的流-割间隙与度量嵌入技术，转而利用分层线性规划紧化来处理有界树宽结构中的复杂依赖关系。

ABSTRACT

We give the first constant-factor approximation algorithm for Sparsest Cut with general demands in bounded treewidth graphs. In contrast to previous algorithms, which rely on the flow-cut gap and/or metric embeddings, our approach exploits the Sherali-Adams hierarchy of linear programming relaxations.

研究动机与目标

• 为有界树宽图中具有一般需求的稀疏割问题填补长期存在的近似算法空白，此前即使在树宽为3时也未发现常数因子算法。
• 开发一种新颖方法，避免依赖于流-割间隙或度量嵌入技术，这些技术在有界树宽环境下适用性有限。
• 证明Sherali-Adams线性规划松弛层级可在结构化图族中实现稀疏割的常数因子近似。
• 通过构建基于流的马尔可夫链模型并采用对称流分解，为有界树宽中的常数因子近似建立理论基础。
• 证明在层级 $ r + O(1) $ 下，Sherali-Adams松弛的整数规划间隙在该类图中是有界的，从而支持常数因子的舍入。

提出的方法

• 该算法在层级 $ r + O(1) $ 下使用Sherali-Adams线性规划松弛层级，其中 $ r $ 为树宽，以强化标准稀疏割线性规划松弛。
• 构建一个分层的有容量有向图 $ H_k(N, \rho) $，每层包含 $ k $ 个节点，旨在以尊重容量约束的方式建模源-汇对之间的对称流路径。
• 在从 $ \{s_0,s_1\} $ 到 $ \{t_0,t_1\} $ 的路径上定义对称流分解，总流值为 $ |F| = (N - k)\varepsilon $，确保流满足容量约束且终端使用对称。
• 为流图中的节点引入一个势函数 $ A(v) $，用于量化流结束于相反终端的概率，并利用该函数将流值与 $ \frac{1}{2} + A(t_1) $ 建立关系。
• 舍入过程通过分配分布将Sherali-Adams解映射为有效割，利用对称性与路径分解以保持流结构。
• 分析表明，当 $ N = \omega(k^2) $ 时，流值满足 $ |F| \geq (1 - o(1))(k-1)(\frac{1}{2} + A(t_1)) $，从而证明存在大规模对称流，因此存在低代价割。

实验结果

研究问题

• RQ1 能否为有界树宽图中具有一般需求的稀疏割问题设计一个与图大小无关的常数因子近似算法？
• RQ2 Sherali-Adams层级在 $ r + O(1) $ 层次下，是否对有界树宽图中的稀疏割问题提供有界的整数规划间隙？
• RQ3 能否在分层图中利用对称流分解，通过LP舍入构造低代价割，而无需依赖流-割间隙？
• RQ4 是否可以构建一个每层包含 $ O(k) $ 个节点的马尔可夫流图，使其支持从源-汇对出发的 $ \Omega(k)(\frac{1}{2} + A(t_1)) $ 流量？
• RQ5 在该类流图中，势函数 $ A(v) $ 在各层间的演化行为如何？是否可用于下界估计流值？

主要发现

• 本文首次为树宽为 $ r $ 的图中具有一般需求的稀疏割问题提出了常数因子近似算法，近似因子 $ C(r) $ 与 $ n $ 无关。
• 该算法时间复杂度为 $ (2^r n)^{O(1)} $，因此在树宽参数下是固定参数可追踪的。
• 在层级 $ r + O(1) $ 下，Sherali-Adams松弛在有界树宽图中的整数规划间隙是有界的，从而支持常数因子舍入。
• 当 $ N = \omega(k^2) $ 时，所构造的流图 $ H_k(N, \varepsilon) $ 支持值为 $ |F| = (N - k)\varepsilon $ 的对称流，且满足 $ |F| \geq (1 - o(1))(k-1)(\frac{1}{2} + A(t_1)) $。
• 势函数 $ A(v) $ 在层间线性递减，满足 $ A(v^j_i) = \frac{1}{2} - \frac{i}{k-1} $，且当 $ N $ 较大时，有 $ A(t_1) \approx -\frac{1}{2} + \frac{N \varepsilon}{k-1} $。
• 该构造证明了大小为 $ \Omega(k) \cdot (\frac{1}{2} + A(t_1)) $ 的对称流存在，从而通过舍入过程可推导出低代价割。