×
啊，帕特里克;哈，迈克尔

奇偶博弈的部分解算器：有效的多项式时间合成。 （英语） Zbl 1478.68139号

Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2261-15（2016）。
摘要：部分方法在形式化方法及其以外的方法中发挥着重要作用。最近，这种方法被开发用于奇偶博弈，其中多项式时间部分解算器决定节点子集的获胜者。在这里，我们通过研究基于保持多项式时间可计算性的通用合成模式的部分解算器的交互作用，来研究多项式时间部分解算的有效性。我们表明，通过研究组成部分解算器既不能求解也不能简化的游戏，使用这种组合模式可以发现新的部分解算程序，包括那些合并具有相同但未知获胜者的节点集的程序。我们通过实验验证了这种数据驱动的求精方法可以产生多项式时间部分解算器，它可以求解全部的结构化游戏的标准基准。对于其中一个多项式时间部分解算器，即使是数十亿个不同配置的随机博弈中的唯一随机博弈也无法完全解算。
关于整个系列，请参见[Zbl 1436.68019号].

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
65年第68季度 算法和问题复杂性分析
91A43型 涉及图形的游戏
91A80型 博弈论的应用

软件：

PGSolver公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Ah-Fat}和\textit{M.Huth}，电子。程序。西奥。计算。科学。（EPTCS）226，1--15（2016；Zbl 1478.68139）
全文： arXiv公司 链接

参考文献：

