[论文解读] How discontinuous is Computing Nash Equilibria?

Arno Pauly|ArXiv.org|Jul 9, 2009

Game Theory and Applications参考文献 21被引用 4

一句话总结

本文通过可计算分析与二型图灵机研究计算纳什均衡时的不连续程度。研究发现，计算纳什均衡的不连续性严格高于求解线性不等式组，其问题被归类于Borel层次的第4级，并表明相关均衡与纳什均衡具有相同的不连续性水平。

ABSTRACT

We investigate the degree of discontinuity of several solution concepts from non-cooperative game theory. While the consideration of Nash equilibria forms the core of our work, also pure and correlated equilibria are dealt with. Formally, we restrict the treatment to two player games, but results and proofs extend to the n-player case. As a side result, the degree of discontinuity of solving systems of linear inequalities is settled.

研究动机与目标

• 在可计算分析框架下，分析计算纳什均衡的不连续程度。
• 比较双人非合作型博弈中纳什均衡、相关均衡与纯均衡的不连续性水平。
• 确定2×2博弈中计算纳什均衡问题的确切不连续性等级。
• 确立求解线性不等式组的不连续性严格低于计算纳什均衡的不连续性。
• 证明尽管在经典复杂性中相关均衡算法更简单，但其不连续性水平与纳什均衡相同。

提出的方法

• 使用二型有效性理论（TTE）对实数上的计算进行形式化，将博弈与均衡表示为无限序列。
• 通过有理逼近的标准表示ρ定义可计算函数与连续性。
• 采用约化关系（≤₂）比较不同解概念与运算的不连续性程度。
• 将有理数除法问题（rDiv）约化至分离问题（Sep），证明rDiv ≤₂ Sep，并利用此关系界定纳什均衡的不连续性。
• 通过函数复合与配对运算证明⟨Sep, Sep⟩ ≡₂ Sep，从而支持层级分类。
• 通过将2×2博弈的均衡计算约化为单个实变量，实现具有第4级不连续性的函数的显式构造。

实验结果

研究问题

• RQ1 在双人非合作型博弈中，计算纳什均衡的确切不连续性程度是什么？
• RQ2 计算纳什均衡的不连续性与求解线性不等式组的不连续性相比如何？
• RQ3 尽管相关均衡在经典复杂性中为多项式时间可计算，其不连续性水平是否与纳什均衡相同？
• RQ4 纯均衡的不连续性是否严格低于纳什均衡？
• RQ5 2×2博弈中纳什均衡问题的Borel层级（Lev）是多少？

主要发现

• 通过约化rDiv ≤₂ Sep以及Nash <₂ Sep的事实，证明计算纳什均衡的不连续性严格高于求解线性不等式组。
• 2×2纳什均衡问题的不连续性等级恰好为4，即Lev(Nash₂₂) = 4，这是通过构造具有第4级不连续性的函数所确立的。
• 尽管在经典复杂性中相关均衡为多项式时间可计算，但其不连续性水平与纳什均衡相同，此结论由两者不连续性等级的等价性所证明。
• 纯均衡的不连续性严格低于纳什均衡，因其可通过三次算法计算且在极限下连续。
• 有理数除法问题（rDiv）可约化至分离问题（Sep），且该约化被用于通过函数层级关系界定纳什均衡的不连续性。
• 分离问题的复合满足⟨Sep, Sep⟩ ≡₂ Sep，该性质支持多操作的层级分类，并为纳什均衡的等级分类提供支持。