[論文レビュー] Polynomial-Time Space-Optimal Silent Self-Stabilizing Minimum-Degree Spanning Tree Construction

Lélia Blin, Pierre Fraigniaud|arXiv (Cornell University)|Feb 11, 2014

Distributed systems and fault tolerance参考文献 28被引用数 5

ひとこと要約

本稿では、O(log n) ビット/ノードで動作する多項式時間内に、最大次数が opt+1 であるスパニングツリーを構築する、静的でメモリ最適な自己安定化アルゴリズムを提示する。本手法は、スパニングツリー構築、ノード順列変更、NCAラベル付けの新規な組み合わせを用い、弱い公平性のもとで正しさと収束性を達成する。また、全クラスの opt+1 次数ツリーに対する時間効率の良い証明ラベルスキームが存在しないことを示し、NP = co-NP でない限り、そのようなスキームは存在しないことが証明される。

ABSTRACT

Motivated by applications to sensor networks, as well as to many other areas, this paper studies the construction of minimum-degree spanning trees. We consider the classical node-register state model, with a weakly fair scheduler, and we present a space-optimal \emph{silent} self-stabilizing construction of minimum-degree spanning trees in this model. Computing a spanning tree with minimum degree is NP-hard. Therefore, we actually focus on constructing a spanning tree whose degree is within one from the optimal. Our algorithm uses registers on $O(\log n)$ bits, converges in a polynomial number of rounds, and performs polynomial-time computation at each node. Specifically, the algorithm constructs and stabilizes on a special class of spanning trees, with degree at most $OPT+1$. Indeed, we prove that, unless NP $=$ coNP, there are no proof-labeling schemes involving polynomial-time computation at each node for the whole family of spanning trees with degree at most $OPT+1$. Up to our knowledge, this is the first example of the design of a compact silent self-stabilizing algorithm constructing, and stabilizing on a subset of optimal solutions to a natural problem for which there are no time-efficient proof-labeling schemes. On our way to design our algorithm, we establish a set of independent results that may have interest on their own. In particular, we describe a new space-optimal silent self-stabilizing spanning tree construction, stabilizing on \emph{any} spanning tree, in $O(n)$ rounds, and using just \emph{one} additional bit compared to the size of the labels used to certify trees. We also design a silent loop-free self-stabilizing algorithm for transforming a tree into another tree. Last but not least, we provide a silent self-stabilizing algorithm for computing and certifying the labels of a NCA-labeling scheme.

研究の動機と目的

• 分散ネットワークにおける最小次数のスパニングツリーを構築する、静的でメモリ最適な自己安定化アルゴリズムの設計。
• 各ノードで O(log n) ビットのみを用いながら、多項式時間で収束を達成し、メモリ使用量を最小限に抑えること。
• 全クラスの opt+1 次数ツリーが時間効率の良い証明ラベルスキームを備えていないにもかかわらず、次数が最大 opt+1 であるスパニングツリーの部分クラス（FRツリー）に安定化すること。
• すべての次数 ≤ opt+1 のスパニングツリーに安定化するような時間効率の良い自己安定化アルゴリズムが存在する可能性は、NP = co-NP でない限り低いことの証明。
• 主アルゴリズムの基盤となる、静的スパニングツリー構築、ループフリーなツリー変換、NCAラベル付けの開発。

提案手法

• 本アルゴリズムは、標準的なツリー認証に加え、1つの追加ビットのみを用いる静的でメモリ最適な自己安定化スパニングツリー構築手法を用い、O(n) ラウンドで収束する。
• 1つのツリーから別のツリーへの変換を実現する静的でループフリーな自己安定化アルゴリズムを統合し、ノードの再配置によって次数を低減可能にする。
• 効率的なツリー走査と次数解析を支援する静的自己安定化 NCA ラベルスキームを採用する。
• コアメカニズムは、次数が最大 k のノードを繰り返し特定し、局所的な順列変更によってその次数を低減する。これは、Fürer と Raghavachari のアルゴリズムにインspiredされている。
• 各ノードは、NCA ラベル付けと局所的決定手続きを含む多項式時間の局所計算を実行し、改善の検出と開始を可能にする。
• 正当性を保証するため、証明ラベルスキームを暗黙的に用い、有効な FR ツリーに到達した時点で静的安定化が達成される。

実験結果

リサーチクエスチョン

• RQ1 静的でメモリ最適な自己安定化アルゴリズムが、多項式時間内に、最大次数が opt+1 であるスパニングツリーを構築可能か？
• RQ2 全クラスの opt+1 次数ツリーに対する時間効率の良い証明ラベルスキームに依存せずに、同様のアルゴリズムを設計可能か？
• RQ3 このような自己安定化アルゴリズムの最小メモリ要件（ノードあたりのビット数）は何か？ また、それが最適であることを証明可能か？
• RQ4 このアルゴリズムは O(n) ラウンドのラウンド複雑性を達成可能か？ それとも、逐次的依存関係により本質的に高い複雑性を有するか？
• RQ5 FR ツリーに対する静的で効率的なアルゴリズムの存在が、opt+1 次数ツリーのより広い部分クラスに対しても同様のアルゴリズムの存在を示唆するか？

主な発見

• アルゴリズムは、次数が最大 opt+1 であるスパニングツリーの部分クラス（FR ツリー）に構築および安定化し、正しさと静的安定化を保証する。
• 各ノードで O(log n) ビットのみを用いるが、これは最適であることが証明されており、Ω(log n) ビットが必要であることが示されている。
• 収束は多項式時間内に発生し、次数低減の反復回数が最大 n² 回であるため、ラウンド数は O(n²) で有界である。
• 各ノードでは、NCA ラベル付けと局所的意思決定手順を含む多項式時間の計算が実行され、改善の検出と実行が可能である。
• 全クラスの次数 ≤ opt+1 のスパニングツリーに対する時間効率の良い証明ラベルスキームが存在しないことは、NP = co-NP でない限り証明される。
• アルゴリズムの設計は、3つの新規な要素に依存している：静的スパニングツリー構築、静的ループフリーなツリー変換、静的 NCA ラベル付け。これらはそれぞれ独立した価値を持つ。