Logic in Computer Science, Symposium on (1997)

Warsaw, POLAND

June 29, 1997 to July 2, 1997

ISSN: 1043-6871

ISBN: 0-8186-7925-5

pp: 99

S. Dziembowski , Inst. of Inf., Warsaw Univ., Poland

M. Jurdzinski , Inst. of Inf., Warsaw Univ., Poland

I. Walukiewicz , Inst. of Inf., Warsaw Univ., Poland

ABSTRACT

We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of the size of the I/O automata realizing winning strategies in games with this condition. This problem is relevant to synthesis of reactive programs and to the theory of automata on infinite objects. We provide matching upper and lower bounds for the size of memory needed by winning strategies in games with a fixed winning condition. We also show that in the general case the LAR (latest appearance record) data structure of Gurevich and Harrington is optimal. Then we propose a more succinct way of representing winning strategies by means of parallel compositions of transition systems. We study the question: which classes of winning conditions admit only polynomial-size blowup of strategies in this representation.

INDEX TERMS

graph colouring; infinite games; two-player games; finitely coloured graphs; I/O automata; reactive programs; upper and lower bounds; size of memory; latest appearance record; data structure; winning strategies; polynomial-size blowup

CITATION

M. Jurdzinski, S. Dziembowski and I. Walukiewicz, "How much memory is needed to win infinite games?,"

*Logic in Computer Science, Symposium on(LICS)*, Warsaw, POLAND, 1997, pp. 99.

doi:10.1109/LICS.1997.614939

CITATIONS