有限系统上的双模拟与模拟的复杂性
摘要：受限图类的（双向）仿真问题的计算复杂性研究。对于以指针结构或术语形式给出的树，（双向）仿真问题分别对数空间或NC^1是完全的。这解决了Balc'azar、Gabarr'o和S'mantha提出的一个开放问题。此外，如果只要求其中一个输入图是树，则双向仿真（仿真）问题包含在AC^1（LogCFL）中。相反，还证明了仿真问题对于有界路径宽度的图而言已经是计算复杂性完全的。
作者：Moses Ganardi, Stefan G"oller, Markus Lohrey
论文ID：1806.00256
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22