抽取器与Muchnik定理的高效变体
摘要：简单条件描述的Muchnik定理，陈述了对于所有的词$a$和$b$，存在一段将$a$转换为$b$的最短程序$p$，且在$b$的条件下是简单的。本文提出了该定理的新证明，基于抽取器技术。利用抽取器技术，还证明了关于空间和时间受限的Kolmogorov复杂性的Muchnik定理的两个新版本。
作者：Daniil Musatov
论文ID：0811.3958
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-11-25