1 Introduction
In this paper, we consider the fundamental problem of computing singlesource shortest paths (SSSP) in the CONGEST model [Peleg00] of distributed computing. The CONGEST model is one of the major messagepassing models studied in the literature and is characterized by synchronized communication in a network via nonfaulty boundedbandwidth links. Such a communication network is modeled by a graph in which the nodes correspond to the processors in the network and the edges correspond to the communication links between the processors.
In unweighted graphs, the SSSP problem can be solved in communication rounds by performing breadth first search, where is the diameter of the graph. In weighted graphs, where we assume that the edge weights do not represent the communication speed, a straightforward distributed variant of the BellmanFord algorithm [Ford56, Bellman58, Moore59] computes SSSP in rounds, where is the number of nodes in the network. Moreover, Peleg and Rubinovich [PelegR00] showed a lower bound of for this problem^{1}^{1}1In this paper, we use , , , and notation to suppress factors that are polylogarithmic in ., where is the unweighted diameter of the graph, when viewed as the underlying communication network. ( is often called hop diameter.) The past few years have witnessed many improved upper bounds when approximate solutions are allowed (e.g. [LenzenPS13, Nanongkai14, HenzingerKN16, ElkinN16, BeckerKKL17, HaeuplerL18, HaeuplerHW18]), culminating in the closetooptimal [DasSarmaHKKNPPW12, PelegR00, Elkin06, KorKP13, ElkinKNP14] approximation scheme of Becker et al. [BeckerKKL17]. For exact algorithms, the bound from the BellmanFord algorithm was the state of the art for a long time until in a recent breakthrough, Elkin [Elkin17] proved an upper bound that is sublinear in for undirected graphs with nonnegative edge weights; he obtained a randomized algorithm that performs rounds for , and rounds for larger .
1.1 Our Results
Our main result is a significant improvement upon Elkin’s upper bound for polynomially bounded integer edge weights^{2}^{2}2In general, our running times scale with the number of bits needed to represent edge weights. and . We devise two randomized (Las Vegas) algorithms, the first performing rounds and the second performing
rounds; both bounds hold with high probability and in expectation. Our first bound matches the
lower bound of Peleg and Rubinovich [PelegR00] up to polylogarithmic factors when is polylogarithmic in .Our algorithms in fact work in a more restricted model called Broadcast CONGEST, where a node must send the same message to every neighbor in each round. The bound holds when edge weights are in as typically assumed in the literature. Note that our bounds hold even when edges are directed. The directed case refers to when edges have directions, but the communication is always bidirectional. A question about this case was raised in [Nanongkai14]. The previous bound by Elkin does not work for this case. Note that in general our bounds have to be multiplied by the number of bits needed to represent edge weights (which is under a typical assumption), while Elkin’s bound does not.
Independent Work by Ghaffari and Li [GhaffariL18].
Recently in STOC 2018, and independently from our results, Ghaffari and Li presented a distributed algorithm for exact SSSP with time complexity and another algorithm with complexity . Our bounds compare favorably with theirs in the entire range of parameters. Like our bounds, their bounds hold when edges are directed. Their bounds also depend on the number of bits needed to represent edge weights.
Additional Results.
Using techniques developed in this paper, we obtain two additional results, which might be interesting for putting our main result and our techniques into context. The first is a approximation round algorithm for directed SSSP. This algorithm is Monte Carlo, meaning that its approximation guarantee holds with high probability, and works in the Broadcast CONGEST model. Previously such a bound was known only for the special case of singlesource reachability [GhaffariU15], where we want to know whether there is a directed path from the source node to each node. None of previous approximation algorithms for SSSP (e.g. [LenzenPS13, Nanongkai14, HenzingerKN16, ElkinN16, BeckerKKL17]) can handle this case.
Our second result is a new work/depth tradeoff for exact SSSP on directed graphs in the PRAM model. We provide algorithm with work and depth (for any fixed ). The parallel SSSP problem has received considerable attention in the literature [Spencer97, KleinS97, Cohen97, BrodalTZ98, ShiS99, Cohen00, MeyerS03, MillerPVX15, Blelloch0ST16], but we are aware of only two relevant results for exact SSSP in directed graphs. First, the algorithm of Spencer [Spencer97] has work and depth (for any ). Second, the algorithm of Klein and Subramanian has work and depth, but does not give any tradeoffs. Thus, our algorithm gives a better tradeoff than the state of the art when and in this case it has work and depth. In this range, the tradeoff is (up to polylogarithmic factors) the same as the one of Shi and Spencer [ShiS99] for undirected graphs.^{3}^{3}3The algorithm of Shi and Spencer uses a hop set construction that is tailored to undirected graphs; the same hop set construction has later also been used in the distributed setting [Nanongkai14, Elkin17].
1.2 Further Related Work
Closely related are AllPairs Shortest Paths (APSP) and Source Shortest Paths (SSP) problems. The current best upper bound for APSP is [HuangNS17]. The situation is more complicated for SSP. We refer to [FrischknechtHW12, PelegRT12, HolzerW12, LenzenP13, Elkin17, HuangNS17, GhaffariL18, AgarwalRKP18] and references therein for details.
The exact shortest paths problem has also received attention in the Congested Clique model, which is the special case of the CONGEST model where the network is a clique. Nanongkai obtained a SSSP algorithm that performs rounds in this model and CensorHillel et al. [CensorHillelKKLPS15] obtained an algorithm that performs rounds, solving the more general APSP problem.
There are many other graph problems studied in the CONGEST model, such as minimum spanning tree, minimum cut, and maximum flow; see, e.g., [Gafni85, ChinT85, Awerbuch87, GarayKP98, KuttenP98, GhaffariK13, Ghaffari14, NanongkaiS14_disc, GhaffariKKLP15, PanduranganRSSTOC17, Elkinpodc17mst, BarYehudaCGS17].
1.3 Overview of Techniques
The starting point of our algorithms is the classic scaling framework which was heavily used in the sequential setting since the 80s (e.g. [Gabow85, GabowT89, Goldberg95soda93]). In the context of distributed shortest paths, this framework was used first in the algorithm of Huang et al. [HuangNS17] for APSP. This algorithm follows Gabow’s bitwise scaling technique [Gabow85], where edge weights are considered one bit at a time so that distances between nodes can be bounded from above. This approach was later taken by Ghaffari and Li [GhaffariL18] for computing SSSP. Our starting point is rather different from Huang et al. [HuangNS17] and Ghaffari and Li [GhaffariL18] in that we will follow recursive scaling, Gabow’s second scaling technique [Gabow85], and its extension by Klein and Subramanian [KleinS97], who applied it for SSSP in the PRAM model. At a high level, this approach uses a very general reduction to extend certain approximate SSSP algorithms to exact SSSP algorithms. Intuitively, this allows us to borrow some existing tools developed for approximation algorithms.
The challenge here lies in two special aspects of this reduction. First, it is an inherent necessity of the reduction that the approximation algorithm works on directed graphs and thus our exact SSSP algorithm also works on directed graphs – assuming that the underlying communication network is undirected. Because of this, it is not a surprise that we achieve a new approximation algorithm that can handle the directed case as an additional result.
Second, and more importantly, the reduction will not work for any arbitrary approximate SSSP algorithm, as it requires the distance estimates returned by the algorithm to satisfy an additional condition about ‘dominating’ the edge weights of the input graph. Klein and Subramanian can ensure this property by (1) computing a directed hop set to effectively reduce the approximate shortest path diameter of the graph, (2) adding the edges of the hop set to the input graph, and (3) obtaining the distance estimate from performing a “small” number iterations of the BellmanFord algorithm, exploiting the reduced approximate shortest path diameter. This approach cannot directly be transferred to the CONGEST model because the additional edges of the hop set can only be “simulated” by the nodes in the network, and the standard way of doing so will not yield a small enough guarantee on the number of rounds spent in the final BellmanFord step. We circumvent this problem by using a different algorithm design instead, where we (1) compute a skeleton graph consisting of a few “important” nodes, including the source node, and edges between the skeleton nodes with weights equal to approximate pairwise distances, (2) solve recursively on the skeleton graph, and (3) run a “small” number of iterations of the BellmanFord algorithm incorporating the distances from the source computed in step (2) to obtain distance estimates with the domination property. This may sound a bit circular at first because we again face the problem of having to compute exact SSSP on the skeleton graph. However, computation on the smaller skeleton graph is now simulated by performing global broadcasts in the whole network. We can thus benefit from the fact that we can use slightly different algorithm design techniques, such as “adding” edges to the graph without immediately increasing the number of rounds, just like in the PRAM model.
To this end, we note that although our algorithm follows the same general framework as that by Klein and Subramanian [KleinS97], it is not simply a mere “translation” of their PRAM algorithm to the CONGEST model. It in fact leads to a new work/depth tradeoff in the PRAM model that could not be achieved with the algorithm of Klein and Subramanian.
1.4 Organization
The rest of this paper is organized as follows: In Section 2 we introduce all definitions necessary for our main results and review existing tools from the literature. In Section 3 we schematically develop the central “auxiliary” algorithm that we need to obtain our results. We prove its correctness, but do not yet analyze its modelspecific complexity. In Sections 4 and 5 we obtain our two main results by providing two slightly different implementations of the auxiliary algorithm together with their complexity analyses. Finally, in Section 6 we sketch how our techniques imply additional results for approximate SSSP in the Broadcast CONGEST model and exact SSSP in the PRAM model.
2 Preliminaries
2.1 CONGEST Model and Problem Formulation
The CONGEST model [Peleg00] is a synchronous messagepassing model with nonfaulty boundedbandwidth links. More formally, consider a communication network of processors modeled by an undirected graph where each node of models a processor and each pair of nodes indicates a bidirectional communication link between the processors corresponding to and , respectively. In the remainder of this paper, we identify nodes and processors. In the CONGEST model, the initial knowledge about is distributed among the nodes: every node has a unique identifier of size (where ) initially known only to itself and its neighbors, i.e., the nodes to which it has direct communication links. The nodes communicate in synchronous rounds: At the beginning of each round, every node may send to each of its neighbors a message of size and subsequently receive the messages sent by its neighbors. Before the next round begins, each node may perform internal computation based on all messages it has received so far and its local knowledge of the network. The complexity of an algorithm is usually measured in the number of rounds and the total number of messages sent until the algorithm terminates, whereas internal computation is considered free. Typically, the asymptotic complexity is expressed in terms of and the diameter of the unweighted communication network , i.e., the maximum distance between any pair of nodes in . The restriction of the bandwidth to distinguishes the CONGEST model from the LOCAL model [Linial92]. The Broadcast CONGEST model is a specialization of the CONGEST model with the additional constraint that, whenever a node sends a message in some round, it has to send (broadcast) the same message to all of its neighbors. In general, we call a round in which, for every node, the message sent to the neighbors is the same, a broadcast round.
In the singlesource shortest paths (SSSP) problem, we are given a weighted directed graph and a distinguished source node and the task is to compute the distance from to in for every node . In the CONGEST model, we require that the nodes of are equal to the nodes of the underlying communication network and that for every directed edge there is an undirected communication link . The input is distributed among the nodes of the network as follows: initially, every node knows (a) whether it is the source or not and (b) its set of incoming and outgoing edges together with their weight. The SSSP problem is solved as soon as every node knows its distance from in .
In this paper, we consider the restriction of the SSSP problem to nonnegative integer edge weights, where we let denote the maximum edge weight. We work under the typical assumption that each edge weight can be encoded in a constant number of messages, i.e. , which implies that is polynomial in . Nevertheless, we do work out the dependence on in our algorithms for the interested reader. Observe, that in the CONGEST model an implicit shortest path tree rooted at can be constructed in additional rounds: first every node sends its distance from to all of its neighbors and then every node determines one incoming neighbor such that which will serve as the parent in the shortest path tree.
2.2 Notation and Terminology
Consider a weighted directed graph with source node , where of size is the set of nodes, of size is the set of edges, and assigns a nonnegative integer weight to each edge. For every path in , denote the weight of in by . For every pair of nodes denote the distance from to in , i.e., the weight of the shortest path from to in , by .
In defining multiplicative distance approximation, one can consider both overestimation and underestimation of the true distance. For technical reasons, we will refer to both types of distance estimates in our algorithms and thus use the following convention: If , then is an approximation of for a pair of nodes if
and if , then is an approximation of if
Since the edge weights, and thus all pairwise distances, are integer, we assume without loss of generality that the distance estimates and are integer (otherwise and , respectively, will serve as the desired approximations).
For every pair of nodes and every integer , we define the shortest hop path from to to be the path of minimum weight among all paths from to with at most edges. The hop distance from to in , denoted by is the weight of the shortest hop path from to .^{4}^{4}4Although the hop distances of all pairs of nodes do not necessarily induce a metric, the term ‘hop distance’ is somewhat established in the literature.
2.3 Toolkit
In the following, we review known tools that we use to design our algorithm.
2.3.1 Reduction from Approximate SSSP to Exact SSSP
We will apply the following reduction by Klein and Subramanian [KleinS97] for extending certain approximate SSSP algorithms to exact SSSP algorithms. The reduction is based on Gabow’s recursive scaling algorithm [Gabow85]. Initially this reduction was formulated for the PRAM model, but it can be adapted to the CONGEST model in a straightforward way.
Theorem 2.1 (Implicit in [KleinS97]).
Assume there is an auxiliary algorithm in the CONGEST model that, given a directed graph with positive integer edge weights and a source node , computes a distance estimate such that
(1) 
for every node and
(2) 
for every edge . Then there is an exact SSSP algorithm in the CONGEST model that, given a directed graph with nonnegative integer weights in the range for every edge and a source node , makes calls to algorithm (on graphs with positive integer weights in the range for every edge ) and has an additional overhead of broadcast rounds. If is a randomized Monte Carlo algorithm that is correct with high probability, then is a Las Vegas algorithm whose bounds on the number of calls to and the additional overhead of broadcast rounds, respectively, hold with high probability and in expectation.
Our task of designing an exact SSSP algorithm thus reduces to designing an auxiliary approximate SSSP algorithm satisfying conditions (1) and (2). Note that (2) is a special form of the triangle inequality expressing that the distance estimates dominate the edge weights of . The reduction will fail if this additional constraint is not met, and thus we cannot use arbitrary distance estimates, which poses a challenge in designing the auxiliary algorithm. As Klein and Subramanian [KleinS97] observed, one can for example ensure (2) by obtaining as the exact distances from in a suitable supergraph of where and for every edge .
2.3.2 Computing Bounded Hop Distances
We will use several primitives for computing (approximate) boundedhop distances. The wellknown “cornerstone” for this task is the BellmanFord algorithm.
Lemma 2.2 (Folklore).
In the Broadcast CONGEST model, one can, given a weighted directed graph with source node and an integer hop parameter , compute, for every node , the value and make it known to in rounds such that each node in total broadcasts at most messages to its neighbors by using a synchronized version of the BellmanFord algorithm
While the dependence on the number of rounds in the BellmanFord algorithm is optimal, there is some room for improvement in the number of messages. Using a wellknown weightrounding technique [KleinS97, Cohen98, Zwick02, Bernstein09, Madry10, Bernstein13, Nanongkai14], the number of messages can be reduced at the cost of introducing some approximation error. Algorithmically, this technique amounts to performing a singlesource shortest path computation up to bounded distance in an integerweighted graph. For this task, one can use a shortest path algorithm similar to breadthfirst search that charges each node (at most) once for sending distance information to its neighbors.
Lemma 2.3 (Implicit in [Nanongkai14]).
In the Broadcast CONGEST model, there is an algorithm that, given a directed graph with positive integer edge weights, a fixed source node , and an integer hop parameter , computes, for every node , a distance estimate ultimately known to such that
in rounds where each node in total broadcasts at most messages to its neighbors.
This approximation algorithm can be leveraged to compute approximate hop distances from a set of sources. Note however that if we run instances of the algorithm of Lemma 2.3, then in the worstcase it might happen that a single node might have to send different messages to its neighbors in all instances of the algorithm simultaneously. The naive approach of circumventing this type of congestion will blow up the number of rounds by a factor of . Nanongkai [Nanongkai14] showed that the congestion can be avoided using a random delay technique.
Lemma 2.4 ([Nanongkai14]).
In the Broadcast CONGEST model, there is a randomized algorithm that, given a directed graph with positive integer edge weights, a fixed set of source nodes of size , and an integer hop parameter , computes, for every source node and every node , a distance estimate ultimately known to such that, with high probability,
in rounds.
Note that, in combination with the aforementioned rounding technique, one can alternatively use the deterministic source detection algorithm of Lenzen and Peleg [LenzenP13, LenzenP14] for this task.
2.3.3 Randomized Hitting Set Construction
Similar to previous randomized shortest path algorithms, we will use the fact that, for a specified parameter , one can by a simple randomized process obtain a set of size such that every shortest path consisting of nodes contains a node of with high probability, i.e., is a hitting set for the system of sets defined by the shortest paths with nodes. This technique was introduced to the design of graph algorithms by Ullman and Yannakakis [UllmanY91]. A general lemma can be formulated as follows.
Lemma 2.5.
Let , let be a set of size , and let be a collection of sets over the universe of size at least . Let be a subset of that was obtained by choosing each element of independently with probability where . Then, with high probability (whp), i.e., probability at least , the following two properties hold:

