我最近参加了资格考试，在那里要求提出以下问题。
在由n个进程P1，P2，... Pn
组成的分布式计算中设C = {c1，c2，...，cn}是一个切口，其中ci是进程的本地事件（即，既不是消息发送事件也不是消息接收事件） Pi具有时间戳VTci（1≤i≤n）。定义VTc = sup（VTc1，VTc2，···，VTcn），其中sup是分量最大操作。
即，VTc [i] = max（VTc1 [i]，VTc2 [i]，···，VTcn [i]）∀i。
然后证明C是一致的削减if和inly如果VTc（VTc1 [1]，VTc2 [2]，···，VTcn [n]）
我知道这是一个定理，但到目前为止我没有在任何论文或书中找到证据。
我的方法是通过矛盾来证明它，通过假设存在对于组件p最大的组件是VTcp [p]＆lt; VTcp [Q]。然后很明显可能存在从q到p的消息，这些消息没有在切割中捕获，因此不存在这种情况，因此C的所有分量必须分别是组件最大值。
我没有很高的信心，并希望看到正式的证据。