问C_1 = e'(C_0)的FLP不可能结果假设
EN

Stack Overflow用户

提问于 2017-12-18 21:04:41

回答 1查看 58关注 0票数 1

在第三个引理的证明中，FLP86关于异步分布式系统(即使只有一个故障)中不可能解决共识的著名证明假设了事件e'的存在，使得邻居配置C0和C1可以关联为C1 = e'(C0)。

我不明白这怎么可能，因为在我看来，这就像是e'实现了从0价配置到1价配置的状态转换。此外，引理3的情况1的证明清楚地表明，任何0价组态的任何后继都必须是0价组态。这里我漏掉了什么？

this question的答案没有回答上面的问题。另一个问题是关于C0和C1存在的证明，而不是e'的证明。

发布于 2019-04-22 22:08:24

实际上，C0不是0价的，C1也不是1价的。对于这两个符号来说，这是相当混乱的。

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/47869136

复制

相似问题

问C_1 = e'(C_0)的FLP不可能结果假设EN