For every , the set contains an element of , i.e., .

.
To apply the lemma for hitting shortest paths consisting of nodes in a graph , set , , and for every pair of nodes and such that there is shortest path from to with exactly nodes define a corresponding set containing all the nodes on one of these shortest paths, resulting in .
3 Schematic Auxiliary Algorithm
In the following, we present an auxiliary algorithm that computes distance estimates satisfying the preconditions (1) and (2) of Theorem 2.1 and can thus be extended to an exact SSSP algorithm using the recursivescaling approach. We formulate the auxiliary algorithm in a schematic manner and defer modelspecific implementation details and the complexity analysis to later sections. The auxiliary algorithm is parameterized by an integer parameter whose relevance will only become clear in the complexity analysis. Formally, the guarantees obtained in this section can be summarized as follows.
Lemma 3.1 (Main Lemma).
The auxiliary algorithm proceeds as follows:

[align=left,label=Step 0.,ref=Step 0]

Construct a set of skeleton nodes containing (a) the source node and (b) additionally, for every pair of nodes and such that the shortest path from to in consists of exactly nodes, at least one node on one of these shortest paths.

For each skeleton node , compute approximate hop distances from , i.e., distance estimates such that
(3) for every node .

Construct the skeleton graph with edge weight for every .

Compute distances from on the skeleton graph , i.e., for every skeleton node .

