License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2008.1768
URN: urn:nbn:de:0030-drops-17684
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1768/
Go to the corresponding LIPIcs Volume Portal

Graedel, Erich

Banach-Mazur Games on Graphs

pdf-format:
08004.GraedelErich.1768.pdf (0.4 MB)

Abstract

We survey determinacy, definability, and
complexity issues of Banach-Mazur games on finite and
infinite graphs.

Infinite games where two players take turns to move a token
through a directed graph, thus tracing out an infinite path,
have numerous applications in different branches of mathematics
and computer science. In the usual format,
the possible moves of the players are given by
the edges of the graph; in each move
a player takes the token from its current position
along an edge to a next position. In Banach-Mazur games
the players instead select in each move a \emph{path}
of arbitrary finite length rather than just an edge.
In both cases the outcome of a play is an infinite
path. A winning condition is thus given by a set of
infinite paths which is often specified by a logical formula,
for instance from S1S, LTL, or first-order logic.

Banach-Mazur games have a long tradition in descriptive
set theory and topology, and they have recently been shown to
have interesting applications also in computer science,
for instance for planning in nondeterministic domains,
for the study of fairness in concurrent systems, and
for the semantics of timed automata.

It turns out that Banach-Mazur games behave quite differently than
the usual graph games. Often they admit simpler winning strategies
and more efficient algorithmic solutions. For instance, Banach-Mazur
games with $\omega$-regular winning conditions always have
positional winning strategies, and winning positions
for finite Banach-Mazur games with Muller winning condition
are computable in polynomial time.

BibTeX - Entry

@InProceedings{graedel:LIPIcs:2008:1768,
  author =	{Erich Graedel},
  title =	{{Banach-Mazur Games on Graphs}},
  booktitle =	{IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
  pages =	{364--382},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-08-8},
  ISSN =	{1868-8969},
  year =	{2008},
  volume =	{2},
  editor =	{Ramesh Hariharan and Madhavan Mukund and V Vinay},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1768},
  URN =		{urn:nbn:de:0030-drops-17684},
  doi =		{10.4230/LIPIcs.FSTTCS.2008.1768},
  annote =	{Keywords: Games, strategies, determinacy, positional determinacy, definability, complexity}
}

Keywords: Games, strategies, determinacy, positional determinacy, definability, complexity
Collection: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Issue Date: 2008
Date of publication: 05.12.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI