Memoryless determinacy of infinite parity games: Another simple proof

被引：0
|
作者：
Le Roux, Stephane [1 ]
机构：
[1] Tech Univ Darmstadt, Fachbereich Math, Darmstadt, Germany
来源：
INFORMATION PROCESSING LETTERS | 2019年 / 143卷
关键词：
Formal methods; Positional determinacy; Finitely many priorities; Infinite graph; (Transfinite) induction;
D O I：
10.1016/j.ipl.2018.10.015
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In 1998 Zielonka simplified the proofs of memoryless determinacy of infinite parity games. In 2018 Haddad simplified some proofs of memoryless determinacy of finite parity games. This article adapts Haddad's technique for infinite parity games. Two proofs are given, a shorter one and a more constructive one. None of them uses Zielonka's traps and attractors. (C) 2018 Published by Elsevier B.V.
引用
收藏
页码：8 / 13
页数：6
相关论文
共 50 条
  • [21] Simple Fixpoint Iteration To Solve Parity Games
    van Dijk, Tom
    Rubbens, Bob
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (305): : 123 - 139
  • [22] Infinite divisibility of infinite sums of lower records: A simple proof
    Iksanov, AM
    JOURNAL OF APPLIED PROBABILITY, 2004, 41 (04) : 1187 - 1190
  • [23] A Simple Proof of Polarization and Polarization for Non-Stationary Memoryless Channels
    Alsan, Mine
    Telatar, Emre
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2016, 62 (09) : 4873 - 4878
  • [24] Extending communication-proof equilibrium to infinite games
    Ferreira, JL
    ECONOMICS LETTERS, 2001, 72 (03) : 303 - 307
  • [25] Simple search games on an infinite circular cylinder
    Chkhartishvili, AG
    Shikin, EV
    MATHEMATICAL NOTES, 1995, 58 (5-6) : 1216 - 1222
  • [26] SIMPLE EQUILIBRIA IN SEMI-INFINITE GAMES
    Polowczuk, Wojciech
    Radzik, Tadeusz
    Wiecek, Piotr
    INTERNATIONAL GAME THEORY REVIEW, 2012, 14 (03)
  • [27] A Simple Algorithm for Solving Qualitative Probabilistic Parity Games
    Hahn, Ernst Moritz
    Schewe, Sven
    Turrini, Andrea
    Zhang, Lijun
    COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II, 2016, 9780 : 291 - 311
  • [28] THE GOOD, THE BAD, AND THE UGLY - COALITION PROOF EQUILIBRIUM IN INFINITE GAMES
    KAHN, CM
    MOOKHERJEE, D
    GAMES AND ECONOMIC BEHAVIOR, 1992, 4 (01) : 101 - 121
  • [29] A new proof of existence of equilibria in infinite normal form games
    Zhou, Y. H.
    Yu, J.
    Wang, L.
    APPLIED MATHEMATICS LETTERS, 2011, 24 (03) : 253 - 256
  • [30] Another Simple Proof of the Siebeck-Marden Theorem
    Quang Hung Tran
    Resonance, 2022, 27 : 1247 - 1252
12345