Construct the augmented graph with the weight function given by

Compute the hop distances from in the augmented graph , i.e., for every node and return for every node .
The correctness proof has two main parts. We first argue (see Lemma 3.2) that the distances in are a approximation of the distances in . Then we show (see Lemma 3.3) that the distance estimates computed by our algorithm, namely for every node , are proportional to the distances from in (independent of any hop bound), i.e., . By combining these two facts (see Lemma 3.4) it follows that the distance estimates returned by the auxiliary algorithm satisfy conditions (1) and (2) of Theorem 2.1.
Lemma 3.2.
For every node , .
Proof.
First, observe that by the definition of we clearly have for every node as every path of is also contained in and the weight of such a path in is at most twice its weight in by the definition of the edge weights in .
We now show that for every node . Observe that it is sufficient to show that for every edge of as then every path from to in has weight at least , which in particular also applies to the shortest path from to in . Note that by the definition of the edge weights in we now only have to show that for every skeleton node . Now observe that for every pair of skeleton nodes we have by (3) and thus . This in turn implies that for every skeleton node , as desired. ∎
Lemma 3.3.
For every node , .
Proof.
The inequality is obvious by the definition of the hop distance from to . In the remainder of this proof we argue that by constructing a path in with at most edges and of weight at most .
Consider a shortest path from to in . We can assume that is a simple path and thus contains at most one edge for any , and if so, this edge must be the first edge of . We assume in the following that starts with some edge , as for the case that all edges of are contained in a simpler version of the argument applies.
Now let be the shortest path from to in . Subdivide into consecutive subpaths such that the subpaths consist of exactly nodes and the subpath consists of at most nodes. By the properties of guaranteed in 1, we can assume that each of the subpaths contains a skeleton node of . Set and for every let be a skeleton node on . Note that between any pair of consecutive skeleton nodes and (for ) there are at most edges on and thus
(4) 
We now give an upper bound on the weight of the edge in , mainly applying the triangle inequality for the distance metric induced by the skeleton graph :
Now consider the path in consisting of first the edge from to of weight and then the subpath of from to . We now compare the weight of with the weight of . Recall that consists of first the edge and then a path from to consisting only of edges contained in . Therefore, has weight at least
By the upper bound on above, has weight at most
It follows that the weight of is at most the weight of , where was the shortest path from to in . Furthermore, consist of at most edges. Thus, as desired. ∎
4 First CONGEST Model Implementation
In the following we present our first exact SSSP algorithm for the CONGEST model. Its guarantees can be formalized as follows.
Theorem 4.1.
In the Broadcast CONGEST model, there is a randomized SSSP algorithm for directed graphs with nonnegative integer edge weights in the range that performs rounds in expectation.
In our algorithm, we use the following implementation of the auxiliary algorithm of Section 3:

