Kolmogorov 复杂度与伊甸园定理

设 $\tau$ 为定义在顺从群和有限字母表上的元胞自动机。著名的伊甸园定理指出，$\tau$ 的单射前性是伊甸园构型不存在的等价条件。本文证明，在施加某些温和限制后，我们可以添加另一个等价断言：伊甸园构型的不存在等价于在元胞自动机作用下渐近 Kolmogorov 复杂度的保持。这给出了保持渐近 Kolmogorov 复杂度的元胞自动机的一个刻画。