Local Density and Its Distributed Approximation

Abstract

The densest subgraph problem is a classic problem in combinatorial optimisation. Graphs with low maximum subgraph density are often called “uniformly sparse”, leading to algorithms parameterised by this density. However, in reality, the sparsity of a graph is not necessarily uniform. This calls for a formally well-defined, fine-grained notion of density. Danisch, Chan, and Sozio propose a definition for local density that assigns to each vertex v a value ρ*(v). This local density is a generalisation of the maximum subgraph density of a graph. I.e., if ρ(G) is the subgraph density of a finite graph G, then ρ(G) equals the maximum local density ρ*(v) over vertices v in G. They present a Frank-Wolfe-based algorithm to approximate the local density of each vertex with no theoretical (asymptotic) guarantees. We provide an extensive study of this local density measure. Just as with (global) maximum subgraph density, we show that there is a dual relation between the local out-degrees and the minimum out-degree orientations of the graph. We introduce the definition of the local out-degree g*(v) of a vertex v, and show it to be equal to the local density ρ*(v). We consider the local out-degree to be conceptually simpler, shorter to define, and easier to compute. Using the local out-degree we show a previously unknown fact: that existing algorithms already dynamically approximate the local density for each vertex with polylogarithmic update time. Next, we provide the first distributed algorithms that compute the local density with provable guarantees: given any ε such that ε−1 ∈ O(poly n), we show a deterministic distributed algorithm in the LOCAL model where, after O(ε−2 log2 n) rounds, every vertex v outputs a (1 + ε)-approximation of their local density ρ*(v). In CONGEST, we show a deterministic distributed algorithm that requires poly(log n, ε−1) · 2O(√log n) rounds, which is sublinear in n. As a corollary, we obtain the first deterministic algorithm running in a sublinear number of rounds for (1 + ε)-approximate densest subgraph detection in the CONGEST model.