安德烈·穆奇尼克。 条件复杂性和代码。 (英语) Zbl 0992.68082号 西奥。计算。科学。 271,第1-2号,97-109(2002). 摘要:设\(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)\)。 引用于20文件 理学硕士: 68问题30 算法信息理论(Kolmogorov复杂性等) 关键词:条件Kolmogorov复杂性;最小程序;散列;膨胀机 引文:Zbl 0568.94012号 PDF格式BibTeX公司 XML格式引用 \文本{A.A.Muchnik},Theor。计算。科学。271,编号1--2,97-109(2002;Zbl 0992.68082) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。