Massively Parallel Correlation Clustering in Bounded Arboricity Graphs

TL;DR

This paper presents a fast parallel algorithm for correlation clustering in graphs with bounded arboricity, achieving a 3-approximation in logarithmic MPC rounds, improving efficiency for large-scale data clustering.

Contribution

It introduces a novel 3-approximation algorithm for correlation clustering in bounded arboricity graphs within the MPC model, combining structural graph properties with randomized greedy techniques.

Findings

Runs in $ ext{O}( ext{log} \lambda imes ext{poly}( ext{log} ext{log} n))$ MPC rounds

Provides exact and $(1+ ext{epsilon})$-approximate algorithms for forests

Achieves efficient parallel clustering for large-scale data in bounded arboricity graphs

Abstract

Identifying clusters of similar elements in a set is a common task in data analysis. With the immense growth of data and physical limitations on single processor speed, it is necessary to find efficient parallel algorithms for clustering tasks. In this paper, we study the problem of correlation clustering in bounded arboricity graphs with respect to the Massively Parallel Computation (MPC) model. More specifically, we are given a complete graph where the edges are either positive or negative, indicating whether pairs of vertices are similar or dissimilar. The task is to partition the vertices into clusters with as few disagreements as possible. That is, we want to minimize the number of positive inter-cluster edges and negative intra-cluster edges. Consider an input graph $G$ on $n$ vertices such that the positive edges induce a $\lambda$-arboric graph. Our main result is a 3-approximation ($\textit{in expectation}$) algorithm to correlation clustering that runs in $\mathcal{O}(\log \lambda \cdot \textrm{poly}(\log \log n))$ MPC rounds in the $\textit{strongly sublinear memory regime}$. This is obtained by combining structural properties of correlation clustering on bounded arboricity graphs with the insights of Fischer and Noever (SODA '18) on randomized greedy MIS and the $\texttt{PIVOT}$ algorithm of Ailon, Charikar, and Newman (STOC '05). Combined with known graph matching algorithms, our structural property also implies an exact algorithm and algorithms with $\textit{worst case}$ $(1+\epsilon)$-approximation guarantees in the special case of forests, where $\lambda=1$.