Abstract
Is it possible to find a shortest description for a binary string? The well-known answer is “no, Kolmogorov complexity is not computable.” Faced with this barrier, one might instead seek a short list of candidates which includes a laconic description. Remarkably such approximations exist. This paper presents an efficient algorithm which generates a polynomial-size list containing an optimal description for a given input string. Along the way, we employ expander graphs and randomness dispersers to obtain an Explicit Online Matching Theorem for bipartite graphs and a refinement of Muchnik’s Conditional Complexity Theorem. Our main result extends recent work by Bauwens, Mahklin, Vereshchagin, and Zimand.
Similar content being viewed by others
References
Bruno Bauwens, Anton Makhlin, Nikolay Vereshchagin & Marius Zimand (2013). Short lists with short programs in short time. In IEEE Conference on Computational Complexity (CCC), 98–108. http://dx.doi.org/10.1109/CCC.2013.19.
Richard Beigel, Harry Buhrman, Peter Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan & Leen Torenvliet (2006). Enumerations of the Kolmogorov function. The Journal of Symbolic Logic 71(2), 501–528. http://dx.doi.org/10.2178/jsl/1146620156.
Harry Buhrman, Lance Fortnow & Sophie Laplante (2001). Resource-Bounded Kolmogorov Complexity Revisited. SIAM Journal on Computing 31(3), 887–905. http://epubs.siam.org/doi/abs/10.1137/S009753979834388X .
Venkatesan Guruswami, Christopher Umans & Salil Vadhan (2009). Unbalanced expanders and randomness extractors from Parvaresh–Vardy codes. Journal of the ACM 56(4), 20:1–20:34. ISSN 0004-5411. http://doi.acm.org/10.1145/1538902.1538904.
Ming Li & Paul Vitányi (2008). An introduction to Kolmogorov complexity and its applications. Texts in Computer Science. Springer, New York, 3rd edition. ISBN 978-0-387-33998-6, xxiv+790 . http://dx.doi.org/10.1007/978-0-387-49820-1.
Andrej A. Muchnik (2002). Conditional complexity and codes. Theoretical Computer Science 271(1-2), 97–109. ISSN 0304-3975.http://www.sciencedirect.com/science/article/pii/S0304397501000330.
Daniil Musatov (2011). Improving the Space-Bounded Version of Muchnik’s Conditional Complexity Theorem via “Naive” Derandomization. In Computer Science—Theory and Applications, volume 6651 of Lecture Notes in Computer Science, 64–76. Springer Berlin Heidelberg. ISBN 978-3-642-20711-2. http://dx.doi.org/10.1007/978-3-642-20712-9_6.
Daniil Musatov, Andrei Romashchenko & Alexander Shen (2011). Variations on Muchnik’s Conditional Complexity Theorem. Theory of Computing Systems 49, 227–245. ISSN 1432-4350. http://dx.doi.org/10.1007/s00224-011-9321-z.
Amnon Ta-Shma, Christopher Umans & David Zuckerman (2007). Lossless Condensers, Unbalanced Expanders, And Extractors. Combinatorica 27, 213–240. ISSN 0209-9683. http://dx.doi.org/10.1007/s00493-007-0053-2.
Marius Zimand (2014). Short lists with short programs in short time–a short proof. In Arnold Beckmann, Erzsébet Csuhaj-Varjú & Klaus Meer (editors) Language, Life, Limits volume 8493 of Lecture Notes in Computer Science, 403–408. Springer International Publishing. ISBN 978-3-319-08018-5.http://dx.doi.org/10.1007/978-3-319-08019-2_42.
A. K. Zvonkin & L. A. Levin (1970). The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms. Russian Mathematical Surveys 25(6), 83–124. http://dx.doi.org/10.1070/RM1970v025n06ABEH001269.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Teutsch, J. Short lists for shortest descriptions in short time. comput. complex. 23, 565–583 (2014). https://doi.org/10.1007/s00037-014-0090-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00037-014-0090-3
Keywords
- Kolmogorov complexity
- online matching
- bipartite expander graph
- disperser graph
- Muchnik’s Conditional Complexity Theorem