[论文解读] Asymptotically tight bounds for inefficiency in risk-averse selfish routing

Thanasis Lianeas, Evdokia Nikolova+1 more|arXiv (Cornell University)|Oct 7, 2015

Transportation Planning and Optimization参考文献 14被引用 10

一句话总结

本文通过拓扑与泛函分析，建立了在随机行程时间的非原子自私路由中风险规避价格的渐近紧致界。采用归纳图构造法，证明了均值-方差与均值-标准差模型的匹配下界，并通过基于变分不等式的简化证明方法，推导出泛函上界，提出了一套分析风险规避路由网络低效性的新框架。

ABSTRACT

We consider a nonatomic selfish routing model with independent stochastic travel times, represented by mean and variance latency functions for each edge that depend on their flows. In an effort to decouple the effect of risk-averse player preferences from selfish behavior on the degradation of system performance, Nikolova and Stier- Moses [16] defined the concept of the price of risk aversion as the worst-case ratio of the cost of an equilibrium with risk-averse players and that of an equilibrium with risk-neutral users. For risk-averse users who seek to minimize the mean plus variance of travel time on a path, they proved an upper bound on the price of risk aversion, which is independent of the latency functions, and grows linearly with the size of the graph and players' risk-aversion. In this follow-up paper, we provide a matching lower bound for graphs with number of vertices equal to powers of two, via the construction of a graph family inductively generated from the Braess graph. We also provide conceptually different bounds, which we call functional, that depend on the class of mean latency functions and provide characterizations that are independent of the network topology (first derived, in a more complicated way, by Meir and Parkes [10] in a different context with different techniques). We also supplement the upper bound with a new asymptotically-tight lower bound. Our third contribution is a tight bound on the price of risk aversion for a family of graphs that generalize series-parallel graphs which applies to users minimizing the mean plus standard deviation of a path, a much more complex model of risk-aversion due to the cost of a path being non-additive over edge costs. This is a refinement of previous results in [16] that characterized the price of risk-aversion for series-parallel graphs and for the Braess graph.

研究动机与目标

• 解耦风险规避与自私行为对随机路由博弈中系统低效性的影响。
• 为最小化路径成本均值加方差或均值加标准差的风险规避用户，建立风险规避价格（PRA）的渐近紧致上下界。
• 提出一种新颖的泛函分析框架，其依赖于时延函数类而非网络拓扑，以补充现有基于拓扑的界。
• 将先前关于串联-并联图与Braess图的PRA结果扩展至更广泛的图族，包括这些结构的推广形式。
• 识别在均值-标准差模型下，对一般图的PRA边界存在的开放挑战，特别是针对非可加风险偏好的情形。

提出的方法

• 从Braess图归纳构造图族，生成在PRA上具有紧致拓扑下界的实例。
• 使用变分不等式技术，推导出适用于任意均时延函数类的PRA简化、直接上界证明。
• 通过重新解释方差为标准差、方差与均值之比为变异系数，将相同图构造用于推导泛函下界。
• 应用引理1与引理2（关于交替路径与载流子子路径），证明若图不含带耳的多米诺骨牌图（domino-with-ears minor），则PRA有界。
• 通过证明同一构造在均值-标准差模型下仍能产生紧致界，将均值-方差结果推广至均值-标准差模型，尽管后者路径成本不可加。
• 基于图子式（minor）的反证法，证明若带耳的多米诺骨牌图为子式，则PRA > 1+2γκ，从而确立界值的紧致性。

实验结果

研究问题

• RQ1 在具有随机行程时间的非原子路由博弈中，风险规避价格的最紧可能上下界是什么？
• RQ2 拓扑网络结构（如特定子式的存在，如带耳的多米诺骨牌图）如何影响由于风险规避导致的最坏情况低效性？
• RQ3 基于时延函数类而非网络拓扑的泛函界，是否能比基于拓扑的界提供更紧致或更普适的低效性表征？
• RQ4 在一般图中，对于非可加的均值-标准差风险规避模型，PRA的边界在多大程度上可被界定？
• RQ5 基于变分不等式的分析与新泛函框架之间，在界定风险规避路由低效性方面存在何种关系？

主要发现

• 本文通过从Braess图出发的归纳构造，在顶点数为2的幂次的图中，建立了风险规避价格（PRA）的匹配下界。
• 对于存在最多一个或两个不相交前向子路径的交替路径的图，上界PRA ≤ 1+γκ与PRA ≤ 1+2γκ为渐近紧致。
• 通过简化变分不等式方法，推导出PRA的泛函上界，其证明比以往方法更为直接。
• 相同的图构造即使在路径成本不可加的均值-标准差模型下，也能产生渐近紧致的下界。
• 研究结果表明，带耳的多米诺骨牌图是PRA ≤ 1+2γκ情形下的禁止子式，从而建立了低效性有界的拓扑表征。
• 研究表明，基于时延函数类的泛函界可独立于网络拓扑，为分析路由博弈中的低效性提供了新视角。