一类包含刻板用户的Wardrop路由博弈.pdfVIP

第3l卷第4期 应用数学学报 V01．31No．4 2008年7月 ACTAMATHEMATICAEAPPLICATAESINICAJuly,2008 侯海洋 (浙江大学数学系，杭州310027) (E-mail：houhaiyangya@163．COIn) 摘要在平行边网络的背景下，考虑包含刻板用户的Wardrop路由博弈．针对线性函数下最大费用边 of 模型和M／M／1型函数下用户和函数模型，分别给出了调和率(priceanarchy)的上界． 关键词算法博弈；路由；调和率 ． MR(2000)主题分类90820；90C27 中图分类0221．7 1 引言 近年来，运筹学与理论计算机科学的一个重大的发展趋势就是把博弈论和数理经济 学融入到算法的设计和分析之中，由此诞生了一个新兴的交叉学科一一算法博弈论． 算法博弈论为解决现实世界中，如互联网等大规模非合作网络问题提供了一个很好的 研究手段．所谓非合作网络，是由数以千计的大大小小的用户(或代理商)组成的，这 些用户都试图使自己的收益最大化，这样的用户被称为自利的用户．为了衡量整个系统 性能的优劣程度，我们设立一个目标函数作为评价标准，称之为系统目标函数，它的最 优解称为全局最优解；从单独的用户来看，每个用户又都有一个反映其个人偏好的收益 函数为目标，理性的用户都是以最大化其收益函数来选择策略的，而不是考虑全局最优 解．此外，我们还对整个网络的稳定状态感兴趣，博弈论中最常用的一个稳定状态就是 纳什均衡，在纳什均衡下，没有任何用户能够通过单独改变策略的方式使得自己的收益 获得增加．显然，纳什均衡往往不是全局最优解，有时它所对应的系统目标值甚至和全 局最优值相差甚远． 为了研究所有实倒下纳什均衡对应的系统费用和全局最优值的关系，Koutsoupias of 和Papadimitriou在【1,2】中正式提出调和率(priceanarchy)的概念，这个概念量化了 系统在完全缺乏中央调控的情况下，纳什均衡解和全局最优解的最大比率．至今为止， 各种模型下的调和率相继被讨论，例如路由问题[3，圳，选址问题[5】’拥塞博弈【6】等等． 模型进行了初步的定性分析．Wardrop在[8】正式用数学形式表述了这个模型．随后， 在经典的Wardrop路由博弈中，假定每个用户(即博弈的参与者)能控制的流量相 对于整个网络流量而言是微不足道的，以至于单个的用户的策略对其他人的影响也是 本文2008年5月1日收到． ’浙江省自然科学基金(Y605353)资助项目． 578 应 用 数 学 学 报 31卷 微不足道的．近年来随着对Wardrop路由博弈研究的不断深入，各种各样的接近实际 生活的模型不断被提出，其中一个热点是弱化对“全体参与者都是理性的”这一假设． 『101首次提出了带部分“刻板用户”(oblivious 定模型中有两类用户，一类是“理性用户”(rationalplayers)；另一类是“刻板用户” (oblivious players)，这些刻板用户事先根据网络的硬件指标做出决策，而且在博弈中不 会改变决策．由于这些用户完全忽视了网络拥塞程室对自己的影响，故称其为“刻板用 户”．在[10]中，作者假设网络的边延迟函数是线性函数，当网络的流量为零时，网络边 的长度为边延迟函数的常数项，每个“刻板用户”都事先根据这些长度来选择从他的源 点到汇点的最短路．他们分别在平行边模型(即网络只包含两个顶点和一组连接两个顶 点的有向平行边)和广义多商品流网络上讨论了带“刻板用户”的纳什均衡的性质，并 给出了当系统目标为极小化用户和函数时的调和率的上界．在本文中，我们以平行边网 络为背景下，针对线性函数下最大费用边模型和M／M／1型函数下用户和函数模型，分 别给出了包含“刻板用户”的Wardrop路由博弈的纳什均衡性质及调和率上界． 2 模型及预备知识