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.
|
 |
Games with a Uniqueness Property
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 2285/2002 |
| Book | STACS 2002 |
| DOI | 10.1007/3-540-45841-7 |
| Copyright | 2002 |
| ISBN | 978-3-540-43283-8 |
| DOI | 10.1007/3-540-45841-7_32 |
| Page | 731 |
| Subject Collection | Computer Science |
| SpringerLink Date | Tuesday, January 01, 2002 |
| |
|
Games with a Uniqueness Property
Shin Aida6 , Marcel Crasmaru7 , Kenneth Regan8 and Osamu Watanabe7 
| (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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|