We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: First Cycle Games

Authors: Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)
Abstract: First cycle games (FCG) are played on a finite graph by two players who push a token along the edges until a vertex is repeated, and a simple cycle is formed. The winner is determined by some fixed property Y of the sequence of labels of the edges (or nodes) forming this cycle. These games are traditionally of interest because of their connection with infinite-duration games such as parity and mean-payoff games.
We study the memory requirements for winning strategies of FCGs and certain associated infinite duration games. We exhibit a simple FCG that is not memoryless determined (this corrects a mistake in \it Memoryless determinacy of parity and mean payoff games: a simple proof by Bj\"orklund, Sandberg, Vorobyov (2004) that claims that FCGs for which Y is closed under cyclic permutations are memoryless determined). We show that /Theta(n)! memory (where n is the number of nodes in the graph), which is always sufficient, may be necessary to win some FCGs. On the other hand, we identify easy to check conditions on Y (i.e., Y is closed under cyclic permutations, and both Y and its complement are closed under concatenation) that are sufficient to ensure that the corresponding FCGs and their associated infinite duration games are memoryless determined. We demonstrate that many games considered in the literature, such as mean-payoff, parity, energy, etc., satisfy these conditions. On the complexity side, we show (for efficiently computable Y) that while solving FCGs is in PSPACE, solving some families of FCGs is PSPACE-hard.
Comments: In Proceedings SR 2014, arXiv:1404.0414
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
ACM classes: F.3
Journal reference: EPTCS 146, 2014, pp. 83-90
DOI: 10.4204/EPTCS.146.11
Cite as: arXiv:1404.0843 [cs.LO]
  (or arXiv:1404.0843v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Thu, 3 Apr 2014 10:38:54 GMT (16kb)

Link back to: arXiv, form interface, contact.