[论文解读] On the Computation of Strategically Equivalent Rank-0 Games

Joseph L. Heyman, Abhishek Gupta|arXiv (Cornell University)|Mar 31, 2019

Game Theory and Applications被引用 3

一句话总结

本文提出了一种线性时间算法，用于判断双矩阵博弈是否在战略上等价于零和博弈，若等价，则计算出相应的等价零和博弈。通过利用战略等价性和矩阵秩的性质，该方法显著提升了此类博弈中纳什均衡的计算效率。

ABSTRACT

It has been well established that in a bimatrix game, the rank of the matrix formed by summing the payoff (or cost) matrices of the players has an impact on the runtime of the algorithms that converge to a Nash equilibrium of the game. In this paper, we devise a fast linear time algorithm that exploits strategic equivalence between bimatrix games to identify whether or not a given bimatrix game is strategically equivalent to a zero-sum game, and if it is, then we present an algorithm that computes a strategically equivalent zero-sum game.

研究动机与目标

• 解决低秩收益矩阵双矩阵博弈中寻找纳什均衡的计算挑战。
• 研究给定双矩阵博弈是否在战略上等价于零和博弈。
• 开发一种高效算法，当此类等价性存在时，计算出一个战略等价的零和博弈。
• 通过利用秩-0博弈的结构特性，减少均衡计算的运行时间。

提出的方法

• 该算法分析两名玩家收益矩阵之和，以确定博弈的秩。
• 当秩为零时，利用战略等价性将原博弈转换为零和博弈。
• 通过利用矩阵分解和秩分析，该方法在时间复杂度为线性的时间内运行。
• 检查是否存在一种变换，可在将博弈转换为零和形式的同时保持纳什均衡不变。
• 该方法依赖于识别收益矩阵中特定的线性依赖关系，以表明其与零和博弈的战略等价性。
• 该算法输出一个既是零和博弈又与原博弈战略等价的变换后博弈。

实验结果

研究问题

• RQ1 给定的双矩阵博弈能否被转换为一个战略等价的零和博弈？
• RQ2 收益矩阵的何种条件决定了这种战略等价性？
• RQ3 是否存在一种线性时间算法，用于检测并计算此类等价的零和博弈？
• RQ4 收益矩阵之和的秩如何影响此类等价性的存在？
• RQ5 在纳什均衡计算中，利用这种等价性能带来何种计算优势？

主要发现

• 该算法可在时间复杂度为线性的时间内判断双矩阵博弈是否在战略上等价于零和博弈。
• 当等价性存在时，该方法能高效计算出一个战略等价的零和博弈。
• 该方法利用收益矩阵之和的秩-0特性，实现了快速检测与转换。
• 该变换保持了原博弈的所有纳什均衡。
• 该方法显著降低了秩-0博弈中均衡计算的计算开销。
• 结果表明，可利用与零和博弈的战略等价性来加速纳什均衡的计算。