[论文解读] Coarse differentiation and multi-flows in planar graphs

James R. Lee, Prasad Raghavendra|ArXiv.org|Apr 9, 2008

Advanced Graph Theory Research被引用 7

一句话总结

本文利用粗略微分技术，为串联-并联图建立了多商品最大流/最小割比的下界2，与[8]的最新上界一致，解决了Gupta等人提出的猜想。该文构造了一类平面图，其最短路径度量的$L_1$-畸变趋近于2，证明该类图的流-割比无法优于2，且首次将几何群论方法应用于组合优化中的度量嵌入问题。

ABSTRACT

We show that the multi-commodity max-flow/min-cut gap for series-parallel graphs can be as bad as 2, matching a recent upper bound Chakrabarti, Jaffe, Lee, and Vincent for this class, and resolving one side of a conjecture of Gupta, Newman, Rabinovich, and Sinclair. This also improves the largest known gap for planar graphs from 3/2 to 2, yielding the first lower bound that doesn't follow from elementary calculations. Our approach uses the {\em coarse differentiation} method of Eskin, Fisher, and Whyte in order to lower bound the distortion for embedding a particular family of shortest-path metrics into $L_1$.

研究动机与目标

• 为串联-并联图与平面图中的多商品最大流/最小割比，弥合已知上下界之间的差距。
• 解决Gupta、Newman、Rabinovich与Sinclair关于串联-并联图中流-割比的猜想。
• 证明平面图中最短路径度量的$L_1$-畸变可高达2，优于此前已知的$\frac{3}{2}$界。
• 将此前用于几何群论的粗略微分技术，应用于理论计算机科学中的度量嵌入问题。

提出的方法

• 使用Eskin、Fisher与Whyte的粗略微分方法，分析最短路径度量向$L_1$的畸变。
• 通过递归地将边替换为$K_{2,2n}$的副本，构造图族$K_{2,2n}^{igcirc k}$，形成嵌套结构。
• 基于路径上的独立选择，定义随机割$S_k$，其边被割概率为$2^{-k}$，确保在最短路径上单调且均匀。
• 分析最短路径上一对点$u,v$满足$\Pr[\mathbf{1}_S(u) \neq \mathbf{1}_S(v)]$的概率，根据其相对于中点的距离划分为两种情况。
• 应用条件概率与对称性论证，推导割概率的下界，从而得出畸变界为$2 - \frac{2}{2n+1}$。
• 结合情形分析与对参数$A$和$B$的优化，推导出最小畸变比，最终在$n \to \infty$时得到关键界2。

实验结果

研究问题

• RQ1 串联-并联图中的多商品最大流/最小割比是否可能超过2？
• RQ2 串联-并联图中$L_1$-畸变的上界2是否紧致？
• RQ3 粗略微分技术能否用于排除极小图族中$L_1$-畸变的非平凡下界？
• RQ4 平面图的流-割比的最优可能下界是多少，超越基本构造？

主要发现

• 串联-并联图的多商品最大流/最小割比至少为2，与[8]的最新上界一致，从而解决了Gupta等人的猜想。
• 对于一族串联-并联图$\{G_n\}$，其畸变$c_1(G_n)$满足$\lim_{n\to\infty} c_1(G_n) = 2$，确立了紧致下界。
• 构造$K_{2,2n}^{igcirc k}$产生一族平面图，其最短路径度量的$L_1$-畸变在$n \to \infty$时趋近于2。
• 随机割$S_k$诱导出的$L_1$嵌入畸变至多为$2 - \frac{2}{2n+1}$，且随$n$增大趋近于2。
• 分析表明，最坏情况畸变源于路径分段上条件概率的权衡，通过路径划分参数的优化得以最小化。
• 本工作首次为平面图的流-割比提供了非初等的下界，超越了此前$K_{2,n}$构造所得到的$\frac{3}{2}$界。