Наличие 0- и 1-валентных конфигураций в доказательстве невозможности результата ФЛП

В известной статьеНевозможность распределенного консенсуса с одним ошибочным процессом (JACM85)FLP (Фишер, Линч и Патерсон) доказали удивительный результат, заключающийся в том, что ни один полностью асинхронный протокол консенсуса не может допустить даже одного необъявленного процесса смерти.

В лемме 3, после того, как показано, что D содержит как 0-валентную, так и 1-валентную конфигурации, он говорит:

Вызовите две конфигурациисоседи если один результат от другого в одномшаг, По простой индукции существуют соседи C₀, C₁ ∈ С такой, что Dᵢ = е (Сᵢ) i-valent, i = 0, 1.

Я могу следовать всем доказательствам, кроме случаев, когда они утверждают, что такие C₀ и C₁, Не могли бы вы дать мне несколько советов?

Ответы на вопрос(3)

Ваш ответ на вопрос