FLP不可靠性结果假设C_1 = e＆＃39;（C_0）

Question

FLP86关于在异步分布式系统中解决共识的不可能性的着名证据（即使只有一次失败）在第三个引理的证明中假定存在事件{{ 1}}，以便邻居配置e'和C0可以与C1相关联。

我不知道这是怎么可能的，因为在我看来C1 = e'(C0)执行从0价配置到1价配置的状态转换。此外，引理3的情况1的证明清楚地表明任何0价配置的任何后继者必须是0价配置。我在这里缺少什么？

this question的答案不回答上述问题。另一个问题涉及e'和C0的存在证明，而不是C1的证据。

Answer 1

实际上，C0不是0价，C1不是1价。这两个符号非常令人困惑。