[论文解读] An Optimization and Control Theoretic Approach to Noncooperative Game Design

Tansu Alpcan, Lacra Pavel+1 more|arXiv (Cornell University)|Jul 1, 2010

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

一句话总结

本文提出了一种基于优化与控制理论的框架，用于设计非合作博弈，以实现福利最大化或服务质量（QoS）目标等期望的全局目标。通过将定价机制作为设计工具，表明即使在信息有限的情况下，简单的线性定价方案也能唯一地将纳什均衡引导至期望解，并利用李雅普诺夫理论和奇异摄动方法，为时标分离的动力学系统建立稳定性条件。

ABSTRACT

This paper investigates design of noncooperative games from an optimization and control theoretic perspective. Pricing mechanisms are used as a design tool to ensure that the Nash equilibrium of a fairly general class of noncooperative games satisfies certain global objectives such as welfare maximization or achieving a certain level of quality-of-service (QoS). The class of games considered provide a theoretical basis for decentralized resource allocation and control problems including network congestion control, wireless uplink power control, and optical power control. The game design problem is analyzed under different knowledge assumptions (full versus limited information) and design objectives (QoS versus utility maximization) for separable and non-separable utility functions. The ``price of anarchy'' is shown not to be an inherent feature of full-information games that incorporate pricing mechanisms. Moreover, a simple linear pricing is shown to be sufficient for design of Nash equilibrium according to a chosen global objective for a fairly general class of games. Stability properties of the game and pricing dynamics are studied under the assumption of time-scale separation and in two separate time-scales. Thus, sufficient conditions are derived, which allow the designer to place the Nash equilibrium solution or to guide the system trajectory to a desired region or point. The obtained results are illustrated with a number of examples.

研究动机与目标

• 开发一种系统化的非合作博弈设计框架，使得其纳什均衡能够满足福利最大化或QoS约束等全局目标。
• 解决在信息有限条件下博弈设计的挑战，即设计者缺乏对参与者效用或偏好的完整知识。
• 在时标分离条件下，利用李雅普诺夫理论和奇异摄动技术，分析博弈与定价动力学的稳定性。
• 证明‘无政府失灵’（price of anarchy）并非具有定价机制的完全信息博弈的固有特征。
• 提供充分条件，指导通过定价与控制设计使系统轨迹达到期望的均衡点或区域。

提出的方法

• 构建一类具有可分与不可分效用函数的非合作博弈通用形式，用于建模分散式资源分配问题。
• 引入定价机制作为控制输入，以影响纳什均衡，并使其与所选的全局目标对齐。
• 应用Karush-Kuhn-Tucker（KKT）条件与拉格朗日对偶理论，刻画纳什均衡并推导最优性必要条件。
• 采用时标分离假设，建模缓慢的定价动力学与快速的玩家响应动力学，从而借助奇异摄动理论实现稳定性分析。
• 运用李雅普诺夫稳定性理论，推导出确保收敛至期望均衡点的充分条件。
• 推导出在存在耦合（不可分）效用函数的情况下，纳什均衡唯一且可通过线性定价显式定位的条件。

实验结果

研究问题

• RQ1 能否利用定价机制设计非合作博弈，使其纳什均衡实现特定的全局目标，如社会福利最大化？
• RQ2 在具有耦合（不可分）效用函数的非合作博弈类中，纳什均衡在何种条件下是唯一的？
• RQ3 当系统在两个不同时间尺度上运行时，如何确保博弈与定价动力学的稳定性？
• RQ4 ‘无政府失灵’是否是非合作博弈设计的不可避免后果，还是可通过适当的定价机制消除？
• RQ5 在何种充分条件下，线性定价方案可引导系统达到期望的均衡点或区域？

主要发现

• 简单的线性定价机制足以设计一类通用非合作博弈的纳什均衡，以实现期望的全局目标，如福利最大化或QoS合规性。
• 在给定假设下（包括海森矩阵的严格凸性与正定性），即使在效用函数不可分的情况下，所研究类别的纳什均衡也是唯一的。
• 无政府失灵并非具有定价机制的完全信息博弈的固有特征；通过适当的机制设计，可消除或缓解该现象。
• 在时标分离条件下，利用李雅普诺夫理论与奇异摄动方法，推导出博弈与定价动力学稳定性的充分条件。
• 即使在信息有限的情况下，通过合理设计定价动力学，仍可引导系统轨迹达到期望的均衡点或区域。
• 所提出的框架可应用于实际问题，如网络拥塞控制、无线上行链路功率控制及光功率控制，并提供了说明性实例。