在Lamport同步算法的讨论中，“部分排序”和“全部排序”是什么意思？

Question

我了解的是，部分排序和全部排序是两组规则。

部分排序具有三个规则：
 （1）如果a a b是同一过程中的两个事件，且a在b之前，则a-> b。
 （2）...
 （3）...

那总订购额是多少？

为什么如此命名？

Answer 1

这些名称源于以下事实：在部分顺序中，并非所有元素都是可比的，而在总顺序中，所有元素都是可比的：

three properties定义了集合元素的部分顺序，必须对所有元素a，b和c都成立：

• Reflexivity：a ≤ a
• Antisymmetry：如果a ≤ b和b ≤ a，则a = b
• Transitivity：如果a ≤ b和b ≤ c，则a ≤ c

此定义抓住了订购事物的含义的直觉的本质：每件事物与其自身的“大小”相同，可以彼此“小”，但彼此之间的“小”本身。最后，如果一件事物比另一事物“小”，比另一事物“小”，那么它也比第三事物“小”。

总订单是具有其他属性的部分订单：

• Connexity：a ≤ b或b ≤ a

此定义表示，总的来说，任何两件事都是可比的。以部分顺序排列的事物既不需要彼此“较小”，也不需要相反，总的来说，每个事物都可以“彼此”较小或“较小”。