{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,12,13]]，“日期-时间”：“2022-12-13T05:49:48Z”，“时间戳”：1670910588356}，“参考-计数”：52，“出版商”：“Springer Science and Business Media LLC”，“问题”：“5-6”，“许可证”：[{“开始”：{“日期-零件”：[2021,23]]，”日期-时间“：”2021-01-23T00:00:00Z“，“timestamp”：1611360000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}，{“start”：{“date-parts”：[[2021,1,23]]，“date-time”：“2021-01-23T00:00:00Z”，“timetamp”：611360000000neneneep，“content-version”：“vor”，“delay-in-days”：“0，”URL“https:\\/creative commons”。org\/licenses\/by\/4.0“}]，“出资人”：[{“名称”：“TAILOR”，“award”：[“952215”]}，{“DOI”：“10.13039\/5010000781”，“name”：“European Research Council”，“DOI-asserted-by”：“publisher”，“adward”：[”834228“]}]，“content-domain”：{“domain”:[”link.springer.com“]，“crossmark-restriction”：false}，“short-container-title”：[）“Ann Math Artif Intell”]，“published-print”：{“date-parts”：[[2021,6]]}，“摘要”：“摘要<\/jats:title>奇偶校验游戏<\/jats:italic>是在节点标有优先级的有向图上进行的无限回合双人游戏。比赛的胜利者取决于比赛中经常遇到的最小优先级（偶数或奇数）。在过去二十年中，用OCaml编写的平台上提出并实现了几种求解奇偶博弈的算法。包括Zielonka\u2019s递归算法<\/jats:italic>（简称），是随机游戏中性能最好的算法。值得注意的是，已经进行了几次尝试，目的是提高in的性能，但在实践中进展不大。在这项工作中，我们通过处理特定数据结构和编程语言（例如Scala<\/jats:italic>，Java<\/jats:italic>，C++<\/jats:italic>，和转到<\/jats:italic>。我们的经验评估表明，这些选择是成功的，与中实现的经典版本的算法相比，运行时间增加了三个数量级<\/jats:p>“，”DOI“：”10.1007\/s10472-020-09721-3“，”type“：”journal-article“，”created“：{”date-parts“：[2021,1,23]]，”date-time“：”2021-01-23T02:02:46Z“，”timestamp“：1611367366000}，”page“：d-by-count“：0，”title“：[”在实践中改进平价游戏“]，”前缀“：”10.1007“，”卷“：”89“，”作者“：[{”ORCID“：”http://\/ORCID.org\/00000-0001-5475-2978“，”authenticated-ORCID“：false，”给定“：”Antonio“，”家族“：”Di Stasio“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Aniello”，“family”：“Murano”，“se序列“：”additional“，“afliance”：[]}，“givent”：“Vince”enzo“，”family“：”Prignano“，”sequence“：”additional“，”affiliation“：[]}，{”given“：”Loredana“，”family“：”Sorrentino“，“sequence”：“additional”，“affiliation:[]}]，”member“：”297“，”published-online“：{”date-parts“：[2021,2,23]]}”reference“：[{”key“：“9721_CR1”，“doi-asserted-by”：“publisher”，”first-page“：”68“，”doi“：”10.1016\/j.ic.2011.10.008“，”卷“：”210“，”作者“：”B Aminof“，”年”：“2012年”，“非结构化”：“Aminof，B.，Kupferman，O.，Murano，A.：改进了层次系统的模型检查。Inf.计算。210，68\u201386（2012）“，“新闻标题”：“信息计算。“｝，｛”issue“：”Part“，”key“：”9721_CR2“，”doi asserted by“：”publisher“，”first page“：”634“，”doi“：”10.1016\/j.ic2018.02.022“，”volume“：”261“，”author“：”B Aminof“，”year“：”2018“，”nonstructured“：”Aminof，B.，Malvone，V.，Murano，A.，Rubin，S.：战略逻辑中的分级模态。Inf Comput.261（Part），634\u2013649（2018）“，”期刊标题“：“信息计算”｝，｛key“：”9721_CR3“，”首页“：”115“，”卷“：”225“，”作者“：”安东尼克“，”年份“：”2009“，”非结构化“：”Antonik，A.，Charlton，N.，Huth，M：平价游戏中获胜区域的多项式时间近似值。ENTCS 225，115\u2013139（2009）“，”journal-title“：”ENTCS“}，{“key”：“9721_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Arcucci，R.，Marotta，U.，Murano，A.，Sorrentino，L.：并行奇偶博弈：zielonka递归算法的多核吸引子。In:ICCS 2017，pp 525\u2013534（2017）”，“doi”：“10.1016\/j.procs.2017.05.120”}，}，“key“：”9721_CR5“，“volume-title”：“TraceContract:用于跟踪分析的Scala DSL”，“author”：“H Barringer”，“year”：“2011”，“unstructured”：“Barringer，H.，Havelund，K:TraceContraction:用于追踪分析的Scala-DSL。Springer，Berlin（2011）“}，{”key“：”9721_CR6“，”volume-title“：”Getting Started with Google Guava“，”author“：”B Bejeck“，”year“：”2013“，”unstructured“：”Bejeck，B.“：”Google Guava.Packt Publishing，Burmingham“（2013）”}，“key”：“9721_CR 7”，“doi-asserted-by”：“crossref”，“unstructure”：“”Benerecetti，M.、Dell\u2019Erba，D.、Mogavero，F.：通过优先级提升解决平价游戏。收录于：CAV 2016，pp 270\u2013290（2016）“，”DOI“：”10.1007\/978-3-319-41540-6_15“}，{“issue”：“4S”，“key”：“9721_CR8”，“DOI-asserted-by”：“publisher”，“first-pages”：“46”，“DOI”：“10.1145\/2502508.2502522”，“volument”：“48”，“author”：“ED Berger”，“year”：“2013”，“unstructured”：“Berger，E.D.，Zorn，B.G.，McKinley，英国。S.：OOPSLA 2002：重新考虑自定义内存分配。SIGPLAN不是。48（4S），46\u201357（2013）“，“新闻标题”：“SIGPLAN没有。“}，{”key“：”9721_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Berwanger，D.：“无限游戏中的可接纳性。in:STACS 2007，pp 188\u2013199（2007）“，”doi“：”10.1007\/978-3-540-70918-3_17“}”，{“key”：“9721_CR10”，“unstructure”：“Boker，U.，Lehtinen，K.：FSTTCS 2018，Ahmedabad，India，pp 21:1\u201321:22（2018）”}，}“key”：“9721_CR11”，“doi-asserted-by”：“crossref“，”unstructured“：”Calude，C.S.，Jain，S.，Khousainov，B.，Li，W.，Stephan，F.：准多项式时间中的奇偶博弈判定。收录于：STOC 2017，pp 252\u2013263（2017）“，”DOI“：”10.1145\/3055399.3055409“}，”key“：”9721_CR12“，”DOI-asserted-by“：”crossref“，”unstructured“：”Cerm\u00e1k，P.，Lomuscio，A.，Murano，A.：“根据单目标战略逻辑规范验证和合成多智能体系统。收录自：AAAI 2015，pp 2038\u20132044（2015）“，“DOI”：”10.1609\/aaaai.v29i1.9444“}，{“key”：“9721_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Chatterjee，K.，Jurdzinski，M.，Henzinger，T.A.：定量随机平价游戏。收录于：SODA，vol.2004，pp 121\u2013130（2004）”，“doi”：“10.21236\/ADA603293”}，{。A.、Jurdzinski、M.：平均回报平价游戏。收录于：LICS 2005，pp 178\u2013187（2005）“}，{“key”：“9721_CR15”，“unstructured”：“Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J-F：广义平均值与能量游戏。收录于FSTTCS 2010，pp 505\u2013516（2010）”}，}，“key“：”9721_CR16“，“doi-asserted-by”：“crossref”，“非结构化”：“Clarke，E。M.，Emerson，EA：使用分支时间-时间逻辑设计和合成同步骨架。In：LP 1981，pp 52\u201371（1981）“，”DOI“：”10.1007\/BFb0025774“}，{“key”：“9721_CR17”，“volume-title”：“模型检查”，“author”：“EM Clarke”，“year”：“2002”，“unstructured”：“Clarke，E.M.，Grumberg，O.，Peled，D.A.：模型检查。麻省理工学院出版社，剑桥（2002）”}，“key“：”9721_CR18“，“DOI-asserted-by”：“crossref”，“非结构化”：“Daviaud，L.，Jurdzinski，M.，Lazic，R.：一种用于平均-对-奇偶博弈的伪拟多项式算法。在：LICS 2018，pp 325\u2013334（2018）“，”DOI“：”10.1145\/3209108.3209162“}，{“key”：“9721_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Di Stasio，A.，Murano，A.，Prignano，V.，Sorrentino，L.：用scala解决奇偶博弈。在：FACS 2014，pp 145\u2013161（2014）_CR20“，”DOI-asserted-by“：”crossref“，“非结构化”：“Di Stasio，A.，Murano，A.，Perelli，G.，Vardi，M.Y.：使用基于自动机的算法求解奇偶游戏。在：CIAA 2016，第64\u201376（2016）页”，“DOI”：“10.1007\/978-3-319-40946-7_6”｝，｛“key”：“9721_CR21”，“DOI断言”：“crossref”，“非结构化”：“Di Stasio，A.，Murano，A.，Vardi，M.Y.：求解奇偶博弈：显式与符号。在：CIAA 2018，第159\u2013172（2018）页”，“DOI”：“10.1007\/978-3-319-94812-6_14”｝，｛“key”：“9721_CR22”，“非结构化”：“Emerson，E。A.，Jutla，C.：树自动机，\u03bc-calculus和确定性。在：FOCS，vol.1991，pp 368\u2013377（1991）“}，{“key”：“9721_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Fearnley，J.，Jain，S.，Schewe，S.、Stephan，F.，Wojtczak，D.：求解拟多项式时间和拟线性空间中奇偶博弈的有序方法。在：SPIN 2017，pp 112\u2013121（2017）”，“doi”：“10.1145\/3092282.3092286”}9721_CR24“，”非结构化“：”Friedmann，O.，Lange，M.：奇偶博弈解算器的PGSolver集合。慕尼黑大学（2009）“}，{“key”：“9721_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“Friedmann，O.，Lange，M.：在实践中解决平价游戏。收录于：ATVA 2009，pp 182\u2013196（2009）”，“doi”：“10.1007\/978-3642-04761-9_15”}，}，“key“：”9721_CR2“，”doi-assert-by“：”crossref.“，”：“Gay，D.，Aiken，A.：显式区域内存管理，第33卷。ACM（1998）“，”DOI“：”10.1145\/277652.277748“}，{“key”：“9721_CR27”，“DOI-asserted-by”：“crossref”，“unstructured”：“Hoffmann，P.，Luttenberger，M.：在GPU上解奇偶游戏。In:ATVA 2013，pp 455\u2013459（2013）”，“DOI”：“10.1007\/978-3-319-024444-8_34”}，“key“：”9721_CR18“，”非结构化“：”Hundt，R.：c++\/java\/go\/scala中的循环识别。In:Proceedings of Scala Days（2011）“}，{”issue“：”3“，”key“：”9721_CR29“，”doi-asserted-by“：”publisher“，”first page“：“119”，”doi“：”10.1016\/S0020-0190（98）00150-1“，”volume“：119\u2013124（1998）“，”journal-title“：”信息处理。莱特。“}，{”key“：”9721_CR30“，”doi-asserted-by“：”crossref“，”unstructured“：”Jurdzinski，M：解决奇偶游戏的小进度度量。In:STACS 2000，pp 290\u2013301（2000）“，”doi“：”10.1007\/3-540-46541-3_24“}“，{Jurdzinski，M.，Lazic，R.：解决平价游戏的简洁进度措施。在：LICS 2017，pp 1\u20139（2017）“，”DOI“：”10.1109\/LICS.2017.8005092“}，{“问题”：“4”，“关键”：“9721_CR32”，“DOI-asserted-by”：“发布者”，“首页”：“1519”，“DOI”：“10.1137\/070686652”，“卷”：“38”，“作者”：“M Jurdzinski”，“年份”：“2008”，“非结构化”：“Jurdzinski，M.、Paterson，M.和Zwick，U.：求解奇偶博弈的确定性次指数算法。SIAM J.计算。38（4），1519\u20131532（2008）“，“新闻标题”：“SIAM J.Compute。“}，{”key“：”9721_CR33“，”doi-asserted-by“：”crossref“，”unstructured“：”Keiren，J.J.A.：平价游戏基准。In:FSEN 2015，pp 127\u2013142（2015）“，”doi“：”10.1007\/978-3-319-24644-4_9“}“，{问题”：“3”，“key”：“9721_CR 34”，“doi-assert-by”：“publisher”，“首页”：“333”，”doi:“10.1016\/0304-975（82）90125-6“，”卷“：”27“，”作者“：”D Kozen“，”年份“：”1983年”，“非结构化”：“Kozen，D.：命题\u03bc-calculus的结果。TCS 27（3），333\u2013354（1983）”，“期刊标题”：“TCS”}，｛“问题”：“2”，“密钥”：“9721_CR35”，“doi断言”：“出版商”，“第一页”：“312”，“doi”：“10.1145\/33979.333987”，“卷”：“47”，“作者”：“O Kupferman”，“年份”：“2000”，“非结构化”：“Kupferman，O.，Vardi，M.Y.，Wolper，P.：分支时间模型检查的自动机理论方法。J。ACM 47（2），312\u2013360（2000）“，”journal-title“：”J.ACM“}，{”issue“：”2“，”key“：”9721_CR36“，”doi-asserted-by“：”publisher“，”first page“：“322”，”doi“：”10.1006\/inco.2000.2893“，”volume“：计算164（2），322\u2013344（2001）“，”journal-title“：”信息计算。“}，{”key“：”9721_CR37“，”doi-asserted-by“：”crossref“，”unstructured“：”Lehtinen，K.：准多项式时间下求解平价博弈的模态\u03bc透视图。in:LICS 2018，pp 639\u2013648（2018）“，”doi“：”10.1145\/3209108.3209115“}”，{“key”：“9721_CR 38”，“unstructure”：“”Malvone，V.，Murano，A.，Sorrentino，L.：并发多层奇偶游戏。在：AAMAS 2016，pp 689\u2013697（2016）“}，{“issue”：“2”，“key”：“9721_CR39”，“doi-asserted-by”：“publisher”，“first page”：”149“，“doi”：“10.1016\/0168-0072（93）90036-D”，”volume“：”65“，”author：“R McNaughton”，“year”：“1993”，“unstructured”：“McNaught，R.：有限图上的无限游戏。Ann.Pure Appl.Logic 65（2），149 \u2013184（1993）“，”新闻标题“：”Ann.纯粹应用。逻辑“}，{“问题”：“3”，“密钥”：“9721_CR40”，“doi-asserted-by”：“出版商”，“首页”：“277”，“doi”：“10.3233\/FI-2015-1235”，“卷”：“139”，“作者”：“F Mogavero”，“年份”：“2015”，“非结构化”：“Mogavero，F.，Murano，A.，Sorrentino，L.：对等游戏中的及时性。Fundam.Inform.139（3），277\u2013305（2015）”，“日志标题“：”Fundam.Inform.“}，{”key“：”9721_CR41“，“非结构化”：“Odersky，M.，Micheloud，S.，Mihaylov，N.，Schinz，M.、Stenman，E.、Zenger，M.等人：scala编程语言概述（2004）”}，{“key”：“9721_CR12”，“非结构”：“Ordersky、M.、Spoon，L.、Venners，M.：scala.Artima Inc（2008）的编程”}Queille，J.P.，Sifakis，J：塞萨尔并发程序的规范和验证。In：SP 1982，pp 337\u2013351（1982）“，“DOI”：“10.1007\/3-540-11494-7_22”}，{“key”：“9721_CR44”，“DOI-asserted-by”：“crossref”，“unstructured”：“Schewe，S.：以大步骤解决奇偶游戏。In:FSTTCS 2007，pp 449\u2013460“：”crossref“，”unstructured“：”托马斯·W·：无限对象上的自动机。收录于：《理论计算机科学手册》，第B卷：形式模型和符号学（B），第133\u2013192页（1990）“，“DOI”：“10.1016\/B978-0-444-88074-1.50009-3”}，{“key”：“9721_CR46”，“DOI-asserted-by”：“crossref”，“unstructured”：“Thomas，W.：综合的方面：重温教会的问题。收录于FOSSACS 2009，第1\u201314页（2009）”，“DOI:”10.1007 \/978-3642-00596-1_1“}，{“key”：“9721_CR47”，“doi-asserted-by”：“crossref”，“unstructured”：“van Dijk，T.：吸引缠结来解决平价游戏。In：CAV 2018，pp 198\u2013215（2018）”，“doi”：“10.1007 \/978-3319-96142-2_14”}，}，[key“：”9721_CR48“，”doi-assert-by“：”Crosref“，”非结构化“：”van Dijk，T.：Oink：现代平价游戏求解器的实现和评估。收录于：TACAS 2018，pp 291\u2013308（2018）“，”DOI“：”10.1007\/978-319-89960-2_16“}，{“key”：“9721_CR49”，“unstructured”：“Verver，M.：奇偶博弈解算的实用改进。硕士论文，特温特大学（2013）“}V\u00f6ge，J.，Jurdzinski，M：一种求解奇偶对策的离散策略改进算法。在：CAV 2000，pp 202\u2013215（2000）“，”DOI“：”10.1007\/10722167_18“}，{”issue“：”2“，”key“：”9721_CR51“，”DOI-asserted-by“：”publisher“，”first page“：“359”，“DOI”：“10.36045\/bbms\/1102714178”，“volume”：“8”，“author”：“T Wilke”，“year”：“2001”，“unstructured”：“Wilke，T.：交替树自动机，奇偶游戏，和模态u03bc-微积分、布尔、贝尔、数学、社会学。Simon Stevin 8（2），359（2001）“，“新闻标题”：“公牛。贝尔格。数学。Soc.Simon Stevin“}，{”issue“：”1-2“，”key“：”9721_CR52“，”doi-asserted-by“：”publisher“，”first page“：“135”，“doi”：“10.1016\/S0304-3975（98）00009-7”，“volume”：“200”，“author”：“W Zielonka”，“year”：“1998”，“unstructured”：“Zielonca，W.：有限色图上的无限游戏，以及无限树上的自动机应用。Theor.Comput.Sci.200（1-2），135\u2013183（1998）“，”期刊标题“：”Theor。计算。科学。“}]，”容器标题“：[”数学与人工智能年鉴“]，”原标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/link.springer.com\/content/pdf\/10.1007\\s10472-020-09721-3.pdf“，”内容类型“：”应用程序\/pdf“，”内容版本“：”vor“，”预期应用程序“：”文本挖掘“｝，｛”URL“：”https:\/\/link.springer.com/article\/10.1007\/s10472-020-09721-3\/fulltext.html“，“内容类型”：“文本\/html”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//link.springer\com/content\/pdf\/10007\/s10472-020-0972 1-3.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-aapplication”“：”相似性检查“}”，“存放”：{“日期-部分”：[[2022,12,12]]，“日期-时间”：“2022-12-12T23:47:25Z”，“时间戳”：1670888845000}，“分数”：1，“资源”：{-“主要”：{“URL”：“https:\\/link.springer.com\/10.1007\/s10472-020-09721-3”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2021,2,23]]}，“references-count”：52，“journal-issue”：{“issue”：“5-6”，“published-print“：{“date-parts”：[[2021,6]]}}，“alternative-id”：[“9721”]，“URL”：“http://\/dx.doi.org\/10.1007\/s10472-020-09721-3”，“relationship”：{}，”ISSN“：[“1012-2443”，“1573-7470”]，”ISSN-type“：[{“value”：“1012-21443”，”type“:”print“}，{“value”：“1573-4470”，“type”：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[2021,1,23]]}，”断言“：[{”值“：”2020年11月18日“，”订单“：1，”名称“：”已接受“，”标签“：”接受“，“组”：{“名称”：“ArticleHistory”，“标签”：“文章历史”}}，{“值”：“2021年1月23日”，“订单”：2，“名称”:“first_online”，“label”：“first online”，”组“：