[align=left,label=Step 0.,ref=Step 0]

We implement the sampling process of Lemma 2.5: Simultaneously, adds itself to and each other node adds itself to with probability . Afterwards, we spend rounds in a global upcast to determine the size of . If (a lowprobability event), then abort the algorithm. Now the set satisfies the condition demanded in 1 of Section 3 with high probability and thus our implementation of the auxiliary algorithm will also be correct with high probability.

Using the algorithm of Lemma 2.4 as a subroutine, this step can be implemented in rounds.

The skeleton graph is constructed implicitly – in the sense that each skeleton node only knows its set of incoming edges together with their weight – by globally broadcasting the set of skeleton nodes in the network in rounds.

We use a messagepassing version of Dijkstra’s algorithm that in each iteration determines the next node to visit, i.e., the one with minimum tentative distance, by performing a global upcast in the network. This step can thus be implemented in rounds.

By performing the corresponding edge weight modifications internally at each node, i.e., without any additional communication, the augmented graph is constructed implicitly in the sense that each node only knows its set of incoming edges together with their weight.

We implement this step with the BellmanFord algorithm. The first iteration of the BellmanFord algorithm can be performed in rounds as every skeleton node already knows the weight of the edge in and thus only needs to be informed about the start of the algorithm. The remaining iterations take rounds in a synchronized implementation of BellmanFord by Lemma 2.2, yielding an overall complexity of rounds for this step.
Asymptotically, the overall number of rounds is . By setting we obtain an auxiliary algorithm performing rounds. Theorem 4.1 now follows as a Corollary from Lemma 3.1 and Theorem 2.1.
5 Second CONGEST Model Implementation
In our second distributed algorithm, we obtain better guarantees for certain parameter ranges by using a different approach for computing exact distances from on the skeleton graph; the rest of the algorithm is the same as in Section 4. Instead of running Dijkstra’s algorithm, we implement 4 by repeating the algorithmic scheme and effectively constructing a skeleton of the skeleton. Intuitively, this somewhat straightforward repetition of the scheme improves the efficiency because computing on the skeleton graph allows slightly different algorithmic techniques than computing on the original network itself as the former is simulated by performing global broadcasts in the network. This gives us some slack to exploit for increased efficiency. We remark that adding more levels of recursion will not boost the efficiency further because computing shortest paths for the skeleton of the skeleton is not a bottleneck in our running time analysis.
In the following, we explicitly separate the two layers – input graph and skeleton graph – mentioned above. We first show how to compute SSSP “on the skeleton graph” and then demonstrate how this can be used for computing SSSP on the input graph.
5.1 Implementation in Broadcast LOCAL Clique Model
Consider the following Broadcast LOCAL Clique model which deviates from the Broadcast CONGEST model in the following ways: (1) the communication network is a clique, i.e., every message sent by a node is received by all other nodes of the network and (2) the size of the message sent per round is arbitrary (and in particular may also be ). The complexity of an algorithm for a clique network with nodes is determined by the number of rounds and the total size of all messages broadcast by the nodes over the course of the algorithm.
The Broadcast LOCAL Clique model may seem a bit artificial on its own, but it is highly relevant for our CONGEST model implementation of the auxiliary algorithm because of the following straightforward simulation result for computing exact distances on the skeleton graph.
Lemma 5.1 (Implicit in [Nanongkai14]).
Assume there is an exact SSSP algorithm for directed graphs with nonnegative integer edge weights in the Broadcast LOCAL Clique model spending rounds and messages. Then 4 of the auxiliary algorithm can be implemented in rounds in the Broadcast CONGEST model, where is the bandwidth of the network and is its diameter.
Proof Sketch.
We simulate a run of the Broadcast LOCAL Clique algorithm on the skeleton graph, which is a clique of nodes. We do this by making each message sent by global knowledge, which we carry out by globally broadcasting all messages via a breadthfirstsearch spanning tree of the communication network . Such a spanning tree can be constructed initially in rounds. In the th of the rounds of we have to send some messages and we know that . In the Broadcast CONGEST model, the total number of rounds for this simulation therefore is by standard arguments [Peleg00]. ∎
We now show how to obtain an efficient exact SSSP algorithm in the Broadcast LOCAL Clique model by first implementing the auxiliary algorithm of Section 3 and then extending it to an exact SSSP algorithm using the the recursivescaling reduction of Theorem 2.1.
Lemma 5.2.
In the Broadcast LOCAL Clique model, there is a randomized SSSP algorithm for directed graphs with nonnegative edge weights in the range that in expectation spends rounds and messages for any integer parameter .
Proof.
We implement 1, 3, and 5 as in Section 4. We implement 2 by simultaneously running an instance of the algorithm of Lemma 2.3 from each skeleton node . In each of the rounds of the algorithm of Lemma 2.3, we aggregate, for every node, all the messages that it would have to broadcast over all instances and broadcast them to all other nodes in a single round in the Broadcast LOCAL Clique model. This results in a total size of for all these messages in the Broadcast LOCAL Clique model. We implement 4 in the naive way by having each center node broadcast its outgoing edges in and computing internally at every node. This takes rounds and messages. Finally, 6 requires a single run of BellmanFord, which by Lemma 2.2 takes rounds and messages. We now apply the reduction of Theorem 2.1 to obtain the desired SSSP algorithm for the Broadcast LOCAL Clique model. ∎
5.2 Faster CONGEST Model Implementation in HighDiameter Networks
Theorem 5.3.
In the Broadcast CONGEST model, there is a randomized SSSP algorithm for directed graphs with nonnegative edge weights in the range that performs rounds in expectation.
Proof.
We implement 1, 2, 3, 5, and 6 of the auxiliary algorithm as in Section 4. Applying the simulation of Lemma 5.1 to the algorithm of Lemma 5.2 (with parameter ), we can implement 4 in rounds. Now the overall number of rounds is . We use two variants for balancing these terms. In the first variant, we set and to get an upper bound of rounds, where the first term dominates the second term when . In the second variant, we set and to get an upper bound of rounds, where the first term dominates the second term when . Our overall algorithm first computes a approximation to the diameter of the communication network in rounds by performing breadthfirst search from an arbitrary node in and then chooses and according to the approximate value of to get an upper bound of rounds in this implementation of the auxiliary algorithm. We now apply the reduction of Theorem 2.1 to obtain the desired SSSP algorithm for the Broadcast CONGEST model. ∎
6 Additional Results
In this section, we work out some additional results, first for approximate SSSP the distributed setting, and then for exact SSSP in the parallel setting.
6.1 Directed Approximate SSSP
In the following, we give an algorithm for computing approximate SSSP on directed graphs in the CONGEST model that matches the round complexity of the fastest known algorithm for singlesource reachability up to polylogarithmic factors.
The algorithmic scheme followed by our algorithm is quite similar to the one of the auxiliary algorithm:

