[論文レビュー] Informative Trains: A Memory-Efficient Journey to a Self-Stabilizing Leader Election Algorithm in Anonymous Graphs

Lelia Blin, Sylvain Gay+1 more|arXiv (Cornell University)|Feb 19, 2026

Distributed systems and fault tolerance被引用数 0

ひとこと要約

その論文は、情報列車メカニズムを用いて同期スケジューラ下でNビット情報を伝搬させ、ノードあたりO(log log n)メモリを使用する任意の匿名グラフ上の確率的自己安定化リーダー選出アルゴリズムを提示する。

ABSTRACT

We study the self-stabilizing leader election problem in anonymous $n$-nodes networks. Achieving self-stabilization with low space memory complexity is particularly challenging, and designing space-optimal leader election algorithms remains an open problem for general graphs. In deterministic settings, it is known that $Ω(\log \log n)$ bits of memory per node are necessary [Blin et al., Disc. Math. \& Theor. Comput. Sci., 2023], while in probabilistic settings the same lower bound holds for some values of $n$, but only for an unfair scheduler [Beauquier et al., PODC 1999]. Several deterministic and probabilistic protocols have been proposed in models ranging from the state model to the population protocols. However, to the best of our knowledge, existing solutions either require $Ω(\log n)$ bits of memory per node for general worst case graphs, or achieve low state complexity only under restricted network topologies such as rings, trees, or bounded-degree graphs. In this paper, we present a probabilistic self-stabilizing leader election algorithm for arbitrary anonymous networks that uses $O(\log \log n)$ bits of memory per node. Our algorithm operates in the state model under a synchronous scheduler and assumes knowledge of a global parameter $N = Θ(\log n)$. We show that, under our protocol, the system converges almost surely to a stable configuration with a unique leader and stabilizes within $O(\mathrm{poly}(n))$ rounds with high probability. To achieve $O(\log \log n)$ bits of memory, our algorithm keeps transmitting information after convergence, i.e. it does not verify the silence property. Moreover, like most works in the field, our algorithm does not provide explicit termination detection (i.e., nodes do not detect when the algorithm has converged).

研究の動機と目的

• 一般グラフにおける自己安定化をサブ対数メモリで達成するという課題に対処する。
• サイレント操作なしでリーダーの存在を検証し、対称性を破るためのメモリ効率の高いメカニズムを導入する。
• 中央集権的な同期モデル下で高い確率で単一リーダーへ収束することを保証する。
• 情報列車を活用して分散カウント情報をネットワーク全体に伝播させる。

提案手法

• uniform anonymousノードを持つ同期スケジューラ付き状態モデルでネットワークを連結無向グラフとしてモデル化する。
• Nwagonsからなる trains（N = Θ(log n)）を導入し、最大Nビットを運ぶことで分散カウントと検証をO(log N)状態で可能にする。
• marked/unmarked trainsとランダム化を用いて対称性を破り高確率で一意のリーダーを確保する。
• AddおよびWagon-Update操作を定義して列車値を增分し、列車の循環をネットワーク全体で調整する。
• 列車がオーバーフロー後に消えることを許容して再選挙を trigger し、リーダーが存在しない場合の正当な構成の闭包を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般的な匿名グラフ上でサブ対数メモリを用いた自己安定化リーダー選出プロトコルは動作できるか。
• RQ2 情報列車をどのように設計してリーダーの存在を検証し、最小メモリで対称性破壊を可能にするか。
• RQ3 知識パラメータN = Θ(log n)を持つ同期スケジューラ下での収束時間の保証（ラウンド単位）。
• RQ4 ランダム性が、希少イベントを誘発してリーダー排除と最終的な一意リーダーの出現を大きな状態複雑さなしに実現する仕組み。
• RQ5 提案アルゴリズムにおけるN、メモリ使用量、安定化時間の関係はどのようになるか。

主な発見

• 任意のnノード連結グラフに対して各ノードがO(log n)状態、すなわちO(log log n)ビットを使用するアルゴリズムを得る。
• N ≥ max{5, 1+log n} のとき、プロトコルはpoly(n)ラウンドで高確率に安定化する。
• 列車は2つの wagon を循環させることで、O(log N)メモリでNビット情報伝搬を実現する。
• ランダム化されたmarked列車により対称性破壊が可能となり、列車の相互作用を通じて高確率で一意のリーダーが生存する。
• 自己安定化リーダー選出を silent 操作を要求せず実現し、一般グラフでサブ対数メモリを達成する。