English
Related papers

Related papers: Sublogarithmic Distributed Algorithms for Lov\'asz…

200 papers

LCLs or locally checkable labelling problems (e.g. maximal independent set, maximal matching, and vertex colouring) in the LOCAL model of computation are very well-understood in cycles (toroidal 1-dimensional grids): every problem has a…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-25 Sebastian Brandt , Juho Hirvonen , Janne H. Korhonen , Tuomo Lempiäinen , Patric R. J. Östergård , Christopher Purcell , Joel Rybicki , Jukka Suomela , Przemysław Uznański

The landscape of the distributed time complexity is nowadays well-understood for subpolynomial complexities. When we look at deterministic algorithms in the LOCAL model and locally checkable problems (LCLs) in bounded-degree graphs, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-26 Alkida Balliu , Sebastian Brandt , Dennis Olivetti , Jukka Suomela

We study the local complexity landscape of locally checkable labeling (LCL) problems on constant-degree graphs with a focus on complexities below $\log^* n$. Our contribution is threefold: Our main contribution is that we complete the…

Data Structures and Algorithms · Computer Science 2022-09-26 Christoph Grunau , Vaclav Rozhon , Sebastian Brandt

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…

Data Structures and Algorithms · Computer Science 2022-11-15 Amirreza Akbari , Navid Eslami , Henrik Lievonen , Darya Melnyk , Joona Särkijärvi , Jukka Suomela

This paper is centered on the complexity of graph problems in the well-studied LOCAL model of distributed computing, introduced by Linial [FOCS '87]. It is widely known that for many of the classic distributed graph problems (including…

Data Structures and Algorithms · Computer Science 2017-10-31 Mohsen Ghaffari , Fabian Kuhn , Yannic Maus

In this work we study local computation with advice: the goal is to solve a graph problem $\Pi$ with a distributed algorithm in $T(\Delta)$ communication rounds, for some function $T$ that only depends on the maximum degree $\Delta$ of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-25 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Krzysztof Nowicki , Dennis Olivetti , Eva Rotenberg , Jukka Suomela

Many graph problems are locally checkable: a solution is globally feasible if it looks valid in all constant-radius neighborhoods. This idea is formalized in the concept of locally checkable labelings (LCLs), introduced by Naor and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-12 Alkida Balliu , Juho Hirvonen , Christoph Lenzen , Dennis Olivetti , Jukka Suomela

The celebrated Time Hierarchy Theorem for Turing machines states, informally, that more problems can be solved given more time. The extent to which a time hierarchy-type theorem holds in the distributed LOCAL model has been open for many…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-24 Yi-Jun Chang , Seth Pettie

Common definitions of the "standard" LOCAL model tend to be sloppy and even self-contradictory on one point: do the nodes update their state using an arbitrary function or a computable function? So far, this distinction has been safe to…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-26 Antonio Cruciani , Avinandan Das , Massimo Equi , Henrik Lievonen , Diep Luong-Le , Augusto Modanese , Jukka Suomela

There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem:…

Data Structures and Algorithms · Computer Science 2025-05-27 Manuel Jakob , Yannic Maus , Florian Schager

We present a deterministic distributed algorithm that computes a $(2\Delta-1)$-edge-coloring, or even list-edge-coloring, in any $n$-node graph with maximum degree $\Delta$, in $O(\log^7 \Delta \log n)$ rounds. This answers one of the…

Data Structures and Algorithms · Computer Science 2017-04-11 Manuela Fischer , Mohsen Ghaffari , Fabian Kuhn

We present a poly $\log \log n$ time randomized CONGEST algorithm for a natural class of Lovasz Local Lemma (LLL) instances on constant degree graphs. This implies, among other things, that there are no LCL problems with randomized…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-06 Yannic Maus , Jara Uitto

One of the cornerstones of the distributed complexity theory is the derandomization result by Chang, Kopelowitz, and Pettie [FOCS 2016]: any randomized LOCAL algorithm that solves a locally checkable labeling problem (LCL) can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-16 Sameep Dahal , Francesco d'Amore , Henrik Lievonen , Timothé Picavet , Jukka Suomela

In this work, we develop the low-space Massively Parallel Computation (MPC) complexity landscape for a family of fundamental graph problems on trees. We present a general method that solves most locally checkable labeling (LCL) problems…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-04 Sebastian Brandt , Rustam Latypov , Jara Uitto

In this work, we study the Lov\'asz local lemma (LLL) problem in the area of distributed quantum computing, which has been the focus of attention of recent advances in quantum computing [STOC'24, STOC'25, STOC'25]. We prove a lower bound of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-20 Sebastian Brandt , Tim Göttlicher

We present a randomized distributed algorithm that computes a $\Delta$-coloring in any non-complete graph with maximum degree $\Delta \geq 4$ in $O(\log \Delta) + 2^{O(\sqrt{\log\log n})}$ rounds, as well as a randomized algorithm that…

Data Structures and Algorithms · Computer Science 2020-08-04 Mohsen Ghaffari , Juho Hirvonen , Fabian Kuhn , Yannic Maus

We connect three distinct lines of research that have recently explored extensions of the classical LOCAL model of distributed computing: A. distributed quantum computing and non-signaling distributions [e.g. STOC 2024], B.…

We give a randomized $\Delta$-coloring algorithm in the LOCAL model that runs in $\text{poly} \log \log n$ rounds, where $n$ is the number of nodes of the input graph and $\Delta$ is its maximum degree. This means that randomized…

Data Structures and Algorithms · Computer Science 2022-11-15 Manuela Fischer , Yannic Maus , Magnús M. Halldórsson

We present ${\rm poly\log\log n}$-round randomized distributed algorithms to compute vertex splittings, a partition of the vertices of a graph into $k$ parts such that a node of degree $d(u)$ has $\approx d(u)/k$ neighbors in each part. Our…

Data Structures and Algorithms · Computer Science 2022-08-18 Magnús M. Halldórsson , Yannic Maus , Alexandre Nolin

We give practical, efficient algorithms that automatically determine the asymptotic distributed round complexity of a given locally checkable graph problem in the $[\Theta(\log n), \Theta(n)]$ region, in two settings. We present one…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-05 Alkida Balliu , Sebastian Brandt , Yi-Jun Chang , Dennis Olivetti , Jan Studený , Jukka Suomela