Abstract:The densest subgraph problem is a classic problem in combinatorial optimisation. Danisch, Chan, and Sozio propose a definition for \emph{local density} that assigns to each vertex $v$ a value $\rho^*(v)$. This local density is a generalisation of the maximum subgraph density of a graph. I.e., if $\rho(G)$ is the subgraph density of a finite graph $G$, then $\rho(G)$ equals the maximum local density $\rho^*(v)$ over vertices $v$ in $G$. They 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 $\rho^*(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. Next, we provide the first distributed algorithms that compute the local density with provable guarantees: given any $\varepsilon$ such that $\varepsilon^{-1} \in O(poly \, n)$, we show a deterministic distributed algorithm in the LOCAL model where, after $O(\varepsilon^{-2} \log^2 n)$ rounds, every vertex $v$ outputs a $(1 + \varepsilon)$-approximation of their local density $\rho^*(v)$. In CONGEST, we show a deterministic distributed algorithm that requires $\text{poly}(\log n,\varepsilon^{-1}) \cdot 2^{O(\sqrt{\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+\varepsilon)$-approximate densest subgraph detection in the CONGEST model.

Finding Connected Dense $k$-Subgraphs

Finding Densest $k$-Connected Subgraphs

Planted Models for the Densest $k$-Subgraph Problem

Top-k Overlapping Densest Subgraphs: Approximation and Complexity

Densest K-Subgraph Approximation On Intersection Graphs

Efficient Algorithms for Densest Subgraph Discovery

Locally Densest Subgraph Discovery

Dense Subgraphs on Dynamic Networks

Scaling Up K-Clique Densest Subgraph Detection.

The Minimal Size Of A Graph With Generalized Connectivity K(3) = 2

Maximal $k$-Edge-Connected Subgraphs in Almost-Linear Time for Small $k$

A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph

Highly connected graphs have highly connected spanning bipartite subgraphs

The sparse sequences of graphs

Local Density and its Distributed Approximation

Finding Subgraphs with Maximum Total Density and Limited Overlap in Weighted Hypergraphs

Approximating Densest Subgraph in Geometric Intersection Graphs

Enumerating k-Vertex Connected Components in Large Graphs.

On the Hardness of Approximating the $k$-Way Hypergraph Cut problem

On Densest $k$-Subgraph Mining and Diagonal Loading

Efficient and effective algorithms for densest subgraph discovery and maintenance