Maekawa's algorithm: Difference between revisions

Revision as of 15:21, 21 February 2009

Revision as of 15:21, 21 February 2009

Line 33:

'''Quorum set (<math>R_x</math>)''':<br />

A quorum set must abide by the following properties:

# <math>\forall i \,\forall j\, [R_i \bigcap R_j \ne \empty ]</math>

# <math>\forall i\, [ P_i \in R_i ]</math>

# <math>\forall i\, [ |R_i| = K ]</math>

# Site <math>P_i</math> is contained in exactly <math>K</math> request sets