概率程序及其VASS抽象的渐近复杂度估计
摘要：概率程序渐近复杂性分析的标准方法基于研究期望值的渐近增长（如期望的终止时间）随着输入规模的增加。我们认为这种方法不够健壮，特别是在期望值为无穷大时。我们提出了一种新的估计方法，用于解决具有非确定性选择的概率程序的渐近分析问题。此外，我们还展示了如何高效地计算/分析这些估计值，针对以状态向量相加系统为代表的一些类别的程序，将其表示为马尔可夫决策过程。
作者：Michal Ajdar''ow, Anton''in Kuv{c}era
论文ID：2307.04707
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-13