Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
Abstract
The lefthanded Lovász local lemma (LLLL) is a generalization of the Lovász local lemma (LLL), a powerful technique from the probabilistic method. We prove a computable version of the LLLL and use it to effectivize a collection of results on the existence of certain types of non-repetitive sequences via the LLL and LLLL. This represents the first constructive proof of these results.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2024
- DOI:
- 10.48550/arXiv.2406.10564
- arXiv:
- arXiv:2406.10564
- Bibcode:
- 2024arXiv240610564M
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Combinatorics;
- 05C15;
- 05D40;
- 03D99;
- 68Q87;
- F.2.2;
- F.4.1;
- G.2.1
- E-Print:
- 36 pages