真菌自动机预测的复杂度
计算复杂性
2026-04-17 v1 形式语言与自动机理论
摘要
真菌自动机是一种受自然启发的计算模型，其中规则交替垂直和水平地应用。本文我们研究了所有半径为 1 的真菌冻结总称一维规则的动力学预测复杂度，这些规则表现出各种行为。尽管大多数情况都可以用非确定性对数空间算法高效预测，但仍有一个非线性规则尚未被阐明。我们进一步探索了冻结多数规则（它是总称的），并证明在半径为 1.5 时预测它变为 P-complete。
引用
@article{arxiv.2604.15177,
title = {Complexity of Fungal Automaton Prediction},
author = {Enrico Formenti and Eric Goles and Kévin Perrot and Martín Ríos-Wilson and Domingo Ruiz-Tala},
journal= {arXiv preprint arXiv:2604.15177},
year = {2026}
}