[論文レビュー] Polynomial Counting in Anonymous Dynamic Networks with Applications to Anonymous Dynamic Algebraic Computations

Dariusz R. Kowalski, Miguel A. Mosteiro|arXiv (Cornell University)|Jul 13, 2017

Distributed systems and fault tolerance被引用数 8

ひとこと要約

この論文は、ネットワークの特性に関する事前知識を必要とせず、多項式時間で匿名の動的ネットワークのカウント問題を解く決定的アルゴリズムである「メソディカルカウント」を提示する。制御された区間で潜在的要因を体系的に除去し、合図を用いて収束を追跡することで、すべてのノードが正確なネットワークサイズを学習し、同時に終了することを保証する。これにより、最悪ケース保証のもとで和やその他の代数的関数の効率的な計算が可能になる。

ABSTRACT

Starting with Michail, Chatzigiannakis, and Spirakis work, the problem of Counting the number of nodes in Anonymous Dynamic Networks has attracted a lot of attention. The problem is challenging because nodes are indistinguishable (they lack identifiers and execute the same program) and the topology may change arbitrarily from round to round of communication, as long as the network is connected in each round. The problem is central in distributed computing as the number of participants is frequently needed to make important decisions, such as termination, agreement, synchronization, and many others. A variety of algorithms built on top of mass-distribution techniques have been presented, analyzed, and also experimentally evaluated; some of them assumed additional knowledge of network characteristics, such as bounded degree or given upper bound on the network size. However, the question of whether Counting can be solved deterministically in sub-exponential time remained open. In this work, we answer this question positively by presenting Methodical Counting, which runs in polynomial time and requires no knowledge of network characteristics. Moreover, we also show how to extend Methodical Counting to compute the sum of input values and more complex functions without extra cost. Our analysis leverages previous work on random walks in evolving graphs, combined with carefully chosen alarms in the algorithm that control the process and its parameters. To the best of our knowledge, our Counting algorithm and its extensions to other algebraic and Boolean functions are the first that can be implemented in practice with worst-case guarantees.

研究の動機と目的

• 匿名の動的ネットワークにおける決定的カウントが多項式時間で達成可能かどうかという未解決の問題を解消すること。
• ネットワークサイズ、次数、接続性の境界に関する知識なしに動作するアルゴリズムを設計すること。
• カウントの解決を、和やその他の代数的関数を効率的かつ決定的に計算できるように拡張すること。
• 動的で匿名の分散システムへの実用的展開を想定した、最悪ケース実行時間の保証を提供すること。

提案手法

• ノードが「ポテンシャル」と呼ばれる量を共有する質量分布メカニズムを用いて、ランダムウォークのダイナミクスを模倣する。
• 収束プロセスを制御し、貪欲で制御不能な拡散を避けるために、周期的で体系的なポテンシャルの除去を導入する。
• 進行状況を監視し、パラメータを調整するために、合図を戦略的に配置し、パrametrized マルコフ連鎖による解析を可能にする。
• 同期されたエポックを用いて、真のサイズの多項式範囲内に収まるかをテストすることで、候補となるネットワークサイズを検証する。
• 2段階のエポック構造により、各段階からのスケーリングされた値を乗算・丸めることで、初期値の和を保存・再構築できる。
• 和、平均、対称的ブール関数の計算への拡張は、ネットワークサイズと和の計算を最小限の時間オーバーヘッドで組み合わせることで達成される。

実験結果

リサーチクエスチョン

• RQ1 ネットワークパラメータの事前知識なしに、匿名の動的ネットワークにおける決定的カウントを多項式時間で達成可能か。
• RQ2 非常に動的で匿名な環境において、最悪ケース多項式時間収束を可能にするメカニズムは何か。
• RQ3 カウントメカニズムを、正確な結果と漸近的オーバーヘッドなしに、和や平均などの代数的関数に拡張可能か。
• RQ4 識別子、一意なリーダー、構造的仮定が存在しない状況でも、決定的収束を保証する方法は何か。

主な発見

• メソディカルカウントは多項式時間でカウント問題を解決し、すべてのノードが正確なネットワークサイズを学習し、同時に終了する。
• このアルゴリズムは、ネットワークサイズ、次数、接続性の境界に関する知識を一切必要とせず、一般の匿名の動的ネットワークに適用可能である。
• すべてのノードにおける入力値の和を正確に多項式時間で計算でき、カウントに追加で漸近的時間オーバーヘッドがない。
• このアプローチにより、AND、OR、XOR、およびその補数といった対称的ブール関数の正確な計算が、ネットワークサイズと和のみを用いて可能になる。
• アルゴリズムの解析はパrametrized マルコフ連鎖と制御された質量のずれを活用し、きめ細かい最悪ケース実行時間保証を可能にする。
• カウントや和を含むすべての計算は、長さ O(log n) のメッセージで実装可能であり、通信オーバーヘッドが限定された実用的展開を可能にする。