Let us consider the algorithm describes in Fig. 18.19. This algorithm is designed for the system model CAMP n, t[t Is this algorithm correct? If it is not, find a counter-example. If it is, to...

Let us consider the algorithm describes in Fig. 18.19. This algorithm is designed for the system

model CAMP n, t[t <>

Is this algorithm correct? If it is not, find a counter-example. If it is, to provide a proof of it.

Figure 18.19: Does it build a biased common coin in CAMPn,t[t <>

Solution in [413].