[论文解读] Rank-1 Games With Exponentially Many Nash Equilibria

Bernhard von Stengel|arXiv (Cornell University)|Nov 11, 2012

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

一句话总结

本文构建了一类非退化的 $n \times n$ 双矩阵博弈，其收益矩阵的秩为 1，且恰好拥有 $2^n - 1$ 个纳什均衡点，证明了秩-1 博弈可以拥有指数级数量的均衡点。该构造采用上三角收益矩阵 $A$ 和 $B = A^T$，其元素呈指数增长，确保 $A+B$ 的秩为 1，并通过基于策略支撑的递归策略构造方法，实现指数级数量的均衡点。

ABSTRACT

The rank of a bimatrix game (A,B) is the rank of the matrix A+B. We give a construction of rank-1 games with exponentially many equilibria, which answers an open problem by Kannan and Theobald (2010).

研究动机与目标

• 解决 Kannan 和 Theobald（2010）提出的一个开放问题：秩-1 博弈是否可能拥有指数级数量的纳什均衡点。
• 构造具有秩-1 收益矩阵的非退化双矩阵博弈的显式例子，其纳什均衡点数量为指数级。
• 证明秩-1 博弈中的均衡点数量可达到 $2^n - 1$，与非退化博弈中已知的最大值一致。
• 表明参数化线性规划算法在秩-1 博弈中的解路径可能因指数级数量的均衡点而变得指数级长。

提出的方法

• 定义一个 $n \times n$ 双矩阵博弈，其收益矩阵为 $A$ 和 $B = A^T$，其中 $A$ 为上三角矩阵，其元素满足：当 $j > i$ 时 $a_{ij} = 2p^{i+j}$，当 $i = j$ 时 $a_{ii} = p^{2i}$，当 $j < i$ 时 $a_{ij} = 0$。
• 证明 $A + B = \alpha \beta^T$，其中 $\alpha_i = p^i$，$\beta_j = 2p^j$，因此 $A + B$ 的秩为 1。
• 构造一个混合策略 $y$，其支撑集 $S \subseteq \{1, \dots, n\}$，从最大索引 $s = \max S$ 开始，递归求解 $i \in S$ 的 $(Ay)_i = u$ 以确定 $y_i$。
• 确保对所有 $i \in S$ 有 $y_i > 0$，其余 $y_i = 0$，并重新归一化使 $y$ 成为有效的混合策略。
• 验证对每个非空 $S$，$(y, y)$ 均为纳什均衡点，原因在于 $S$ 内部的期望收益相等，而外部收益更低。
• 利用博弈的对称性与非退化性，证明每个支撑集 $S$ 恰好对应一个对称均衡点。

实验结果

研究问题

• RQ1 秩-1 双矩阵博弈是否可能拥有指数级数量的纳什均衡点？
• RQ2 秩-1 博弈中的纳什均衡点数量是否受 $n$ 的多项式有界？
• RQ3 指数级数量的均衡点是否意味着参数化线性规划算法在秩-1 博弈中的解路径也必为指数级长？
• RQ4 是否能从已知的参数化 LP 例子系统性地推导出具有大量均衡点的博弈构造？

主要发现

• 所构造的 $n \times n$ 双矩阵博弈恰好拥有 $2^n - 1$ 个纳什均衡点，每个非空纯策略集合对应一个均衡点。
• 该博弈是非退化的，即任意混合策略的纯最优响应数量不超过其支撑集大小，确保所有均衡点均为孤立点。
• $A + B$ 的矩阵秩为 1，确认该博弈满足问题所要求的秩-1 条件。
• 均衡点数量达到了对称博弈中相同收益矩阵的理论最大值，且当 $n \geq 6$ 时，超过了一般非退化博弈中的均衡点数量。
• Adsul 等人（2011）所用的参数化线性规划的解路径必须包含 $2^n$ 个线段，这与 Murty（1980）的指数路径示例一致。