Finite memory;
Games played on finite graphs;
Finite-memory determinacy;
Nash equilibrium;
Equilibrium transfer;
Energy parity games;
PARITY GAMES;
D O I:
10.1016/j.ic.2018.02.024
中图分类号:
TP301 [理论、方法];
学科分类号:
081202 ;
摘要:
We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. We provide a number of example that separate the various criteria we explore. Our proofs are generally constructive, that is, provide upper bounds for the memory required, as well as algorithms to compute the relevant Nash equilibria. (C) 2018 Elsevier Inc. All rights reserved.
机构:
Univ Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, FranceUniv Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, France
Bouyer, Patricia
Le Roux, Stephane
论文数: 0引用数: 0
h-index: 0
机构:
Univ Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, FranceUniv Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, France
Le Roux, Stephane
Oualhadj, Youssouf
论文数: 0引用数: 0
h-index: 0
机构:
Univ Paris Est Creteil, LACL, F-94010 Creteil, FranceUniv Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, France
Oualhadj, Youssouf
Randour, Mickael
论文数: 0引用数: 0
h-index: 0
机构:
Univ Mons, FRS, FNRS, Mons, Belgium
Univ Mons, UMONS, Mons, BelgiumUniv Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, France
Randour, Mickael
Vandenhove, Pierre
论文数: 0引用数: 0
h-index: 0
机构:
Univ Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, France
Univ Mons, FRS, FNRS, Mons, Belgium
Univ Mons, UMONS, Mons, BelgiumUniv Paris Saclay, CNRS, ENS Paris Saclay, Lab Methodes Formelles, F-91190 Gif Sur Yvette, France