[論文レビュー] Sparsification of Directed Graphs via Cut Balance

Ruoxu Cen, Yu Cheng+2 more|arXiv (Cornell University)|Jun 2, 2020

Complexity and Algorithms in Graphs参考文献 45被引用数 2

ひとこと要約

本稿は、グラフカットにおける方向的不均衡を測る指標であるカットバランスを活用することで、有向グラフのスパース化フレームワークを新たに提唱する。これにより、ほぼ最適なカットスケッチとスパースファイアが可能となり、for-eachスパースファイケーションは√β（βはバランスパラメータ）に依存することが示され、for-allスパースファイケーションはβに線形依存する。これにより、最大フローの証明への応用を伴う、長年の有向グラフスパースファイケーションにおける未解決問題が解決される。

ABSTRACT

In this paper, we consider the problem of designing cut sparsifiers and sketches for directed graphs. To bypass known lower bounds, we allow the sparsifier/sketch to depend on the balance of the input graph, which smoothly interpolates between undirected and directed graphs. We give nearly matching upper and lower bounds for both for-all (cf. Benczúr and Karger, STOC 1996) and for-each (Andoni et al., ITCS 2016) cut sparsifiers/sketches as a function of cut balance, defined the maximum ratio of the cut value in the two directions of a directed graph (Ene et al., STOC 2016). We also show an interesting application of digraph sparsification via cut balance by using it to give a very short proof of a celebrated maximum flow result of Karger and Levine (STOC 2002).

研究の動機と目的

• 標準モデル下では有向グラフがスパース化できないという根本的制限を、無向グラフと有向グラフの間を滑らかに補間するパラメータとしてカットバランスを導入することで解決すること。
• スパースファイアのサイズが、バランスパラメータβに依存するように、有向グラフ用のカットスケッチとスパースファイアを設計すること。これにより、バランスの悪いグラフに対しても一貫して悪い性能を示さない。
• for-allおよびfor-eachスパースファイケーションモデルにおける、カットスケッチサイズのβへの正確な依存関係を解明すること。
• for-eachスパースファイケーションにおける√β依存がタイトであることを示し、for-allスパースファイケーションにおける線形β依存が避けられないことを証明することで、従来の予想を反証すること。

提案手法

• 有向グラフのすべてのカットにおいて、2方向のカット値比の最大値としてβ-バランスを定義・形式化する。
• √βに比例する確率でエッジをサンプリングするfor-eachカットスケッチを構築し、高確率ですべてのカット値を(1±ϵ)で近似可能とする。
• カットスケッチの√βのタイトネスを示すために、層状のグラフ構造に二部グラフエッジとバランス化サイクルを組み合わせ、ビット列を符号化する下界構成を設計する。
• for-allスパースファイケーションがΩ(nβ/ϵ)ビットを必要とすることを証明し、βに線形依存する必要性が避けられないことを示す。これはデータ構造に対しても同様に成り立つ。
• バランスパラメータを用いて、β-バランスカットのみを保つスパースファイアを精緻化し、サイズにβ要因のオーバーヘッドをもたらす。
• このフレームワークを用いて、カーガーとライブスの最大フロー結果の簡潔な証明を提示し、理論的境界を超えた実用的有用性を示す。

実験結果

リサーチクエスチョン

• RQ1 カットバランスβをパrameterとして用いることで、有向グラフのカットスパースファイケーションを、すべての有向グラフを均一に扱うのではなく、効率的に可能にすることができるか？
• RQ2 for-eachカットスケッチにおける√β依存は最適か、より良い境界が達成可能か？
• RQ3 for-allスパースファイケーションにおける線形β依存は避けられないか、より積極的なサンプリング戦略によって改善可能か？
• RQ4 バランスパラメータβを用いて、限定的な不均衡を持つカットのみを保つ精緻なスパースファイアを設計可能か？
• RQ5 このバランスに基づくスパースファイケーションフレームワークは、古典的結果の短い証明を可能にする新たな応用をもたらすか？

主な発見

• for-eachカットスケッチはeO(√βn/ϵ)ビットのサイズを達成し、これに対してΩ(√βn/√ϵ)ビットの下界が存在し、√β依存がタイトであることを証明する。
• for-allカットスケッチはΩ(nβ/ϵ)ビットを必要とし、βに線形依存する必要性が避けられないことを示し、より良いサンプリング戦略に関する従来の予想を反証する。
• 本稿は、すべてのβ-バランスカットを保持するデータ構造を構築し、サイズに追加でβ要因のオーバーヘッドをもたらす。これはグラフ全体のバランスとは無関係に適用可能である。
• for-eachスケッチにおける√β下界を証明するため、二部グラフエッジとサイクルエッジを備えた層状有向グラフにビット列を符号化する新しい下界構成を提案する。
• このフレームワークにより、カーガーとライブスの最大フロー結果の簡潔な証明が得られ、理論的境界を超えた実用的有用性が示される。
• これらの結果は、スパースファイアに限らず、任意のデータ構造（スケッチ）に対しても成り立つ。これにより、境界が根本的であることが証明される。