[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-84226-en":3,"doc-seo-84226-105":29,"detail-sidebar-cat-0-en-105":90},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":4,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},84226,962075114101,"Seraphina","https://ap-avatar.wpscdn.com/avatar/e000253a75eb197efd?x-image-process=image/resize,m_fixed,w_180,h_180&k=1780044092746381165",8,"Research & Report","Positional Determinacy with Colored Vertices: a 1-to-2-Player Lift","Positional determinacy for vertex-colored parity games is studied through a 1-to-2-player lift for prefix-independent, color-based objectives over finite color sets. The work proves equivalence between positional determinacy of an objective W on all vertex-colored one-player games and on all vertex-colored two-player games. It further shows W matches a parity objective expressed by ordered pairs of colors, extending earlier edge-colored results. The equivalence relies essentially on finiteness of the color set and yields a bidirectional correspondence between edge- and vertex-colored games.","arXiv :2607 .074 15v 1 [ cs .GT] 8 Jul 2026  \nPositional Determinacy with Colored Vertices: a 1-to-2-Player Lift  \nRaphaël Berthon \\# Ñ  \nUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France  \nStéphane Le Roux \\# Ñ  \nUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France  \n~~ Abstract ~~  \nPositional determinacy of vertex-colored parity games was proved in the 1990s, which directly implies positional determinacy of edge-colored parity games. In 2006, it was shown that if a prefix-independent color-based objective ensures that every edge-colored two-player turn-based game is positionally determined, this objective is equivalent to a parity objective. We prove a similar result for vertex-colored games, namely that the following are equivalent for any prefix-independent objective W over a finite set of colors:  \n W is positionally determined on all vertex-colored one-player games.  \n W is positionally determined on all vertex-colored two-player games.  \n W is equivalent to a parity objective on ordrerd pairs of colors.  \nWe prove that finiteness of the color set is required for our equivalence to hold. Beyond this 1-to-2-player lift, the technique that we develop to handle the pairs of colors establishes a promising 2-way correspondence between edge-colored games and vertex-colored games.  \n2012 ACM Subject Classification Theory of computation → Automata over infinite objects Keywords and phrases two-player games, one-player games, parity objectives  \nDigital Object Identifier 10.4230/LIPIcs.CONCUR.2026.34  \nFunding Raphaël Berthon: [Funded by ANR-22-CE48-0012 (Bisous)]  \nStéphane Le Roux: [Funded by ANR-22-CE48-0012 (Bisous)]  \nAcknowledgements Thanks to Bastien Laboureix for useful conversations.  \n 1  Introduction  \nContext: Game theory is applied to many fields such as economics, political science, evolutionary biology, and is used for model-checking processes in the industry [6] . While many game-theoretic models allow for multiple players and non-zero-sum payoffs, fundamental games in logic and computer science usually involve two players in a win-lose setting, where every play results in a win for exactly one player.  \nIn model checking, these win-lose games are typically turn-based and played on a finite or infinite labeled graph, called an arena. Starting from an initial vertex, the player owning the current vertex selects an outgoing edge to reach the next vertex. This continues indefinitely, producing an infinite path. A player’s strategy maps the history of visited vertices to her next move. Specifically, for every finite path ending at a vertex owned by that player, the strategy selects the edge to be followed. A pair of one strategy per player induces a unique infinite sequence of edges and vertices starting from the initial vertex, constituting the play. General strategies can be complex to implement: in a play of infinite duration, the number of distinct histories is infinite; therefore, implementing such a strategy generally requires a mechanism to store and process a history of unbounded length. Much work has thus focused  \n© Raphaël Berthon and Stéphane Le Roux;  \nlicensed under Creative Commons License CC-BY 4.0  \n37th International Conference on Concurrency Theory (CONCUR 2026) .  \nEditors: Ana Sokolova and Patrick Totzke; Article No. 34; pp. 34:1–34:20  \nLeibniz International Proceedings in Informatics  \n Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany  \n34:2 Positional Determinacy with Colored Vertices: a 1-to-2-Player Lift  \non strategies that require only finite memory, usually represented as a finite-state machine, or no memory at all. In the latter case, strategies map each position in the arena to a single outgoing edge, and are said to be positional (or memoryless) .  \nThe objective of the game is defined independently of the arena, as a set of infinite word","cbCaicdeDzo8t8nn","https://ap.wps.com/l/cbCaicdeDzo8t8nn","pdf",703151,1,20,"English","en",105,"# Introduction\n## Game setting and strategies\n## Colored objectives and traces\n## Parity objectives and prefix-independence\n## Positional determinacy and prior results\n## Illustrative example and arenas","[{\"question\":\"What does the “1-to-2-Player lift” claim for vertex-colored games?\",\"answer\":\"It shows that if a prefix-independent objective W is positionally determined for all vertex-colored one-player games, then it is also positionally determined for all vertex-colored two-player games, establishing an equivalence between the two settings.\"},{\"question\":\"How is the objective W related to parity objectives in the vertex-colored setting?\",\"answer\":\"For any prefix-independent objective over a finite set of colors, the paper proves that positional determinacy on one-player and two-player vertex-colored games is equivalent to W being equivalent to a parity objective on ordered pairs of colors.\"},{\"question\":\"Why is finiteness of the color set required?\",\"answer\":\"The paper demonstrates that finiteness is necessary for the equivalence to hold, indicating that the correspondence between vertex-colored and parity formulations can fail when the color set is infinite.\"}]",1784194157,50,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":85,"head_meta":87,"extra_data":89,"updated_unix":27},"positional-determinacy-with-colored-vertices-a-1-to-2-player-lift","",{"@graph":35,"@context":84},[36,53,67],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/positional-determinacy-with-colored-vertices-a-1-to-2-player-lift/84226/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":61,"encodingFormat":60,"isAccessibleForFree":62,"interactionStatistic":63},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-16",true,{"@type":64,"interactionType":65,"userInteractionCount":4},"InteractionCounter",{"@type":66},"ViewAction",{"@type":68,"mainEntity":69},"FAQPage",[70,76,80],{"name":71,"@type":72,"acceptedAnswer":73},"What does the “1-to-2-Player lift” claim for vertex-colored games?","Question",{"text":74,"@type":75},"It shows that if a prefix-independent objective W is positionally determined for all vertex-colored one-player games, then it is also positionally determined for all vertex-colored two-player games, establishing an equivalence between the two settings.","Answer",{"name":77,"@type":72,"acceptedAnswer":78},"How is the objective W related to parity objectives in the vertex-colored setting?",{"text":79,"@type":75},"For any prefix-independent objective over a finite set of colors, the paper proves that positional determinacy on one-player and two-player vertex-colored games is equivalent to W being equivalent to a parity objective on ordered pairs of colors.",{"name":81,"@type":72,"acceptedAnswer":82},"Why is finiteness of the color set required?",{"text":83,"@type":75},"The paper demonstrates that finiteness is necessary for the equivalence to hold, indicating that the correspondence between vertex-colored and parity formulations can fail when the color set is infinite.","https://schema.org",{"og:url":51,"og:type":86,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":88,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":91},[92,96,100,104,109,113,118,121,125,128,132],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":93,"show_sort_weight":94,"slug":95},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":97,"show_sort_weight":98,"slug":99},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":101,"show_sort_weight":102,"slug":103},"Exam",70,"exam",{"id":105,"doc_module":4,"doc_module_name":45,"category_name":106,"show_sort_weight":107,"slug":108},5,"Comic",60,"comic",{"id":110,"doc_module":4,"doc_module_name":45,"category_name":111,"show_sort_weight":28,"slug":112},6,"Technology","technology",{"id":114,"doc_module":4,"doc_module_name":45,"category_name":115,"show_sort_weight":116,"slug":117},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":119,"slug":120},30,"research-report",{"id":122,"doc_module":4,"doc_module_name":45,"category_name":123,"show_sort_weight":21,"slug":124},9,"Religion & Spirituality","religion-spirituality",{"id":21,"doc_module":4,"doc_module_name":45,"category_name":126,"show_sort_weight":21,"slug":127},"World Cup","world-cup",{"id":129,"doc_module":4,"doc_module_name":45,"category_name":130,"show_sort_weight":129,"slug":131},10,"Lifestyle","lifestyle",{"id":133,"doc_module":4,"doc_module_name":45,"category_name":134,"show_sort_weight":105,"slug":135},19,"General","general"]