乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 （英语） Zbl 1442.68079号 Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第104条，第14页（2017年）。 小结：我们研究了基于行为度量的马尔可夫链近似最小化问题，即给定一个有限的马尔可夫链和一个正整数（k），我们感兴趣的是找到一个与原链距离最小的（k）状态MC。通过将Desharnais等人的双相似距离作为度量，我们证明了最优逼近总是存在的；证明了该问题可以作为双线性规划求解；并证明其阈值问题在PSPACE和NP-hard中。最后，我们提出了一种受期望最大化技术启发的方法，该方法提供了次优解决方案。实验表明，我们的方法提供了一种实用的方法，其性能优于在最先进的双线性解算器上运行的双线性程序实现。关于整个系列，请参见[兹比尔1373.68018]. 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：行为距离;概率模型;自动机最小化 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。80，第104条，第14页（2017年；Zbl 1442.68079） 全文： 内政部