{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,7]]，“日期-时间”：“2024-05-07T05:52:43Z”，“时间戳”：1715061163681}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{-“日期-零件”：[[2006,11,3]]，”日期-时间“：”2006-11-03T00:00:00Z“，“timestamp”：116251200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”我们研究在有限或九有限博弈图上进行的无限持续时间的双层博弈。如果这种游戏的获胜策略仅取决于当前位置，而不取决于游戏的历史，那么它就是位置策略。如果从每个位置来看，两名球员中的一名具有位置制胜策略，则位置决定了比赛时间。\n对于获胜条件，这类博弈的理论得到了很好的研究，这些获胜条件是根据映射定义的，该映射将有限集合中的优先级分配给每个位置。具体地说，在穆勒游戏中，一局比赛的胜利者是由那些经常出现的优先级决定的；一个重要的特殊情况是奇偶博弈，其中发生的优先级最低（或最高）的博弈通常决定胜利者。众所周知，奇偶博弈是由正态决定的，而穆勒博弈是通过有限内存指令决定的。\在本文中，我们将此理论推广到具有无限优先级的博弈情形。此类游戏出现在多个应用程序区域中，例如，在获胜条件取决于堆栈内容的下拉式游戏中。\n对于奇偶博弈，对无限优先级的情况有几种推广。虽然欧米茄上的最大人数游戏或比欧米茄大的序数上的最小人数游戏需要具有无限内存的策略，但我们可以证明欧米茄中优先级的最小人数博弈是确定的。事实上，欧米茄上的min-partity条件是唯一能保证所有博弈图上位置确定性的无限Muller条件<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（4:6）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:29:19Z“，”timestamp“：1164274159000}，”source“：4英寸author“：[{”given“：”Erich“，”family“：”Graedel“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Igor“，”家庭“：”Walukiewicz“，”序列“：”additional“，”feliation“:[]}]，”member“：”25203“，”published-online“：”{“date-parts”：[[2006,11,3]]}“container-title”：[“计算机科学中的逻辑方法”]，”original-title“：[]，”language“：“en”，“link”：[{“URL”：“https:\/\/lmcs.episciences.org\/2242\/pdf“，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//lmcs.episciences.org\/2242 \/ppdf”，“内容类型”：“unspecified”，“content-version“：”vor“，”intended-application“：”相似性检查“}”，”存放“：{“date-parts”：[2023,4,11]]，“日期时间”：“2023-04-11T20:30Z“，”timestamp“：1681243830000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/lmcs.episciences.org\/2242”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2006,11,3]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.2168\/lmcs-2（4:6）2006”，“关系”：{“is-same-as”：[{“id-type”：“arxiv”，“id”：“cs\/0610035”，“asserted-by“：”subject“}，{“id-type”：“doi”，“id”：“10.48550 \/arXiv.cs\/0610035”，“asserted-by”：“subject”}]}，“ISSN”：[“1860-5974”]，“ISSN-type”：[{“value”：“1860-5.974”，“type”:“electronic”}]，“subjob”：[]，“published”：{“date-parts”：[[2006,11,3]]}}}}