Topological Arguments for Kolmogorov Complexity

被引:0
作者
Andrei Romashchenko
Alexander Shen
机构
[1] University of Montpellier,CNRS
来源
Theory of Computing Systems | 2015年 / 56卷
关键词
Kolmogorov complexity; Existence proofs; Topology;
D O I
暂无
中图分类号
学科分类号
摘要
We present several applications of simple topological arguments (such as non-contractibility of a sphere and similar results) to Kolmogorov complexity. It turns out that discrete versions of these results can be used to prove the existence of strings with prescribed complexity with O(1)-precision (instead of usual O(logn)-precision). In particular, we improve an earlier result of M. Vyugin and show that for every n and for every string x of complexity at least n + O(logn) there exists a string y such that both C(x∣y) and C(y∣x) are equal to n + O(1). We also show that for a given tuple of strings xi (assuming they are almost independent) there exists another string y such that the condition y makes the complexities of all xi twice smaller with O(1)-precision. The extended abstract of this paper was published in [6].
引用
收藏
页码:513 / 526
页数:13
相关论文
共 2 条
[1]  
Muchnik A(2002)Conditional complexity and codes Theor. Comput. Sci. 271 97-109
[2]  
Vyugin M(2002)Information distances and conditional complexities Theor. Comput. Sci. 271 145-150