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 条
  • [21] Convergence of Opinion Diffusion is PSPACE-Complete
    Chistikov, Dmitry
    Lisowski, Grzegorz
    Paterson, Mike
    Turrini, Paolo
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 7103 - 7110
  • [22] Optimizing the Region Algebra is PSPACE-complete
    Gelade, Wouter
    Neven, Frank
    INFORMATION PROCESSING LETTERS, 2010, 110 (16) : 639 - 643
  • [23] Task and Motion Planning Is PSPACE-Complete
    Vega-Brown, William
    Roy, Nicholas
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 10385 - 10392
  • [24] Online Chromatic Number is PSPACE-Complete
    Martin Böhm
    Pavel Veselý
    Theory of Computing Systems, 2018, 62 : 1366 - 1391
  • [25] A PSPACE-complete sperner triangle game
    Burke, Kyle W.
    Teng, Shang-Hua
    INTERNET AND NETWORK ECONOMICS, PROCEEDINGS, 2007, 4858 : 445 - 456
  • [26] PROOF EQUIVALENCE IN MLL IS PSPACE-COMPLETE
    Heijltjes, Willem
    Houston, Robin
    LOGICAL METHODS IN COMPUTER SCIENCE, 2016, 12 (01)
  • [27] Solving a PSPACE-complete problem with cP systems
    Henderson, Alec
    Nicolescu, Radu
    Dinneen, Michael J.
    JOURNAL OF MEMBRANE COMPUTING, 2020, 2 (04) : 311 - 322
  • [28] Solving a PSPACE-complete problem with cP systems
    Alec Henderson
    Radu Nicolescu
    Michael J. Dinneen
    Journal of Membrane Computing, 2020, 2 : 311 - 322
  • [29] Atropos: A PSPACE-Complete Sperner Triangle Game
    Burke, Kyle W.
    Teng, Shang-Hua
    INTERNET MATHEMATICS, 2008, 5 (04) : 477 - 492
  • [30] Deciding the K-dimension is PSPACE-complete
    Schaefer, M
    15TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2000, : 198 - 203