×
乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔

基于度量的马尔可夫链近似最小化。 （英语） Zbl 1400.68098号

J.日志。阿尔盖布。方法计划。 100, 36-56 (2018).
摘要：在本文中，我们从基于行为度量的角度来解决马尔可夫链（MC）的近似最小化问题。具体来说，给定一个有限MC和一个正整数（k），我们正在寻找一个最多具有最小值与原始图像的距离。本文考虑的度量是Desharnais等人的双相似距离。对于这个度量，我们证明：（1）最优逼近总是存在的；（2） 该问题具有双线性规划特征；（3）证明了其阈值问题在PSPACE和NP-hard中。
除了双线性程序解之外，我们还提出了一种受期望最大化技术启发的方法，用于计算该问题的次优解。实验表明，我们的方法提供了一种实用的方法，其性能优于在最先进的双线性解算器上运行的双线性程序实现。

引用于4文件

MSC公司：

65年第68季度 形式语言和自动机
60J10型 马尔可夫链（离散状态空间上的离散时间马尔可夫过程）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

行为距离;概率模型;自动机最小化

软件：

彭农牌手表
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，J.Log。阿尔盖布。方法计划。100,36-56（2018；Zbl 1400.68098）
全文： 内政部 arXiv公司 链接

参考文献：

[1] 巴奇，G。；巴奇，G。；Larsen，K.G。；Mardare，R.，《关于马尔可夫链的基于度量的近似最小化》，（Chatzigiannakis，I.；Indyk，P.；Kuhn，F.；Muscholl，A.，第44届国际自动化、语言和编程学术讨论会（ICALP 2017），LIPIcs。莱布尼茨国际程序。通知。，第80卷，（2017年），德国达格斯图尔-莱布尼茨-泽特鲁姆信息学院，104:1-104:14·Zbl 1400.68098号
[2] Moore，E.F.，Gedanken在时序机器上的实验，（自动化研究，（1956），普林斯顿大学），129-153
[3] Hopcroft，J.，《有限自动机中最小化状态的一种算法》（Kohavi，Z.；Paz，a.，《机器与计算理论》，（1971），学术出版社），189-196·Zbl 0293.94022号
[4] Kanellakis，P.C。；Smolka，S.A.，CCS表达式、有限状态过程和三个等价问题，（第二届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，（1983），ACM），228-240
[5] Kanellakis，P.C。；Smolka，S.A.，《CCS表达式、有限状态过程和三个等价问题》，Inf.Comput。，86, 1, 43-68, (1990) ·兹比尔0705.68063
[6] Milner，R.，《通信系统演算》，Lect。注释计算。科学。，第92卷，（1980），施普林格·Zbl 0452.68027号
[7] Baier，C.，测试概率互模拟和模拟的多项式时间算法，（CAV，Lect.Notes Compute.Sci.，第1102卷，（1996），Springer），50-61
[8] Larsen，K.G。；Skou，A.，通过概率测试的互模拟，Inf.Comput。，94, 1, 1-28, (1991) ·Zbl 0756.68035号
[9] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Halbwachs，N。；Dill，D.L。；Wong-Toi，H.，时间转移系统的最小化，（CONCUR，Lect.Notes Compute.Sci.，第630卷，（1992），Springer），340-354
[10] Yannakakis，M。；Lee，D.，最小化实时过渡系统的有效算法，形式方法系统。设计。，11, 2, 113-136, (1997)
[11] 张，S。；Smolka，S.A.，《等价检查算法的高效并行化》，（FORTE，IFIP Trans.，第C-10卷，（1992），North-Holland），121-135
[12] 布洛姆，S。；Orzan，S.，状态空间强互模拟约简的分布式算法，Int.J.Softw。工具技术。变压器。，7，1，74-86，（2005年）
[13] Lee，D。；Yannakakis，M.，过渡系统的在线最小化（扩展摘要），（ACM计算理论年度研讨会，（1992），ACM），264-274
[14] Jou，C.-C。；Smolka，S.A.，概率过程的等价、同余和完全公理化，（CONCUR’90并发理论：统一和扩展，Lect.Notes计算科学，第458卷，（1990）），367-383·Zbl 0746.68005号
[15] Desharnais，J。；古普塔，V。；Jagadeesan，R。；Panangaden，P.，标记马尔可夫系统的度量，（CONCUR，Lect.Notes Compute.Sci.，第1664卷，（1999），Springer），258-273·Zbl 0939.68081号
[16] van Breugel，F。；Worrell，J.，《概率转移系统的定量验证》，（ICALP，Lect.Notes Compute.Sci.，第2076卷，（2001）），421-432·Zbl 0986.68093号
[17] van Breugel，F。；Worrell，J.，概率转移系统中行为距离的近似和计算，Theor。计算。科学。，360, 3, 373-385, (2006) ·Zbl 1097.68102号
[18] 陈，D。；van Breugel，F。；Worrell，J.，《关于计算概率相似性的复杂性》，（FoSSaCS，Lect.Notes Compute.Sci.，第7213卷，（2012），Springer），437-451·Zbl 1352.68096号
[19] 弗恩斯，N。；帕南加登，P。；Precup，D.，有限马尔可夫决策过程的度量，（UAI，（2004），AUAI出版社），162-169
[20] 科奇瓦拉，M。；Stingl，M.，PENNON：凸非线性和半定规划的代码，Optim。方法软件。，18, 3, 317-333, (2003) ·Zbl 1037.90003号
[21] 科奇瓦拉，M。；Stingl，M.，Penbmi 2.0（2016）
[22] 麦克拉克伦，G.J。；Krishnan，T.，《EM算法和扩展》（2008），威利国际科学·Zbl 1165.62019号
[23] Benedikt，M。；伦哈特，R。；Worrell，J.，区间马尔可夫链的LTL模型检验，（TACAS，Lect.Notes Compute.Sci.，第7795卷，（2013），Springer），32-46·Zbl 1381.68147号
[24] 弗朗西斯科尼斯，G。；Muntz，R.R.，拟可泵马尔可夫链的界，性能评估。，20, 1-3, 223-243, (1994)
[25] Balle，B。；帕南加登，P。；Precup，D.，加权自动机的规范形式及其在近似最小化中的应用，（LICS，（2015），IEEE计算机协会），701-712·兹比尔1401.68145
[26] Desharnais，J。；古普塔，V。；Jagadeesan，R。；Panangaden，P.，标记马尔可夫过程的度量，Theor。计算。科学。，318, 3, 323-354, (2004) ·Zbl 1068.68093号
[27] 拜尔，C。；Katoen，J.-P.，《模型检验原理》（2008），麻省理工学院出版社·Zbl 1179.68076号
[28] Canny，J.F.，《PSPACE中的一些代数和几何计算》，（第20届ACM计算理论研讨会论文集（STOC'88），（1988），ACM），460-467
[29] 德里萨维，S。；Hermanns，H。；Sanders，W.H.，马尔可夫链中的最优状态空间集总，Inf.过程。莱特。，87, 6, 309-315, (2003) ·Zbl 1189.68039号
[30] 巴奇，G。；巴奇，G。；Larsen，K.G。；Mardare，R.，《马尔可夫链上从分支到线性度量的收敛》，（ICTAC，Lect.Notes Compute.Sci.，第9399卷，（2015），Springer），349-367·Zbl 1407.68277号
[31] 巴奇，G。；巴奇，G。；Larsen，K.G。；Mardare，R.，双相似距离的实时精确计算，（TACAS，Lect.Notes Compute.Sci.，vol.7795，（2013）），1-15·Zbl 1381.68218号
[32] 唐奇。；van Breugel，F.，计算标记马尔可夫链概率双相似距离的算法，（Meyer，R.；Nestmann，U.，第28届并发理论国际会议（CONCUR 2017），LIPIcs。莱布尼茨国际程序。通知。，第85卷，（2017年），德国达格斯图尔-莱布尼茨-泽特鲁姆信息学院，27:1-27:16·Zbl 1442.68152号
[33] Chen，T。；Kiefer，S.，关于标记马尔可夫链的总变异距离，（CSL-LICS’14，（2014），ACM），33:1-33:10·Zbl 1395.68202号
[34] Etessami，K。；Yannakakis，M.，递归马尔可夫链，随机文法，非线性方程的单调系统，J.ACM，56，1，1:1-1:66，（2009）·Zbl 1325.68091号
[35] Allender，E。；Bürgisser，P。；Kjeldgaard-Pedersen，J。；Miltersen，P.B.，《关于数值分析的复杂性》，SIAM J.Compute。，38, 5, 1987-2006, (2009) ·Zbl 1191.68329号
[36] 布鲁姆，L。；Cucker，F。；舒布，M。；Smale，S.，《复杂性与实际计算》（1998），Springer-Verlag New York，Inc.，美国新泽西州塞考克斯
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。