时变图中接下来的 700 个不可能性结果
分布式、并行与集群计算
2014-12-19 v1
摘要
我们研究由时变图（TVG）建模的高度动态分布式系统。我们关注那些常使用关于收敛的非正式论证的不可能性结果的证明。首先，我们提供了一种 TVG 之间的距离度量，以正确定义 TVG 序列的收敛性。接着，我们提供了一个通用框架，该框架形式化地证明了在任何收敛的 TVG 序列上，任何确定性算法的执行序列的收敛性。最后，我们通过证明不存在任何确定性算法能够计算任何时间连通 TVG（即最弱类别的长存 TVG）的底层图，来说明上述结果的相关性。
引用
@article{arxiv.1412.6007,
title = {The Next 700 Impossibility Results in Time-Varying Graphs},
author = {Nicolas Braud-Santoni and Swan Dubois and Mohamed-Hamza Kaaouachi and Franck Petit},
journal= {arXiv preprint arXiv:1412.6007},
year = {2014}
}