[论文解读] FPTAS for Mixed-Strategy Nash Equilibria in Tree Graphical Games and Their Generalizations

Luis E. Ortiz, Mohammad Irfan|arXiv (Cornell University)|Feb 16, 2016

Game Theory and Applications参考文献 24被引用 5

一句话总结

本文提出了首个针对树状结构图形多超矩阵博弈（GMhGs）的完全多项式时间近似方案（FPTAS），GMhGs是标准型、图形化及多矩阵博弈的推广。通过在离散化的概率与收益空间上建立约束满足问题（CSP），并利用动态规划求解，作者消除了对邻域规模的指数依赖，当行动数与超树宽被常数有界时，实现了FPTAS。

ABSTRACT

We provide the first fully polynomial time approximation scheme (FPTAS) for computing an approximate mixed-strategy Nash equilibrium in tree-structured graphical multi-hypermatrix games (GMhGs). GMhGs are generalizations of normal-form games, graphical games, graphical polymatrix games, and hypergraphical games. Computing an exact mixed-strategy Nash equilibria in graphical polymatrix games is PPAD-complete and thus generally believed to be intractable. In contrast, to the best of our knowledge, we are the first to establish an FPTAS for tree polymatrix games as well as tree graphical games when the number of actions is bounded by a constant. As a corollary, we give a quasi-polynomial time approximation scheme (quasi-PTAS) when the number of actions is bounded by the logarithm of the number of players.

研究动机与目标

• 为树状结构图形博弈中的混合策略纳什均衡开发一种高效近似方案，此类博弈的精确计算已被证明为PPAD完全。
• 解决以往图形博弈算法中长期存在的节点度数指数依赖问题。
• 通过图形多超矩阵博弈（GMhGs）的统一框架，将可 tractable 的近似扩展至包括多矩阵博弈与超图博弈在内的广泛博弈类别。
• 当行动数与超树宽被常数有界时，建立FPTAS；当行动数被log(n)有界时，建立准PTAS。

提出的方法

• 构建一个约束满足问题（CSP），使得任一解对应一个ϵ-MSNE，通过同时对概率空间与收益空间进行离散化，以确保近似解的存在性。
• 使用动态规划（DP）高效求解CSP，通过树结构上的消息传递机制传播局部收益与策略约束。
• 定义递归函数T、R、V与W，以在每个节点上计算最优策略组合与期望收益，同时为根节点与叶节点设定边界条件。
• 对混合策略与收益应用离散化网格，其分辨率由ϵ决定，以保证任意真实MSNE在网格上均存在一个满足CSP的邻近点。
• 利用DP算法从叶节点到根节点递归计算最优策略，再反向传播以恢复完整的ϵ-MSNE。
• 证明当行动数与超树宽被常数有界时，该算法运行于完全多项式时间，成功消除了对邻域规模的指数依赖。

实验结果

研究问题

• RQ1 能否为树状结构图形多超矩阵博弈中的近似混合策略纳什均衡计算构建FPTAS？
• RQ2 该算法是否消除了节点最大度数带来的指数依赖，这一长期困扰图形博弈计算的瓶颈？
• RQ3 FPTAS能否扩展至行动数随玩家数对数增长的情形？
• RQ4 是否存在一种方法可保证混合策略的离散化网格中包含一个对任意给定博弈均为ϵ-MSNE的点？
• RQ5 动态规划能否被有效应用于树状结构GMhGs，以在完全多项式时间内计算近似均衡？

主要发现

• 所提算法在行动数与超树宽被常数有界时，可实现树状结构GMhGs中ϵ-MSNE的FPTAS。
• 运行时间为玩家数、1/ϵ与行动数的多项式函数，且对邻域规模无指数依赖。
• 对于具有常数行动数的101个节点星型多矩阵博弈，该算法运行时间为O(poly(k/ϵ))，显著优于以往算法的O((k/ϵ)^k)或O((2^{k+2}k log k / ϵ)^2)^k时间复杂度。
• 当行动数被log(n)有界时，该算法提供准PTAS，扩展了其在更大规模博弈中的适用性。
• DP公式成功消除了对节点度数的指数依赖，解决了计算博弈论中长达15年的开放问题。
• 该方法实现简单，且可通过GMhG抽象泛化至标准图形博弈、多矩阵博弈与超图博弈。