Conditional Kolmogorov complexity and universal probability

  • Authors:
  • Paul M. B. Vitányi

  • Affiliations:
  • -

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

The Coding Theorem of L.A. Levin connects unconditional prefix Kolmogorov complexity with the universal semiprobability mass function. There are conditional versions referred to in several publications but as yet there exist no written proofs. Under the classic definition of conditional probability, there is no conditional version of the Coding Theorem. We give the appropriate definitions and provide complete proofs of the conditional version of the Coding Theorem.