Avoidance games are PSPACE-Complete. - Archive ouverte HAL Access content directly
Journal Articles Leibniz International Proceedings in Informatics Year : 2023

Avoidance games are PSPACE-Complete.


Avoidance games are games in which two players claim vertices of a hypergraph and try to avoid some structures. These games are studied since the introduction of the game of SIM in 1968, but only few complexity results are known on them. In 2001, Slany proved some partial results on Avoider-Avoider games complexity, and in 2017 Bonnet et al. proved that short Avoider-Enforcer games are Co-W[1]-hard. More recently, in 2022, Miltzow and Stojakovi\'c proved that these games are NP-hard. As these games corresponds to the mis\`ere version of the well-known Maker-Breaker games, introduced in 1963 and proven PSPACE-complete in 1978, one could expect these games to be PSPACE-complete too, but the question remained open since then. We prove here that both Avoider-Avoider and Avoider-Enforcer conventions are PSPACE-complete, and as a consequence of it that some particular Avoider-Enforcer games also are.
Fichier principal
Vignette du fichier
Avoider_Enforcer_is_Pspace_Complete (1).pdf (525 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03787958 , version 1 (26-09-2022)
hal-03787958 , version 2 (20-03-2023)



Valentin Gledel, Nacim Oijid. Avoidance games are PSPACE-Complete.. Leibniz International Proceedings in Informatics , 2023, 254 (40), pp.34:1--34:19. ⟨10.4230/LIPIcs.STACS.2023.34⟩. ⟨hal-03787958v2⟩
88 View
80 Download



Gmail Mastodon Facebook X LinkedIn More