paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Continuous Positional Payoffs

连续位置收益
LMCS vol.Volume 19, Issue 32023匹配度 1/10 · 论文属于纯博弈论/逻辑与自动机理论,研究连续收益的位置确定性,与用户关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接关联。引用 0 inbox
Alexander Kozachinskiy
crossref: 2026-09-10

AI 速览

一句话:证明连续收益的位置确定性与前缀单调性等价,并用三种技术给出证明及算法结果。

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

问题
刻画在有限有向图上的确定性双人对抗游戏中,哪些连续收益是位置确定的。
方法
证明连续收益的位置确定性等价于前缀单调性,并分别用归纳、不动点和策略改进三种技术给出证明。
评估
通过理论证明与算法结果分析,组合三种方法以理解连续位置确定收益的结构。
原文摘要(Abstract)

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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot2200,
  title = {Continuous Positional Payoffs},
  author = {Alexander Kozachinskiy},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 19, Issue 3},
  year = {2023},
  doi = {10.46298/lmcs-19(3:10)2023}
}