阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;文西斯拉夫·乔涅夫 无限期竞标游戏。 (英语) Zbl 1448.91061号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第21条,第18页(2017年)。 摘要:图上的双人游戏在形式化方法中得到了广泛研究,因为它们模拟了系统与其环境之间的交互。游戏是通过在图中移动一个令牌来产生一条无限的路径。有几种常见模式可以确定玩家如何在图形中移动令牌;例如,在回合制游戏中,玩家轮流移动代币。我们研究移动代币的出价模式,据我们所知,这在无限长博弈中从未研究过。两个玩家都有各自的预算,总计为1。在每个回合中,都会进行竞标。双方同时提交投标书,如果不超过可用预算,则投标是合法的。竞标的获胜者向其他玩家支付竞标并移动令牌。对于可达性目标,研究了重复投标博弈,称为Richman博弈[A.J.拉扎勒斯等,《游戏经济》。行为。27,第2229-264号(1999年;Zbl 0949.91001号); 数学。科学。Res.Inst.出版。29, 439–449 (1997;Zbl 0873.90139号)]. 其中,一个中心问题是门槛预算的存在和计算;也就是说,一个值\(t \ in[0,1]\),如果玩家1的预算超过\(t),他就可以赢得游戏,如果玩家2的预算超出\(1-t),则他可以赢得游戏。我们专注于平价游戏和平均值游戏。我们证明了这些游戏中存在阈值预算,并将找到它们的问题简化为Richman游戏。我们还确定了最优策略的策略复杂性。我们最有趣的结果表明,无记忆策略适用于平均价格竞价游戏。关于整个系列,请参见[Zbl 1372.68016号]. 引用于4文件 MSC公司: 91A43型 涉及图形的游戏 05第57页 图形游戏(图形理论方面) 91A05型 2人游戏 91A20型 多阶段重复游戏 关键词:投标游戏;平价游戏;平庸的游戏;里奇曼游戏 引文:Zbl 0949.91001号;Zbl 0873.90139号 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,LIPIcs——莱布尼茨国际程序。通知。85,第21条,第18页(2017年;Zbl 1448.91061) 全文: 内政部 参考文献: [1] S.Almagor、G.Avni和O.Kupferman。修复多层游戏。2015年,第325-339页·Zbl 1374.68317号 [2] S.Almagor、D.Kuperberg和O.Kupferman。监测和合成的传感成本。2015年,第35届FSTTCS会议,第380-393页·Zbl 1366.68131号 [3] R.Alur、T.A.Henzinger和O.Kupferman。交替时间时序逻辑。{\it J.ACM},49(5):672-7132002·Zbl 1326.68181号 [4] K.R.Apt和E.Grädel。{计算机科学家博弈论讲座}。剑桥大学出版社,2011年·Zbl 1214.91003号 [5] G.Avni、S.Guha和O.Kupferman。一种用于网络游戏推理的抽象再定义方法。在2017年第26届IJCAI会议记录中·Zbl 1418.91097号 [6] G.Avni、S.Guha和O.Kupferman。定时网络游戏。在2017年第42届MFCS会议上·Zbl 1441.91014号 [7] G.Avni、T.A.Henzinger和V.Chonev。无限期竞标游戏。{\it CoRR},abs/1705.014332017年。https://arxiv.org/abs/1705.01433。 ·Zbl 1448.91061号 [8] G.Avni、T.A.Henzinger和O.Kupferman。动态资源分配游戏。在{it Proc.}{it 9th SAGT}中,第153-166页,2016年·Zbl 1403.91059号 [9] G.Avni、O.Kupferman和T.Tamir。具有多组资源和综合应用的拥塞博弈。2015年,第35-FSTTCS}号{it Proc.,第365-379页·Zbl 1369.91007号 [10] G.Avni、O.Kupferman和T.Tamir。有固定目标的网络形成游戏。{信息计算},251:165-1782016·兹比尔1353.91012 [11] N.Berger、N.Kapur、L.J.Schulman和V.V.Vazirani。偿付能力游戏。在{it Proc.28}{it FSTTCS},第61-72页,2008年·Zbl 1248.91021号 [12] P.Bouyer、R.Brengier、N.Markey和M.Ummels。具有比奇目标的并发博弈中的纳什均衡。在2011年《联邦贸易与技术委员会第31号程序》第375-386页·Zbl 1246.68122号 [13] T.Brázdil、V.Brozek、K.Etessami和A.Kucera。近似单计数器MDP和随机博弈的终止值。在{it Proc.38th ICALP}中,第332-343页,2011年·Zbl 1334.68113号 [14] T.Brázdil、V.Brozek、K.Etessami、A.Kucera和D.Wojtczak。单计数器马尔可夫决策过程。2010年,第863-874页,{it Proc.21st SODA}·Zbl 1288.90119号 [15] R.Brenguier、L.Clemente、P.Hunter、G.A.Pérez、M.Randour、J.-F.Raskin、O.Sankur和M.Sassolas。反应合成的非零和博弈。在{第十届拉丁美洲贸易协定公报}中,第3-23页,2016年·兹比尔1435.68147 [16] T.Brihaye、V.Bruyère、J.De Pril和H.Gimbert。定量可达博弈中的子博弈完美性。{计算机科学中的逻辑方法},9(1),2012·Zbl 1352.68146号 [17] V.Bruyère、N.Meunier和J.-F.Raskin。加权博弈中的安全均衡。在{it Proc.}{it CSL-LICS}中,第26:1-26:26页,2014年·Zbl 1401.91012号 [18] K.Chatterjee、T.A.Henzinger和M.Jurdzinski。具有安全均衡的游戏。{理论}{计算科学},365(1-2):67-822006·Zbl 1108.91007号 [19] K.Chatterjee、T.A.Henzinger和N.Piterman。战略逻辑。{信息计算},208(6):677-6932010·Zbl 1205.68197号 [20] K.Chatterjee、R.Majumdar和T.A.Henzinger。具有预算约束的控制器综合。在{it Proc.11th HSCC}中,第72-86页,2008年·Zbl 1144.93312号 [21] K.Chatterjee、R.Majumdar和M.Jurdzinski。随机博弈中的纳什均衡。在2004年第13次CSL会议记录第26-40页中·Zbl 1095.91001号 [22] :17 [23] :18 [24] A.康登。关于简单随机对策的算法。在{\it Proc.DIMACS}中,第51-72页,1990年·Zbl 0808.90141号 [25] M.Develin和S.Payne。离散竞价游戏。{组合数学电子杂志},17(1):R852010·Zbl 1188.91048号 [26] K.Etessami、D.Wojtczak和M.Yannakakis。准生灭过程、树状qbds、概率1-计数器自动机和下推系统。{\it-Perform.Eval.},67(9):837-8572010年。 [27] D.Fisman、O.Kupferman和Y.Lustig。理性综合。2010年,第190-204页,{it Proc.16th TACAS}·Zbl 1284.68396号 [28] C.Haase和S.Kiefer。维持预算的可能性。在第42届ICALP会议记录中,第234-2462015页·Zbl 1440.68119号 [29] M.Holtmann、L.Kaiser和W.Thomas。常规无限游戏中的前瞻度。{计算机科学中的逻辑方法},8(3),2012·Zbl 1284.68401号 [30] F.A.Hosch和L.H.Landweber。序列条件的有限延迟解。1972年,第45-60页。 [31] K.Johnson、D.Simchi-Levi和P.Sun。分析纸币系统。{\it运筹学},62(3):524-5342014·Zbl 1307.91127号 [32] G.Kalai、R.Meir和M.Tennenholtz。竞标游戏和高效分配。在{it Proc.}{it 16th EC}中,第113-130页,2015年·Zbl 1419.91072号 [33] I.A.Kash、E.J.Friedman和J.Y.Halpern。优化纸币系统:崩溃、利他主义者、囤积者、西比尔和共谋。{\it分布式计算},25(5):335-3572012·Zbl 1256.68017号 [34] G.Katriel。赌徒破产概率——一个通用公式。统计与概率,83:2205-22102013·Zbl 1283.91027号 [35] F.Klein和M.Zimmermann。要赢得无限的比赛需要多少前瞻性?计算机科学中的逻辑方法,12(3),2016·Zbl 1440.68125号 [36] O.Kupferman和T.Tamir。分层网络编队游戏。2017年,第229-246页,{it Proc.233 TACAS}·Zbl 1457.91106号 [37] A.J.Lazarus、D.E.Loeb、J.G.Propp、W.R.Stromquist和D.H.Ullman。拍卖游戏中的组合游戏。{游戏与经济行为},27(2):229-2641999·Zbl 0949.91001号 [38] A.J.Lazarus、D.E.Loeb、J.G.Propp和D.Ullman。Richman游戏。29:439-449, 1996. ·Zbl 0873.90139号 [39] R.Paes Leme、V.Syrgkanis和。塔尔多斯。顺序拍卖和外部性。在{it Proc.}{it 23th SODA}中,第869-886页,2012年·Zbl 1425.91203号 [40] M.Menz、J.Wang和J.Xie。离散式全费竞价游戏。{\it CoRR},abs/1504.027992015年。 [41] F.Mogavero、A.Murano和M.Y.Vardi。推理策略。2010年,第133-144页·Zbl 1245.68138号 [42] A.Pnueli和R.Rosner。关于反应模的合成。1989年,第179-190页,{it Proc.16th POPL}·兹伯利0686.68015 [43] M.Randour、J.-F.Raskin和O.Sankur。随机最短路径问题的变化。2015年第1-18页{it Proc.16th VMCAI}·Zbl 1432.90155号 [44] D.M.Reeves、B.M.Soule和T.Kasturi。Yootopia!{\it-SIGecom交易所},6(2):1-262007。 [45] M.Stonebraker、P.M.Aoki、W.Litwin、A.Pfeffer、A.Sah、J.Sidell、C.Staelin和A.Yu。Mariposa:广域分布式数据库系统。{它的VLDB J.},5(1):48-631996。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。