Kolmogorov complexity and non-determinism

Serge Grigorieff 1 Jean-Yves Marion 2
2 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We are concerned with Kolmogorov complexity of strings produced by non-deterministic algorithms. For this, we consider binary recursively enumerable relations, named description modes. We give conditions on the class of description modes to provide a Kolmogorov entropy. Within this framework, we prove that there is a proper hierarchy of such non-deterministic modes. Then, we give a sharp estimation on the amount of information to turn a deterministic mode into a non-deterministic one, and inversely. Lastly, we show that deterministic modes are less efficient than non-deterministic modes from some rank.
Type de document :
Rapport
[Intern report] 98-R-274 || grigorieff98a, 1998, 11 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098564
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:29
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00098564, version 1

Collections

Citation

Serge Grigorieff, Jean-Yves Marion. Kolmogorov complexity and non-determinism. [Intern report] 98-R-274 || grigorieff98a, 1998, 11 p. 〈inria-00098564〉

Partager

Métriques

Consultations de la notice

76