摩西·加纳迪；斯特凡·格勒；马库斯·洛伊-有限系统互模拟与仿真的复杂性

lmcs:4561-计算机科学中的逻辑方法，2018年10月26日，第14卷第4期-https://doi.org/10.23638/LMCS-14(4:5)2018
有限系统互模拟与仿真的复杂性第条

作者：Moses Ganardi；斯特凡·格勒；马库斯·洛伊

    本文研究了（bi）仿真问题的计算复杂性研究了限制图类。对于作为指针结构给出的树或术语（bi）模拟问题对于对数空间或NC$^1$是完全的，分别是。这解决了Balcázar、Gabarró和桑塔。此外，如果只有一个输入图需要是树，互模拟（仿真）问题包含在AC$^1$（LogCFL）中。在对比之下，还表明仿真问题已经是P-完全问题对于有界路径宽度的图。

    https://doi.org/10.23638/LMCS-14(4:5)2018
    资料来源：arXiv.org:1806.00256
    第14卷第4期
    发布日期：2018年10月26日
    受理日期：2018年10月24日
    提交日期：2018年6月4日
    关键词：计算机科学-计算机科学中的逻辑
    许可证：归因4.0国际（CC BY 4.0）

    共享和导出

    咨询统计

    这个页面已经被浏览了1395次。
    本文的PDF已下载502次。