Compressibility and Probabilistic Proofs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2017

Compressibility and Probabilistic Proofs

Alexander Shen

Résumé

We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lovász local lemma.

Dates et versions

lirmm-01803530 , version 1 (30-05-2018)

Identifiants

Citer

Alexander Shen. Compressibility and Probabilistic Proofs. CiE 2017 - 13th Conference on Computability in Europe, Jun 2017, Turku, Finland. pp.101-111, ⟨10.1007/978-3-319-58741-7_11⟩. ⟨lirmm-01803530⟩
315 Consultations
1 Téléchargements

Altmetric

Partager

More