Abstract
We present improved deterministic algorithms for approximating shortest paths in the Congested Clique model of distributed computing. We obtain poly(log log n)-round algorithms for the following problems in unweighted undirected n-vertex graphs: • (1 + ϵ)-approximation of multi-source shortest paths (MSSP) from O(g√n) sources. • (2 + ϵ)-approximation of all pairs shortest paths (APSP). • (1 + ϵ, β)-approximation of APSP where β = O (log log n/ϵ)log log n. These bounds improve exponentially over the state-of-the-art poly-logarithmic bounds due to [Censor-Hillel et al., PODC19]. It also provides the first nearly-additive bounds for the APSP problem in sub-polynomial time. Our approach is based on distinguishing between short and long distances based on some distance threshold t = O(β/ϵ) where β = O (log log n/ϵ)log log n. Handling the long distances is done by devising a new algorithm for computing a sparse (1 + ϵ, β) emulator with O (n log log n) edges. For the short distances, we provide distance-sensitive variants for the distance tool-kit of [Censor-Hillel et al., PODC19]. By exploiting the fact that this tool-kit should be applied only on local balls of radius t, their round complexities get improved from poly (log n) to poly (log t). Finally, our deterministic solutions for these problems are based on a derandomization scheme of a novel variant of the hitting set problem, which might be of independent interest.
Original language | English |
---|---|
Article number | 29 |
Journal | Journal of the ACM |
Volume | 69 |
Issue number | 4 |
DOIs | |
Publication status | Published - 31 Aug 2022 |
Funding
The research is supported in part by the Israel Science Foundation (grant no. 1696/14 and 2084/18), the European Union's Horizon 2020 Research and Innovation Program under grant agreement no. 755839, and the Minerva grant no. 713238.
All Science Journal Classification (ASJC) codes
- Software
- Control and Systems Engineering
- Information Systems
- Hardware and Architecture
- Artificial Intelligence