arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2409.04448cs.CC
收藏

论C-随机字符串的计算能力

On the computational power of $C$-random strings

Alexey Milovanov

AI总结:

本文证明存在一个通用解压器U,使得停机问题H属于以C-随机字符串集合R_U为谕示的多项式时间类,从而解决了Eric Allender提出的问题。

摘要:

记H为停机问题。设R_U := { x | C_U(x) ≥ |x| },其中C_U(x)是x在通用解压器U下的普通柯尔莫哥洛夫复杂度。我们证明存在一个通用U使得H ∈ P^{R_U},解决了Eric Allender提出的问题。

英文摘要:

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

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