English

On the computational power of $C$-random strings

Computational Complexity 2025-04-15 v3

Abstract

Denote by HH the Halting problem. Let RU:={xCU(x)x}R_U: = \{ x | C_U(x) \ge |x|\}, where CU(x)C_U(x) is the plain Kolmogorov complexity of xx under a universal decompressor UU. We prove that there exists a universal UU such that HPRUH \in P^{R_U}, solving the problem posted by Eric Allender.

Cite

@article{arxiv.2409.04448,
  title  = {On the computational power of $C$-random strings},
  author = {Alexey Milovanov},
  journal= {arXiv preprint arXiv:2409.04448},
  year   = {2025}
}
R2 v1 2026-06-28T18:36:45.613Z