English
Related papers

Related papers: Mending Partial Solutions with Few Changes

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

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

Given a graph $G$ and a positive integer $k$, the 2-Load coloring problem is to check whether there is a $2$-coloring $f:V(G) \rightarrow \{r,b\}$ of $G$ such that for every $i \in \{r,b\}$, there are at least $k$ edges with both end…

Data Structures and Algorithms · Computer Science 2020-10-13 I. Vinod Reddy

In this paper, we investigate how local rules enforced at every node can influence the topology of a network. More precisely, we establish several results on the diameter of trees as a function of the number of nodes, as listed below. These…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-04 Nicolas Bousquet , Laurent Feuilloley , Théo Pierron

Coloring is a notoriously hard problem, and even more so in the online setting, where each arriving vertex has to be colored immediately and irrevocably. Already on trees, which are trivially two-colorable, it is impossible to achieve…

Data Structures and Algorithms · Computer Science 2024-05-29 Fabian Frei , Matthias Gehnen , Dennis Komm , Rastislav Královič , Richard Královič , Peter Rossmanith , Moritz Stocker

Locally Checkable Labeling (LCL) problems are graph problems in which a solution is correct if it satisfies some given constraints in the local neighborhood of each node. Example problems in this class include maximal matching, maximal…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-22 Alkida Balliu , Sebastian Brandt , Manuela Fischer , Rustam Latypov , Yannic Maus , Dennis Olivetti , Jara Uitto

A partition $(V_1,\ldots,V_k)$ of the vertex set of a graph $G$ with a (not necessarily proper) colouring $c$ is colourful if no two vertices in any $V_i$ have the same colour and every set $V_i$ induces a connected graph. The COLOURFUL…

Data Structures and Algorithms · Computer Science 2018-08-13 Laurent Bulteau , Konrad K. Dabrowski , Guillaume Fertin , Matthew Johnson , Daniel Paulusma , Stephane Vialette

The quest for colorful components (connected components where each color is associated with at most one vertex) inside a vertex-colored graph has been widely considered in the last ten years. Here we consider two variants, Minimum Colorful…

Data Structures and Algorithms · Computer Science 2018-06-20 Riccardo Dondi , Florian Sikora

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

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

A complementary label (CL) simply indicates an incorrect class of an example, but learning with CLs results in multi-class classifiers that can predict the correct class. Unfortunately, the problem setting only allows a single CL for each…

Machine Learning · Computer Science 2022-08-09 Lei Feng , Takuo Kaneko , Bo Han , Gang Niu , Bo An , Masashi Sugiyama

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

A Locally Checkable Labeling (LCL) is a specification describing a set of labels that are valid with respect to a set of conditions that characterize a local part of a solution to a global problem. Conditions can only refer to nodes and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-17 Jérémie Chalopin , Maria Kokkou

In this paper we consider a variation of a recoloring problem, called the Color-Fixing. Let us have some non-proper $r$-coloring $\varphi$ of a graph $G$. We investigate the problem of finding a proper $r$-coloring of $G$, which is "the…

Discrete Mathematics · Computer Science 2017-11-15 Valentin Garnero , Konstanty Junosza-Szaniawski , Mathieu Liedloff , Pedro Montealegre , Paweł Rzążewski

In order to study real-world systems, many applied works model them through signed graphs, i.e. graphs whose edges are labeled as either positive or negative. Such a graph is considered as structurally balanced when it can be partitioned…

Robotics · Computer Science 2022-03-31 Nejat Arinik , Rosa Figueiredo , Vincent Labatut

Consider a graph problem that is locally checkable but not locally solvable: given a solution we can check that it is feasible by verifying all constant-radius neighborhoods, but to find a solution each node needs to explore the input graph…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-19 Will Rosenbaum , Jukka Suomela

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

We tackle three optimization problems in which a colored graph, where each node is assigned a color, must be partitioned into colorful connected components. A component is defined as colorful if each color appears at most once. The problems…

Combinatorics · Mathematics 2025-06-11 Claudia Archetti , Martina Cerulli , Carmine Sorgente

We study the computational complexity of the graph modification problems Threshold Editing and Chain Editing, adding and deleting as few edges as possible to transform the input into a threshold (or chain) graph. In this article, we show…

Data Structures and Algorithms · Computer Science 2015-05-05 Pål Grønås Drange , Markus Sortland Dregi , Daniel Lokshtanov , Blair D. Sullivan

We present a complete classification of the deterministic distributed time complexity for a family of graph problems: binary labeling problems in trees. These are locally checkable problems that can be encoded with an alphabet of size two…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-19 Alkida Balliu , Sebastian Brandt , Yuval Efron , Juho Hirvonen , Yannic Maus , Dennis Olivetti , Jukka Suomela