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

Lower Bounds on Rate of Convergence of Matrix Products in All Pairs Shortest Path of Social Network

A Novel Algorithm for All Pairs Shortest Path Problem Based on Matrix Multiplication and Pulse Coupled Neural Network

Fast Algorithms for (max, Min)-Matrix Multiplication and Bottleneck Shortest Paths

A Fast Algorithm to Find All-Pairs Shortest Paths in Complex Networks.

A Mathematical Framework for Shortest Path Length Computation in Multi-Layer Networks with Inter-Edge Weighting and Dynamic Inter-Edge Weighting: the Case of the Beijing Bus Network, China

Approximating All-Pair Bounded-Leg Shortest Path and APSP-AF in Truly-Subcubic Time.

Rapid Analysis of Network Connectivity.

Faster Algorithms for All Pairs Non-decreasing Paths Problem

Fully-Dynamic All-Pairs Shortest Paths: Likely Optimal Worst-Case Update Time

Solving the all pairs shortest path problem after minor update of a large dense graph

A Faster Combinatorial Algorithm for Maximum Bipartite Matching

High-Precision Shortest Distance Estimation for Large-Scale Social Networks

DAWN: Matrix Operation-Optimized Algorithm for Shortest Paths Problem on Unweighted Graphs

An efficient implementation for solving the all pairs minimax path problem in an undirected dense graph

Hub-Accelerator: Fast and Exact Shortest Path Computation in Large Social Networks

Bipartite Matching in Nearly-linear Time on Moderately Dense Graphs

Shortest path counting in complex networks based on powers of the adjacency matrix

Communication Avoiding All-Pairs Shortest Paths Algorithm for Sparse Graphs

Network Latency Estimation for Personal Devices: A Matrix Completion Approach.

On Parallelizing Matrix Multiplication by the Column-Row Method

Sparse Matrix Multiplication and Triangle Listing in the Congested Clique Model