Abstract:We study distributed algorithms for large-scale graphs, focusing on the fundamental problems of connectivity and minimum spanning tree (MST). We consider the k-machine model, a well-studied model for distributed computing for large-scale graph computations, where k ≥ 2 machines jointly perform computations on graphs with n nodes (typically, n ≫ k). The input graph is assumed to be initially randomly partitioned among the k machines, a common implementation in many real-world systems. Communication is point-to-point, and the goal is to minimize the number of communication rounds (denoted Tc) of the computation. While communication is a significant factor that affects the time needed for large-scale computations, the computation cost incurred by the individual machines also contributes to the overall time complexity of the distributed algorithm. We posit a complexity measure called the local computation cost (denoted Tℓ) that measures the worst-case local computation cost among the machines. A lower bound for Tℓ in our model is Ω((m + n)/k + Δ + k), while a lower bound on Tc is Ω(n/k2) [Klauck et al., SODA 2015], where m is the number of edges and Δ is the maximum degree. Prior algorithms for connectivity and MST in the k-machine model [Klauck et al., SODA 2015, Pandurangan et al., SPAA 2016] do not take into account local computation; a straightforward local implementation of these algorithms is not optimal with respect to local computation. In this paper, we study several distributed algorithms for connectivity and MST and analyze their performance with respect to both the computation and communication cost. In particular, we analyze a well-studied flooding algorithm for connectivity and connected components that takes rounds and local computation time.1 We then present a deterministic filtering algorithm that has an improved round complexity of but local computation complexity of . Next, we present two deterministic algorithms which are increasingly sophisticated implementations of the classical Borůvka’s algorithm, the last of which has round complexity and local computation complexity . We finally present a randomized algorithm to find connected components with round complexity and local computation complexity that are both essentially optimal (up to polylogarithmic factors).

Computing edge version of metric and double metric dimensions of Kayak paddle graphs

Computing edge version of metric dimension of certain chemical networks

Metric dimensions of bicyclic graphs with potential applications in Supply Chain Logistics

The Spindle Approximation of Network Epidemiological Modeling

Distributed Finite-Time Estimation of the Bounds on Algebraic Connectivity for Directed Graphs

Metric dimensions of generalized Sierpiński graphs over squares

Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications

Optimal and suboptimal networks for efficient navigation measured by mean-first passage time of random walks.

A metric on directed graphs and Markov chains based on hitting probabilities

Mapping of Internet "Coastlines" via Large Scale Anonymized Network Source Correlations

Exploration of the Critical Diameter in Networks.

Understanding the Influence of Digraphs on Decentralized Optimization: Effective Metrics, Lower Bound, and Optimal Algorithm

Making Fast Graph-based Algorithms with Graph Metric Embeddings

Faster Local Solvers for Graph Diffusion Equations

Estimating Diffusion Degree on Graph Streams

Fault Tolerant Metric Dimensions of Leafless Cacti Graphs with Application in Supply Chain Management

Distributed Algorithms for Connectivity and MST in Large Graphs with Efficient Local Computation

A comparison of PINN approaches for drift-diffusion equations on metric graphs

Subcubic Equivalences Between Graph Centrality Measures and Complementary Problems

Flow Metrics on Graphs

On Sharp Bounds of Local Fractional Metric Dimension for Certain Symmetrical Algebraic Structure Graphs