[論文レビュー] Fast and Simple Deterministic Algorithms for Highly-Dynamic Networks.

Keren Censor-Hillel, Neta Dafni+3 more|arXiv (Cornell University)|Jan 13, 2019

Distributed systems and fault tolerance被引用数 4

ひとこと要約

この論文は、任意の同時的なエッジ変更に対しても、1ラウンドあたり定数時間のアムortized時間で、$(degree+1)$-coloring、最大マッチング、2-近似最小重み頂点被覆といった複数の基本的問題の解を維持できる、単純で決定的であるが、非常に動的ネットワーク向けのアルゴリズムを紹介する。中心的貢献は、局所的に修正可能なラベリング（LFLs）という概念であり、小さな、対数的サイズのメッセージのみを用いて、効率的な局所的修復を可能にする。

ABSTRACT

This paper provides a surprisingly simple method for obtaining fast (constant amortized time) deterministic distributed algorithms for a highly-dynamic setting, in which arbitrarily many edge changes may occur in each round. Among the implications of our results are deterministic algorithms that maintain solutions to many problems, including $(degree+1)$-coloring, maximal matching, maximal independent set and the seemingly unrelated problem of a 2-approximation for minimum weight vertex cover (2-MWVC). These significantly improve upon prior work in various aspects, such as having $O(1)$ amortized round complexity, using message of logarithmic size only, handling arbitrarily many concurrent topology changes, being deterministic, having correctness guarantees for intermediate rounds, and more. The core of our work is in defining a subclass of locally-checkable labelings which we call locally-fixable labelings (LFLs). Very roughly speaking, these are labelings that allow a node to fix its neighborhood based solely on their old labels. We present a simple algorithm for LFLs with small labels, which handles multiple edge insertions/deletions while keeping the amortized round complexity at a small constant. We then extend it, for specific tasks, to handle the insertion and deletion of nodes. Moreover, we show that the same approach can also fix labeling with large labels, given that they can be made to behave as small labels.

研究の動機と目的

• 任意の同時的なエッジの挿入と削除が発生する高動的ネットワークにおいて、正しい解を維持する決定的分散アルゴリズムを設計すること。
• 先行研究が確率的であるか、より高い計算量を要する場合が多く、動的設定下での基本的グラフ問題に対して、定数アムortizedラウンド計算量を達成すること。
• 局所的に修正可能なラベリング（LFLs）というクラスを導入・形式化し、過去の近隣ノード情報のみに基づいてラベルの局所的修復を効率的に行えるようにすること。
• ノードの挿入・削除を扱えるようにフレームワークを拡張し、エッジのみの変更にとどまらない、より広範な適用性を実現すること。
• ラベルが大きくても、適切な符号化により小さなラベル系に還元できる場合には、それらの問題を効率的に管理できることを示すこと。

提案手法

• 局所的に修正可能なラベリング（LFLs）のクラスを導入し、ノードが自らの過去のラベルと近隣ノードの過去のラベルのみを用いて、局所的な近隣を修正できることを保証する。
• 複数の同時的なエッジ変更に対しても、$O(1)$のアムortizedラウンド計算量を達成する、単純で決定的なLFL用アルゴリズムを設計する。
• ラベルの伝搬と更新に、小さな対数的サイズのメッセージを使用し、通信オーバーヘッドを最小限に抑える。
• ノードの挿入・削除に対応するため、局所的修復メカニズムを動的トポロジー変更に適応して拡張する。
• 大きなラベルを有するラベリングは、適切な符号化により同等の小さなラベル系に変換可能であり、その際効率性を保つことを示す。
• 局所的修正可能性の性質を活用し、完全に安定化した後だけでなく、中間ラウンド時にも正しさの保証が得られることを保証する。

実験結果

リサーチクエスチョン

• RQ1 決定的分散アルゴリズムは、任意の同時的なエッジ変更が発生する高動的ネットワークにおいて、基本的グラフ問題の解を維持できるか？
• RQ2 動的設定下で定数アムortized時間での維持を可能にするラベリング問題の構造的性質は何か？
• RQ3 複数の同時に発生するトポロジー変更を扱えるように、局所的修復メカニズムをどのように設計すれば、正しさと効率性を両立できるか？
• RQ4 ノードの挿入・削除もサポートできるように、このフレームワークを拡張できるか？
• RQ5 大きなラベル問題は、適切な符号化により小さなラベル系に還元することで、効率的に管理可能か？

主な発見

• 本論文は、$O(1)$のアムortizedラウンド計算量を持つ、局所的に修正可能なラベリング（LFLs）の決定的アルゴリズムを提示し、任意の同時エッジ変更下でも解の維持を高速に行える。
• アルゴリズムは、対数的サイズのメッセージのみを用いるため、先行手法と比較して通信オーバーヘッドを著しく削減している。
• 安定化後だけでなく、中間ラウンド時にも正しさが保証されており、実用的な信頼性が向上している。
• フレームワークはエッジ変更だけでなくノードの挿入・削除もサポートしており、完全に動的ネットワークへの適用範囲を拡大している。
• 大きなラベル問題は、適切な符号化により小さなラベル系に還元できる限り、一般化可能であり、その効率性を保っている。
• $(degree+1)$-coloring、最大マッチング、最大独立集合、2-MWVCといった問題に対して、決定的かつ定数アムortized時間の解を得ており、複数の観点で先行研究を上回っている。