提取器与 Muchnik 定理的高效变体

Muchnik 关于简单条件描述的定理指出，对于所有字 $a$ 和 $b$，存在一个短程序 $p$ 将 $a$ 转换为 $b$，该程序具有最小可能长度且在条件 $b$ 下是简单的。本文基于提取器给出了该定理的一个新证明。利用提取器技术，证明了空间和时间受限 Kolmogorov 复杂性下 Muchnik 定理的两个新版本。