关于交替奇偶Good-for-Games自动机的简洁性
形式语言与自动机理论
2020-10-01 v1
摘要
我们研究交替奇偶good-for-games(GFG)自动机，即其合取与析取选择均可以在线方式解决、无需获知待读输入词后缀的交替奇偶自动机。我们证明它们比其非确定与通用对应物在简洁性上可呈指数级优势。此外，我们给出一种单指数确定化过程，以及识别一个交替自动机是否为GFG问题的Exptime上界。我们还研究了“半GFG性”的判定复杂度，这是交替自动机特有的、仅要求非确定选择以在线方式解决的性质。我们证明该问题对于有限词上的交替自动机已是PSpace困难的。
引用
@article{arxiv.2009.14437,
title = {On the Succinctness of Alternating Parity Good-for-Games Automata},
author = {Udi Boker and Denis Kuperberg and Karoliina Lehtinen and Michał Skrzypczak},
journal= {arXiv preprint arXiv:2009.14437},
year = {2020}
}
备注
Full version of an article of the same name in the proceedings of 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). arXiv admin note: substantial text overlap with arXiv:2002.07278