Chetan Gupta · Rustam Latypov · Yannic Maus · Shreyas Pai · Simo Särkkä · Jan Studený · Jukka Suomela · Jara Uitto · Hossein Vahidi

Fast dynamic programming in trees in the MPC model

SPAA 2023 · 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, USA, June 2023 · doi:10.1145/3558481.3591098

authors’ version publisher’s version


We present a deterministic algorithm for solving a wide range of dynamic programming problems in trees in $O(\log D)$ rounds in the massively parallel computation model (MPC), with $O(n^\delta)$ words of local memory per machine, for any given constant $0 < \delta < 1$. Here $D$ is the diameter of the tree and $n$ is the number of nodes—we emphasize that our running time is independent of $n$.

Our algorithm can solve many classical graph optimization problems such as maximum weight independent set, maximum weight matching, minimum weight dominating set, and minimum weight vertex cover. It can also be used to solve many accumulation tasks in which some aggregate information is propagated upwards or downwards in the tree—this includes, for example, computing the sum, minimum, or maximum of the input labels in each subtree, as well as many inference tasks commonly solved with belief propagation. Our algorithm can also solve any locally checkable labeling problem (LCLs) in trees. Our algorithm works for any reasonable representation of the input tree; for example, the tree can be represented as a list of edges or as a string with nested parentheses or tags. The running time of $O(\log D)$ rounds is also known to be necessary, assuming the widely-believed $2$-cycle conjecture.

Our algorithm strictly improves on two prior algorithms:

  1. Bateni, Behnezhad, Derakhshan, Hajiaghayi, and Mirrokni [ICALP'18] solve problems of these flavors in $O(\log n)$ rounds, while our algorithm is much faster in low-diameter trees. Furthermore, their algorithm also uses randomness, while our algorithm is deterministic.
  2. Balliu, Latypov, Maus, Olivetti, and Uitto [SODA'23] solve only locally checkable labeling problems in $O(\log D)$ rounds, while our algorithm can be applied to a much broader family of problems.


Kunal Agrawal and Julian Shun (Eds.): SPAA ’23, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, pages 443–453, ACM Press, New York, 2023

ISBN 978-1-4503-9545-8

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.