Предположение результата невозможности FLP C_1 = e'(C_0)

Question

Известное доказательство FLP86 относительно невозможности достижения консенсуса в асинхронной распределенной системе (даже с единственным отказом) предполагает, что при доказательстве третьей леммы существование события e' так, что соседские конфигурации C0 а также C1 может быть связано как C1 = e'(C0),

Я не понимаю, как это возможно, так как мне кажется, что e' осуществляет переход из состояния с 0-валентной конфигурацией в 1-валентную конфигурацию. Кроме того, доказательство случая 1 леммы 3 ясно утверждает, что любой преемник любой 0-валентной конфигурации должен быть 0-валентной конфигурацией. Что мне здесь не хватает?

Ответы на этот вопрос не отвечают на поставленный выше вопрос. Этот другой вопрос относится к доказательству существования C0 а также C1 а не что из e',

Answer 1

На самом деле, C0 не является 0-валентным, C1 не является 1-валентным. Это довольно запутанно для двух символов.