Concepts de base
動的な点集合の軽量スパナーを最小限のリソースで維持するアルゴリズムを提案する。
Résumé
本文は、動的な点集合における軽量スパナーの維持問題に焦点を当てています。著者らは、(1 + ε)-スパニング比率と最大次数が一定である(1 + ε)-スパナーを保ちつつ、挿入や削除ごとにエッジ数を最小限に抑える完全動的アルゴリズムを提案しています。このアルゴリズムは、階層構造を導入し、新しい概念やアイデア(エッジ更新の影響度を定量化するストレッチファクターなど)を使用して、スパナーの重さを軽減します。また、バケット分割や償却解析など従来から知られているテクニックも活用されています。
Stats
各操作ごとにO(log ∆)償却リソースがかかる。
ストレッチファクターは1 + εで制約される。
エッジ追加時には一定数のクレジットが利用される。
点削除時には一定数の変更が発生する。
高次元点への変更も一定数で抑えられる。
Citations
"Spanners are sparse subgraphs of a denser graph that approximate its shortest path distances."
"We introduce a hierarchical structure that we update with minimal changes after each operation."
"Our spanner maintains, at all times, a lightness and a maximum degree that are bounded by constants."