[論文レビュー] Improved Distributed Degree Splitting and Edge Coloring

Mohsen Ghaffari, Juho Hirvonen+4 more|arXiv (Cornell University)|Jan 1, 2017

Mathematical Approximation and Integration被引用数 7

ひとこと要約

この論文は、LOCALモデルにおける次数分割および辺彩色の決定的分散アルゴリズムを提示しており、従来の手法に比べて不均衡性を低減し、実行時間が短く、実装が簡単である。本手法は、(2 + ε)∆-辺彩色をO(log²∆ · ε⁻¹ · log log ∆ · (log log log ∆)¹.⁷¹ · log n)ラウンドで達成する、新しいパスベースの方向付け技術を用いる。各ノードの不均衡性はεd(v) + 2以下に抑えられ、従来の手法よりも効率性と正しさの保証において優れている。

ABSTRACT

The degree splitting problem requires coloring the edges of a graph red or blue such that each node has almost the same number of edges in each color, up to a small additive discrepancy. The directed variant of the problem requires orienting the edges such that each node has almost the same number of incoming and outgoing edges, again up to a small additive discrepancy. We present deterministic distributed algorithms for both variants, which improve on their counterparts presented by Ghaffari and Su [SODA'17]: our algorithms are significantly simpler and faster, and have a much smaller discrepancy. This also leads to a faster and simpler deterministic algorithm for (2+o(1))Delta-edge-coloring, improving on that of Ghaffari and Su.

研究の動機と目的

• LOCALモデルにおける次数分割の、より高速で単純かつ効率的な決定的分散アルゴリズムの開発。
• 従来の決定的手法における辺彩色の不均衡性をΘ(log n)からO(εd(v))に低減する。
• 改善された次数分割プリミティブを用いて、より効率的で実用的な(2 + ε)∆-辺彩色アルゴリズムの実現。
• ランダム化と決定的分散アルゴリズムの間のギャップを、辺彩色や次数分割といった基本的なグラフ問題において埋める。

提案手法

• エッジを長さO(1/ε)の短い、互いに素なパスに分割するパス分解技術を用いる。
• 内部ノードのインデグリとアウトデグリがバランスするように、各パスに対して局所的な方向付けルールを適用する。
• 各パスの局所的向き付けを統合してグローバルな向き付けを構築し、次数が3以上のノードが少なくとも1本のインバックスエッジと1本のアウトバックスエッジを持つように保証する。
• グローバル計算を必要とせず、分散環境においてオイラー路に類似した構造の新規応用を活用する。
• 不均衡性を縮小する再帰的次数分割を用い、各再帰段階で最大次数を低減する。
• 幾何級数の上限を用いて、再帰的反復における累積的次数成長を解析する。

実験結果

リサーチクエスチョン

• RQ1 従来の手法よりも著しく低い不均衡性を達成する決定的分散アルゴリズムを、次数分割のための設計は可能か？
• RQ2 改善された次数分割プリミティブを用いて、(2 + ε)∆-辺彩色を多項式対数時間で達成することは可能か？
• RQ3 分散次数分割における最小達成可能な不均衡性は何か？ また、実行時間や単純性を犠牲にせずに達成可能か？
• RQ4 パスベースの分解技術を用いて、分散環境でオイラー路の性質を模倣することは可能か？

主な発見

• 本アルゴリズムは、有向次数分割問題において各ノードの不均衡性がεd(v) + 2以下であることを達成し、従来の決定的手法のΘ(log n)に比べて顕著に改善された。
• (2 + ε)∆-辺彩色の実行時間はO(log²∆ · ε⁻¹ · log log ∆ · (log log log ∆)¹.⁷¹ · log n)ラウンドであり、従来の多項式対数時間(n)ラウンドの手法よりも高速である。
• GhaffariとSuの手法から複雑な増幅パス探索を排除することで、よりモジュラーで実装可能なアルゴリズムとなった。
• 不均衡性に定数倍の改善を達成し、より少ない色数でより良い辺彩色が可能になった。
• 下界が証明された：4正則グラフにおける弱2-向き付けにはΩ(n)ラウンドが必要であり、このような問題における複雑さのギャップがタイトであることが示された。
• 再帰的次数分割プロセスにより、h = O(log ε∆)回の反復後、各部分グラフの最大次数がO(1/ε)に低下し、各部分グラフに対して2∆′ −1色で効率的に彩色可能になる。