arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0902.1041cs.CCcs.ITmath.ITmath.LO
收藏

Kolmogorov复杂性与Solovay函数

Kolmogorov Complexity and Solovay Functions

Laurent Bienvenu, Rod Downey

摘要:

Solovay证明了无前缀Kolmogorov复杂度函数K存在一个可计算的上界f,使得对于无穷多个x,f(x)= K(x)。本文考虑一类可计算函数f,使得对所有x,K(x)≤ f(x)+O(1),对无穷多个x,f(x)≤ K(x)+ O(1),我们称之为Solovay函数.我们发现,Solovay函数提出有趣的连接与随机性的概念,如马丁-洛夫随机性和K-平凡。

英文摘要:

Solovay proved that there exists a computable upper bound f of the prefix-free Kolmogorov complexity function K such that f (x) = K(x) for infinitely many x. In this paper, we consider the class of computable functions f such that K(x) <= f (x)+O(1) for all x and f (x) <= K(x) + O(1) for infinitely many x, which we call Solovay functions. We show that Solovay functions present interesting connections with randomness notions such as Martin-Löf randomness and K-triviality.

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

↑