Representations of Sparse Distributed Networks: A Locality-Sensitive Approach

02/26/2018
by   Haim Kaplan, et al.
0

In 1999, Brodal and Fagerberg (BF) gave an algorithm for maintaining a low outdegree orientation of a dynamic uniformly sparse graph. Specifically, for a dynamic graph on n-vertices, with arboricity bounded by α at all times, the BF algorithm supports edge updates in O( n) amortized update time, while keeping the maximum outdegree in the graph bounded by O(α). Such an orientation provides a basic data structure for uniformly sparse graphs, which found applications to a plethora of dynamic graph algorithms. A significant weakness of the BF algorithm is the possible temporary blowup of the maximum outdegree, following edge insertions. Although BF eventually reduces all outdegrees to O(α), local memory usage at the vertices, which is an important quality measure in distributed systems, cannot be bounded. We show how to modify the BF algorithm to guarantee that the outdegrees of all vertices are bounded by O(α) at all times, without hurting any of its other properties, and present an efficient distributed implementation of the modified algorithm. This provides the first representation of distributed networks in which the local memory usage at all vertices is bounded by the arboricity (which is essentially the average degree of the densest subgraph) rather than the maximum degree. For settings where there are no local memory constraints, we take the temporary outdegree blowup to the extreme and allow a permanent outdegree blowup. This allows us to address the second significant weakness of the BF algorithm -- its inherently global nature: An insertion of an edge (u,v) may trigger changes in the orientations of edges that are far away from u and v. We suggest an alternative local scheme, which does not guarantee any outdegree bound on the vertices, yet is just as efficient as the BF scheme for various applications.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/17/2023

Engineering Fully Dynamic Δ-Orientation Algorithms

A (fully) dynamic graph algorithm is a data structure that supports edge...
research
08/30/2018

Fully Dynamic MIS in Uniformly Sparse Graphs

We consider the problem of maintaining a maximal independent set (MIS) i...
research
01/10/2023

Maintaining Triconnected Components under Node Expansion

SPQR-trees are a central component of graph drawing and are also importa...
research
05/05/2021

Local Algorithms for Bounded Degree Sparsifiers in Sparse Graphs

In graph sparsification, the goal has almost always been of global natur...
research
06/19/2018

Defective and Clustered Choosability of Sparse Graphs

An (improper) graph colouring has "defect" d if each monochromatic subgr...
research
09/26/2017

Local Structure Theorems for Erdos Renyi Graphs and their Algorithmic Application

We analyze some local properties of sparse Erdos-Renyi graphs, where d(n...
research
05/18/2023

Engineering an algorithm for constructing low-stretch geometric graphs with near-greedy average-degrees

We design and engineer Fast-Sparse-Spanner, a simple and practical (fast...

Please sign up or login with your details

Forgot password? Click here to reset