[论文解读] Computational Complexity of Approximate Nash Equilibrium in Large Games

Aviad Rubinstein|arXiv (Cornell University)|May 2, 2014

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

一句话总结

该论文证明，在任意常数 $\epsilon > 0$ 的情况下，计算具有许多玩家的大规模、紧凑表示博弈中的 $\epsilon$-Nash 平衡是 $\mathsf{PPAD}$-难的，即使存在纯策略均衡。证明将问题归约为近似计算利普希茨连续函数的不动点，利用基于电路的收益表示和对策略支撑的概率分析。

ABSTRACT

We prove that finding an epsilon-Nash equilibrium in a succinctly representable game with many players is PPAD-hard for constant epsilon. Our proof uses succinct games, i.e. games whose payoff function is represented by a circuit. Our techniques build on a recent query complexity lower bound by Babichenko.

研究动机与目标

• 解决在具有许多玩家的大规模博弈中寻找近似 Nash 平衡的计算复杂性问题。
• 解决关于是否存在多项式时间近似方案（PTAS）用于 Nash 平衡计算的开放问题。
• 在紧凑博弈中建立对加法 $\epsilon$-Nash 平衡的不可近似性结果，即使存在纯策略均衡。
• 将硬度结果从双人博弈扩展到具有紧凑表示的多人博弈设置。

提出的方法

• 将寻找 $\epsilon$-Nash 平衡的问题归约为在单位立方体上近似 $M$-利普希茨函数的不动点。
• 构建一个双组博弈：一组模仿另一组的行为，第二组则试图模仿函数 $f$ 对第一组行为作用后的输出。
• 利用方差和期望界，将 $\epsilon$-Nash 平衡中的策略支撑限制在 $1/k$ 区间内的离散值。
• 利用 $f$ 的利普希茨性质，证明任何满足 $\epsilon = 3/(4k^2)$ 的 $\epsilon$-Nash 平衡，都会在距离 $\frac{3+M}{k}$ 内产生 $f$ 的近似不动点。
• 采用查询复杂性技术（Babichenko [1]）和布劳威尔不动点计算技术（Hirsch 等 [12]）来建立硬度。
• 使用基于电路的收益函数来建模紧凑博弈，其中收益通过小型电路计算，尽管策略空间呈指数规模。

实验结果

研究问题

• RQ1 在具有 $m$ 名玩家和 $k$ 种动作的大型博弈中，寻找 $\epsilon$-Nash 平衡是否对常数 $\epsilon$ 是 $\mathsf{PPAD}$-难的？
• RQ2 纯策略均衡的存在是否可以与近似 Nash 平衡计算的 $\mathsf{PPAD}$-难性共存？
• RQ3 在紧凑博弈中计算 $\epsilon$-Nash 平衡的问题是否属于 $\mathsf{PPAD}$，还是严格更难？
• RQ4 近似 Nash 平衡的复杂性与近似连续函数不动点计算的复杂性之间有何关系？

主要发现

• 对于任意常数 $\epsilon > 0$，在具有 $m$ 名玩家和 $k$ 种动作的紧凑博弈中，计算 $\epsilon$-Nash 平衡是 $\mathsf{PPAD}$-难的，即使存在纯策略均衡。
• 该硬度结果对 $\epsilon$-充分支持的 Nash 平衡也成立，其中所有支持中的动作都必须是近似最优响应。
• 该归约构造了一个博弈，其中任何满足 $\epsilon = 3/(4k^2)$ 的 $\epsilon$-Nash 平衡都会导致一个在距离 $\frac{3+M}{k}$ 内的 $M$-利普希茨函数的近似不动点。
• 该构造表明，近似计算 $M$-利普希茨函数的不动点是 $\mathsf{PPAD}$-难的，即使该函数是多项式时间可计算且映射 $[0,1]^n$ 到自身。
• 该结果表明，$\mathsf{PPAD}$-难性可以在存在纯策略均衡的博弈中出现，而这一情形此前未被知为难解。
• 该论文指出了复杂性分类中的一个缺口：目前尚无计算 $\epsilon$-Nash 平衡的非平凡上界，且由于缺乏随机性难以计算近似最优响应，该问题可能不属于 $\mathsf{PPAD}$。