首页/论文/1111.4372

arXiv 1111.43722011-11cs.CC

简单Kolmogorov复杂性的可加性定理

An additivity theorem for plain Kolmogorov complexity

Bruno Bauwens, Alexander Shen

备注：: 4 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明了公式C（a，b）= K（a| C（a，b））+ C（b| a，C（a，b））+ O（1），它用前缀和其组成部分的简单条件复杂度来表示一个对的简单复杂度。

英文摘要：

We prove the formula C(a,b) = K(a|C(a,b)) + C(b|a,C(a,b)) + O(1) that expresses the plain complexity of a pair in terms of prefix and plain conditional complexities of its components.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

复杂度和具有最大简单复杂度和前缀复杂度的字符串的复杂度

Complexity of complexity and strings with maximal plain and prefix Kolmogorov complexity

2013-05-03cs.CC

普通复杂度和前缀复杂度的相关和对比

Relating and contrasting plain and prefix Kolmogorov complexity

在[3]中给出了一个简短的证明，证明了某些字符串具有最大的简单Kolmogorov复杂度，但不具有最大的无前缀复杂度。证明使用了Levin的信息对称性，Levin的公式与简单和前缀复杂度有关，以及Gacs的定理，即给定字符串的复杂度可以很高。我们认为，证明技术和上述结果是有用的，以简化现有的证明和解决开放的问题。我们给出了Solovay的结果[21]的一个简短证明，该结果与普通复杂度和前缀复杂度有关：$K (x) = C (x) + CC (x) + O(CCC (x))$和$C (x) = K (x) - KK (x) + O(KKK (x))$（这里$CC(x)$表示$C(C(x))$等）。我们证明了存在$ω$使得$\liminf C(ω_1\dots ω_n) - C(n)$是无限的，而$\liminf K(ω_1\dots ω_n) - K(n)$是有限的，即无穷常C-平凡实数与无穷常K-平凡实数不相同（即[1，问题1]）. Solovay表明，对于无穷多个$x$，我们有$|x| - C (x) \le O(1)$和$|x| + K (|x|) - K (x) \ge \log^{(2)} |x| - O(\log^{(3)} |x|)$，（这里$|x|$表示$x$和$\log^{(2)} = \log\log$的长度，等等）。我们证明了这一结果适用于某些2-随机序列的前缀…

2014-05-07cs.CCcs.ITmath.IT

忙碌的海狸和Kolmogorov复杂性

Busy beavers and Kolmogorov complexity

找到“可以命名的最大数”的想法可以追溯到阿基米德（见他的Psammit）。从计算理论的观点来看，自然的问题是“哪个数最多可以用n位来描述”？这个问题导致了所谓的“忙碌的海狸”数的定义（由T。雷达）。在本说明中，我们考虑不同版本的忙碌的海狸一样的概念定义的柯尔莫哥洛夫复杂性。我们表明，这些版本的不同取决于版本的复杂性（平原，前缀，或先验复杂性），并找出这些概念是如何相关的，提供匹配的下限和上限。

2017-03-15cs.CC

不是每个普通解压器的域都包含无前缀解压器的域

Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free One

C.Calude，A.Nies，L.Staiger和F.Stephan提出了以下关于普通复杂度和前缀Kolmogorov复杂度之间关系的问题（参见他们在DLT 2008会议论文集上的论文）：每个最优解压缩器的域都包含某个最优无前缀解压缩器的域吗？在本文中，我们提供了一个否定的回答这个问题。

2010-04-07cs.CCcs.ITmath.IT

Kolmogorov复杂性的公理系统

Towards an axiomatic system for Kolmogorov complexity

在[She82]中，证明了四个基本的函数性质足以表征简单的Kolmogorov复杂性，从而获得了这个概念的公理化表征。在本文中，我们试图扩展这项工作，无论是通过寻找替代公理系统的平原复杂性，并考虑潜在的公理系统的其他类型的复杂性。首先，我们表明，公理系统沈不能削弱（至少在任何自然的方式）。然后，我们给一个类似的沈的公理系统的条件复杂性。本文的第二部分研究了无前缀复杂性，并试图建立一个无前缀复杂性的公理系统，但我们发现，沈从文的公理系统的自然类似物不能刻画无前缀复杂性。

2011-03-31cs.CCcs.ITcs.LO

限制复杂性

Limit complexities revisited

