AN 与 SGRs 中的 Rice 类复杂度下界的对数空间级回路构造
计算复杂性
2025-04-16 v1
摘要
一种新型证明技术已最近引入，将有限模型理论与动力系统相结合，用于获取对任何可在给定自动网络 (AN) 的动力学图上提出的问题的一般复杂度下界。AN 是一类由交互实体组成的抽象有限动力系统，其演化规则编码为电路，因此该研究同样适用于简洁图表示 (SGRs)。本文我们详细阐述了获取一般复杂度下界（元还原）的电路构造方法，并展示该还原在对数空间内可行。
引用
@article{arxiv.2504.11348,
title = {Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs},
author = {Aliénor Goubault-Larrecq and Kévin Perrot},
journal= {arXiv preprint arXiv:2504.11348},
year = {2025}
}