Complexity Oscillations in Random Reals

  • Authors:
  • ChenGuang Liu;Kazuyuki Tanaka

  • Affiliations:
  • -;-

  • Venue:
  • IEICE - Transactions on Information and Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The C-oscillation due to Martin-Löf shows that {α|∀ n [C(α ↾ n) ≥ n – O(1)]} = ∅, which also follows {α|∀ n [K(α ↾ n) ≥ n + K(n)-O(1)]} = ∅. By generalizing them, we show that there does not exist a real α such that ∀n (K(α ↾ n) ≥ n + λ K(n)-O(1)) for any λ 0.