Scifaro

中文

元胞自动机敏感性的描述复杂性

动力系统 2025-05-06 v2 计算复杂性逻辑

作者: Tom Favereau , Ville Salo

在 arXiv 上查看 ↗ PDF ↗

摘要

我们研究了判定元胞自动机是否对初始条件敏感的计算复杂性。我们证明该问题在一维情况下是 $\Pi^0_2$ -完全的，在二维及更高维情况下是 $\Sigma^0_3$ -完全的。这解决了 Sablik 和 Theyssier 提出的一个问题。

关键词

元胞自动机初始条件敏感性描述复杂性计算复杂性动力系统

引用

@article{arxiv.2504.05012,
  title  = {Descriptive Complexity of Sensitivity of Cellular Automata},
  author = {Tom Favereau and Ville Salo},
  journal= {arXiv preprint arXiv:2504.05012},
  year   = {2025}
}

备注

16 pages, 4 figures, accepted to AUTOMATA 2025. Addressed referee comments