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 …
We prove several new tight or near-tight distributed lower bounds for classic symmetry breaking problems in graphs. As a basic tool, we first provide a new insightful proof that any …
Given a graph G=(V,E), an (α,β)-ruling set is a subset S⊆V such that the distance between any two vertices in S is at least α, and the distance between any vertex in V and the closest …
Y Maus - ACM Transactions on Parallel Computing, 2023 - dl.acm.org
In this article, we present a deterministic algorithm to compute an O (k Δ)-vertex coloring in O (Δ/k)+ log* n rounds, where Δ is the maximum degree of the network graph and k≥ 1 can be …
Consider any locally checkable labeling problem Π in rooted regular trees: there is a finite set of labels Σ, and for each label χ x Σ we specify what are permitted label combinations of …
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 …
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 …
We extend the theory of locally checkable labeling problems (LCLs) from the classical LOCAL model to a number of other models that have been studied recently, including the …