简洁单计数器网行为等价性的 EXPSPACE 困难性
计算机科学中的逻辑
2018-01-04 v1
摘要
我们注意到 [Göller, Haase, Ouaknine, Worrell, ICALP 2010]（简称 [GHOW10]）中显著的 EXPSPACE 困难性结果，使我们能够回答关于简洁单计数器网（即无零测试且计数器增减量为二进制整数的单计数器自动机）的模拟预序的一个开放性复杂度问题。该问题以及互模拟等价性，结果均为 EXPSPACE 完全。Hunter [RP 2015] 引用了 [GHOW10] 的技术来推导简洁单计数器网上可达性游戏的 EXPSPACE 困难性。我们首先给出此类可达性游戏的一个直接的、自包含的 EXPSPACE 困难性证明（通过调整单字母表交替有限自动机空性的已知 PSPACE 困难性证明）；然后我们使用标准的“防守方选择”技术将可达性游戏归约到（互）模拟游戏。
引用
@article{arxiv.1801.01073,
title = {EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets},
author = {Petr Jancar and Petr Osicka and Zdenek Sawa},
journal= {arXiv preprint arXiv:1801.01073},
year = {2018}
}