This problem has been solved

100% free to try

Question

(1) Prove, that if more that $(N+t) / 2$ processes start the crash-robust consensus algorithm (Algorithm 13.3) with input $v$, then a decision for $v$ is taken in three rounds. (2) Prove, that if more than $(N-t) / 2$ processes start the algorithm with input $v$, then a decision for $v$ is possible. (3) Is a decision for $v$ possible if exactly $(N-t) / 2$ processes start the algorithm with input $v$ ? (4) What are the bivalent input configurations of the algorithm?

   (1) Prove, that if more that $(N+t) / 2$ processes start the crash-robust consensus algorithm (Algorithm 13.3) with input $v$, then a decision for $v$ is taken in three rounds.
(2) Prove, that if more than $(N-t) / 2$ processes start the algorithm with input $v$, then a decision for $v$ is possible.
(3) Is a decision for $v$ possible if exactly $(N-t) / 2$ processes start the algorithm with input $v$ ?
(4) What are the bivalent input configurations of the algorithm?

Show more…

Introduction to Distributed Algorithms

Introduction to Distributed Algorithms

Gerard Tel 1st Edition

Chapter 13, Problem 11

Instant Answer

Step 1

Since more than $(N+t)/2$ processes start the algorithm with input $v$, at least $(N+t)/2 + 1$ processes will send the value $v$ to all other processes. - In the second round, each process receives the values sent by all other processes. Since at least $(N+t)/2 + Show more…

Show all steps

lock

Thanks for your feedback!

(1) Prove, that if more that $(N+t) / 2$ processes start the crash-robust consensus algorithm (Algorithm 13.3) with input $v$, then a decision for $v$ is taken in three rounds. (2) Prove, that if more than $(N-t) / 2$ processes start the algorithm with input $v$, then a decision for $v$ is possible. (3) Is a decision for $v$ possible if exactly $(N-t) / 2$ processes start the algorithm with input $v$ ? (4) What are the bivalent input configurations of the algorithm?

Play audio

Feedback

Powered by NumerAI

Ace is your personal tutor. It breaks down any question with clear steps so you can learn.

Start Using Ace