×
克里希南德·查特吉;莫妮卡·亨津格;塞巴斯蒂安·克林格;丹农纳农开

具有特殊权重结构的能量博弈的多项式时间算法。 （英语） 兹比尔1303.91048

算法学 70，第3期，457-492（2014）.
总结：能源游戏属于基于旋转的两层无限长博弈在加权有向图上播放。这是一个罕见而有趣的组合问题，存在于\（\mathsf｛NP｝\cap\mathsf｛co-NP｝\）中，但不知道存在于P（P）几十年来，多项式时间算法的存在性一直是一个主要的公开问题，除了伪多项式算法之外，没有任何算法能够在多项式时间内求解任何非平凡子类。
本文基于图的权重结构给出了几个结果。首先，我们确定了处罚当惩罚较大时，提出了一种多项式时间算法。我们的算法是一大类加权图上的第一个多项式时间算法。它包括几个最坏的情况，在这些情况下，以前的算法，如值迭代和随机面算法，至少需要亚指数时间。我们的主要技术是开发第一个非平凡的近似算法并演示如何将其转换为精确算法。此外，我们表明，在验证的实际情况下，权重聚集在恒定数量的值周围，能量博弈问题可以在多项式时间内解决。我们还表明，当clique-width是有界的或图是强遍历的时，问题仍然与一般问题一样困难，这表明限制图结构不一定有帮助。

引用于6文件

MSC公司：

91A43型 涉及图形的游戏
91A05型 2人游戏
68瓦40 算法分析

关键词：

图形算法;多项式时间算法;基于回合的无限长游戏;能源游戏;平庸的游戏
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Algorithmica 70，No.3，457--492（2014；Zbl 1303.91048）
全文： 内政部 arXiv公司

参考文献：

[1] Beffara，E.，Vorobyov，S.：随机Gurvich-Karzanov-Khachiyan奇偶博弈多项式算法？乌普萨拉大学信息技术系技术代表2001-025（2001）·Zbl 0857.68119号
[2] Björklund，H.，Vorobyov，S.G.：平均收益博弈的组合强次指数策略改进算法。离散应用程序。数学。155(2), 210-229 (2007) ·兹比尔1176.68087
[3] 布隆，R。；查特吉，K。；Henzinger，T.A。；Jobstmann，B.，《通过量化目标提高合成质量》，140-156（2009）·兹比尔1242.68151
[4] Boros，E.，Elbassioni，K.，Gurvich，V.，Makino，K.：关于零和随机平均支付博弈的规范形式。动态。游戏应用程序。（2013年，待发布）·Zbl 1304.91028号
[5] Boros，E.公司。；Elbassioni，K.M。；M.福兹。；古尔维奇，V。；Makino，K。；Manthey，B.，《随机平均收益博弈：平滑分析和近似方案》，147-158（2011）·Zbl 1332.68064号
[6] 鲍耶，P。；Fahrenberg，美国。；Larsen，K.G。；马基，N。；Srba，J.，Infinite在能量约束的加权时间自动机中运行，33-47（2008）·兹比尔1171.68524
[7] Brim，L.、Chaloupka，J.、Doyen，L.，Gentilini，R.、Raskin，J.F.：均值对均值游戏的更快算法。形式方法系统。设计。38(2), 97-118 (2011) ·Zbl 1213.68430号
[8] 欧洲核子研究所，P。；查特吉，K。；Henzinger，T.A。；Radhakrishna，A。；Singh，R.，并发程序的定量合成，243-259（2011）
[9] 查克拉巴蒂，A。；阿尔法罗，L。；Henzinger，T.A。；Stoelinga，M.，资源接口，117-133（2003）
[10] Condon，A.：随机游戏的复杂性。Inf.计算。96(2), 203-224 (1992) ·Zbl 0756.90103号
[11] Courcelle，B.，Olariu，S.：图的团宽度的上界。离散应用程序。数学。101(1-3), 77-114 (2000) ·Zbl 0958.05105号
[12] Daskalakis，C。；Papadimitriou，C.H.，《持续本地搜索》，790-804（2011）·Zbl 1373.68263号
[13] Ehrenfeucht，A.，Mycielski，J.：平均回报游戏的位置策略。《国际博弈论杂志》8（2），109-113（1979）·兹比尔0499.90098
[14] Friedmann，O.，Zadeh求解线性程序和游戏的旋转规则的次指数下限，192-206（2011）·Zbl 1341.90143号
[15] 弗里德曼，O。；Hansen，T.D。；Zwick，U.，奇偶博弈随机面算法的亚指数下界，202-216（2011）·Zbl 1377.68091号
[16] 弗里德曼，O。；Hansen，T.D。；Zwick，U.，单纯形算法随机旋转规则的次指数下限，283-292（2011）·Zbl 1288.68090号
[17] Gentilini，R.，关于平均对负博弈近似的一个注记（2011）
[18] Gurvich，V.A.，Karzanov，A.V.，Khachiyan，L.G.：有向图中的循环博弈和求极小极大循环平均值的算法。苏联计算。数学。数学。物理学。28(5), 85-91 (1990) ·兹伯利0695.90105
[19] Halman，N.：简单随机游戏、平价游戏、平均支付游戏和折扣支付游戏都是LP型问题。《算法》49（1），37-50（2007）·Zbl 1131.91012号
[20] 尤尔金斯基（Jurdzinski），M.：在平价游戏中决定胜利者是UPüco-UP。信息处理。莱特。68(3), 119-124 (1998) ·Zbl 1338.68109号
[21] Kalai，G.，亚指数随机单纯形算法，475-482（1992）
[22] Kalai，G.：线性规划、单纯形算法和简单多边形。数学。程序。79(1-3), 217-233 (1997) ·Zbl 0887.90116号
[23] Karp，R.M.：有向图中最小循环平均值的特征。离散数学。23（3），309-311（1978）·Zbl 0386.05032号
[24] 列别捷夫（Lebedev，V.N.）：循环博弈的有效可解类。J.计算。系统。科学。国际44（4），525-530（2005）·Zbl 1126.91009号
[25] Lifshits，Y.M.，Pavlov，D.S.：平均回报博弈的势理论。数学杂志。科学。145(3), 4967-4974 (2007)
[26] Martin，D.A.：博雷尔确定性。安。数学。102(2), 363-371 (1975) ·Zbl 0336.02049号
[27] Matoušek，J.，Sharir，M.，Welzl，E.：线性规划的次指数界。《算法》16（4-5），498-516（1996）·Zbl 0857.68119号
[28] Obdrzálek，J.，《悬崖宽度和奇偶性游戏》，54-68（2007）·Zbl 1179.68090号
[29] 北卡罗来纳州皮萨鲁克：平均成本周期博弈。数学。操作。第24（4）号决议，817-828（1999）·Zbl 0996.91016号
[30] Roth，A。；巴尔坎，M.F。；卡莱，A。；Mansour，Y.，《交替移动游戏的平衡》，805-816（2010）·Zbl 1288.91024号
[31] 谢里尔，M。；Welzl，E.，线性规划及相关问题的组合界，569-579（1992）·Zbl 1494.68276号
[32] Vorobyov，S.：循环游戏和线性规划。离散应用程序。数学。156(11), 2195-2231 (2008) ·兹比尔1142.91310
[33] Zwick，U.，Paterson，M.：图上平均回报游戏的复杂性。西奥。计算。科学。158(1-2), 343-359 (1996) ·Zbl 0871.68138号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。