[論文レビュー] Coarse differentiation and multi-flows in planar graphs

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

Advanced Graph Theory Research被引用数 7

ひとこと要約

この論文は、粗い微分法を用いて、系列並列グラフにおけるマルチコンmodity最大フロー／最小カットギャップの下界を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$.

研究の動機と目的

• 系列並列グラフおよび平面的グラフにおけるマルチコンmodity最大フロー／最小カット比の既知の上界と下界のギャップを埋める。
• 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つのケースに分ける。
• 条件付き確率と対称性の議論を適用し、カット確率の下界を導出し、歪度の下限$2 - \frac{2}{2n+1}$を導出する。
• ケース分析とパrameter $A$および$B$に関する最適化を組み合わせ、最小歪度比を導出し、$n \to \infty$の極限で2の主要な下限を得る。

実験結果

リサーチクエスチョン

• RQ1 系列並列グラフにおけるマルチコンmodity最大フロー／最小カットギャップは2を超える可能性があるか？
• RQ2 系列並列グラフにおける$L_1$-歪度の上界2はタイトか？
• RQ3 粗い微分法を用いて、除外マイナー族における$L_1$-歪度の非自明な下界を確立できるか？
• RQ4 基本的構成を超えて、平面的グラフにおけるフロー／カットギャップの最良の下界は何か？

主な発見

• 系列並列グラフにおけるマルチコンmodity最大フロー／最小カットギャップは少なくとも2であり、[8]の最近の上界と一致するため、Guptaたちはの予想が解決された。
• 系列並列グラフ族$\{G_n\}$の歪度$c_1(G_n)$について、$\lim_{n\to\infty} c_1(G_n) = 2$が成り立ち、タイトな下界が確立された。
• $K_{2,2n}^\bigcirc k$の構成により、$n \to \infty$のとき最短経路距離の$L_1$-歪度が2に近づく平面的グラフ族が得られた。
• ランダムカット$S_k$は、歪度が$2 - \frac{2}{2n+1}$以下である$L_1$埋め込みを誘導し、$n$が増加するにつれて2に近づく。
• 解析により、最悪歪度はパスの各セグメントにおける条件付き確率のトレードオフに起因し、パス分割パrameterの最適化によって最小化されることが示された。
• 本研究は、平面的グラフにおけるフロー／カットギャップに対する最初の非自明な下界を提供し、$K_{2,n}$から得られた以前の$\frac{3}{2}$の上限を上回った。