Abstract:Maintaining a $k$-core decomposition quickly in a dynamic graph has important applications in network analysis. The main challenge for designing efficient exact algorithms is that a single update to the graph can cause significant global changes. Our paper focuses on \emph{approximation} algorithms with small approximation factors that are much more efficient than what exact algorithms can obtain. We present the first parallel, batch-dynamic algorithm for approximate $k$-core decomposition that is efficient in both theory and practice. Our algorithm is based on our novel parallel level data structure, inspired by the sequential level data structures of Bhattacharya et al [STOC '15] and Henzinger et al [2020]. Given a graph with $n$ vertices and a batch of updates $\mathcal{B}$, our algorithm provably maintains a $(2 + \varepsilon)$-approximation of the coreness values of all vertices (for any constant $\varepsilon > 0$) in $O(|\mathcal{B}|\log^2 n)$ amortized work and $O(\log^2 n \log\log n)$ depth (parallel time) with high probability. As a by-product, our $k$-core decomposition algorithm also gives a batch-dynamic algorithm for maintaining an $O(\alpha)$ out-degree orientation, where $\alpha$ is the current arboricity of the graph. We demonstrate the usefulness of our low out-degree orientation algorithm by presenting a new framework to formally study batch-dynamic algorithms in bounded-arboricity graphs. Our framework obtains new provably-efficient parallel batch-dynamic algorithms for maximal matching, clique counting, and vertex coloring. We implemented and experimentally evaluated our $k$-core decomposition algorithm on a 30-core machine with two-way hyper-threading on $11$ graphs of varying densities and sizes. [...]

Core forging and local limit theorems for the k-core of random graphs

Singularity of the k-core of a random graph

k-core (bootstrap) percolation on complex networks: Critical phenomena and nonlocal effects

Locally Estimating Core Numbers

The k -core in percolated dense graph sequences

Loose Cores and Cycles in Random Hypergraphs

The critical Karp--Sipser core of random graphs

Matching Correlated Inhomogeneous Random Graphs using the $k$-core Estimator

The critical Karp--Sipser core of Erdős--Rényi random graphs

$(k,q)$-core decomposition of hypergraphs

Dynamics of k-core percolation

On the rank, Kernel, and core of sparse random graphs

Global Core, and Galaxy Structure of Networks

Parallel Batch-Dynamic Algorithms for $k$-Core Decomposition and Related Graph Problems

Random node reinforcement and $K$-core structure of complex networks

On the robustness of random k-cores

Local Algorithms for Distance-generalized Core Decomposition over Large Dynamic Graphs

Exploring Finer Granularity within the Cores: Efficient (k,p)-Core Computation

Efficient Community Discovery with User Engagement and Similarity.

COREATTACK: Breaking Up the Core Structure of Graphs

Dynamics of k-core percolation in a random graph