概率自动机等价性问题的复杂性研究
摘要：检查两个概率自动机是否等价已被证明是高效建立概率系统的各种行为和匿名性属性的关键问题。最近的实验证明，基于多项式恒等测试的随机等价测试优于确定性算法。在本文中，我们展示了多项式恒等测试在等价问题的各种推广中产生了高效的算法。首先，我们提供了一个随机化的NC过程，在不等价的情况下还输出反例轨迹。其次，我们展示了如何检查有（累积）奖励的两个概率自动机是否等价。如果奖励计数器的数量是固定的，我们的算法在确定性多项式时间内运行。最后，我们展示了概率可见下推自动机的等价问题与算术电路恒等测试问题的寻路等价性，即决定由算术电路表示的多项式是否恒等于零。
作者：Stefan Kiefer and Andrzej S. Murawski and Jo"el Ouaknine and Bj"orn Wachter and James Worrell
论文ID：1112.4644
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-01-09