摘要：Gacs-Kucera定理的强化版本由Barmpalias和Lewis-Pye提出，该定理将每个无限序列约化为一个Kolmogorov-Martin-Lof随机序列，并广泛应用于各种数学和计算机科学领域。早期的证明稍显繁琐，但使用一些通用概念可以大大简化，本文对此进行了详细说明。
作者：Leonid A. Levin
论文ID：2207.12489
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-08-23
PDF 下载： 英文版 中文版pdf翻译中