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.

Approximating Densest Subgraph in Geometric Intersection Graphs

Densest K-Subgraph Approximation On Intersection Graphs

Efficient Approximation for Subgraph-Hitting Problems in Sparse Graphs and Geometric Intersection Graphs

Finding Triangles and Other Small Subgraphs in Geometric Intersection Graphs

Maximum Matchings in Geometric Intersection Graphs

Top-k Overlapping Densest Subgraphs: Approximation and Complexity

Finding Connected Dense $k$-Subgraphs

Efficient polynomial-time approximation scheme for the genus of dense graphs

A $4/3$-Approximation Algorithm for the Minimum $2$-Edge Connected Multisubgraph Problem in the Half-Integral Case

Largest common subgraph of two forests

In Search of Dense Subgraphs: How Good is Greedy Peeling?

Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs

Local Density and its Distributed Approximation

The Complexity of Simultaneous Geometric Graph Embedding

An algorithm for estimating the crossing number of dense graphs, and continuous analogs of the crossing and rectilinear crossing numbers

A New Dynamic Algorithm for Densest Subhypergraphs

Tight Approximations for Graphical House Allocation

Planted Models for the Densest $k$-Subgraph Problem

Efficient Processing of Subsequent Densest Subgraph Query

Fast approximation and exact computation of negative curvature parameters of graphs

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