[論文レビュー] Arboricity-Dependent Algorithms for Edge Coloring

Sayan Bhattacharya, Martín Costa+2 more|arXiv (Cornell University)|Nov 14, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、最大次数∆とグラフのアービタリティαを用いて、(∆ + O(α))-エッジ彩色をÕ(1)の均等更新時間で維持する決定的動的アルゴリズムを提示する。低アービタリティが示すスパarsityを活用し、階層的分解と再彩色手順を用いて、エッジの挿入・削除を効率的に処理し、アービタリティが有界なグラフではほぼ定数時間の更新時間実現を達成する。

ABSTRACT

The problem of edge coloring has been extensively studied over the years. Recently, this problem has received significant attention in the dynamic setting, where we are given a dynamic graph evolving via a sequence of edge insertions and deletions and our objective is to maintain an edge coloring of the graph. Currently, it is not known whether it is possible to maintain a (Δ + O(Δ^(1-μ)))-edge coloring in Õ(1) update time, for any constant μ > 0, where Δ is the maximum degree of the graph. In this paper, we show how to efficiently maintain a (Δ + O(α))-edge coloring in Õ(1) amortized update time, where α is the arboricty of the graph. Thus, we answer this question in the affirmative for graphs of sufficiently small arboricity.

研究の動機と目的

• 動的グラフにおいて(∆+O(∆¹⁻ᵘ))-エッジ彩色をÕ(1)の更新時間で維持できるかどうかという未解決の問題に取り組む。
• 時間経過に伴い変化する∆とαに適応する動的アルゴリズムを設計し、各時刻tにおいて∆ₜ + (4+ϵ)αₜ色を用いて適切な彩色を維持する。
• 平面グラフ、有界ツリーウィッドネスを持つグラフ、および実世界のネットワークを含む、アービタリティが低いグラフに対して効率的なソリューションを提供する。
• 色数に対する非線形加法的近似を達成しながら、ほぼ定数時間の更新時間の維持を実現し、従来手法の制限を克服する。

提案手法

• エッジが動的アービタリティ分解におけるレベルに応じてL層に分割される階層的エッジ分解システムを用いる。
• 各エッジe=(u,v)でu≺Lvを満たす場合、色χ(e) ≤ deg(v) + 2β(1+ϵ)²α̃L(e)を満たす「良い」彩色を維持する。
• 各更新（挿入または削除）後、彩色条件に違反するエッジを特定し、未彩色エッジの集合Sを形成する。
• その後、再彩色手順ExtendColoring(S)を適用し、層を上から下へ順に処理し、次数制約とレベル制約を尊重しながらグリーディに色を割り当てる。
• 分解システムはO(L²/ϵ)の均等リソースコストで維持され、度数変化またはレベルシフトに影響を受けるエッジのみが再彩色される。
• 主なイノベーションは、1回の更新で再彩色が必要なエッジ数を制限する階層的構造の使用にあり、これによりÕ(1)の均等更新時間が達成される。

実験結果

リサーチクエスチョン

• RQ1 任意の定数µ>0に対して、動的グラフにおいて(∆+O(∆¹⁻ᵘ))-エッジ彩色をÕ(1)の更新時間で維持できるか？
• RQ2 ∆が大きくても、アービタリティが低いグラフにおいて、エッジ彩色の近似定数時間更新が可能か？
• RQ3 ∆とαの両方が時間経過とともに変化する状況において、動的アルゴリズムが適切な彩色を効率的に維持できるか？
• RQ4 動的グラフにおいて(∆+O(α))-彩色を維持するための最小リソース（1回の更新あたりの色変更回数）はどの程度か？
• RQ5 低アービタリティグラフの構造的性質を活用して、効率的な動的エッジ彩色アルゴリズムを設計できるか？

主な発見

• アルゴリズムは、(∆ + (4+ϵ)α)-エッジ彩色をO(log⁶n/ϵ⁶)の均等更新時間で維持し、アービタリティα=O(∆¹⁻ᵘ)のグラフに対して主たる問いに肯定的に答えている。
• アルゴリズムはO(log⁴n/ϵ⁵)の均等リソースコストを達成しており、1回の更新あたり再彩色が必要なエッジ数が非常に少ないことが保証される。
• アービタリティが有界なグラフでは、更新時間が実質的に定数（Õ(1)）となるため、スパースな動的グラフに対して非常に効率的である。
• アルゴリズムは適応的である：∆とαが時間経過とともに変化しても、各時刻tにおいて∆ₜ + (4+ϵ)αₜ色を用いて適切な彩色を維持する。
• 構造的結果として、任意の(∆+(2+ϵ)α)-彩色は、未彩色エッジを含めるためにO(log n/ϵ)エッジの再彩色で拡張可能であることが示された。
• 本アプローチは動的変更に対して頑健である：挿入や削除後、度数変化または分解におけるレベルシフトの影響を受けるエッジのみが再彩色され、効率性が保証される。