关于良好MDP自动机的简洁性
摘要：好于马尔可夫决策过程（MDP）和好于博弈自动机是最近两种存在于一般非确定性和确定性自动机之间的非确定性自动机类别。确定性自动机是好于博弈的，而好于博弈自动机是好于MDP的，反之则不成立。这引发了一个问题，即这些类别在简洁性方面的关系如何。已知好于博弈自动机比确定性自动机具有指数级的简洁性差距，但好于MDP自动机和好于博弈自动机之间的差距以及普通非确定性自动机和好于MDP自动机之间的差距尚未解决。我们证明了这些差距是指数级的，并通过将非确定性自动机限制为可分离的安全性或明确可达性自动机，进一步明确了该结果。
作者：Sven Schewe and Qiyi Tang
论文ID：2307.11483
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-24