霍尔格·赫尔曼斯;安德烈亚·图里尼 多项式时间内概率自动机弱互模拟的判定。 （英语） Zbl 1354.68157号 D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第32届会议上的演讲选择的论文。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，435-447（2012）。 摘要：在概率自动机的背景下，以有效的方式确定弱概率互模拟是一个大约十年来的公开问题。在这项工作中，我们通过提出一个程序来解决这个问题，该程序在多项式时间内检查满足互模拟步长条件的弱组合跃迁的存在性。这使我们能够得出一个多项式时间算法来确定弱概率互模拟。我们还对有趣的相关问题进行了一些扩展，为开发更有效的概率系统组合分析算法奠定了基础。有关整个系列，请参见[Zbl 1256.68007号]. 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 65年第68季度 算法和问题复杂性分析 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：概率自动机;弱概率互模拟;线性规划问题;多项式决策算法 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}和\textit{A.Turrini}，LIPIcs——莱布尼茨国际程序。通知。18、435--447（2012年；Zbl 1354.68157） 全文： 内政部 arXiv公司