奥尔纳·库普弗曼；加尔瓦尔迪；莫舍·瓦尔迪。 流动游戏。 （英语） Zbl 1491.91037号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第38条，第16页（2018年）。 总结：在传统的最大流问题中，目标是通过将网络中每个顶点的流入流引导到流出边来传递网络中的最大流。虽然该问题已被广泛用于优化众多应用领域中的网络性能，但它对应于一种设置，在这种设置中，当局可以控制网络的所有顶点。当今的计算环境涉及应被视为敌对的各方。我们引入并研究了流游戏，它捕获了权限只能控制部分顶点的设置。在这些游戏中，顶点被划分为两个玩家：权威和环境。虽然当局的目标是使流量最大化，但环境不需要合作。我们认为流游戏捕捉了许多现代场景，例如部分控制的管道或道路系统或混合软件定义的通信网络。我们证明了在非循环流博弈中寻找最大流以及权威最优策略的问题是（Sigma_2^P）-完全的，并且已经是（Signa_2^P\）-难以近似的。我们研究了游戏的变体：对确保流不丢失的策略的限制，对允许非积分流的策略的扩展，我们证明了非积分流更强，以及一个动态设置，其中只有当流到达顶点时才选择顶点策略。我们将讨论其他变体及其应用，并指出几个有趣的开放问题。有关整个系列，请参见[Zbl 1388.68010号]. 引用于2文件 MSC公司： 91A43型 涉及图形的游戏 05C21号 图形中的流 05第57页 图形游戏（图形理论方面） 05C85号 图形算法（图形理论方面） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：流动网络；两层游戏；算法 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人，LIPIcs——莱布尼茨国际程序。通知。93，第38条，第16页（2018；兹bl 1491.91037） 全文： 内政部 参考文献： [1] S.Agarwal、M.S.Kodialam和T.V.Lakshman。软件定义网络中的流量工程。第32届IEEE计算机通信国际会议{it Proc.32nd IEEE International Conference on Computer Communications}，第2211-2219页，2013年。 [2] R.K.Ahuja、T.L.Magnanti和J.B.Orlin。网络流：理论、算法和应用。普伦蒂斯·霍尔-恩格伍德悬崖，1993年·Zbl 1201.90001号 [3] B.Aminof、O.Kupferman和R.Lampert。加权自动机的严格近似确定。{\it理论计算机科学}，480:104-1172013·Zbl 1291.68224号 [4] E.Anshelevich、A.Dasgupta、J.Kleinberg、E.Tardos、T.Wexler和T.Roughgarden。具有公平成本分配的网络设计的稳定性价格。{it SIAM J.Compute.}，38（4）：1602-16232008·Zbl 1173.91321号 [5] T.Bartnicki、J.A.Grytczuk、H.A.Kierstead和X.Zhu。地图着色游戏。{美国数学月刊}，114:793-8032007·Zbl 1247.05074号 [6] A.K.Chandra、D.C.Kozen和L.J.Stockmeyer。交替。计算机协会杂志，28（1）：114-1331981·Zbl 0473.68043号 [7] S.A.库克。路径系统和语言识别。《第二届美国计算机学会理论交响曲汇编》第70-721970页。 [8] S.A.库克。理论证明程序的复杂性。第三届ACM计算机理论交响曲，第151-1581971页·Zbl 0253.68020号 [9] T.H.Cormen、C.E.Leiserson和R.L.Rivest。{\算法简介}。麻省理工学院出版社和麦格劳-希尔出版社，1990年·Zbl 1158.68538号 [10] E.A.迪尼克。求解具有功率估计的网络最大流问题的算法。{苏联数学玩偶}，11（5）：1277-12801970。RF的英语翻译。莱因哈特·Zbl 0219.90046号 [11] J.埃德蒙兹和R.M.卡普。网络流问题算法效率的理论改进。{美国医学会杂志}，19（2）：248-2641972·兹比尔0318.90024 [12] S.Even、A.Itai和A.Shamir。关于时间表和多商品流问题的复杂性。{it SIAM计算机杂志}，5（4）：691-7031976·Zbl 0358.90021号 [13] J.Feigenbaum、C.H.Papadimitriou、R.Sami和S.Shenker。基于BGP的低成本路由机制。{\it分布式计算}，18（1）：61-722005·Zbl 1264.68215号 [14] J.Ferrante和C.Rackoff。一阶有序实加法理论的判定过程。{it SIAM计算机杂志}，4（1）：69-761975·兹比尔0294.02022 [15] M.J.Fischer和M.O.Rabin。presburger算法的超指数复杂性。在{it量词消除和柱代数分解}中，第27-411974页·Zbl 0319.68024号 [16] L.R.Ford和D.R.Fulkerson。通过网络的最大流量。加拿大数学杂志，8（3）：399-4041956·Zbl 0073.40203号 [17] L.R.Ford和D.R.Fulkerson。{\它在网络中流动}。普林斯顿大学出版社，普林斯顿，1962年·Zbl 0106.34802号 [18] Z.Füredi、D.Reimer和A.Seress。无三角博弈和极值图问题。{国会数字}，82:123-1281991·Zbl 0764.05043号 [19] A.V.Goldberg，爱沙尼亚。Tardos和R.E.Tarjan。网络流算法。技术报告，DTIC文件，1989年·Zbl 0728.90035号 [20] A.V.Goldberg和R.E.Tarjan。最大流问题的新方法。《美国医学会杂志》，35（4）：921-9401988·Zbl 0661.90031号 [21] D.Hefetz、M.Krivelevich、A.Naor和M.Stojaković。关于饱和游戏。《欧洲组合学杂志》，41:315-3352016·Zbl 1321.05158号 [22] D.Hefetz、O.Kupferman、A.Lellouche和G.Vardi。生成树游戏。将于2018年上市。 [23] N.伊梅尔曼。量词的数量比带单元格的数量好。计算机与系统科学杂志，22（3）：384-4061981·Zbl 0486.03019号 [24] E.Kalai和E.Zemel。完全平衡的游戏和游戏流。歌剧数学，7（3）：476-4781982·Zbl 0498.90030号 [25] S.Keren、A.Gal和E.Karpas。非最优代理的目标识别设计。2015年第29届AAAI会议，第3298-3304页。 [26] D.Kozen。词汇流。技术报告http://hdl.handle.net/1813/13018，康奈尔大学计算机与信息科学，2009年6月。 [27] O.Lichtenstein和A.Pnueli。检查有限状态并发程序是否满足其线性规范。第12届美国计算机学会程序设计语言原理交响曲汇编，第97-107页，1985年。 [28] N.Nisan、T.Roughgarden、E.Tardos和V.V.Vazirani。{算法博弈论}。剑桥大学出版社，2007年·Zbl 1130.91005号 [29] M.J.Osborne和A.Rubinstein。{\这是一门博弈论课程}。麻省理工学院出版社，1994年·Zbl 1194.91003号 [30] A.Pnueli和R.Rosner。关于反应模的合成。第16届美国计算机学会会议论文集《编程语言原理》，179-190页，1989年·Zbl 0686.68015号 [31] L.Qingsong、G.Betsy和S.Shashi。用于疏散规划的容量受限路由算法：结果总结。空间和时间国际研讨会，第291-307页。斯普林格，2005年。 [32] B.L.施瓦茨。部分完成比赛的可能获胜者。《SIAM评论》，8（3）：302-3081966·Zbl 0146.41503号 [33] L.J.Stockmeyer。关于某些对称布尔函数的组合复杂性。{数学系统理论}，10:323-3361977·Zbl 0369.94016号 [34] É。塔尔多斯。一种强多项式最小费用循环算法。{组合数学}，5（3）：247-2551985·Zbl 0596.90030号 [35] S.Vissicchio、L.Vanbever和O.Bonaventure。混合软件定义网络的机遇和研究挑战。{计算机通信评论}，44（2）：70-752014。 [36] :16 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。