Résumé
We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lovász local lemma.
- Titre
- Compressibility and Probabilistic Proofs
- Créateurs - sans rôle
- Alexander Shen - Université de Montpellier
- Détails de publication
- Unveiling Dynamics and Complexity, Vol.LNTCS(10307), pp.101-111
- Colloque
- CiE 2017 - 13th Conference on Computability in Europe (Turku, Finland, 12/06/2017–16/06/2017)
- Publications en série
- Lecture Notes in Computer Science
- Identifiants
- 9946475809311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
- Champs locaux
- lirmm-01803530