Logical Operations and Kolmogorov Complexity II

  • Authors:
  • Andrei A. Muchnik;Nikolai K. Vereshchagin

  • Affiliations:
  • -;-

  • Venue:
  • CCC '01 Proceedings of the 16th Annual Conference on Computational Complexity
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Abstract: We investigate Kolmogorov complexity of the problem (a \rightarrow c) \wedge (b \rightarrow d), defined as the minimum length of a program that given a outputs c and given b outputs d. We prove that unlike all known problems of this kind its complexity is not expressible in terms of Kolmogorov complexity of a, b, c, and d, their pairs, triples etc. This solves the problem posed in [9]. In the second part we consider the following theorem: there are two strings, whose mutual information is large but which have no common information in a strong sense. This theorem was proven in [7] via a non-constructive argument. We present a constructive proof, thus solving a problem posed in [7]. We give also an interpretation of both results in terms of Shannon entropy.