[论文解读] Near-Optimal Schedules for Simultaneous Multicasts

Bernhard Haeupler, D Ellis Hershkowitz+1 more|arXiv (Cornell University)|Dec 31, 2019

Mobile Ad Hoc Networks参考文献 45被引用 4

一句话总结

本文提出了一种在存储转发网络中调度同时多播的近似最优分布式算法，实现了$O(C + D + \log^{2}n)$长度的调度，其中$C$为拥塞度，$D$为稀释度。该方法利用一种新颖的$(\log^{1+\epsilon}n, \log n)$-短路径分解与随机延迟调度，突破了$\Omega(CD)$的下限，通过匹配的下限证明了其近似最优性。

ABSTRACT

We study the store-and-forward packet routing problem for simultaneous multicasts, in which multiple packets have to be forwarded along given trees as fast as possible. This is a natural generalization of the seminal work of Leighton, Maggs and Rao, which solved this problem for unicasts, i.e. the case where all trees are paths. They showed the existence of asymptotically optimal $O(C + D)$-length schedules, where the congestion $C$ is the maximum number of packets sent over an edge and the dilation $D$ is the maximum depth of a tree. This improves over the trivial $O(CD)$ length schedules. We prove a lower bound for multicasts, which shows that there do not always exist schedules of non-trivial length, $o(CD)$. On the positive side, we construct $O(C+D+\log^2 n)$-length schedules in any $n$-node network. These schedules are near-optimal, since our lower bound shows that this length cannot be improved to $O(C+D) + o(\log n)$.

研究动机与目标

• 弥合存储转发网络中同时多播调度的已知上界与下界之间的差距。
• 设计一种分布式算法，实现近似最优的调度长度，优于平凡的$O(CD)$界。
• 建立紧致的下界，证明在一般情况下$O(C+D) + o(\log n)$的调度长度是不可能实现的。
• 提供一种构造性、分布式的方法，通过短路径分解与随机延迟匹配理论极限。

提出的方法

• 引入多播树的$(\log^{1+\epsilon}n, \log n)$-短路径分解，以支持高效的分布式计算。
• 采用两阶段分布式算法：首先在$O((C+D)(1 + \frac{\log \min\{C,D\}}{\log\log n}))$轮内计算短路径分解。
• 应用随机延迟调度：每个多播树选择$O(C/L)$时间帧的随机延迟，其中$L = \log^{2+\epsilon}n$。
• 将传输按每帧$L$个层级分块进行调度，确保每帧的拥塞度在期望和高概率下为$O(L)$。
• 在每个块上利用Ostrovsky-Rabani的分布式算法实现同时多播，每块耗时$O(L)$。
• 结合块调度与短路径分解，实现总时间$O(C + D + \log^{2+\epsilon}n)$。

实验结果

研究问题

• RQ1 我们能否实现接近最优的调度长度，即$O(C + D + \log^2 n)$，与已知下界相匹配？
• RQ2 是否可能以高效的轮复杂度，在分布式环境中构造出此类调度？
• RQ3 同时多播调度长度的根本极限是什么？我们能否证明其为$\Omega(CD)$或更紧的界？
• RQ4 我们能否将多播树分解为短路径，以支持高效的分布式调度？
• RQ5 结合随机延迟调度与分块传输，是否能优于$O(CD)$界？

主要发现

• 本文建立了下界，证明任何调度都无法实现$O(C+D) + o(\log n)$的长度，从而证明$O(C+D+\log^2 n)$是近似最优的。
• 提出了一种分布式算法，可在$O((C+D)(1 + \frac{\log \min\{C,D\}}{\log\log n}))$轮内计算出$(\log^{1+\epsilon}n, \log n)$-短路径分解。
• 该算法实现了总调度长度$O(C + D + \log^{2+\epsilon}n)$，当$\epsilon > 0$时，等价于$O(C + D + \log^2 n)$。
• 通过将树划分为$L = \log^{2+\epsilon}n$层级的块，并使用随机延迟，每帧的拥塞度在期望和高概率下被限制在$O(L)$。
• 每一块$L$个层级的调度使用Ostrovsky-Rabani算法，每块耗时$O(L)$，确保整体界成立。
• 该结果弥合了长期存在的理论理解差距，表明$O(C+D+\log^2 n)$是考虑低阶项后的最佳可能结果。