Everywhere complex sequences and the probabilistic method

Author Andrey Yu. Rumyantsev



PDF
Thumbnail PDF

File

LIPIcs.STACS.2011.464.pdf
  • Filesize: 0.52 MB
  • 8 pages

Document Identifiers

Author Details

Andrey Yu. Rumyantsev

Cite AsGet BibTex

Andrey Yu. Rumyantsev. Everywhere complex sequences and the probabilistic method. In 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 9, pp. 464-471, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/LIPIcs.STACS.2011.464

Abstract

The main subject of the paper is everywhere complex sequences. An everywhere complex sequence is a sequence that does not contain substrings of Kolmogorov complexity less than alpha n-O(1) where n is the length of the substring and alpha is a constant between 0 and 1. First, we prove that no randomized algorithm can produce an everywhere complex sequence with positive probability. On the other hand, for weaker notions of everywhere complex sequences the situation is different. For example, there is a probabilistic algorithm that produces (with probability 1) sequences whose substrings of length $n$ have complexity sqrt(n) - O(1). Finally, one may replace the complexity of a substring (in the definition of everywhere complex sequences) by its conditional complexity when the position is given. This gives a stronger notion of everywhere complex sequence, and no randomized algorithm can produce (with positive probability) such a sequence even if alpha n is replaced by sqrt(n), log*(n) or any other monotone unbounded computable function.
Keywords
  • Kolmogorov complexity
  • everywhere complex sequences
  • randomized algorithms
  • Medvedev reducibility
  • Muchnik reducibility

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail