[論文レビュー] An Exponential Lower Bound for Cut Sparsifiers in Planar Graphs

Gramoz Goranci, Monika Henzinger+1 more|arXiv (Cornell University)|Jan 1, 2017

Complexity and Algorithms in Graphs参考文献 36被引用数 6

ひとこと要約

本稿は、平面的グラフにおけるカットスパーシファイアに対して指数的下界を確立し、すべての端子が1つの面にあるk端子平面的グラフの正確なカットスパーシファイアのサイズがΩ(k²)であることを示した。これは、既知の最良の上界と一致する。著者は有向グラフのための到達可能性を保全するマイナー（RPM）を導入し、平面的有向グラフではサイズO(k² log k)のRPMが存在することを示したが、一般の有向グラフではO(k³)の頂点が必要であり、スティーナー系とデュアリンググラフ構成を用いてタイトな下界を示した。

ABSTRACT

Given an edge-weighted graph G with a set Q of k terminals, a mimicking network is a graph with the same set of terminals that exactly preserves the sizes of minimum cuts between any partition of the terminals. A natural question in the area of graph compression is to provide as small mimicking networks as possible for input graph G being either an arbitrary graph or coming from a specific graph class. In this note we show an exponential lower bound for cut mimicking networks in planar graphs: there are edge-weighted planar graphs with k terminals that require 2^(k-2) edges in any mimicking network. This nearly matches an upper bound of O(k * 2^(2k)) of Krauthgamer and Rika [SODA 2013, arXiv:1702.05951] and is in sharp contrast with the O(k^2) upper bound under the assumption that all terminals lie on a single face [Goranci, Henzinger, Peng, arXiv:1702.01136]. As a side result we show a hard instance for the double-exponential upper bounds given by Hagerup, Katajainen, Nishimura, and Ragde [JCSS 1998], Khan and Raghavendra [IPL 2014], and Chambers and Eppstein [JGAA 2013].

研究の動機と目的

• 大規模グラフにおけるスパーシファイアの頂点数を最小化するという根本的問題に取り組み、特に端子頂点間の到達可能性およびカット構造の保存に焦点を当てる。
• スパーシファイアが元のグラフのマイナーであることを要件とする、到達可能性を保全するマイナー（RPM）と呼ばれる新しいクラスのスパーシファイアを考案する。これにより、平面性などの構造的性質が保たれる。
• すべての端子が1つの面にあるk端子平面的グラフにおけるカットスパーシファイアのタイトな上界および下界を確立し、以前の指数的下界を改善する。
• スティーナー系とデュアリンググラフ構成を用いて、距離およびカットの保存に関する不可逆性結果を確立する新しい構成を提供する。
• 理論的グラフスパーシファイションと、ネットワークルーティングおよび近似アルゴリズムにおける実用的応用を結びつけることで、最適なスパーシファイアサイズを明示的に示す。

提案手法

• 到達可能性を保全するマイナー（RPM）を導入し、これはスパーシファイアHが元のグラフGのマイナーであることを要件とする。これにより、構造的類似性（例えば、平面性の保持）が保証される。
• グラフマイナー理論と、Thorup [Tho04] によるコンパクトな距離オラクルを組み合わせ、平面的有向グラフのRPMをサイズO(k² log k)で構成する。
• k端子平面的グラフの族を、(3,2)-スティーナー系（SS）を用いて構成し、端子間の距離が辺の削除に対して極めて敏感であるようなインスタンスを生成する。
• 文献[CGH16]の補題6.8を適用し、短いデュアリングサイクルを持たないサイズΩ(k^{1+1/(t−1)})の部分集合S′を同定することで、経路長の分離に基づく下界構成を可能にする。
• 距離を要因t−ε以内または加法的誤差2t−3以内に保つ任意の圧縮関数が、少なくともΩ(k^{1+1/(t−1)})ビットを必要とすることを示し、tがkに関して対数的である場合に指数的下界が得られることを証明する。
• k端子上に(3,2)-SSが存在することを応用し、2^ℓ個の部分グラフの族を構成する。各部分グラフは端子対間の距離プロファイルが異なり、距離を保存するより小さいスパーシファイアは存在できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 k端子有向グラフの到達可能性を保全するマイナー（RPM）の最小サイズは何か？ また、これは元のグラフサイズに依存せずに境界づけられるか？
• RQ2 平面的有向グラフは一般の有向グラフよりも小さい到達可能性を保全するマイナーを達成できるか？ もしそうなら、タイトな漸近的境界は何か？
• RQ3 すべての端子が1つの面にあるk端子平面的グラフに対する正確なカットスパーシファイアの最小サイズは何か？
• RQ4 このような平面的グラフに対してO(k²)サイズのカットスパーシファイアを構成可能か？ また、この境界は既知の下界と一致するか？
• RQ5 スティーナー系のような組合せ設計を用いて、端子間距離保存の不可逆性結果を確立できるか？

主な発見

• すべてのk端子平面的有向グラフは、サイズO(k² log k)の到達可能性を保全するマイナー（RPM）を有する。これは、一般の有向グラフのO(k³)の境界に比べて指数的改善である。
• すべてのk端子が1つの面にある平面的グラフにおけるカットスパーシファイアのサイズに対して、Ω(k²)の指数的下界が証明され、これはO(k²)の上界と一致する。
• 不可逆性結果が確立された：距離を要因t−ε以内または加法的誤差2t−3以内に保つ任意の圧縮関数は、少なくともΩ(k^{1+1/(t−1)})ビットを必要とし、より小さいスパーシファイアは存在できないことを示唆する。
• 著者らは、k端子が共通の面にある平面的グラフの族を構成し、正確なカットスパーシファイアがサイズO(k²)で存在することを証明した。これにより、この境界が漸近的にタイトであることが示された。
• (3,2)-スティーナー系とデュアリンググラフの性質を活用し、距離を保存する任意のスパーシファイアのサイズがΩ(k²)であることを示した。これにより、このグラフクラスではO(k²)が最適であることが証明された。