马西莫·贝内雷切蒂；丹尼尔·德尔巴；法比奥·莫加维罗 通过准自治权求解均值对价博弈。 （英语） Zbl 1484.91004号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 289-306 (2020). 摘要：我们提出了一种新的算法来求解平庸的游戏将平价游戏中引入的两个看似无关的概念融合在一起，小进度措施和准自治领。我们表明，将这两个概念结合起来可以非常有益，并显著加快收敛到问题解的速度。实验表明，该算法在不牺牲最坏情况复杂度的情况下，比目前已知的渐近最优解算法性能好几个数量级。关于整个系列，请参见[Zbl 1471.68010号]. 引用于1文件 MSC公司： 91A05型 2人游戏 91A70型 游戏空间 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，Lect。注释计算。科学。12079289-306（2020年；兹比尔1484.91004） 全文： DOI程序 参考文献： [1] Zwick，U.，Paterson，M.：图上平均回报游戏的复杂性·Zbl 0871.68138号 [2] E.Witt，“Beweisstudien zum Satz von M.Zorn”，明尼苏达州，第4卷，第1-6期，第434-438页，1950年·Zbl 0042.05002号 [3] T.van Dijk，“Oink:现代对等游戏求解器的实现和评估”，载于TACAS’18，ser。LNCS 10805。施普林格，2018年，第291-308页。 [4] S.Schewe，《求解平价和回报博弈的最优策略改进算法》，CSL’08，ser。LNCS 5213。施普林格，2008年，第369-384页·兹比尔1156.68478 [5] N.Pisaruk，“平均成本循环游戏”，MOR，第24卷，第4期，第817-8281999页·Zbl 0996.91016号 [6] Y.Lifshits和D.Pavlov，“平均回报博弈的潜在理论”，《JMS》，第145卷，第3期，第4967-4974页，2007年。 [7] N.Klarlund，“欧米伽自动机与时间逻辑应用互补的进度度量”，收录于FOCS’91。IEEECS，1991年，第358-367页。 [8] M.Jurdziánski和R.Lazic，《解决平价游戏的简明进度措施》，LICS’17。ACM，2017年，第1-9页·Zbl 1457.68125号 [9] M.Jurdziñski，“解决平价游戏的小进度措施”，STACS'00，ser。LNCS 1770。施普林格，2000年，第290-301页·Zbl 0962.68111号 [10] M.Jurdziñski，“决定平价游戏的胜利者是在UP（\cap）co-UP中”，《国际公共图书馆》，第68卷，第3期，第119-124页，1998年·Zbl 1338.68109号 [11] V.Gurvich、A.Karzanov和L.Khachivan，“循环博弈和在有向图中寻找极小极大循环均值的算法”，USSRCMMP，第28卷，第5期，第85-91页，1988年·Zbl 0695.90105号 [12] O.Friedmann和M.Lange，“在实践中解决平价游戏”，ATVA’09，ser。LNCS 5799。Springer，2009年，第182-196页·Zbl 1258.68077号 [13] M.Fellows和N.Koblitz，“自见证多项式时间复杂性和素因子分解”，CSCT’92。IEEECS，1992年，第107-110页。 [14] J.Fearnley、S.Jain、S.Schewe、F.Stephan和D.Wojtczak，“在拟多项式时间和拟线性空间中求解奇偶博弈的有序方法”，SPIN’17。ACM，2017年，第112-121页。 [15] A.Ehrenfeucht和J.Mycielski，“平均回报游戏的位置策略”，《国际JGT》，第8卷，第2期，1979年·Zbl 0499.90098号 [16] V.Dhingra和S.Gaubert，“如何通过策略迭代求解具有平均回报的大规模确定性博弈”，见VALUETOOLS’06。ACM，2006年，第12页。 [17] A.Condon，“随机游戏的复杂性”，IC，第96卷，第2期，第203-224页，1992年·Zbl 0756.90103号 [18] C.Comin和R.Rizzi，“平均回报博弈中价值问题和最优策略合成的改进伪多项式界”，《算法》，第77卷，第4期，2017年·Zbl 1364.68384号 [19] C.Comin和R.Rizzi，《通过Mean-Payoff游戏实现条件简单时间网络的动态一致性：单指数时间DC检验》，《时代周刊》2015年。IEEECS，2015，第19-28页。 [20] C.Comin、R.Posenato和R.Rizzi，“超时间网络——简单时间网络的可追踪概括及其与Mean-Payoff游戏的关系”，《约束》，第22卷，第2期，2017年·Zbl 1390.90102号 [21] R.B.K.Chatterjee、T.Henzinger和B.Jobstmanand，“通过定量目标提高合成质量”，载于CAV’09，2009年，第140-156页·Zbl 1242.68151号 [22] L.Brim、J.Chaloupka、L.Doyen、R.Gentilini和J.-F.Raskin，“Mean-Payoff游戏的更快算法”，FMSD，第38卷，第2期，第97-118页，2011年·Zbl 1213.68430号 [23] L.Brim和J.Chaloupka，“利用战略改进保持活力”，《国际儿童基金会杂志》，第23卷，第3期，第585-608页，2012年·Zbl 1246.91024号 [24] P.Bouyer、U.Fahrenberg、K.Larsen、N.Markey和J.Srba，“能量约束下加权时间自动机的无限运行”，收录于《格式》2008年。施普林格，2008年，第33-47页·Zbl 1171.68524号 [25] N.Bourbaki，《佐恩之路》，AM，第2卷，第6期，第434-437页，1949年·Zbl 0045.32902号 [26] U.Boker、K.Chatterjee、T.Henzinger和O.Kupferman，“具有累积值的时间规范”，LICS 2011年11月，第43-52页·Zbl 1354.68169号 [27] A.Bohy、V.Bruyère、E.Filiot和J.-F.Raskin，“基于LTL规范与Mean-Payoff目标的综合”，载于《TACAS》2013年第13期，第169-184页·兹比尔1381.68149 [28] H.Björklund和S.Vorobyov，“Mean-Payoff游戏的组合强次指数策略改进算法”，DAM，第155卷，第2期，第210-229页，2007年·Zbl 1176.68087号 [29] H.Björklund、S.Sandberg和S.Vorobyov，“Mean-Payoff游戏的组合强次指数策略改进算法”，MFCS’04，2004年，第673-685页·Zbl 1097.91020号 [30] M.Benerecetti、D.Dell'Erba和F.Mogavero，“通过优先促销解决平价游戏”，载于CAV’16，ser。LNCS 9780（第二部分）。Springer，2016年，第270-290页·Zbl 1411.68047号 [31] X.Allamigeon、P.Benchimol、S.Gaubert和M.Joswig，“简化单纯形算法”，SIAM，第29卷，第2期，第751-795页，2015年·Zbl 1334.14033号 [32] X.Allamigeon、P.Benchimol和S.Gaubert，“热带阴影顶点算法平均求解多项式时间内的平均收益博弈”，ICALP 2014年第14期，第89-100页·Zbl 1409.68129号 [33] X.Allamigeon、P.Benchimol和S.Gaubert，“组合单纯形算法可以解决Mean-Payoff游戏”，SIAM，第24卷，第4期，第2096-2117页，2014年·Zbl 1336.90057号 [34] M.Agrawal、N.Kayal和N.Saxena，“PRIMES is in P.”AM，第160卷，第2期，第781-793页，2004年·Zbl 1071.11070号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。