[論文レビュー] Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms

Lélia Blin, Laurent Feuilloley+1 more|arXiv (Cornell University)|May 21, 2019

Cognitive Functions and Memory被引用数 3

ひとこと要約

この論文は、状態モデルにおける決定的自己安定型リーダー選挙アルゴリズムの、ノードあたりΩ(log log n)ビットのタイトな空間計算量下界を確立している。任意のnノードの有界次数ネットワークにおいて、このようなアルゴリズムはこれより少ない空間を用いることはできず、o(log log n)ビットを用いるアルゴリズムが匿名ネットワークでリーダー選挙を解けないことを示すことにより、この下界が最適であることを証明している。したがって、この問題クラスではΩ(log log n)の空間が必要であることが示された。

ABSTRACT

Given a boolean predicate $\Pi$ on labeled networks (e.g., proper coloring, leader election, etc.), a self-stabilizing algorithm for $\Pi$ is a distributed algorithm that can start from any initial configuration of the network (i.e., every node has an arbitrary value assigned to each of its variables), and eventually converge to a configuration satisfying $\Pi$. It is known that leader election does not have a deterministic self-stabilizing algorithm using a constant-size register at each node, i.e., for some networks, some of their nodes must have registers whose sizes grow with the size $n$ of the networks. On the other hand, it is also known that leader election can be solved by a deterministic self-stabilizing algorithm using registers of $O(\log \log n)$ bits per node in any $n$-node bounded-degree network. We show that this latter space complexity is optimal. Specifically, we prove that every deterministic self-stabilizing algorithm solving leader election must use $\Omega(\log \log n)$-bit per node registers in some $n$-node networks. In addition, we show that our lower bounds go beyond leader election, and apply to all problems that cannot be solved by anonymous algorithms.

研究の動機と目的

• 分散ネットワークにおける決定的自己安定型リーダー選挙に必要な最小メモリ空間を特定すること。
• この問題の既知の上界（O(log log n)）と下界の間のギャップを埋めること。
• 有界次数ネットワークにおけるリーダー選挙にノードあたりΩ(log log n)ビットが必要であることを示すこと。
• リーダー選挙に限らず、匿名アルゴリズムでは解けない問題すべてに下界を拡張すること。
• o(log log n)ビットを用いるアルゴリズムが匿名環境でリーダー選挙に失敗することを証明し、最適性を確立すること。

提案手法

• 制限されたメモリ下でのアルゴリズム的挙動の可能性の数に基づく組合せ的議論を用いる。
• f(n)ビット/ノードの自己安定型アルゴリズムの異なる挙動数（Bn）を分析し、|Bn| ≤ (2^f(n))^(2(Δ+1)f(n)Δ)であることを示す。
• f(n) = o(log log n) のとき、log log |Bn| ∈ o(log log n) であることを対数を二重にとることで評価する。
• 可能な識別子マッピングの数（nc−1）と|Bn|を比較し、十分に大きなnに対してnc−1 > |Bn| であることを示す。
• 鳩の巣原理を用いて、n個の異なる識別子が同じ挙動にマッピングされることを示し、識別子付きネットワークと区別不能な匿名ネットワークの構築が可能であることを示す。
• 識別子付きネットワーク（GID）と匿名ネットワーク（Ga）を構築し、両者で同じアルゴリズム的挙動を示す。AがGIDで正しく動作するならば、Gaでも動作しなければならないが、これはリーダー選挙が識別子を必要とするという仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 有界次数ネットワークにおける決定的自己安定型リーダー選挙に必要な最小空間計算量は何か？
• RQ2 状態モデルにおいて、ノードあたりo(log log n)ビットでリーダー選挙は解けるか？
• RQ3 リーダー選挙のO(log log n)上界は最適であるか、あるいは改善可能か？
• RQ4 識別子が必須な問題（例：リーダー選挙）は、匿名環境でもΩ(log log n)の空間を必要とするのか？
• RQ5 任意（非有界次数）のグラフでは、空間計算量をさらに削減可能か？

主な発見

• この論文は、状態モデルにおける決定的自己安定型リーダー選挙に、ノードあたりタイトなΩ(log log n)ビットの下界を証明している。
• この下界は、有界次数ネットワークにおける既知のO(log log n)上界と一致しており、最適性が証明された。
• ノードあたりo(log log n)ビットを用いる任意のアルゴリズムは、匿名ネットワークではリーダー選挙を解くことができず、識別子付きネットワークで動作する場合でさえも同様である。
• この下界は、リーダー選挙に限らず、匿名アルゴリズムでは解けないすべての問題に適用可能である。
• この結果は、最大次数∆(n) ∈ o(log n) のネットワークに対しても成り立ち、これはすべての有界次数グラフを含む。
• 証明技法により、o(log log n)のメモリではn個の異なる識別子が同じアルゴリズム的挙動にマッピングされ、匿名環境で区別不能になることが示された。