石珠自动机的熵与空间复杂性
形式语言与自动机理论
2026-05-12 v1 计算复杂性
摘要
设 L 表示对数空间类，NL 表示非对数空间类。我们使用 logCFL 表示上下文无关语言在对数空间约化下的闭包。我们证明了 NL 与 logCFL 的不等性。这一结果意味着 L 与 Ptime 的不等性以及更强的 NL 与 Ptime 的不等性。
引用
@article{arxiv.2605.08555,
title = {Entropy of pebble automata and space complexity},
author = {J. Andres Montoya},
journal= {arXiv preprint arXiv:2605.08555},
year = {2026}
}