Generalized Amazons is PSPACE-Complete

被引:0
|
作者
Furtak, Timothy [1 ]
Kiyomi, Masashi
Uno, Takeaki
Buro, Michael [1 ]
机构
[1] Univ Alberta, Dept Comp Sci, Edmonton, AB, Canada
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Amazons is a perfect information board game with simple rules and large branching factors. Two players alternately move chess queen-like pieces and block squares on a 10 x 10 playing field. The player who makes the last move wins. Amazons endgames usually decompose into independent subgames. Therefore, the game is a natural testbed for combinatorial game theory. It was known that determining the winner of simple generalized Amazons endgames is NP-equivalent. This paper presents two proofs for the PSPACE-completeness of the generalized version of the full game.
引用
收藏
页码:132 / 137
页数:6
相关论文
共 50 条
  • [41] Dynamic Point Labeling is Strongly PSPACE-Complete
    Buchin, Kevin
    Gerrits, Dirk H. P.
    ALGORITHMS AND COMPUTATION, 2013, 8283 : 262 - 272
  • [42] Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete
    Majster-Cederbaum, Mila
    Semmelrock, Nils
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138): : 1 - 11
  • [43] Bounded-variable fixpoint queries are PSPACE-complete
    Dziembowski, S
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 89 - 105
  • [44] Bisimilarity of One-Counter Processes Is PSPACE-Complete
    Bohm, Stanislav
    Goller, Stefan
    Jancar, Petr
    CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 177 - +
  • [45] Strong bisimilarity on basic parallel processes is PSPACE-complete
    Jancar, P
    18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 218 - 227
  • [46] Parameterized Verification under Release Acquire is PSPACE-complete
    Krishna, Shankaranarayanan
    Godbole, Adwait
    Meyer, Roland
    Chakraborty, Soham
    PROCEEDINGS OF THE 2022 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PODC 2022, 2022, : 482 - 492
  • [47] The Cyclic-Routing UAV Problem is PSPACE-Complete
    Ho, Hsi-Ming
    Ouaknine, Joel
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 328 - 342
  • [48] Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete
    Grier, Daniel
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT I, 2013, 7965 : 497 - 503
  • [49] Unary Coded PSPACE-Complete Languages in ASPACE(loglog n)
    Geffert, Viliam
    COMPUTER SCIENCE - THEORY AND APPLICATIONS (CSR 2017), 2017, 10304 : 141 - 153
  • [50] PSPACE-complete two-color planar placement games
    Burke, Kyle
    Hearn, Robert A.
    INTERNATIONAL JOURNAL OF GAME THEORY, 2019, 48 (02) : 393 - 410