Amirreza Akbari · Navid Eslami · Henrik Lievonen · Darya Melnyk · Joona Särkijärvi · Jukka Suomela

Locality in online, dynamic, sequential, and distributed graph algorithms

ICALP 2023 · 50th EATCS International Colloquium on Automata, Languages and Programming, Paderborn, Germany, July 2023 · doi:10.4230/LIPIcs.ICALP.2023.10

authors’ version publisher’s version


In this work, we give a unifying view of locality in four settings: distributed algorithms, sequential greedy algorithms, dynamic algorithms, and online algorithms.

We introduce a new model of computing, called the online-LOCAL model: the adversary reveals the nodes of the input graph one by one, in the same way as in classical online algorithms, but for each new node we get to see its radius-$T$ neighborhood before choosing the output. Instead of looking ahead in time, we have the power of looking around in space.

We compare the online-LOCAL model with three other models: the LOCAL model of distributed computing, where each node produces its output based on its radius-$T$ neighborhood, its sequential counterpart SLOCAL, and the dynamic-LOCAL model, where changes in the dynamic input graph only influence the radius-$T$ neighborhood of the point of change.

The SLOCAL and dynamic-LOCAL models are sandwiched between the LOCAL and online-LOCAL models, with LOCAL being the weakest and online-LOCAL the strongest model. In general, all four models are distinct, but we study in particular locally checkable labeling problems (LCLs), which is a family of graph problems extensively studied in the context of distributed graph algorithms.

We prove that for LCL problems in paths, cycles, and rooted trees, all four models are roughly equivalent: the locality of any LCL problem falls in the same broad class—$O(\log^* n)$, $\Theta(\log n)$, or $n^{\Theta(1)}$—in all four models. In particular, this result enables one to generalize prior lower-bound results from the LOCAL model to all four models, and it also allows one to simulate e.g. dynamic-LOCAL algorithms efficiently in the LOCAL model.

We also show that this equivalence does not hold in two-dimensional grids or general bipartite graphs. We provide an online-LOCAL algorithm with locality $O(\log n)$ for the $3$-coloring problem in bipartite graphs—this is a problem with locality $\Omega(n^{1/2})$ in the LOCAL model and $\Omega(n^{1/10})$ in the SLOCAL model.


Kousha Etessami, Uriel Feige, and Gabriele Puppis (Eds.): 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), volume 261 of Leibniz International Proceedings in Informatics (LIPIcs), pages 10:1–10:20, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2023

ISBN 978-3-95977-278-5


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.