Abstract:We multiply two $n \times n$ matrices $S,T$ over semirings in the Congested Clique model, where $n$ fully connected nodes communicate synchronously using $O(\log n)$-bit messages, within $O(nz(S)^{1/3} nz(T)^{1/3}/n + 1)$ rounds of communication, where $nz(A)$ denotes the number of non-zero elements in a matrix $A$. By leveraging the sparsity of the input matrices, our algorithm greatly reduces communication compared with general algorithms [Censor-Hillel et al., PODC 2015], improving upon the state-of-the-art for matrices with $o(n^2)$ non-zero elements. Our algorithm exhibits the additional strength of surpassing previous solutions also when only one matrix is sparse. This allows efficiently raising a sparse matrix to a power greater than 2. As applications, we speed up 4-cycle counting and APSP in sparse graphs. Our algorithmic contribution is a new \emph{deterministic} method of restructuring the input matrices in a sparsity-aware manner, which assigns each node with element-wise multiplication tasks that are not necessarily consecutive but are balanced, yielding communication-efficient multiplication. Moreover, this new deterministic method for restructuring matrices may be used to restructure the adjacency matrix of input graphs, enabling faster solutions for graph related problems. As an example, we present a new deterministic algorithm which solves the triangle listing problem in $O(m/n^{5/3} + 1)$ rounds, a complexity that was previously obtained by a \emph{randomized} algorithm [Pandurangan et al., SPAA 2018] and matches the lower bound of $\tilde{\Omega}(n^{1/3})$ when $m=n^2$ of [Izumi and Le Gall, PODC 2017, Pandurangan et al., SPAA 2018]. Our triangle listing algorithm implies triangle counting with the same complexity of $O(m/n^{5/3} + 1)$ rounds, which is a \emph{cubic} improvement over the previous $O(m^2/n^3)$-round algorithm [Dolev et al., DISC 2012].

On Asymptotic Cost of Triangle Listing in Random Graphs

Improving I/O Complexity of Triangle Enumeration

AOT: Pushing the Efficiency Boundary of Main-memory Triangle Listing

On Efficient External-Memory Triangle Listing

Sampling and counting triangle-free graphs near the critical density

DPTL+: Efficient Parallel Triangle Listing on Batch-Dynamic Graphs.

Counting Triangles in Large Graphs by Random Sampling

Triangle Finding and Listing in CONGEST Networks

Finding Small Complete Subgraphs Efficiently

Sparse Matrix Multiplication and Triangle Listing in the Congested Clique Model

Cover Edge-Based Novel Triangle Counting

Monochromatic Triangles, Triangle Listing and APSP

Triangle Counting on GPU Using Fine-Grained Task Distribution

Finding Triangles or Independent Sets; and Other Dual Pair Approximations

Lower tails for triangles inside the critical window

On the evolution of structure in triangle-free graphs

Improved Massively Parallel Triangle Counting in $O(1)$ Rounds

Counting Triangles in Power-Law Uniform Random Graphs

Moderate deviations of triangle counts in sparse Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$

Fast Deterministic Chromatic Number under the Asymptotic Rank Conjecture

Graphical Fermat's Principle and Triangle-Free Graph Estimation