首页/论文/0801.0354

arXiv 0801.03542008-01-02math.LOcs.CCcs.ITmath.IT

Kolmogorov复杂性透视

Kolmogorov complexity in perspective

Marie Ferbus-Zanda, Serge Grigorieff

备注：: 37 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们调查的信息内容的概念的不同方法：从香农熵Kolmogorov复杂性。Kolmogorov复杂性的主要应用，即随机性的数学概念（可以追溯到60年代的Martin-Lof，Schnorr，Chaitin，Levin的工作）和分类，这是Vitanyi和Cilibrasi最近提出的一个具有挑衅性的想法。

英文摘要：

We survey the diverse approaches to the notion of information content: from Shannon entropy to Kolmogorov complexity. The main applications of Kolmogorov complexity are presented namely, the mathematical notion of randomness (which goes back to the 60's with the work of Martin-Lof, Schnorr, Chaitin, Levin), and classification, which is a recent idea with provocative implementation by Vitanyi and Cilibrasi.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Kolmogorov复杂性作为一种语言

Kolmogorov complexity as a language

柯尔莫哥洛夫复杂性（Kolmogorov complex）的概念（=生成某个对象的程序的最小长度）作为一种语言通常很有用，它允许我们重新表述一些概念，从而提供新的直觉。在本调查中，我们提供了（以最小的评论）许多不同的例子，其中涉及柯尔莫哥洛夫复杂性的概念和陈述与不涉及复杂性的概念和陈述进行了比较。

2011-02-26cs.ITmath.ITmath.LO

Kolmogorov复杂性与Solovay函数

Kolmogorov Complexity and Solovay Functions

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-平凡。

2009-02-06cs.CCcs.ITmath.IT

Kolmogorov复杂性与可计算可积集

Kolmogorov complexity and computably enumerable sets

我们研究的可计算可列集方面：（a）Kolmogorov复杂性的初始段;（b）Kolmogorov复杂性的有限程序时，他们被用作神谕。我们提出了一个扩展的讨论现有的研究就这一主题，随着最近的事态发展和开放的问题。除了这个调查，我们的主要原始结果是以下特征的可计算的集合与平凡的初始段前缀自由的复杂性。一个可计算可积集$A$是$K$ -平凡的当且仅当复杂度以$A$的复杂度为界的集合族是由停机问题一致可计算的。

2013-11-27cs.ITmath.ITmath.LO

基于经典描述的量子Kolmogorov复杂度

Quantum Kolmogorov Complexity Based on Classical Descriptions

我们发展了一个理论的算法信息位包含在一个单独的纯量子态。这将经典的柯尔莫哥洛夫复杂性扩展到量子域，保留经典的描述。量子Kolmogorov复杂性与经典域上的经典Kolmogorov复杂性一致。量子柯尔莫哥洛夫复杂度是有上限的，并且在一定条件下可以有效地从上面近似。量子物体很有可能是不可压缩的。导出了单个纯量子态的多个拷贝的量子复杂度的上、下界，并对量子态的不可克隆性提供了一些启示。在量子情形中，复杂性不是次加性的。我们讨论了与"不可克隆“和"近似克隆”性质的一些关系。

2001-10-09cs.CCcs.ITmath.IT

增加Kolmogorov复杂度的列表近似

List approximation for increasing Kolmogorov complexity

不可能有效地修改字符串以增加其柯尔莫哥洛夫复杂度。但是，是否有可能构造一些不长于输入字符串的字符串，使它们中的大多数具有更大的复杂性？我们证明答案是肯定的。我们提出了一个算法，输入一个字符串$x$的长度$n$返回一个列表与$O(n^2)$许多字符串，所有的长度$n$，使99\%的人是更复杂的比$x$，提供的复杂性$x$小于$n - \log \log n - O(1)$。我们得到类似的结果，其他参数，包括多项式时间的建设。

2017-02-06cs.CCcs.ITmath.IT

Kolmogorov复杂性的公理系统

Towards an axiomatic system for Kolmogorov complexity

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

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

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

空间有界Kolmogorov复杂性的不等式

Inequalities for space-bounded Kolmogorov complexity

Shannon信息论和算法信息论之间存在一种平行性。特别地，相同的线性不等式对于随机变量的元组的香农熵和字符串的元组的柯尔莫哥洛夫复杂度是成立的（Hammer等人，1997），以及子群的大小和集合的投影（Chan，Yeung，Romashchenko，Shen，Vereshchagin，1998- 2002）。这种并行性始于Kolmogorov-Levin公式（1968），用于对数精度的字符串对的复杂性。Longpré（1986）证明了这个公式在空间有界复杂性中的一个版本。本文利用Sipser技巧证明了Longpré结果的一个改进版本，使其具有更紧的空间界.然后，使用这个空间界，我们表明，每个线性不等式是真实的复杂性或熵，也是真实的空间有界的柯尔莫哥洛夫复杂性与多项式空间开销。

2022-09-09cs.ITmath.ITmath.LO

Kolmogorov复杂性的博弈解释

Game interpretation of Kolmogorov complexity

柯尔莫哥洛夫复杂性函数K可以用任何预言机A相对化，并且K的大多数性质对于相对化的版本仍然成立。在第1节中，我们通过给出博弈论解释来解释这一观察结果，并表明所有“自然”属性要么对所有足够强大的神谕都是真的，要么对所有足够强大的神谕都是假的。这个结果是马丁决定性定理的一个简单推论，但它的证明是有指导意义的：它展示了如何通过构造一个特殊的博弈和这个博弈中的获胜策略来证明关于柯尔莫哥洛夫复杂性的陈述。这种技术通过几个例子（总条件复杂度，双射复杂度，随机性提取，对比平原和前缀复杂度）来说明。

2010-03-24cs.GTcs.ITmath.IT

关于Kolmogorov复杂性：基本概念和结果

Around Kolmogorov complexity: basic notions and results

数学信息论研究描述的复杂性和随机性，现在是理论计算机科学和数理逻辑的一个众所周知的领域。有几本教科书和专着致力于这一理论，人们可以找到许多困难的结果以及历史参考的详细论述。然而，它似乎是一个简短的调查，其基本概念和主要结果，这些概念相互关联，是失踪。本报告试图填补这一空白，并涵盖了算法信息论的基本概念：柯尔莫哥洛夫复杂性（平原，条件，前缀），所罗门诺夫普遍先验概率，随机性的概念（马丁-洛夫随机性，米塞斯-丘奇随机性），有效豪斯多夫维数。我们证明了它们的基本性质（信息的对称性，先验概率与前缀复杂性的关系，用复杂性表示随机性的准则，有效维数的复杂性刻画），并给出了它们的一些应用（计算复杂性理论中的不可压缩性方法，不完备性定理）.它是根据作者在乌普萨拉大学的一门课程的讲义。

2015-04-20cs.ITmath.ITmath.LO

吸引度的柯尔莫哥洛夫复杂性

Kolmogorov Complexity of Attractive Degrees

本文利用柯尔莫哥洛夫复杂性给出集合具有吸引性的充分条件，并分析了其若干推论。

2025-05-05math.LO

递归可列集的Kolmogorov复杂性和实例复杂性

Kolmogorov complexity and instance complexity of recursively enumerable sets

我们研究了Kolmogorov复杂性和实例复杂性对r.e.性质的影响。集.我们证明了r.e.的初始段的Kolmogorov复杂度的2logn上界是已知的。集合是最优的，并表征了r. e.达到这个境界的集合。本文的主要部分是研究r.e.的实例复杂度。集.我们构造了一个非递归的r.e.集合的实例复杂度是Kolmogorov复杂度的对数。这反驳了Ko、Orponen、Schoning和Watanabe的一个猜想。在另一个极端，我们证明了所有的wtt-完备集和所有的Q-完备集都有无穷多个硬实例。

1994-05-25math.LO

整数的Church、Cardinal和Ordinal表示与Kolmogorov复杂性

Church, Cardinal and Ordinal Representations of Integers and Kolmogorov complexity

我们考虑整数的经典表示：教会的函数迭代器，基数等价类的集合，序数等价类的全序集。由于程序不工作的抽象实体，并要求正式表示的对象，我们有效化这些抽象概念，以便让他们计算的程序。对于任何这样的有效化表示，都与柯尔莫哥洛夫复杂性的概念相关联。我们证明了这些Kolmogorov复杂性形成一个严格的层次结构，这与通过相对化跳跃预言和/或允许无限计算得到的层次结构相一致。

2008-01-02cs.CCcs.LOmath.LO

范畴的Kolmogorov复杂性

Kolmogorov Complexity of Categories

Kolmogorov复杂性理论用于判断字符串的算法信息内容是什么。它被定义为描述字符串的最短程序的长度。我们提出了一种编程语言，可用于描述类别，函子，和自然变换。有了这个在手，我们定义这些分类结构的信息内容作为描述这种结构的最短程序。我们的定义的一些基本后果，包括事实上，等价类别具有相等的柯尔莫哥洛夫复杂性。我们还证明了不同的定理，什么可以和不能描述我们的编程语言。

2013-06-11cs.ITcs.LOcs.PL

Kolmogorov复杂性与广义长度函数

Kolmogorov complexity and generalized length functions

Kolmogorov复杂度根据$σ$的最短描述$σ^*$的长度来测量有限二进制串$σ$的算法复杂度。传统上，字符串的长度用来衡量字符串中包含的信息量。然而，我们也可以将$σ$的长度看作是产生$σ$的成本的度量，这允许人们推广长度的概念，其中产生0或1的成本可以以某种规定的方式变化。在这篇文章中，我们开始研究这种推广的长度基于上述信息成本的解释。我们还修改了Kolmogorov复杂度的定义，使用这样的广义长度函数，而不是标准长度。我们进一步调查的条件下，定义在一个给定的广义长度函数的复杂性的概念保持一些基本性质的柯尔莫哥洛夫复杂性。我们专注于一类特定的广义长度函数，是密切相关的伯努利$p$措施的一个特定的子集，即那些对应于唯一的可计算的真正的$p\in(0,1)$，使$p^k=1-p$，整数$k\geq 1$。然后，我们研究随机性等措施，通过证明一个推广版本的经典莱文Schnorr定理，涉及$k$长度的功能，然后证明后续的结果，涉及有效的尺寸和熵。

2019-06-12cs.CCmath.LO

自动复杂性的Kolmogorov结构函数

Kolmogorov structure functions for automatic complexity

对于有限字$w$，我们定义并研究了Kolmogorov结构函数$h_w$的非确定性自动复杂性。我们证明上界$h_w$，似乎是相当尖锐的，基于数值证据。

2020-01-30cs.FLmath.LO

Kolmogorov复杂性和递归定理

Kolmogorov complexity and the Recursion Theorem

几类DNR函数的特征在于Kolmogorov复杂性。特别地，一组自然数A可以wtt-计算DNR函数当且仅当A的初始段的Kolmogorov复杂度存在非平凡递归下界。此外，A可以图灵计算DNR函数当且仅当A的初始段的Kolmogorov复杂度存在非平凡的A-递归下界。A是PA-完全的，也就是说，A可以计算一个{0，1}-值DNR函数，当且仅当A可以计算一个函数F使得F（n）是一个长度为n的字符串，并且是长度为n的字符串中最大的C-复杂度。A解决了停机问题当且仅当A可以计算一个函数F使得F（n）是一个长度为n的字符串，并且在长度为n的字符串中具有最大的H-复杂度。这些类的进一步特征。在一个图灵度中存在一个DNR函数等价于递归定理在这个度上的失败;因此，所提供的结果用柯尔莫哥洛夫复杂度来表征那些不再允许使用递归定理的图灵度。

2014-08-10math.LO

Kolmogorov复杂性与布朗运动的强逼近

Kolmogorov complexity and strong approximation of Brownian motion

布朗运动和缩放内插简单随机游动可以联合嵌入概率空间中，使得对于除了1/2个正整数$n$之外的所有正整数，几乎肯定$n$步游动在布朗路径的均匀距离$O(n^{-1/2}\log n)$内。几乎可以肯定的是，这个$n$步行走在柯尔莫哥洛夫复杂性的意义下是不可压缩的，并且所有布朗运动的{马丁-洛夫随机}路径都有这样一个不可压缩的紧密逼近。这加强了Asarin的一个结果，他得到了束缚$O(n^{-1/6} \log n)$。结果无法改善为$o(n^{-1/2}{\sqrt{\log n}})$。

2014-08-10math.LO

Kolmogorov 的最后发现？（Kolmogorov 与算法统计）

Kolmogorov Last Discovery? (Kolmogorov and Algorithmic Statictics)

本文综述了 Kolmogorov 在算法统计领域（资源受限复杂度、结构函数和随机对象）未发表思想的可能发展，基于其学生、合作者及演讲回忆进行重构。

2023-10-17math.LO

优数的复杂性

Complexity of majorants

一个全可计算函数的最小柯尔莫哥洛夫复杂度在任何地方都超过了所有复杂度最多为$n$的全可计算函数，这个函数的最小柯尔莫哥洛夫复杂度是$2^{n+O(1)}$。如果我们将“everywhere”替换为“for all enough large input”，则答案为$n+O(1)$。

2020-12-25cs.ITmath.ITmath.LO

使用构造性共免疫等改进“直到常数”排序。Kolmogorov复杂性的Min/Max层次

Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities

我们在全函数f，g：N -> N之间引入序，它将逐点“直到常数”序<=cte，并且还确保f（x）通常远小于thang（x）。利用这种排序，我们证明了一个强的Kolmogorov复杂性的层次定理，该复杂性是由跳跃预言和/或部分递归函数的Max或Min得到的.我们引入了二阶条件柯尔莫哥洛夫复杂性的概念，它产生了一个统一的界限，“一个常数”的比较涉及的层次定理。

2008-01-02cs.CCmath.LO

整数的集合理论表示

Set theoretical Representations of Integers, I

本文从Kolmogorov复杂性的角度重新考虑了整数的一些经典自然语义（即函数的迭代器、集合的基数、等价关系的指数）。每个这样的语义可以附加一个简单的整数表示，我们适当地有效化，以开发一个相关的柯尔莫哥洛夫理论。这种有效化是我们在本文中介绍的“自枚举系统”的一般概念的特殊情况。我们的主要结果断言，这样的有效化，Kolmogorov理论允许定量区分潜在的语义。我们的特点得到这样的effectivizations的家庭，并证明了相关的Kolmogorov复杂性构成一个层次结构，这与通过跳跃预言和/或无限计算定义的Kolmogorov复杂性相一致。这与众所周知的事实，即通常的柯尔莫哥洛夫复杂性不依赖于（一个常数）所选择的整数的算术表示，让它在任何基础一元，二进制等。此外，在一个概念的角度来看，我们的结果可以被看作是一种手段来衡量这些不同的语义的抽象程度。

2008-01-02cs.CCmath.LO