What payoffs are positionally determined for deterministic two-player antagonistic games on finite directed graphs? In this paper we study this question for payoffs that are continuous. The main reason why continuous positionally determined payoffs are interesting is that they include the multi-discounted payoffs. We show that for continuous payoffs, positional determinacy is equivalent to a simple property called prefix-monotonicity. We provide three proofs of it, using three major techniques of establishing positional determinacy -- inductive technique, fixed point technique and strategy improvement technique. A combination of these approaches provides us with better understanding of the structure of continuous positionally determined payoffs as well as with some algorithmic results.
翻译:----
什么是确定在有限有向图上的确定性二人对抗游戏的位置支付?在本文中,我们研究连续支付的情况。连续位置支付的主要有趣之处在于它们包括多折扣支付。我们证明,在连续支付情况下,位置确定性等价于一个简单的称为“前缀单调性”的属性。我们使用三种主要的确定位置性技术 -- 归纳技术、不动点技术和策略改进技术,提供了三种证明方法。这些方法的结合不仅让我们更好地理解连续位置支付的结构,还得到了一些算法结果。