Initial segment complexities of randomness notions

  • Authors:
  • Rupert Hölzl;Thorsten Kräling;Frank Stephan;Guohua Wu

  • Affiliations:
  • Institut für Theoretische Informatik, Mathematik und Operations Research, Fakultät für Informatik, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, 85577 Neub ...;Institut für Informatik, Universität Heidelberg, INF 294, 69120 Heidelberg, Germany;Department of Mathematics, National University of Singapore, 10 Lower Kent Ridge Road, Singapore 119076, Republic of Singapore;Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science, Nanyang Technological University, Republic of Singapore

  • Venue:
  • Information and Computation
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

Abstract

Schnorr famously proved that Martin-Lof-randomness of a sequence A can be characterised via the complexity of A@?s initial segments. Nies, Stephan and Terwijn as well as independently Miller showed that a set is 2-random (that is, Martin-Lof random relative to the halting problem K) iff there is no function f such that for all m and all nf(m) it holds that C(A(0)A(1)...A(n))=f(m) it holds that C(A(0)A(1)...A(n))=