Finding Densest $k$-Connected Subgraphs

TL;DR

This paper introduces algorithms to find dense, well-connected subgraphs that are robust to vertex or edge failures, extending traditional densest subgraph problems with connectivity constraints.

Contribution

It presents polynomial-time approximation algorithms for finding dense subgraphs with vertex or edge connectivity constraints, utilizing Mader's theorem.

Findings

Algorithms achieve bicriteria and ordinary approximations.

The methods ensure subgraph robustness to failures.

The framework extends traditional densest subgraph solutions.

Abstract

Dense subgraph discovery is an important graph-mining primitive with a variety of real-world applications. One of the most well-studied optimization problems for dense subgraph discovery is the densest subgraph problem, where given an edge-weighted undirected graph $G=(V,E,w)$, we are asked to find $S\subseteq V$ that maximizes the density $d(S)$, i.e., half the weighted average degree of the induced subgraph $G[S]$. This problem can be solved exactly in polynomial time and well-approximately in almost linear time. However, a densest subgraph has a structural drawback, namely, the subgraph may not be robust to vertex/edge failure. Indeed, a densest subgraph may not be well-connected, which implies that the subgraph may be disconnected by removing only a few vertices/edges within it. In this paper, we provide an algorithmic framework to find a dense subgraph that is well-connected in terms of vertex/edge connectivity. Specifically, we introduce the following problems: given a graph $G=(V,E,w)$ and a positive integer/real $k$, we are asked to find $S\subseteq V$ that maximizes the density $d(S)$ under the constraint that $G[S]$ is $k$-vertex/edge-connected. For both problems, we propose polynomial-time (bicriteria and ordinary) approximation algorithms, using classic Mader's theorem in graph theory and its extensions.