首页    期刊浏览 2024年11月05日 星期二
登录注册

文章基本信息

  • 标题:Energy Mean-Payoff Games
  • 本地全文:下载
  • 作者:Vronique Bruy{\`e}re ; Quentin Hautem ; Mickael Randour
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:140
  • 页码:1-17
  • DOI:10.4230/LIPIcs.CONCUR.2019.21
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:In this paper, we study one-player and two-player energy mean-payoff games. Energy mean-payoff games are games of infinite duration played on a finite graph with edges labeled by 2-dimensional weight vectors. The objective of the first player (the protagonist) is to satisfy an energy objective on the first dimension and a mean-payoff objective on the second dimension. We show that optimal strategies for the first player may require infinite memory while optimal strategies for the second player (the antagonist) do not require memory. In the one-player case (where only the first player has choices), the problem of deciding who is the winner can be solved in polynomial time while for the two-player case we show co-NP membership and we give effective constructions for the infinite-memory optimal strategies of the protagonist.
  • 关键词:two-player zero-sum games played on graphs; energy and mean-payoff objectives; complexity study and construction of optimal strategies
国家哲学社会科学文献中心版权所有