基础树重写图的一阶理论
计算机科学中的逻辑
2015-07-01 v4 计算复杂性
摘要
我们证明了基础树重写图的统一一阶理论的复杂度属于ATIME(2^{2^{poly(n)}},O(n))。通过提供一个匹配的下界，我们证明存在某个固定的基础树重写图，其一阶理论对于对数空间归约而言是ATIME(2^{2^{poly(n)}},poly(n))-难的。最后，我们证明存在一个固定的基础树重写图，连同以正则树语言形式给出的单个一元谓词，使得所得到的结构具有非初等的一阶理论。
引用
@article{arxiv.1107.0919,
title = {The First-Order Theory of Ground Tree Rewrite Graphs},
author = {Stefan Göller and Markus Lohrey},
journal= {arXiv preprint arXiv:1107.0919},
year = {2015}
}
备注
accepted for Logical Methods in Computer Science