塞勒姆·德里萨维;霍尔格·赫尔曼斯;威廉·H·桑德斯。 马尔可夫链中的最优状态空间集块。 （英语） 兹比尔1189.68039 信息处理。莱特。 87，第6号，309-315（2003）。 摘要：我们证明了有限马尔可夫链的最优集总商可以在（O（m|gn））时间内构造，其中（n）是状态数，（m）是转移数。我们的证明依赖于八字树的使用D.D.滑雪者和R.E.Tarjan先生[J.Assoc.Comput.Mach.32652–686（1985；Zbl 0631.68060号)]对过渡权重进行排序。 引用于1审查引用于43文件 MSC公司： 68页第10页 搜索和排序 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：互模拟;计算复杂性;汇集性;马尔可夫链;八字树 引文：Zbl 0631.68060号 软件：莫比乌斯 PDF格式BibTeX公司 XML格式引用 \textit{S.Derisavi}等人，《信息处理》。莱特。87，第6号，309--315（2003；Zbl 1189.68039） 全文： 内政部 参考文献： [1] 阿霍，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.，《计算机算法的设计与分析》（1974），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0207.01701号 [2] 伯纳多，M。；Gorrieri，R.，《EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论》，Theoret。计算。科学。，202, 1-54 (1998) ·Zbl 0902.68075号 [3] Buchholz，P.，有限马尔可夫链中的精确和普通集总性，J.Appl。概率。，31, 59-75 (1994) ·Zbl 0796.60073号 [4] Buchholz，P.，《随机自动机等价表示和约简表示的有效计算》，国际。J.计算。系统科学。工程，15，2，93-103（2000）·Zbl 0954.68008号 [5] 迪沃斯，D.D。；克拉克·G。；科特尼，T。；Daly，D。；德里萨维，S。；多伊尔，J.M。；桑德斯，W.H。；韦伯斯特，P.，莫比乌斯框架及其实现，IEEE Trans。软件工程，28，10，956-969（2002） [6] H.Hermanns，交互式马尔可夫链，博士论文，弗里德里希·阿莱克山德大学，爱尔兰根纽伦堡，1998年；H.Hermann，交互式马尔可夫链，博士论文，德国埃尔兰根-纽伦堡弗里德里希-亚历山大大学，1998年·兹标0937.60065 [7] Hermanns，H。；Siegle，M.，《随机过程代数的双模拟算法及其基于BDD的实现》，（Katoen，J.-P.，ARTS’99，第五届国际AMAST实时和概率系统研讨会，第1601卷（1999），Springer:Springer-Berlin），144-264 [8] Hillston，J.，《绩效建模的组合方法》（1996），剑桥大学出版社：剑桥大学出版社 [9] Hopcroft，J.E.，《有限自动机中最小化状态的（n）log（n）算法》，（Kohavi，Z.；Paz，a.，《机器与计算理论》（1971），学术出版社：纽约学术出版社），189-196·Zbl 0293.94022号 [10] Howard，R.A.，《动态概率系统》，第二卷：半马尔科夫和决策过程（1971），威利出版社，纽约·Zbl 0227.90032号 [11] Huynh，D.T。；Tian，L.，关于概率过程的一些等价关系，Fund。通知。，17, 211-234 (1992) ·Zbl 0766.68099号 [12] Kanellakis，宾夕法尼亚州。；Smolka，S.A.，《CCS表达式、有限状态过程和三个等价问题》（Proc.ACM分布式计算原理研讨会（1983）），228-240 [13] Kemeney，J.G。；Snell，J.L.，《有限马尔可夫链》（1960），D.Van Nostrand：D.Van Nostrand纽约·Zbl 0089.13704号 [14] Larsen，K。；Skou，A.，通过概率测试的相互模拟，Inform。和计算。，94, 1, 1-28 (1991) ·Zbl 0756.68035号 [15] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔伦敦·Zbl 0683.68008号 [16] 佩奇，R。；Tarjan，R.E.，三分区优化算法，SIAM J.Compute。，16, 6, 973-989 (1987) ·Zbl 0654.68072号 [17] Schweitzer，P.J.，《大型马尔可夫链的聚合方法》（Iazeolla，G.；Courtois，P.J；Hordijk，A.，《数学计算机性能和可靠性》（1984），Elsevier:Elsevier Amsterdam），275-302 [18] 斯莱托，D.D。；Tarjan，R.E.，自调整二进制搜索树，J.ACM，32，3，652-686（1985）·Zbl 0631.68060号 [19] 美国苏米塔。；Rieders，M.，大型马尔可夫链聚合-聚合方法中的集总性和时间可逆性，Comm.Statist。随机模型，563-81（1989）·Zbl 0667.60068号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。