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 条
  • [31] ON SEMIGROUPS WITH PSPACE-COMPLETE SUBPOWER MEMBERSHIP PROBLEM
    Steindl, Markus
    JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2019, 106 (01) : 127 - 142
  • [32] An Automaton Group with PSPACE-Complete Word Problem
    Jan Philipp Wächter
    Armin Weiß
    Theory of Computing Systems, 2023, 67 : 178 - 218
  • [33] FINITE-AUTOMATON APERIODICITY IS PSPACE-COMPLETE
    CHO, S
    HUYNH, DT
    THEORETICAL COMPUTER SCIENCE, 1991, 88 (01) : 99 - 116
  • [34] An Automaton Group with PSPACE-Complete Word Problem
    Waechter, Jan Philipp
    Weiss, Armin
    THEORY OF COMPUTING SYSTEMS, 2023, 67 (01) : 178 - 218
  • [35] Solving a PSPACE-complete problem by gene assembly
    Zerjatke, Thomas
    Sturm, Monika
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (04) : 897 - 908
  • [36] An Automaton Group with PSPACE-Complete Word Problem
    Waechter, Jan Philipp
    Weiss, Armin
    37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020), 2020, 154
  • [37] Nondeterministic information logic NIL is PSPACE-complete
    Demri, Stephane
    Fundamenta Informaticae, 2000, 42 (03) : 211 - 234
  • [39] Parameterized Verification under TSO is PSPACE-Complete
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Rezvan, Rojin
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [40] Bounded-width QBF is PSPACE-complete
    Atserias, Albert
    Oliva, Sergi
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2014, 80 (07) : 1415 - 1429