×

条件复杂性和代码。 (英语) Zbl 0992.68082号

摘要:设\(x\)和\(y\)为二进制字符串。我们证明了存在一个大小约为\(K(x|y)\)的程序\(p\),它将\(y\)映射到\(x\),并且当\(x \)已知时(K(p|x)\约为0)\)复杂性很小。考虑到香农信息论和算法信息论之间的平行性,可以说这个结果与沃尔夫·斯莱潘和科纳-西沙尔-马顿定理平行[参见一、西沙尔J·科纳《信息论,离散无记忆系统的编码定理》,阿卡德米亚·基亚多,布达佩斯(1981;Zbl 0568.94012号)]. 我们还证明了对于任意三个长度最多为\(n)的字符串\(x,y,z),将\(y)和\(z)映射到\(x)(即,\(p(y)=p(z)=x)\)的最短程序\(p)的长度等于\(max(K(x|y),K(x| z)+O(log n)\)。

理学硕士:

68问题30 算法信息理论(Kolmogorov复杂性等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bennett,C.H。;Gács,P。;李,M。;Vitanyi,P.M.B。;Zurek,W.H.,《信息距离》,IEEE Trans。通知。理论,44,3,1407-1423(1998)·Zbl 0964.94010号
[2] 福特诺,L。;Laplante,S.,(使用提取器的几乎最优语言压缩,第15届Ann.Symp.计算机科学理论方面,法国巴黎,1998年2月25-27日,计算机科学讲义,第1373卷(1998),Springer:Springer-Blin),84-93·Zbl 0894.68080号
[3] Gorbunov,K.Yu。,关于公式\((a∨B)的一个复杂性C) \),理论。计算。科学。,207383-386(1998年)·Zbl 0912.68078号
[4] 李,M。;Vitányi,P.,《科尔莫戈洛夫复杂性及其应用导论》(1997),施普林格出版社:柏林施普林格·Zbl 0866.68051号
[5] A.Muchnik,A.Semenov,kolmogorov复杂性中的多条件描述和代码,计算复杂性电子讨论会,第15号报告,2000年1月27日。;A.Muchnik,A.Semenov,科尔莫戈罗夫复杂性中的多条件描述和代码,计算复杂性电子学术讨论会,第15号报告,2000年1月27日。
[6] N.K.Vereshchagin,M.V.Vyugin,在给定字符串之间转换的独立最小长度程序,Theoret。计算。科学。,这个问题。;N.K.Vereshchagin,M.V.Vyugin,在给定字符串之间转换的独立最小长度程序,Theoret。计算。科学。,这个问题·Zbl 0992.68083号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。