[论文解读] Kolmogorov Complexity and Solovay Functions

Laurent Bienvenu, Rod Downey|ArXiv.org|Feb 6, 2009

Computability, Logic, AI Algorithms参考文献 13被引用 16

一句话总结

本文引入了索洛瓦函数——即对前缀无关柯尔莫哥洛夫复杂度 K 的可计算上界，且在无穷多次上与 K 完全匹配——并通过 ∑2⁻ᶠ⁽ˣ⁾ 的收敛性，建立了其与左-递归可枚举的马丁-洛夫随机实之间的等价性。此外，本文进一步表明，索洛瓦函数刻画了马丁-洛夫随机性与 K-平凡性，并通过米勒-于与莱温-施诺尔定理提供了精确的刻画。

ABSTRACT

Solovay proved that there exists a computable upper bound f of the prefix-free Kolmogorov complexity function K such that f (x) = K(x) for infinitely many x. In this paper, we consider the class of computable functions f such that K(x) <= f (x)+O(1) for all x and f (x) <= K(x) + O(1) for infinitely many x, which we call Solovay functions. We show that Solovay functions present interesting connections with randomness notions such as Martin-Löf randomness and K-triviality.

研究动机与目标

• 形式化并研究满足对所有 x 有 K(x) ≤ f(x) + O(1)，且对无穷多个 x 有 f(x) ≤ K(x) + O(1) 的可计算函数 f 的类——此类函数称为索洛瓦函数。
• 通过证明 ∑₂⁻ᶠ⁽ˣ⁾ 是左-递归可枚举的马丁-洛夫随机实，精确刻画索洛瓦函数在算法随机性中的角色。
• 探讨索洛瓦函数在刻画随机性概念（如马丁-洛夫随机性与 K-平凡性）中的作用。
• 利用索洛瓦函数提供马丁-洛夫随机性与 K-平凡性的精确刻画，扩展经典结果如米勒-于与莱温-施诺尔定理。

提出的方法

• 将索洛瓦函数定义为满足对所有 x 有 K(x) ≤ f(x) + O(1)，且对无穷多个 x 有 f(x) ≤ K(x) + O(1) 的可计算函数 f。
• 证明一个可计算函数 f 是索洛瓦函数，当且仅当 ∑ₓ 2⁻ᶠ⁽ˣ⁾ 有限，且为左-递归可枚举的马丁-洛夫随机实。
• 利用 Kraft-Chaitin 定理构造实现 f 所隐含边界的前缀无关机器。
• 应用米勒-于定理，证明对任意索洛瓦函数 f，序列 α 是马丁-洛夫随机的，当且仅当对所有 n 有 K(α↾n) ≤ f(n) + O(1)。
• 构造一个递归可枚举集合 L，其中包含对偶 (w↾n, k)，满足 ∑₂⁻ᵏ < ∞，以证明若对某索洛瓦函数 g 有 K(α↾n) ≤ g(n) + O(1)，则 α 是 K-平凡的。
• 通过分阶段构造并动态更新见证者，确保在 K(n) 估计发生变化时仍能保持正确性，通过限制每阶段的对数以避免因错误假设导致的重复计数。

实验结果

研究问题

• RQ1 什么特征刻画了满足对所有 x 有 K(x) ≤ f(x) + O(1)，且对无穷多个 x 有 f(x) ≤ K(x) + O(1) 的可计算函数 f 的类？
• RQ2 索洛瓦函数能否通过 ∑ₓ 2⁻ᶠ⁽ˣ⁾ 的收敛性与随机性完全刻画？
• RQ3 索洛瓦函数与马丁-洛夫随机性及 K-平凡性之间有何关系？
• RQ4 当使用索洛瓦函数时，米勒-于定理对马丁-洛夫随机性的刻画是否是精确的？
• RQ5 每个满足 K(α↾n) ≤ g(n) + O(1) ⇒ α 是 K-平凡的可计算函数 g 是否必然是索洛瓦函数？

主要发现

• 一个可计算函数 f 是索洛瓦函数，当且仅当 ∑ₓ 2⁻ᶠ⁽ˣ⁾ 有限，且为左-递归可枚举的马丁-洛夫随机实。
• 莱温-施诺尔对马丁-洛夫随机性的刻画是精确的：序列 α 是马丁-洛夫随机的，当且仅当对某索洛瓦函数 f 有 K(α↾n) ≤ n + O(1) 且 ∑ₓ 2⁻ᶠ⁽ˣ⁾ 有限。
• 对任意索洛瓦函数 f，序列 α 是马丁-洛夫随机的，当且仅当对所有 n 有 K(α↾n) ≤ f(n) + O(1)。
• 序列 α 是 K-平凡的，当且仅当存在某索洛瓦函数 g，使得对所有 n 有 K(α↾n) ≤ g(n) + O(1)。
• c.e. 集合 L 的构造确保了 ∑₂⁻ᵏ < ∞，且 (α↾n, K(n)) 最终被枚举进入 L，从而证明了 K-平凡性。
• 该策略能动态适应 K(n) 估计的变化，通过限制每阶段的对数来避免因错误假设导致的重复计数，从而确保正确性。