Parallel processing 当其分量是所有相应分量的最大值时，证明切割是一致的
我最近进行了一次资格考试，有人问这个问题来证明以下几点 在由n个进程P1、P2、…Pn组成的分布式计算中 设C={c1，c2，···，cn}是一个割，其中ci是进程的本地事件（即，既不是消息发送事件也不是消息接收事件） 时间戳为VTci（1）的Pi≤我≤n） 分别。定义VTc=sup（VTc1、VTc2、·VTcn），其中sup是部件最大运行 i、 例如，VTc[i]=最大值（VTc1[i]，VTc2[i]，···，VTcn[i]）∀ 一, 然后证明C是一致割当且主要当VTc（VTc1[1]，VTc2[2]，···，VTcn[n]） 我知道这是一个定理，但到目前为止，我没有在任何论文或书籍中找到证明 我的方法是通过矛盾来证明它，通过假设存在一个分量p是最大的分量VTcp[p]Parallel processing 当其分量是所有相应分量的最大值时，证明切割是一致的,parallel-processing,distributed-computing,distributed-system,proof,Parallel Processing,Distributed Computing,Distributed System,Proof,我最近进行了一次资格考试，有人问这个问题来证明以下几点 在由n个进程P1、P2、…Pn组成的分布式计算中 设C={c1，c2，···，cn}是一个割，其中ci是进程的本地事件（即，既不是消息发送事件也不是消息接收事件） 时间戳为VTci（1）的Pi≤我≤n） 分别。定义VTc=sup（VTc1、VTc2、·VTcn），其中sup是部件最大运行 i、 例如，VTc[i]=最大值（VTc1[i]，VTc2[i]，···，VTcn[i]）∀ 一, 然后证明C是一致割当且主要当VTc（VTc1[1]，V