[論文レビュー] Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems

Swan Dubois, Mohamed-Hamza Kaaouachi+1 more|arXiv (Cornell University)|Feb 2, 2015

Opportunistic and Delay-Tolerant Networks参考文献 18被引用数 5

ひとこと要約

本稿は、接続性が弱く、トポロジーの変化が予測不能な極めて動的な分散システムにおける時変化グラフの最小支配集合（MDS）の新しい定義を提案する。この研究では、グラフの強い最小支配集合を利用する安定なMDSを構築する決定的アルゴリズムを導入し、アルゴリズムの遅延とネットワークのダイナミクスに起因する遅延を分離する新しい時間計算量測定法を提示することで、異なるアルゴリズム間の公平な比較を可能にする。

ABSTRACT

We address the problem of computing a Minimal Dominating Set in highly dynamic distributed systems. We assume weak connectivity, i.e., the network may be disconnected at each time instant and topological changes are unpredictable. We make only weak assumptions on the communication: every process is infinitely often able to communicate with other processes (not necessarily directly). Our contribution is threefold. First, we propose a new definition of minimal dominating set suitable for the context of time-varying graphs that seems more relevant than existing ones. Next, we provide a necessary and sufficient topological condition for the existence of a deterministic algorithm for minimal dominating set construction in our settings. Finally, we propose a new measure of time complexity in time-varying graph in order to to allow fair comparison between algorithms. Indeed, this measure takes account of communication delays attributable to dynamicity of the graph and not to the algorithms.

研究の動機と目的

• 接続性が弱く、トポロジーの変化が予測不能な極めて動的な分散システムにおけるMDSの不安定さと曖昧さを解消すること。
• ネットワークがいつでも切断状態に陥り得る時変化グラフ（TVG）において、より安定した最小支配集合の概念を定義すること。
• このようなシステムにおいて、時間経過にわたって最小支配集合を計算する決定的アルゴリズムが存在するための必要十分なトポロジー的条件を確立すること。
• アルゴリズムの遅延とネットワーク由来の通信遅延を分離する新しい時間計算量測定法を導入し、動的環境下でのアルゴリズム比較を公平に行えるようにすること。

提案手法

• 時変化グラフにおけるMDSの新しい定義を導入し、支配されているノードが無限回にわたって支配ノードに隣接することを要件とすることで、構造的安定性を向上させる。
• TVGの基礎となるグラフを、ある時点で存在するすべての辺の和集合として定義し、この基礎となるグラフ上で強い最小支配集合が存在すれば、時間経過にわたって有効なMDSが保証されることを証明する。
• 各プロセスでローカルに基礎となるグラフを構築し、その後、固定された決定的順序に従って候補集合を列挙することで最小支配集合を選択する決定的アルゴリズムを提案する。
• 収束に基づく議論を用いて、アルゴリズムの出力が時間経過とともに安定化することを示し、極限においてMDSの仕様を満たすことを保証する。
• アルゴリズムの遅延のみを考慮する新しい時間計算量測定法を導入し、ネットワークのダイナミクスに起因する遅延を除外することで、動的環境下での異なるアルゴリズム間の公平な性能比較を可能にする。
• 時変化グラフ（TVG）のインスタンスの列に対してコーシー列の議論を用いて、アルゴリズムの出力が収束することを証明し、弱い接続性の仮定下でも正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 ネットワークがいつでも切断状態に陥り得る上に、トポロジーの変化が予測不能な時変化グラフにおいて、最小支配集合をどのように意味的に定義できるか？
• RQ2 このようなシステムにおいて、時間経過にわたって最小支配集合を計算する決定的アルゴリズムが存在するための、基礎となるグラフにおける必要十分なトポロジー的条件は何か？
• RQ3 時変化グラフにおける時間計算量をどのように公平に測定できるか。これにより、ネットワーク由来の遅延がアルゴリズム比較にバイアスをかけるのを防げるか？
• RQ4 連続的かつ予測不能なトポロジーの変化が続く中でも、安定な最小支配集合を維持する決定的アルゴリズムを構築できるか？
• RQ5 提案されたアルゴリズムは、新しい計算量測定法のもとで時間的に最適であり、時間経過に伴ってMDSの出力が収束するか？

主な発見

• 提案された時間経過にわたる最小支配集合の定義により、非支配ノードが無限回にわたって支配ノードに隣接することが保証され、動的ネットワークにおける構造的安定性が著しく向上する。
• 決定的アルゴリズムが存在するための必要十分条件は、基礎となるグラフに強い最小支配集合が存在することである。強い最小支配集合とは、任意の辺の削除に対しても最小性が保たれる最小支配集合である。
• 提案されたアルゴリズムは基礎となるグラフを段階的に構築し、ローカルで決定的かつ一意な列挙に基づいて最小支配集合を選択することで、正しさと収束性を保証する。
• 新しい時間計算量測定法は、アルゴリズムの遅延のみを考慮し、ネットワーク由来の遅延を除外するため、動的環境下での異なるアルゴリズム間の公平かつ意味のある比較を可能にする。
• アルゴリズムは、新しい計算量測定法のもとで時間的に最適であることが証明されており、ネットワークのダイナミクスが許容する最小のステップ数で収束を達成する。
• 正しさの証明は、TVGインスタンスの列に対するコーシー列の議論に依拠しており、予測不能なトポロジーの変化が続く中でも、アルゴリズムの出力が極限において安定化することを示している。