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. [...]

VEK: a vertex-oriented approach for edge k-core problem

K-Core Maximization: An Edge Addition Approach

K-Core Maximization Through Edge Additions

K-core Minimization: An Edge Manipulation Approach.

Incremental Algorithms of the Core Maintenance Problem on Edge-Weighted Graphs

Order Based Algorithms for the Core Maintenance Problem on Edge-Weighted Graphs

Vertex Selection Heuristics in Branch-and-Bound Algorithms for the Maximum K-Plex Problem

Index-Based Optimal Algorithm for Computing K-Cores in Large Uncertain Graphs

Efficient Core Maintenance of Dynamic Graphs

Efficient Graph Hierarchical Decomposition with User Engagement and Tie Strength

Discovering and Maintaining the Best $k$ in Core Decomposition

Discovering Key Users for Defending Network Structural Stability

Simplified algorithms for order-based core maintenance

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

Computing K-Cores in Large Uncertain Graphs: an Index-based Optimal Approach

The <i>K</i>-Core Decomposition Algorithm Under the Framework of GraphBLAS

OLAK: An Efficient Algorithm to Prevent Unraveling in Social Networks.

Anchored Coreness: Efficient Reinforcement of Social Networks

THE DECOMPOSITION AND MAINTENANCE OF HYPERCORES ON EDGE-WEIGHTED HYPERGRAPHS

An Efficient Algorithm for the Anchored K-Core Budget Minimization Problem.

Parallel Core Maintenance of Dynamic Graphs