分区动态网络中的一致性

在动态网络模型中，假设通信图在每一轮都是连通的，但除此之外是任意的。我们考虑相关的$p$-分区动态网络设置，其中每轮的通信图由至多$p$个连通分量组成。我们探讨了该模型中$k\geq p$时的$k$-一致性问题。我们表明，如果进程数量未知，则对于任何$k$和任何$p\geq 2$，都不可能实现$k$-一致性。给定进程数量的上界$n$，我们提供了在$p(n-p)$轮内实现$k=p$时$k$-一致性的算法，以及在$O(n/\epsilon)$轮内实现$k=\lceil (1+\epsilon)p \rceil$时$k$-一致性的算法。