bivalent and univalent statesThe pr

bivalent and univalent states
The progress of a consensus algorithm can be abstracted using a binary decision state. The two possible decision states are bivalent and univalent. A decision state is bivalent if starting from that state, there exist at least two distinct executions leading to two distinct decision values 0 or 1. What it means is that from a bivalent state, there is a potential for reaching any one of the two possible decision values. A state from which only one decision value can be reached is called a univalent state. Univalent states can be either 0-valent or 1-valent. In a 0-valent state, the system is committed to the irrevocable final decision 0. Similarly, in a 1-valent state, the system is committed to the irrevocable final decision 1.
As an illustration, consider a best-of-five-sets tennis match between two players A and B. If the score is 6-3, 6-4 in favor of A, then the decision state is bivalent, since any- one could win. If, however, the score becomes 6-3, 6-4, 6-1 in favor of A, then the state becomes univalent, since even if the game continues till the fifth set, only A can win. At this point, the outcome of the remaining two sets becomes irrelevant. This trivially leads to the following lemma.

Результаты (русский) 1:

двухвалентные и однолистной государстваХод алгоритма консенсуса можно реферировать с использованием двоичного решения государства. Два возможных решения государства двухвалентные и однолистной. Решение состояние двухвалентные, если от этого государства, существует по меньшей мере два различных казней, ведущих к два отдельных решения значения 0 или 1. Это означает, что из двухвалентного состояния, существует потенциал для достижения какой-либо из двух значений возможного решения. Государство, от которого только одно решение может быть достигнуто значение называется Однолистная государством. Однолистная государства могут быть 0-Валент или 1-Валент. В состоянии 0-Валент система привержена безотзывный окончательное решение 0. Аналогичным образом в состоянии 1-Валент, система привержена безотзывный окончательное решение 1.В качестве примера рассмотрим лучшие пять комплектов теннисный матч между двумя игроками A и б. Если счет 6-3, 6-4 в пользу A, то государство решение двухвалентные, поскольку любое одно может победить. Если, однако, счет становится 6-3, 6-4, 6-1 в пользу A, то государство становится однолистных, поскольку даже если игра продолжается до пятого набора, может только выиграть. На данный момент результаты оставшихся двух наборов становится неактуальным. Это тривиально приводит к следующим "ЛЕММА".

Результаты (русский) 2:

двухвалентные и одновалентные состояния
хода выполнения алгоритма консенсуса можно абстрагировать с помощью двоичного состояния решения. Два возможных состояния решения являются двухвалентными и однолистна. Государственное решение двухвалентный , если исходя из этого состояния, существуют по крайней мере два различных казней , ведущие к двум различным решения значения 0 или 1. Это означает, что из двухвалентного состояния, есть потенциал для достижения любой из двух возможных значения решения. Государство , из которых только одно значение решение может быть достигнуто называется однозначная состояние. Однолистные состояния могут быть либо 0-валентной или 1-валентной. В состоянии 0-валентной, система стремится к безвозвратной окончательного решения 0. Аналогичным образом , в состоянии 1-валентной, система стремится к безвозвратной окончательного решения 1. В
качестве иллюстрации рассмотрим лучшие в пяти- устанавливает теннисный матч между двумя игроками а и В. Если счет 6-3, 6-4 в пользу, то государственное решение является двухвалентный, так как можно было бы any- выиграть. Если, однако, счет становится 6-3, 6-4, 6-1 в пользу, то состояние становится однолистны, так как даже если игра продолжается до пятого сета, только может выиграть. В этот момент, исход из оставшихся двух наборов становится неуместной. Это тривиально приводит к следующей лемме.