[论文解读] Query Complexity of Correlated Equilibrium

Yakov Babichenko, Siddharth Barman|arXiv (Cornell University)|Jun 11, 2013

Game Theory and Applications参考文献 12被引用 7

一句话总结

该论文证明，在n人博弈中，即使每个玩家仅有两个动作，计算精确相关均衡仍需要对纯动作配置查询器进行指数级数量的查询。通过基于对抗性效用构造的查询复杂度论证，作者证明在此模型下，任何确定性算法都无法在多项式时间内计算出精确相关均衡，从而解决了Sergiu Hart提出的一个开放问题。

ABSTRACT

We study lower bounds on the query complexity of determining correlated equilibrium. In particular, we consider a query model in which an n-player game is specified via a black box that returns players' utilities at pure action profiles. In this model we establish that in order to compute a correlated equilibrium any deterministic algorithm must query the black box an exponential (in n) number of times.

研究动机与目标

• 解决关于多玩家博弈中寻找精确相关均衡计算复杂性的开放问题。
• 研究仅通过黑箱查询器访问纯动作配置效用时，是否存在计算精确相关均衡的多项式时间确定性算法。
• 在纯动作查询模型下，建立所需查询数的紧下界，证明指数级查询是必需的。
• 证明在更严格的纯动作查询模型下，Jiang和Leyton-Brown所采用的混合动作查询标准方法是最优的。
• 阐明在此设定下确定性算法的局限性，特别是与近似均衡的随机算法相比。

提出的方法

• 构建一个具有二元动作的n人博弈族，其中在每个纯策略配置s处通过差值d_i(s)定义效用。
• 采用对抗性策略分配差值d_i(s)，使得任何具有小支撑集的分布x都无法满足相关均衡条件。
• 基于生成树的差值分配方法，确保至少一名玩家的期望偏离收益为正。
• 分析两种情况：当全动作配置N上的概率质量≤1/6时，以及当其>1/6时，证明在这两种情况下均无法形成有效的相关均衡。
• 运用线性代数和不等式分析（例如，∑ D(s)x(s) < 0）证明分布x不满足相关均衡条件。
• 将问题约化为寻找一个纯策略s，使得y^T d(s) > 0（其中y = (1,1,...,1)），将其与Jiang和Leyton-Brown（2015）的简化问题联系起来。

实验结果

研究问题

• RQ1 是否可以仅使用纯动作配置查询，在多项式时间内计算出精确相关均衡？
• RQ2 在n人博弈中，计算精确相关均衡所需的最少纯动作配置查询次数是多少？
• RQ3 在纯动作查询模型下，是否存在计算精确相关均衡的确定性多项式时间算法？
• RQ4 在此模型中，精确相关均衡的查询复杂度与近似相关均衡的查询复杂度相比如何？
• RQ5 Jiang和Leyton-Brown（2015）的研究结果（依赖于混合动作查询）在更严格的纯动作查询模型下是否是最优的？

主要发现

• 任何确定性算法都必须在n上进行指数级数量的查询，才能在纯动作查询模型下计算出精确相关均衡。
• 即使在每个玩家仅有两个动作的博弈中，该下界依然成立，表明该模型下问题的固有难度。
• 对抗性构造确保任何具有小或中等支撑集的分布都无法满足相关均衡条件。
• 该结果意味着Jiang和Leyton-Brown（2015）所提出的依赖于混合动作查询的多项式时间算法在此上下文中是最优的。
• 本文确立了简化问题——寻找满足y^T d(s) > 0的纯策略s——是计算相关均衡的必要条件，且该问题在亚指数时间内无法高效求解。
• 该工作由Hart和Nisan（2013）进一步拓展，他们证明即使在随机算法下，也无法在此模型中高效计算出精确相关均衡，从而完整刻画了该问题的复杂性。