[align=left,label=Step 0.,ref=Step 0]

Construct a set of skeleton nodes containing (a) the source node and (b) additionally, for every pair of nodes and such that the shortest path from to in consists of exactly nodes, at least one node on one of these shortest paths.

For each skeleton node , compute approximate hop distances from , i.e., distance estimates such that
for every node .

Construct the skeleton graph with edge weight for every .

Compute approximate distances from on the skeleton graph , i.e.,
for every skeleton node .

Compute
for every node .
Lemma 6.1.
For any directed input graph with fixed source node , any and any integer , the algorithm above consisting of Steps 1–5 computes, for every node , a distance estimate such that .
We omit the proof of this lemma, as the arguments in correctness proof for the algorithm are just a variation of those given in [Nanongkai14]. The approximation guarantee follows because .
We proceed with giving a CONGESTmodel implementation of the algorithm above. Here, we use a twostep process similar to the implementation of the auxiliary algorithm in Section 5: We first provide an implementation in the Broadcast LOCAL Clique model and then use that algorithm as a black box for the implementation in the Broadcast CONGEST model.
Lemma 6.2.
In the Broadcast LOCAL Clique model, there is a randomized approximate SSSP algorithm for directed graphs with nonnegative edge weights in the range that spends rounds and messages for any integer parameter . The algorithm is correct with high probability.
Proof.
By a standard trick one can transform an instance with nonnegative integer edge weights to one with positive integer edge weights: give weight to all weight edges and scale up all other edge weights by a factor of (see Appendix A.1). This increases the maximum edge weight by a factor of and thus the complexity of the algorithm by a factor of .
We implement 1 and 3 as in Section 4. We implement 2 by simultaneously running an instance of the algorithm of Lemma 2.3 from each skeleton node . In each of the rounds of the algorithm of Lemma 2.3, we aggregate, for every node, all the messages that it would have to broadcast over all instances and broadcast them to all other nodes in a single round in the Broadcast LOCAL Clique model. This results in a total size of for all these messages in the Broadcast LOCAL Clique model. We implement 4 in the naive way by having each center node broadcast its outgoing edges in and computing (i.e., exact distances) internally at every node. This takes rounds and messages. Finally, 5 only requires internal computation. ∎
Theorem 6.3.
In the Broadcast CONGEST model, there is a randomized approximate SSSP algorithm for directed graphs with nonnegative edge weights in the range that performs rounds. The algorithm is correct with high probability.
Proof.
Again, it is sufficient to provide an algorithm for positive integer edge weights.
6.2 PRAM Tradeoff
In the following, we show that our approach also gives a new work/depth tradeoff for computing SSSP in the PRAM model. In analogy to the RAM model, the PRAM (parallel RAM) allows the possibility of processors computing in parallel with shared memory access. The work of a parallel algorithm is the total number of operations performed over all processors and the depth is the length of the longest series of operations that have to be performed sequentially due to data dependencies. The depth is essentially the number of parallel computation steps needed until the last processor is finished for any schedule of assigning the algorithm’s operations to the processors.
Our contribution in the PRAM model is an exact SSSP algorithm with work and depth for any . For directed graphs, this specific tradeoff was not known before. In particular, the algorithm of Klein and Subramanian [KleinS97], who follows the same general framework as we do, has work and depth , i.e., it it does not allow for such a tradeoff as any choice of different from would be suboptimal. Thus, the conceptual novelties in our algorithm, which were motivated by the application to the CONGEST model, also carry over to an improvement in the PRAM model.
Theorem 6.4.
In the PRAM model, there is a randomized SSSP algorithm for directed graphs with nonnegative edge weights in the range that has work with high probability and in expectation and depth for any given .
Proof.
To obtain the exact SSSP algorithm, we implement the auxiliary algorithm of Section 3 as follows:

[align=left,label=Step 0.,ref=Step 0]

We implement the sampling process of Lemma 2.5: Each node is added to independently with probability . Afterwards, determine the size of and if (a lowprobability event), then abort the algorithm. This has work and depth . Now the set satisfies the condition demanded in 1 of Section 3 with high probability and thus our implementation of the auxiliary algorithm will also be correct with high probability.

For each node in , this step can be implemented by computing a shortest path tree up to distance in a graph with suitably rounded edge weights. Similar to the analysis of bounded breadthfirst search, this approach has work for each node in and depth (see Lemma 3.2 in [KleinS97], which is similar to Lemma 2.3 in Section 2). Thus the total work of this step is and the depth is .

The straightforward approach for constructing and storing the graph has work