论Good-for-MDPs自动机的简洁性
形式语言与自动机理论
2023-07-24 v1
摘要
Good-for-MDPs与good-for-games自动机是两类近期的非确定自动机，位于一般非确定自动机与确定自动机之间。确定自动机是good-for-games的，而good-for-games自动机是good-for-MDPs的，但反之不成立。由此引发的一个问题是这些类在简洁性方面如何关联。已知good-for-games自动机比确定自动机在指数级别上更简洁，但good-for-MDPs与good-for-games自动机之间的差距，以及普通非确定自动机与good-for-MDPs自动机之间的差距一直未明。我们确立这些差距是指数级的，并通过证明当将非确定自动机限制为分离安全性（separating safety）或无歧义可达性（unambiguous reachability）自动机时后一差距仍是指数级，从而 sharpen 了这一结果。
引用
@article{arxiv.2307.11483,
title = {On the Succinctness of Good-for-MDPs Automata},
author = {Sven Schewe and Qiyi Tang},
journal= {arXiv preprint arXiv:2307.11483},
year = {2023}
}
备注
18 pages