文件Open Access徽标

广义均值支付与能量博弈

作者 克里希南德·查特吉, 劳伦特·多恩, 托马斯·汉津格, Jean-François Raskin女士



PDF格式
缩略图PDF

文件

LIPIcs公司。FSTTCS.2010.505.pdf
  • 文件大小:466 kB
  • 12页

文件标识符

作者详细信息

克里希南德·查特吉
劳伦特·多恩
托马斯·汉津格
Jean-François Raskin女士

引用为获取BibTex

Krishnendu Chatterjee、Laurent Doyen、Thomas A.Henzinger和Jean-François Raskin。广义平均收益和能量博弈。在IARCS软件技术和理论计算机科学基础年会(FSTTCS 2010)上。《莱布尼茨国际信息学论文集》,第8卷,第505-516页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2010)
https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505

摘要

在平均收益博弈中,主角的目标是确保无限序列数字权重的极限平均值是非负的。在能量游戏中,目标是确保权重的累加和总是非负的。广义平均值和能量博弈用元组替换单个权重,每个坐标的极限平均值(相对游程和)必须(相对保持)非负。这些游戏在具有多个资源的资源受限流程的合成中有应用。我们证明了广义能量对策的有限记忆确定性,并证明了有限记忆策略的广义平均收益和能量对策的互可约性。我们还提高了用有限记忆策略求解这两类博弈的计算复杂性:虽然之前最著名的上界是EXPSPACE,并且没有已知的下界,但我们给出了一个最优coNP-完全界。对于无记忆策略,我们表明主角的获胜策略的存在是NP-完全的。
关键词
  • 平庸的游戏
  • 能源游戏
  • 有限记忆策略
  • 确定性

韵律学

问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件