[论文解读] On Competing Wireless Service Providers

Vojislav Gajić, Jianwei Huang+1 more|ArXiv.org|Mar 11, 2009

Cooperative Communication and Network Coding参考文献 17被引用 5

一句话总结

本文研究无线服务提供商在提供可分割资源（如带宽）时，面对具有不同信道增益和支付意愿的异构用户之间的竞争。在双寡头市场中，证明了纳什均衡的存在性与唯一性，表明该均衡可实现总网络效用最大化，并可通过凸度量变换在多项式时间内求解，即使用户面临模糊的定价选择亦然。

ABSTRACT

We consider a situation where wireless service providers compete for heterogenous wireless users. The users differ in their willingness to pay as well as in their individual channel gains. We prove existence and uniqueness of the Nash equilibrium for the competition of two service providers, for a generic channel model. Interestingly, the competition of two providers leads to a globally optimal outcome. We extend some of the results to the case where more than two providers are competing. Finally, we provide numerical examples that illustrate the effects of various parameters on the Nash equilibrium.

研究动机与目标

• 建立并分析无线服务提供商在向具有异构信道条件和支付意愿的用户供应有限可分割资源时的战略竞争模型。
• 在一般信道模型下，证明双家提供商（双寡头）情形中纳什均衡的存在性与唯一性。
• 证明当用户效用函数为严格递增且严格凹时，纳什均衡可实现全局网络效用最大化。
• 将结果扩展至多于两家提供商的寡头市场，对均衡行为提供部分刻画。
• 通过度量变换将非凸偏好区域转换为凸区域，降低寻找整数纳什均衡的计算复杂度。

提出的方法

• 提出一种博弈论模型，其中提供商设定单位价格以最大化收益，用户根据效用最大化选择提供商：$ u_{ij} = a_i /log(1 + q_{ij}/g_i(h_{ij})) - p_j q_{ij} $。
• 引入变换变量 $ x_i = q_{i1}/g_{i1} + q_{i2}/g_{i2} $，将非凸的用户偏好区域转换为凸域，从而实现高效计算。
• 利用Karush-Kuhn-Tucker（KKT）条件刻画在价格与供给约束下的最优用户资源分配。
• 引入供给限制约束 $ extstyleigsum_{i=1}^I q_{ij} = Q_j $，以解决当各提供商边际效用相等时用户选择的模糊性。
• 采用两阶段Stackelberg博弈框架：提供商首先宣布价格，用户随后响应资源请求，最多仅有一名用户对多个提供商具有多重最优选择。
• 通过证明在供给约束下满足KKT条件的解与最大化总系统效用的解完全一致，从而证明均衡的唯一性。

实验结果

研究问题

• RQ1 在具有异构用户的双家无线服务提供商竞争中，是否存在唯一的纳什均衡？
• RQ2 在一般效用函数下，能否证明纳什均衡可实现总网络效用最大化？
• RQ3 在非凸用户偏好区域存在的情况下，如何降低寻找整数纳什均衡的计算复杂度？
• RQ4 当超过两家提供商竞争时，均衡的唯一性与效率将如何变化？
• RQ5 在存在多个最优选择的情况下，用户需求拆分在何种条件下可被唯一确定？

主要发现

• 在双寡头情形下，存在唯一纳什均衡，且最多一名用户从两家提供商购买资源，该均衡实现总网络效用最大化。
• 该均衡为全局最优：在严格递增且严格凹的效用函数下，其结果与全局系统效用最大化问题完全一致。
• 度量变换 $ x_i = q_{i1}/g_{i1} + q_{i2}/g_{i2} $ 将非凸偏好区域转换为凸区域，从而实现整数纳什均衡的多项式时间求解。
• 当用户从两家提供商获得相等的边际效用时（即 $ p_1 g_{k1} = p_2 g_{k2} $），供给约束可唯一确定其资源分配，从而消除模糊性。
• 均衡解满足与系统最优解相同的KKT条件，证明了子博弈完美纳什均衡与系统效率的等价性。
• 对于多于两家提供商的情形，本文对均衡行为提供了部分刻画，表明唯一性与最优性未必普遍成立，但在约束条件下仍可分析。