[论文解读] Nash-equilibria and N-fold integer programming

Raymond Hemmecke, Shmuel Onn+1 more|ArXiv.org|Mar 26, 2009

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

一句话总结

该论文证明了在具有耦合约束的整数规划博弈中广义纳什均衡的存在性，并将其与N重整数规划的最优解联系起来。当玩家类型为常数时，证明了通过Graver基技术，均衡计算及其逆问题均可在多项式时间内求解。

ABSTRACT

Inspired by a paper of R. W. Rosenthal, we investigate generalized Nash-equilibria of integer programming games. We show that generalized Nash-equilibria always exist and are related to an optimal solution of a so-called N-fold integer program. This link allows us to establish some polynomial time complexity results about solving this optimization problem and its inverse counter-part.

研究动机与目标

• 在具有耦合约束的整数规划博弈中建立广义纳什均衡的存在性。
• 将广义纳什均衡与N重整数规划的最优解联系起来。
• 证明当玩家类型为常数时，均衡计算问题可在多项式时间内求解。
• 将这些结果扩展到具有凸结构的成本函数的逆优化问题。
• 利用N重整数规划中结构化矩阵的Graver基分析复杂度。

提出的方法

• 通过玩家特定的约束和共享资源成本，对具有耦合约束的整数规划博弈进行建模。
• 将广义纳什均衡定义为：在其他玩家策略和耦合约束给定的情况下，每个玩家的策略均最小化其成本。
• 将均衡计算问题约化为在N重整数规划上最小化一组单调递增成本函数之和。
• 利用N重结构化矩阵的Graver基来界定解的复杂度，并确保多项式时间可解性。
• 对凸成本函数应用基于预言机的计算方法，实现高效的逆优化。
• 利用固定块N重矩阵的Graver基大小随玩家数量N呈多项式增长的性质。

实验结果

研究问题

• RQ1 在具有耦合约束和单调递增成本函数的整数规划博弈中，广义纳什均衡是否始终存在？
• RQ2 广义纳什均衡的计算问题是否可约化为求解一个N重整数规划问题？
• RQ3 当玩家类型数量为常数时，均衡计算问题是否可在多项式时间内求解？
• RQ4 能否高效求解逆问题——即找到与给定均衡一致的成本函数？
• RQ5 在固定玩家类型和有界成本值的条件下，问题的复杂度如何随玩家数量变化？

主要发现

• 在研究的具有耦合约束和单调递增成本函数的整数规划博弈类别中，广义纳什均衡始终存在。
• 当玩家类型数量为常数时，广义纳什均衡的计算问题可在多项式时间内求解。
• 底层N重整数规划矩阵的Graver基的大小和编码长度随玩家数量N呈多项式增长。
• 当成本函数为凸且通过预言机给出时，逆整数优化问题——即寻找与给定均衡一致的成本函数——可在多项式时间内求解。
• 在有界成本值和固定玩家类型矩阵的条件下，复杂度结果成立，确保可通过Graver基技术实现高效计算。
• 约化为N重整数规划使得通过结构化矩阵分析和基于预言机的计算实现高效求解成为可能。