Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Games with a Uniqueness Property

Shin AidaContact Information, Marcel CrasmaruContact Information, Kenneth ReganContact Information and Osamu WatanabeContact Information

(6)  Graduate School of Human Informatics, Nagoya Univ., Nagoya
(7)  Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo
(8)  Dept. of Computer Science, State Univ. of New York at Buffalo, New York, Buffalo
Abstract
For two-player games of perfect information such as Chess, we introduce “uniqueness” properties to describe game positions in which a winning strategy (should one exist) is forced to be unique. Depending on how uniqueness is forced, and whether it applies to both players, the uniqueness property is classified as (bi-) weak, (bi-) strong, or global . We prove that any reasonable two-player game G is extendable to a game G* with the bi-strong uniqueness property, so that e.g., QBF remains PSPACE-complete under this restriction. For global uniqueness, we introduce a simple game GUPQBF over Boolean formulas with this property, and prove that any reasonable two-player game with global uniqueness is reducible to this game. On the other hand, we also show that GUPQBF resides in “small” counting classes believed properly contained in PSPACE. Our results give a new characterization to some complexity classes such as PSPACE and EXPTIME.
Supported in part by JSPS/NSF cooperative research: Complexity Theory for Strategic Goals, 1998–2001, # INT-9726724.

Contact Information Shin Aida
Email: aida@info.human.nagoya-u.ac.jp

Contact Information Marcel Crasmaru
Email: marcel@is.titech.ac.jp

Contact Information Kenneth Regan
Email: regan@cse.buffalo.edu

Contact Information Osamu Watanabe
Email: watanabe@is.titech.ac.jp
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)