[论文解读] Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions

Umang Bhaskar, Katrina Ligett+2 more|arXiv (Cornell University)|Aug 6, 2014

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

一句话总结

本文提出了一种新颖的基于查询的方法，在未知延迟函数的情况下，通过非原子网络路由博弈中的均衡查询，诱导出目标多商品流作为纳什均衡。通过向均衡预言机发起多项式数量的查询，作者设计了一种基于椭球法的高效算法，即使在存在收费上限或不可收费边等约束条件下，也能计算出使目标均衡得以实现的边收费。

ABSTRACT

The analysis of network routing games typically assumes, right at the onset, precise and detailed information about the latency functions. Such information may, however, be unavailable or difficult to obtain. Moreover, one is often primarily interested in enforcing a desired target flow as the equilibrium by suitably influencing player behavior in the routing game. We ask whether one can achieve target flows as equilibria without knowing the underlying latency functions. Our main result gives a crisp positive answer to this question. We show that, under fairly general settings, one can efficiently compute edge tolls that induce a given target multicommodity flow in a nonatomic routing game using a polynomial number of queries to an oracle that takes candidate tolls as input and returns the resulting equilibrium flow. This result is obtained via a novel application of the ellipsoid method. Our algorithm extends easily to many other settings, such as (i) when certain edges cannot be tolled or there is an upper bound on the total toll paid by a user, and (ii) general nonatomic congestion games. We obtain tighter bounds on the query complexity for series-parallel networks, and single-commodity routing games with linear latency functions, and complement these with a query-complexity lower bound. We also obtain strong positive results for Stackelberg routing to achieve target equilibria in series-parallel graphs. Our results build upon various new techniques that we develop pertaining to the computation of, and connections between, different notions of approximate equilibrium; properties of multicommodity flows and tolls in series-parallel graphs; and sensitivity of equilibrium flow with respect to tolls. Our results demonstrate that one can indeed circumvent the potentially-onerous task of modeling latency functions, and yet obtain meaningful results for the underlying routing game.

研究动机与目标

• 解决在精确延迟函数未知或难以建模的情况下，实现网络路由博弈中期望交通均衡的挑战。
• 设计一种查询模型，通过预言机访问均衡流，从而绕过对显式延迟函数知识的需求。
• 设计高效算法，计算出使给定目标多商品流成为纳什均衡的边收费，且假设条件最小化。
• 将该框架扩展至处理收费上限、不可收费边以及一般非原子非线性拥挤博弈等约束。
• 为特定网络类（如串联-并联图）和线性延迟函数建立紧致的查询复杂度界限与难解性结果。

提出的方法

• 引入一种黑箱预言机模型，系统唯一可访问方式是通过查询，返回在给定收费下的均衡流。
• 应用椭球法高效搜索能诱导目标流的边收费，利用基于均衡条件的分离预言机。
• 开发新颖技术，关联不同近似均衡的定义，并分析均衡流对收费变化的敏感性。
• 证明串联-并联图中多商品流与收费的结构性质，以实现更紧致的查询复杂度界限。
• 通过从2-不相交路径（2DDP）问题的归约，建立对Stackelberg路由的不可近似性结果。
• 构造困难实例，将顶点不相交路径的存在性与均衡延迟直接关联，证明不可近似性阈值。

实验结果

研究问题

• RQ1 在未知底层延迟函数的情况下，能否在非原子路由博弈中诱导出目标多商品流作为纳什均衡？
• RQ2 为计算出实现给定目标流的收费，最少需要多少次对均衡预言机的查询？
• RQ3 在存在收费上限或不可收费边等约束条件下，查询复杂度如何变化？
• RQ4 能否为最小化均衡延迟的Stackelberg路由策略建立强不可近似性结果？
• RQ5 串联-并联图的何种结构性质使得在预言机模型下能获得更紧致的查询复杂度界限？

主要发现

• 本文提出了一种多项式时间算法，仅通过向均衡预言机发起多项式数量的查询，即可计算出使目标多商品流成为纳什均衡的边收费，且无需知晓延迟函数。
• 该算法基于椭球法的创新应用，通过利用从均衡条件导出的分离预言机，高效求解收费计算问题。
• 对于串联-并联网络，查询复杂度在边数和商品数上为多项式有界，且在线性延迟函数下可获得更紧的界限。
• 本文建立了查询复杂度的下界，表明在一般情况下，该问题无法在少于多项式数量查询下求解。
• 对于串联-并联图中的Stackelberg路由，最小化均衡延迟的问题被证明为(4/3 − ε)-不可近似，对任意ε > 0成立，即使在延迟为线性时亦然。
• 该难解性结果通过从2-不相交路径（2DDP）问题的归约得以证明，表明顶点不相交路径的存在性直接决定了可实现的最小均衡延迟。