一句话:证明连续收益的位置确定性与前缀单调性等价,并用三种技术给出证明及算法结果。
本文研究有限有向图上确定性双人对抗游戏中,哪些连续收益是位置确定的。连续位置确定收益的重要性在于其包含多重折扣收益。作者证明,对于连续收益,位置确定性等价于一个称为前缀单调性的简单性质。论文给出三种证明,分别采用位置确定性研究中的三大技术:归纳技术、不动点技术和策略改进技术。这些方法的结合不仅加深了对连续位置确定收益结构的理解,还带来了一些算法结果。
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.