[論文レビュー] Dynamic framework for edge-connectivity maintenance of simple graphs

Blazej Wrobel|arXiv (Cornell University)|Jan 27, 2026

Complexity and Algorithms in Graphs被引用数 0

ひとこと要約

追加後の冗長性排除と削除後の標的的増強を行い、疎証明書、リンクカット木、ディニックのアルゴリズムを用いて、動的にk-edge-connectivityを維持するフレームワーク。

ABSTRACT

We present a framework for dynamically maintaining $k$-edge-connectivity of an undirected simple graph $G$ under edge insertions and deletions, where $k$ is a fixed constant. After an edge insertion, the algorithm identifies and removes a distinct redundant edge to maintain sparsity, in $O(k \log n)$ amortized time. After an edge deletion that reduces $λ(G)$ below $k$, the algorithm restores $k$-edge-connectivity by adding at most two new edges (excluding the deleted edge), in $O(k^{3/2} n^{3/2})$ time. The insertion procedure combines Nagamochi-Ibaraki sparse certificates with Link-Cut Trees; the deletion procedure uses a single maximum-flow computation on the sparsified graph. Throughout all updates, the graph is maintained with $O(kn)$ edges.

研究の動機と目的

• 動的エッジ更新下でのk-エッジ連結性の能動的維持を動機づけ、形式化する。
• グラフを疎に保ちながらλ(G) ≥ kを維持するフレームワークを開発する。
• エッジ挿入後の冗長性排除とエッジ削除後の連結性回復のアルゴリズムを提供する。
• 正確性を保証し複雑さを分析するために、既存のデータ構造とフロー技術を活用する。

提案手法

• Nagamochi-Ibarakiの疎証明書を用いて、k-エッジ連結な部分グラフをG_certとして表現する（最初のkつの森）。
• リンクカット木を用いてk本の互いに互い不交な森を維持し、森の有効性を保ちながら効率的なエッジ挿入とスワップをサポートする。
• エッジの追加を、k本の森に対して連鎖的にTryAddを実行してエッジを吸収するか冗長なものを破棄する。
• エッジ削除により連結性がk未満に低下する場合、残余グラフ上でDinicの最大流を実行して最小削減セットを特定し、最小カットを越えるエッジを追加する。

実験結果

リサーチクエスチョン

• RQ1 単一エッジ更新下でλ(G) ≥ kを能動的に維持しつつ、グラフを稠密さO(kn)のエッジ数に保つにはどうするか？
• RQ2 エッジ挿入後の冗長性排除を、更新を単純に元に戻すことなく安全に実施するにはどうするか？
• RQ3 フローに基づく方法を用いて、エッジ削除後に最小の増強エッジでk-エッジ連結性を回復するにはどうするか？

主な発見

• 挿入後の冗長性排除は摂動過程で摂動幅を抑えつつO(k log n)の総和時間で実行される。
• k本のリンクカット木を用いた疎証明書はλ(G) ≥ kを保持し、|E|をO(kn)に制限する。
• 削除後の回復は残余グラフに対してDinicのアルゴリズムを適用し、計算量はO(min(n^{2/3}, m^{1/2})·m)で、スパース化によりO(k·n^{5/3})へ改善可能。
• TryAddをk番目の森で実行した際に破棄されたエッジは、k-エッジ連結性を維持するためには冗長であることが保証される。
• フレームワークは除去された/挿入されたエッジが互いに異なることを強制し、単純な反転を回避する。