# Graph sparsification for derandomizing massively parallel computation with low space

A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, n.d.

Download (ext.)

*Conference Paper*|

*Accepted*|

*English*

Author

Department

Abstract

The Massively Parallel Computation (MPC) model is an emerging model which distills core aspects of distributed and parallel computation. It has been developed as a tool to solve (typically graph) problems in systems where the input is distributed over many machines with limited space.
Recent work has focused on the regime in which machines have sublinear (in $n$, the number of nodes in the input graph) space, with randomized algorithms presented for fundamental graph problems of Maximal Matching and Maximal Independent Set. However, there have been no prior corresponding deterministic algorithms.
A major challenge underlying the sublinear space setting is that the local space of each machine might be too small to store all the edges incident to a single node. This poses a considerable obstacle compared to the classical models in which each node is assumed to know and have easy access to its incident edges. To overcome this barrier we introduce a new graph sparsification technique that deterministically computes a low-degree subgraph with additional desired properties. The degree of the nodes in this subgraph is small in the sense that the edges of each node can be now stored on a single machine. This low-degree subgraph also has the property that solving the problem on this subgraph provides \emph{significant} global progress, i.e., progress towards solving the problem for the original input graph.
Using this framework to derandomize the well-known randomized algorithm of Luby [SICOMP'86], we obtain $O(\log \Delta+\log\log n)$-round deterministic MPC algorithms for solving the fundamental problems of Maximal Matching and Maximal Independent Set with $O(n^{\epsilon})$ space on each machine for any constant $\epsilon > 0$. Based on the recent work of Ghaffari et al. [FOCS'18], this additive $O(\log\log n)$ factor is conditionally essential. These algorithms can also be shown to run in $O(\log \Delta)$ rounds in the closely related model of CONGESTED CLIQUE, improving upon the state-of-the-art bound of $O(\log^2 \Delta)$ rounds by Censor-Hillel et al. [DISC'17].

Publishing Year

Date Published

2020-05-05

Proceedings Title

Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)

Conference

SPAA: Symposium on Parallelism in Algorithms and Architectures

Conference Location

Philadelphia, PA, United States

Conference Date

2020-07-14 – 2020-07-17

IST-REx-ID

### Cite this

Czumaj A, Davies P, Parter M. Graph sparsification for derandomizing massively parallel computation with low space. In:

*Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)*. Association for Computing Machinery.Czumaj, A., Davies, P., & Parter, M. (n.d.). Graph sparsification for derandomizing massively parallel computation with low space. In

*Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)*. Philadelphia, PA, United States: Association for Computing Machinery.Czumaj, Artur, Peter Davies, and Merav Parter. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” In

*Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)*. Association for Computing Machinery, n.d.A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing massively parallel computation with low space,” in

*Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)*, Philadelphia, PA, United States.Czumaj A, Davies P, Parter M. Graph sparsification for derandomizing massively parallel computation with low space. Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020). SPAA: Symposium on Parallelism in Algorithms and Architectures

Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.”

*Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)*, Association for Computing Machinery.### Export

Marked PublicationsOpen Data IST Research Explorer

### Sources

arXiv 1912.05390