不可预测性与计算不可简化
摘要：计算不可简化的直觉概念的分析和一个强大的正式定义，首先在元胞自动机领域，然后在从N到N的任何可计算函数f的一般领域中。通过对“在不需要遵循仿真自动机或函数相同路径的情况下无法计算第n步意味着什么”的强大定义进行证明，这意味着如果一个对象的行为在计算上是不可简化的，那么它的第n个状态的计算不可能比仿真本身更快。
作者：Herve Zwirn and Jean-Paul Delahaye
论文ID：1111.4121
分类：Computational Complexity
分类简称：cs.CC
提交时间：2012-02-06