完全k部グラフにおける移動ビザンチン合意問題アルゴリズムの提案

抄録

本研究では、完全k部グラフ(k>=4)上の同期システムにおける移動ビザンチン故障モデルでの合意問題を解くアルゴリズムを提案する。移動ビザンチン故障モデルでは、故障状態がプロセスを移動し、プロセスは故障している間はアルゴリズムに関係なく任意の振る舞いをする。各ラウンドの故障プロセスがおよそn/6以下の時、提案アルゴリズムによって高々3nラウンドで合意が得られることを示す。ただしnは全プロセス数を表す。