[论文解读] Existence of optimal strategies for the Operation Game into amenable semigroups

Valerio Capraro|arXiv (Cornell University)|Apr 15, 2011

Computability, Logic, AI Algorithms被引用 2

一句话总结

本文通过将经典的可数可加策略扩展至包含某些有限可加测度，证明了在阿梅布尔半群上的半群博弈——一种两人零和博弈——中存在最优策略。关键贡献在于证明了扩展后的博弈具有值和最优策略，且在经典解存在时仍能保持一致性。

ABSTRACT

The semigroup game is a two-person zero-sum game defined on a semigroup S as follows: Players 1 and 2 choose elements x and y in S, respectively, and player 1 receives a payoff f(xy) defined by a function f from S to [-1,1]. If the semigroup is amenable in the sense of Day and von Neumann, one can extend the set of classical strategies, namely countably additive probability measures on S, to include some finitely additive measures in a natural way. This extended game has a value and the players have optimal strategies. This theorem extends previous results for the multiplication game on a compact group or on the positive integers with a specific payoff. We also prove that the procedure of extending the set of allowed strategies preserves classical solutions: if a semigroup game has a classical solution, this solution solves also the extended game.

研究动机与目标

• 将半群博弈中的经典博弈论策略扩展至包含有限可加测度，适用于阿梅布尔半群。
• 在扩展的博弈框架中建立值和最优策略的存在性。
• 证明当经典解存在时，其在更广义的有限可加策略类中仍保持最优性。
• 将先前关于紧致群和正整数上乘法博弈的结果推广至阿梅布尔半群的设定。

提出的方法

• 将半群博弈定义为两人零和博弈，其收益函数为 f(xy)，其中 f 映射 S 到 [-1,1]，S 为阿梅布尔半群。
• 将策略空间从可数可加概率测度扩展至包含与阿梅布尔性相容的特定有限可加测度。
• 利用戴和冯·诺伊曼意义上的 S 的阿梅布尔性，确保不变均值的存在，从而实现策略的扩展。
• 利用不变均值的性质和阿梅布尔半群的结构，证明扩展博弈具有值。
• 证明若经典解存在，则其在扩展博弈中仍为最优，确保不同策略类之间的一致性。

实验结果

研究问题

• RQ1 当策略空间扩展至包含有限可加测度时，阿梅布尔半群上的半群博弈是否仍存在最优策略？
• RQ2 通过阿梅布尔性扩展策略后，博弈值的存在性如何受到影响？
• RQ3 在何种条件下，半群博弈的经典解在扩展博弈中仍保持最优？
• RQ4 针对特定情形（如紧致群或正整数上的乘法博弈）所得结果能否推广至所有阿梅布尔半群？
• RQ5 阿梅布尔半群的何种结构性质使得在扩展博弈中存在最优策略？

主要发现

• 在阿梅布尔半群上的扩展半群博弈具有明确定义的值。
• 当策略包含特定有限可加测度时，扩展博弈中存在最优策略。
• 策略空间的扩展保留了经典解：若经典解存在，则其在扩展博弈中仍为最优。
• 证明依赖于阿梅布尔半群上不变均值的存在性，这使得策略的连续扩展成为可能。
• 该结果将先前关于紧致群和正整数上乘法博弈的研究成果推广至阿梅布尔半群的更广类。
• 该框架确保收益函数 f(xy) 始终有界于 [-1,1]，从而在整个扩展过程中保持博弈论的一致性。