本文的主要目的是把一些已知的结果在一个共同的角度，并简化其证明。我们从（Vereshchagin，2002）的一个结果的简单证明开始，即$\limsup_n\KS(x|n)$（这里$\KS(x|n)$是当$n$已知时$x$的条件（普通）柯尔莫哥洛夫复杂度）等于$\KS^{\mathbf{0'}(x)$，即$\mathbf{0'$ -oracle的普通柯尔莫哥洛夫复杂度。然后我们用同样的论证证明了前缀复杂度（也改进了Muchnik，1987）关于极限频率的结果）、二叉树上的先验概率和有效开集的测度的类似结果。作为副产品，我们得到了一个$\mathbf{0'}$ Martin-Löf随机性（也称为2-随机性）的判据（Miller，2004）：序列$ω$是2-随机的当且仅当存在$c$使得$ω$的任何前缀$x$是某个字符串$y$的前缀使得$\KS(y)\ge |y|-c$。(In在20世纪60年代，该性质在（Kolmogorov，1968）中被建议作为可能的随机性定义之一;其与2-随机性的等价性在（Miller，2004）中被示出，同时证明另一个2-随机性准则（也参见（Nies等人，2005））：PDMATHAMT是2-随机的当且仅当对于某些$c$和$ω$的无穷多个前缀$x$，$\KS(x)\ge |x|-c$。最后，我们证明了低基定理可以用来得到这些结果的替代证明，并改进了关于有效开集的…

2008-02-20cs.CC

更多相关论文收起更多论文

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

Limit on the computational power of $\mathrm{C}$-random strings

研究通过构造一个通用解压器U，证明在C_U随机字符串集合R_{C_U}上，任何多项式时间oracle机都无法解决停机问题，从而解决了Eric Allender关于基于柯尔莫哥洛夫复杂度的oracle计算能力的问题。

2026-05-19cs.CC

基于Kolmogorov复杂度和列表译码的存储增强

Storage Enforcement with Kolmogorov Complexity and List Decoding

我们考虑在外包存储中出现的以下问题：用户将其数据$x$存储在远程服务器上，但希望在以后的某个时间点审计服务器，以确保它确实存储了$x$。目标是设计一个（随机化）验证协议，该协议具有以下属性：如果服务器以某种合理的高概率通过验证，则用户可以放心服务器正在存储$x$。在这项工作中，我们提出了一个最佳的解决方案（在用户的存储和通信方面），而在同一时间，确保服务器，通过验证协议与任何合理的概率将存储，在一个小的\textit{additive}因素，$C(x)$位的信息，其中$C(x)$是平原柯尔莫哥洛夫复杂性的$x$。（由于我们无法阻止服务器压缩$x$，因此$C(x)$是自然的上限。）我们的协议的安全性证明结合了Kolmogorov复杂性与列表解码，不像以前的工作，依赖于密码学的假设，我们允许服务器有无限的计算能力。据我们所知，这是第一个工作，结合柯尔莫哥洛夫复杂性和列表解码。我们的框架是通用的，足以捕捉扩展，用户分裂的$x$和存储片段跨多个服务器和我们的验证协议可以处理非响应服务器和串通服务器。作为一个副产品，我们也得到了可检索性的证明。最后，我们的研究结果也有一个应用程序中的“存储执法”计划，这反过来又有一个应用程序，试图更新一个远程服务器，这是潜在的感染病毒。

2011-04-15cs.CC

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

On the computational power of $C$-random strings

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

2025-04-12cs.CC

简单停止时间和条件复杂性

Plain stopping time and conditional complexities revisited

在本文中，我们分析了“停止时间复杂度”的概念，非正式地定义为在读取无限序列时指定何时停止所需的信息量。这个概念是由Vovk和Pavlovic（2016）提出的。结果表明，二进制字符串$x$的纯停止时间复杂度可以等价地定义为：（a）在单向输入带上读取$x$后停止的图灵机的最小纯复杂度;（b）枚举包含$x$的无前缀集合的算法的最小纯复杂度;（c）~条件复杂度$C(x|x*)$，其中条件中的$x$被理解为无限二进制序列的前缀，而第一个$x$被理解为终止的二进制串;（d）作为最小上半可计算函数$K$，使得每个二进制序列至多具有$2^n$前缀$z$，使得$K(z)<n$ ;（e）作为$\max C^X(x)$，其中$C^X(z)$是$z$相对于oracle $X$的普通柯尔莫哥洛夫复杂度，并且最大值被取在$x$的所有扩展$X$上。我们还表明，这些等价的定义中的一些成为不等价的条件$y$和对象$x$可能不同的更一般的设置。我们还回答了一个开放性的问题，从Zerov，Hutter和~Schmidhuber。

2017-10-03cs.CCcs.ITmath.IT