<p>In this paper, we present a new randomized <i>O</i>(1)-approximation algorithm for the All-Pairs Shortest Paths (APSP) problem in weighted undirected graphs that runs in just <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(O(\log \log \log n)\)</EquationSource> </InlineEquation> rounds in the <Emphasis FontCategory="SansSerif">Congested-Clique</Emphasis> model. Before our work, the fastest algorithms achieving an <i>O</i>(1)-approximation for APSP in <i>weighted</i> undirected graphs required <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({{\,\textrm{poly}\,}}(\log n)\)</EquationSource> </InlineEquation> rounds, as shown by Censor-Hillel, Dory, Korhonen, and Leitersdorf (PODC 2019 &amp; Distributed Computing 2021). In the <i>unweighted</i> undirected setting, Dory and Parter (PODC 2020 &amp; Journal of the ACM 2022) obtained <i>O</i>(1)-approximation in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{\,\textrm{poly}\,}}(\log \log n)\)</EquationSource> </InlineEquation> rounds. By terminating our algorithm early, for any given parameter <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(t \ge 1\)</EquationSource> </InlineEquation>, we obtain an <i>O</i>(<i>t</i>)-round algorithm that guarantees an <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(O\left( \log ^{1/2^t} n\right)\)</EquationSource> </InlineEquation> approximation in weighted undirected graphs. This tradeoff between round complexity and approximation factor offers flexibility, allowing the algorithm to adapt to different requirements. In particular, for any constant <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varepsilon&gt; 0\)</EquationSource> </InlineEquation>, an <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O\left( \log ^\varepsilon n\right)\)</EquationSource> </InlineEquation>-approximation can be obtained in <i>O</i>(1) rounds. Previously, <i>O</i>(1)-round algorithms were only known for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(O(\log n)\)</EquationSource> </InlineEquation>-approximation, as shown by Chechik and Zhang (PODC 2022). A key ingredient in our algorithm is a lemma that, under certain conditions, allows us to improve an <i>a</i>-approximation for APSP to an <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(O(\sqrt{a})\)</EquationSource> </InlineEquation>-approximation in <i>O</i>(1) rounds. To prove this lemma, we develop several new techniques, including an <i>O</i>(1)-round algorithm for computing the <i>k</i>-nearest nodes, as well as new types of hopsets and skeleton graphs based on the notion of <i>k</i>-nearest nodes.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Improved all-pairs approximate shortest paths in congested clique

  • Hong Duc Bui,
  • Shashwat Chandra,
  • Yi-Jun Chang,
  • Michal Dory,
  • Dean Leitersdorf

摘要

In this paper, we present a new randomized O(1)-approximation algorithm for the All-Pairs Shortest Paths (APSP) problem in weighted undirected graphs that runs in just \(O(\log \log \log n)\) rounds in the Congested-Clique model. Before our work, the fastest algorithms achieving an O(1)-approximation for APSP in weighted undirected graphs required \({{\,\textrm{poly}\,}}(\log n)\) rounds, as shown by Censor-Hillel, Dory, Korhonen, and Leitersdorf (PODC 2019 & Distributed Computing 2021). In the unweighted undirected setting, Dory and Parter (PODC 2020 & Journal of the ACM 2022) obtained O(1)-approximation in \({{\,\textrm{poly}\,}}(\log \log n)\) rounds. By terminating our algorithm early, for any given parameter \(t \ge 1\) , we obtain an O(t)-round algorithm that guarantees an \(O\left( \log ^{1/2^t} n\right)\) approximation in weighted undirected graphs. This tradeoff between round complexity and approximation factor offers flexibility, allowing the algorithm to adapt to different requirements. In particular, for any constant \(\varepsilon> 0\) , an \(O\left( \log ^\varepsilon n\right)\) -approximation can be obtained in O(1) rounds. Previously, O(1)-round algorithms were only known for \(O(\log n)\) -approximation, as shown by Chechik and Zhang (PODC 2022). A key ingredient in our algorithm is a lemma that, under certain conditions, allows us to improve an a-approximation for APSP to an \(O(\sqrt{a})\) -approximation in O(1) rounds. To prove this lemma, we develop several new techniques, including an O(1)-round algorithm for computing the k-nearest nodes, as well as new types of hopsets and skeleton graphs based on the notion of k-nearest nodes.