[1] Ah-Fat，P.，Huth，M.：平价游戏的有效部分解算器。2016/1技术报告。伦敦帝国理工学院计算机系，33页。，ISSN 1469-4174。
[2] Berwanger，D.，Dawar，A.，Hunter，P.，Kreutzer，S.：DAG宽度和平价游戏。收录于：STACS 2006，第23届计算机科学理论方面研讨会论文集。LNCS，第3884卷，第524-436页。Springer-Verlag（2006年）。内政部：DOI:10.1007/11672142 43·Zbl 1136.68447号 ·doi:10.1007/11672142_43
[3] Berwanger，D.，Grädel，E.，Kaiser，L.，Rabinovich，R.：有向图的纠缠和复杂性。西奥。计算。科学。463, 2-25 (2012). DOI:DOI:10.1016/j.tcs.2012.07.010·Zbl 1256.05086号 ·doi:10.1016/j.tcs.2012.07.010
[4] Emerson，E.，Jutla，C.：树自动机、微积分和确定性。In：程序。第32届IEEE研讨会。计算机科学基础。第368-377页（1991年）。内政部：DOI:10.1109/SFCS.1991.185392·doi:10.1109/SFCS.1991.185392
[5] Fearnley，J.，Schewe，S.：有界树宽奇偶博弈的时间和空间结果。计算机科学中的逻辑方法9（2）（2013）。内政部：DOI:10.2168/LMCS-9（2:6）2013·Zbl 1266.68123号 ·doi:10.2168/LMCS-9（2:6）2013年
[6] 弗里德曼，O.，兰格，M.：在实践中解决平价游戏。收录人：Liu，Z.，Ravn，A.（编辑）Proc。验证和分析自动化技术。计算机科学讲义，第5799卷，第182-196页。施普林格（2009）。内政部：DOI:10.1007/978-3-642-04761-9 15·Zbl 1258.68077号 ·doi:10.1007/978-3-642-04761-9_15
[7] Friedmann，O.，Lange，M.：平价游戏求解器的PGSolver集合。慕尼黑LMU信息研究所技术代表（2010年2月），第3版
[8] 弗里德曼：奇偶博弈的递归算法需要指数时间。单位：RAIRO-Theor。信息和应用。45(4): 449-457, 2011. 内政部：DOI:10.1051/ita/2011124·Zbl 1232.91064号 ·doi:10.1051/ita/2011124
[9] Huth，M.，Kuo，J.，Piterman，N.：平价博弈的拉宾指数：其复杂性和近似性。Inf.计算。245: 36-53 (2015). 内政部：DOI:10.1016/j.ic.2015.06.005·Zbl 1332.68060号 ·doi:10.1016/j.ic.2015.06.005
[10] Huth，M.，Kuo，J.H.，Piterman，N.：平价博弈中的致命吸引因子。参见：软件科学和计算结构基础——第16届国际会议，FOSSACS 2013，计算机科学讲稿，第7794卷，第34-49页。施普林格（2013）。内政部：DOI:10.1007/978-3642-37075-5 3·Zbl 1260.68231号 ·doi:10.1007/978-3-642-37075-53
[11] Huth，M.，Kuo，J.H.，Piterman，N.：奇偶博弈中的致命吸引子：部分解算器的构建块。CoRR abs/1405.0386（2014）
[12] Huth，M.，Kuo，J.H.，Piterman，N.：对等博弈的静态分析：对等下的交替可达性。2016年1月，丹麦哥本哈根，《语义学、逻辑学和微积分——献给汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日的文章》，《计算机科学讲义》，第9560卷，第159-177页。斯普林格（2016）。内政部：DOI:10.1007/978-3-19-27810-0 8·Zbl 1474.68053号 ·doi:10.1007/978-3-319-27810-0_8
[13] Huth，M.、Piterman，N.、Wang，H.：预处理器设计和评估的工作台：实现平价游戏的基准。ECEASST 23（2009）。内政部：DOI:10.14279/tuj.ceass.23.324·doi:10.14279/tuj.eceasst.23.324
[14] Jurdziánski，M.：解决平价游戏的小进度措施。In：程序。第17交响曲。计算机科学理论方面。计算机科学讲义，第1770卷，第290-301页。Springer-Verlag（2000）。内政部：DOI:10.1007/3-540-46541-3 24·Zbl 0962.68111号 ·doi:10.1007/3-540-46541-3_24
[15] Jurdziñski，M.、Paterson，M.和Zwick，U.：求解奇偶博弈的确定性次指数算法。摘自：ACM-SIAM离散算法研讨会论文集。第117-123页·Zbl 1192.91013号
[16] ACM/SIAM（2006）
[17] 尤金斯基，M.：在平价游戏中决定胜利者是在UPñco-UP中。信息处理。莱特。68、119-124（1998年11月）。DOI：文件编号：10.1016/S0020-0190（98）00150-1·Zbl 1338.68109号 ·doi:10.1016/S0020-0190（98）00150-1
[18] Keiren，J.J.：平价游戏的基准。In：程序。国际软件工程基础会议（FSEN）。斯普林格（2015）。内政部：DOI:10.1007/978-3-319-24644-4 9·doi:10.1007/978-3-319-24644-49
[19] Mostowski，A.W.：禁地游戏。格但斯克大学技术代表78（1991年）
[20] Schewe，S.：求解平价和支付博弈的最优策略改进算法。收录人：Kaminski，M.，Martini，S.（编辑），计算机科学逻辑，第22届国际研讨会，2008年CSL，第17届EACSL年会，意大利贝蒂诺罗，2008年9月16-19日。诉讼程序。《计算机科学讲义》，第5213卷，第369-384页。施普林格（2008）。内政部：DOI:10.1007/978-3-540-87531-4 27·Zbl 1156.68478号 ·doi:10.1007/978-3-540-87531-4_27
[21] Vöge，J.，Jurdziñski，M.：求解奇偶博弈的离散策略改进算法。In:第12届国际计算机辅助验证大会。计算机科学讲义，第1855卷，第202-215页。斯普林格（2000）。DOI:DOI:10.1007/10722167 18·兹比尔0974.68527 ·doi:10.1007/10722167_18
[22] Zielonka，W.：有限色图上的无限游戏，以及有限树上自动机的应用。理论计算机科学200（1-2），135-183（1998）。内政部：文件编号：10.1016/S0304-3975（98）00009-7·Zbl 0915.68120号 ·doi:10.1016/S0304-3975（98）00009-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。