[#乱択アルゴリズム](乱択アルゴリズム) - [[Determinisitc Consensus]]では、[[Termination]], [[Agreement]], [[Validity]]などのプロパティがある - [[Ben-Or's randomized consensus algorithm]]などのRandomized Consensus Algorithmでは、Terminationの定義を変えている - 従来: 全ての正しいプロセスが同じOutputを出力し、終了する - Randomized: 全ての正しいプロセスが確率1で同じOutputを出力し、終了する - ランダム性に依存するので、終了までのラウンド数が増加することがある - TODO: ちゃんと証明を追ってないので、読まないと(kekeho) 参考 -