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