arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1701.02168cs.GTcs.FL
收藏

有成本和延迟的博弈

Games with Costs and Delays

Martin Zimmermann

摘要:

我们证明了增加延迟的无限游戏定量获胜条件的有用性。在延迟博弈中,其中一个参与者可以延迟她的行动,以获得对对手行动的预测。我们发现,确定延迟游戏的获胜者的获胜条件给出的奇偶自动机的成本是EXPTIME-完全的,指数有界前瞻是充分的,在一般情况下是必要的。因此,虽然平价条件与成本是一个定量的扩展的平价条件,我们的研究结果表明,增加成本并没有增加的复杂性与平价条件的延迟游戏。此外,我们研究了一个新的现象,出现在定量延迟游戏:前瞻性可以交易的获胜策略的质量,反之亦然。我们确定这种权衡的程度。特别是,即使是最小的前瞻允许提高质量的最佳策略从最坏的可能值几乎最小的可能。因此,引入前瞻的好处是双重的:它不仅允许延迟的玩家赢得她会输的游戏,而且前瞻还允许她在没有前瞻的情况下赢得游戏时提高她的获胜策略的质量。

英文摘要:

We demonstrate the usefulness of adding delay to infinite games with quantitative winning conditions. In a delay game, one of the players may delay her moves to obtain a lookahead on her opponent's moves. We show that determining the winner of delay games with winning conditions given by parity automata with costs is EXPTIME-complete and that exponential bounded lookahead is both sufficient and in general necessary. Thus, although the parity condition with costs is a quantitative extension of the parity condition, our results show that adding costs does not increase the complexity of delay games with parity conditions. Furthermore, we study a new phenomenon that appears in quantitative delay games: lookahead can be traded for the quality of winning strategies and vice versa. We determine the extent of this tradeoff. In particular, even the smallest lookahead allows to improve the quality of an optimal strategy from the worst possible value to almost the smallest possible one. Thus, the benefit of introducing lookahead is twofold: not only does it allow the delaying player to win games she would lose without, but lookahead also allows her to improve the quality of her winning strategies in games she wins even without lookahead.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