The randomized local computation complexity of the Lovász local lemma

03/30/2021
by   Sebastian Brandt, et al.
0

The Local Computation Algorithm (LCA) model is a popular model in the field of sublinear-time algorithms that measures the complexity of an algorithm by the number of probes the algorithm makes in the neighborhood of one node to determine that node's output. In this paper we show that the randomized LCA complexity of the Lovász Local Lemma (LLL) on constant degree graphs is Θ(log n). The lower bound follows by proving an Ω(log n) lower bound for the Sinkless Orientation problem introduced in [Brandt et al. STOC 2016]. This answers a question of [Rosenbaum, Suomela PODC 2020]. Additionally, we show that every randomized LCA algorithm for a locally checkable problem with a probe complexity of o(√(logn)) can be turned into a deterministic LCA algorithm with a probe complexity of O(log^* n). This improves exponentially upon the currently best known speed-up result from o(loglog n) to O(log^* n) implied by the result of [Chang, Pettie FOCS 2017] in the LOCAL model. Finally, we show that for every fixed constant c ≥ 2, the deterministic VOLUME complexity of c-coloring a bounded degree tree is Θ(n), where the VOLUME model is a close relative of the LCA model that was recently introduced by [Rosenbaum, Suomela PODC 2020].

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/17/2022

Node and Edge Averaged Complexities of Local Graph Problems

The node-averaged complexity of a distributed algorithm running on a gra...
research
07/18/2019

Seeing Far vs. Seeing Wide: Volume Complexity of Local Graph Problems

Consider a graph problem that is locally checkable but not locally solva...
research
06/08/2020

Generalizing the Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma

Recently, Brandt, Maus and Uitto [PODC'19] showed that, in a restricted ...
research
05/10/2021

Ultrafast Distributed Coloring of High Degree Graphs

We give a new randomized distributed algorithm for the Δ+1-list coloring...
research
02/21/2019

Local Computation Algorithms for Spanners

A graph spanner is a fundamental graph structure that faithfully preserv...
research
11/26/2021

An Optimal Algorithm for Finding Champions in Tournament Graphs

A tournament graph T = (V, E ) is an oriented complete graph, which can ...
research
02/09/2022

The Landscape of Distributed Complexities on Trees and Beyond

We study the local complexity landscape of locally checkable labeling (L...

Please sign up or login with your details

Forgot password? Click here to reset