We consider the problem of computing compact routing tables for a (weighted) planar graph $G:= (V, E,w)$ in the PRAM, CONGEST, and the novel HYBRID communication model. We present algorithms with polylogarithmic work and communication that are almost optimal in all relevant parameters, i.e., computation time, table sizes, and stretch. All algorithms are heavily randomized, and all our bounds hold w.h.p. For a given parameter $\epsilon>0$, our scheme computes labels of size $\widetilde{O}(\epsilon^{-1})$ and is computed in $\widetilde{O}(\epsilon^{-2})$ time and $\widetilde{O}(n)$ work in the PRAM and a HYBRID model and $\widetilde{O}(\epsilon^{-2} \cdot HD)$ (Here, $HD$ denotes the network's hop-diameter) time in CONGEST. The stretch of the resulting routing scheme is $1+\epsilon$. To achieve these results, we extend the divide-and-conquer framework of Li and Parter [STOC '19] and combine it with state-of-the-art distributed distance approximation algorithms [STOC '22]. Furthermore, we provide a distributed decomposition scheme, which may be of independent interest.
翻译:摘要:我们研究在PRAM、CONGEST以及新型HYBRID通信模型下,为(带权)平面图$G:= (V, E,w)$计算紧凑路由表的问题。我们提出具有多对数级工作量和通信量的算法,这些算法在所有相关参数(即计算时间、表大小和伸缩度)上均接近最优。所有算法均采用高度随机化,且所有界以高概率成立。对于给定参数$\epsilon>0$,我们的方案计算规模为$\widetilde{O}(\epsilon^{-1})$的标签,并在PRAM和HYBRID模型中以$\widetilde{O}(\epsilon^{-2})$时间和$\widetilde{O}(n)$工作量完成计算,在CONGEST模型中所需时间为$\widetilde{O}(\epsilon^{-2} \cdot HD)$(其中$HD$表示网络跳直径)。所得路由方案的伸缩度为$1+\epsilon$。为实现这些结果,我们扩展了Li与Parter [STOC '19]的分治框架,并结合了最先进的分布式距离近似算法[STOC '22]。此外,我们提供了一种可能具有独立价值的分布式分解方案。