空间有界丘奇-图灵论题与封闭系统的计算易处理性
计算复杂性
2019-05-15 v1
摘要
我们报告了物理系统执行计算能力的一个新限制——该限制基于将系统执行计算可用的记忆或存储空间概念进行推广。粗略地，我们将记忆定义为演化系统能从一个时刻携带到下一时刻的最大信息量。我们表明，即便对演化系统没有任何时间限制（例如考虑其平衡态 regime 时），记忆也是计算的限制因素。我们称此限制为空间有界丘奇-图灵论题（SBCT）。SBCT 得到模拟断言（SA）的支持，该断言指出预测有界记忆系统的长期行为是计算上易处理的。特别地，SA 的一个推论是受噪声影响的离散时间有限维动力系统长期行为的计算困难性的显式界。我们显式地证明了这样一个界。
引用
@article{arxiv.1905.03610,
title = {Space-bounded Church-Turing thesis and computational tractability of closed systems},
author = {Mark Braverman and Cristobal Rojas and Jonathan Schneider},
journal= {arXiv preprint arXiv:1905.03610},
year = {2019}
}
备注
6 pages