Cooperation and Effective Computability
研究无限重复的共同利益博弈,证明若策略限于可计算函数,则只有帕累托最优的支付对能抵抗足够大支持的可计算扰动,原因在于玩家可利用早期阶段沟通合作意图。
A common interest game is a game in which there exists a unique pair of payoffs which strictly Pareto-dominates all other payoffs. We consider the undiscounted repeated game obtained by the infinite repetition of such a two-player stage game. We show that if supergame strategies are restricted to be computable within Church's thesis, the only pair of payoffs which survives any computable tremble with sufficiently large support is the Pareto-efficient pair. The result is driven by the ability of the players to use the early stages of the game to communicate their intention to play cooperatively in the future.