English
Related papers

Related papers: LCL problems on grids

200 papers

Locally checkable labeling problems (LCLs) are distributed graph problems in which a solution is globally feasible if it is locally feasible in all constant-radius neighborhoods. Vertex colorings, maximal independent sets, and maximal…

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

Recent research revealed the existence of gaps in the complexity landscape of locally checkable labeling (LCL) problems in the LOCAL model of distributed computing. For example, the deterministic round complexity of any LCL problem on…

Data Structures and Algorithms · Computer Science 2020-09-22 Yi-Jun Chang

Consider a computer network that consists of a path with $n$ nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints---more…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-19 Alkida Balliu , Sebastian Brandt , Yi-Jun Chang , Dennis Olivetti , Mikaël Rabie , Jukka Suomela

We study the complexity of locally checkable labeling (LCL) problems on $\mathbb{Z}^n$ from the point of view of descriptive set theory, computability theory, and factors of i.i.d. Our results separate various complexity classes that were…

Logic · Mathematics 2025-05-08 Katalin Berlow , Anton Bernshteyn , Clark Lyons , Felix Weilacher

Over the past decade, a long line of research has investigated the distributed complexity landscape of locally checkable labeling (LCL) problems on bounded-degree graphs, culminating in an almost-complete classification on general graphs…

Data Structures and Algorithms · Computer Science 2024-02-16 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Gustav Schmid

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

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 consider locally checkable labeling LCL problems in the LOCAL model of distributed computing. Since 2016, there has been a substantial body of work examining the possible complexities of LCL problems. For example, it has been established…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-14 Yi-Jun Chang

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

Locally Checkable Labeling (LCL) problems include essentially all the classic problems of $\mathsf{LOCAL}$ distributed algorithms. In a recent enlightening revelation, Chang and Pettie [arXiv 1704.06297] showed that any LCL (on bounded…

Data Structures and Algorithms · Computer Science 2017-05-17 Manuela Fischer , Mohsen Ghaffari

Locally checkable labeling problems (LCLs) form the foundation of the modern theory of distributed graph algorithms. First introduced in the seminal paper by Naor and Stockmeyer [STOC 1993], these are graph problems that can be described by…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-23 Antonio Cruciani , Avinandan Das , Alesya Raevskaya , 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

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

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

Understanding the role of randomness when solving locally checkable labeling (LCL) problems in the LOCAL model has been one of the top priorities in the research on distributed graph algorithms in recent years. For LCL problems in…

Data Structures and Algorithms · Computer Science 2025-10-27 Sebastian Brandt , Fabian Kuhn , Zahra Parsaeian

One of the central models in distributed computing is Linial's LOCAL model [SIAM J. Comp. 1992]. Over time, researchers have studied distributed graph problems in the LOCAL model under slightly different assumptions, such as whether nodes…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-14 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Timothé Picavet , Gustav Schmid

A rich line of work has been addressing the computational complexity of locally checkable labelings (LCLs), illustrating the landscape of possible complexities. In this paper, we study the landscape of LCL complexities under bandwidth…

Data Structures and Algorithms · Computer Science 2021-05-18 Alkida Balliu , Keren Censor-Hillel , Yannic Maus , Dennis Olivetti , Jukka Suomela

A number of recent papers -- e.g. Brandt et al. (STOC 2016), Chang et al. (FOCS 2016), Ghaffari & Su (SODA 2017), Brandt et al. (PODC 2017), and Chang & Pettie (FOCS 2017) -- have advanced our understanding of one of the most fundamental…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-06 Alkida Balliu , Juho Hirvonen , Janne H. Korhonen , Tuomo Lempiäinen , Dennis Olivetti , Jukka Suomela

Consider any locally checkable labeling problem $\Pi$ in rooted regular trees: there is a finite set of labels $\Sigma$, and for each label $x \in \Sigma$ we specify what are permitted label combinations of the children for an internal node…

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

The node-averaged complexity of a problem captures the number of rounds nodes of a graph have to spend on average to solve the problem in the LOCAL model. A challenging line of research with regards to this new complexity measure is to…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-03 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Gustav Schmid
‹ Prev 1 2 3 10 Next ›