[论文解读] On the Verification and Computation of Strong Nash Equilibrium

Nicola Gatti, Marco Rocco+1 more|arXiv (Cornell University)|Nov 16, 2017

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

一句话总结

本文提出了一种多项式时间算法，用于验证n人博弈中策略组合是否为强纳什均衡（SNE），并引入了一种空间分支定界算法，通过迭代查询纳什均衡预言机来计算SNE。主要贡献在于证明了SNE验证问题属于P类，从而表明SNE计算属于NP类，并展示了该方法在混合策略SNE实例上优于NE枚举方法的性能。

ABSTRACT

Computing equilibria of games is a central task in computer science. A large number of results are known for \emph{Nash equilibrium} (NE). However, these can be adopted only when coalitions are not an issue. When instead agents can form coalitions, NE is inadequate and an appropriate solution concept is \emph{strong Nash equilibrium} (SNE). Few computational results are known about SNE. In this paper, we first study the problem of verifying whether a strategy profile is an SNE, showing that the problem is in $\mathcal{P}$. We then design a spatial branch--and--bound algorithm to find an SNE, and we experimentally evaluate the algorithm.

研究动机与目标

• 解决一般博弈中强纳什均衡（SNE）缺乏计算方法的问题，特别是在存在联盟的情况下。
• 研究在存在多边及混合策略偏离的情况下，验证给定策略组合是否为SNE的复杂性。
• 设计并评估一种用于计算SNE的实用算法，重点针对具有混合策略的两人博弈。
• 证明标准的NE基准测试集（如GAMUT）不适合SNE评估，因其偏向于纯策略SNE。
• 开发一种新型实例生成器，生成仅存在混合策略SNE的博弈，以实现有意义的实验评估。

提出的方法

• 将SNE验证问题转化为具有有界动作集的多智能体极小化最大值问题，证明其可在多项式时间内求解。
• 设计一种空间分支定界算法，通过预言机交替计算纳什均衡并验证其是否为SNE。
• 将SNE验证子程序集成到分支定界框架中，以高效剪枝非SNE解。
• 使用混合整数规划（MIP）作为NE查找预言机，实现高效的NE计算，并与SNE验证步骤无缝集成。
• 实现并比较多种配置：Iterated MIP 2StrongNash、Algorithm 3（随机状态选择）以及基于PNS的NE枚举。
• 使用自定义生成器生成新测试实例，确保仅存在混合策略SNE，避免现有GAMUT基准的偏差。

实验结果

研究问题

• RQ1 对于一般n人博弈，验证某策略组合是否为强纳什均衡的问题是否属于P类？
• RQ2 通过结合NE预言机与SNE验证，空间分支定界算法能否有效计算SNE？
• RQ3 在两人博弈中，所提算法最多需要调用多少次NE查找预言机？
• RQ4 是否可以使用有限组约束（包括混合策略多边偏离）来表述SNE的条件？
• RQ5 在一般博弈中，计算SNE的平滑复杂度是多少？

主要发现

• 对于任意n人博弈，SNE验证属于P类，因为其可归约为有界多智能体极小化最大值问题。
• 寻找SNE的问题属于NP类，因为验证属于P类，且解可被高效猜测与验证。
• 所提出的结合Iterated MIP 2StrongNash的空间分支定界算法在100×100博弈上性能优于NE枚举100倍以上。
• 该算法在100×100博弈上150秒内完成，而NE枚举在一天内无法完成。
• 标准GAMUT基准不适合SNE评估，因为所有实例要么存在纯策略SNE，要么不存在SNE。
• 必须显式考虑混合策略多边偏离，因为仅靠纯策略偏离的有限约束无法捕捉此类偏离。