通讯网络中算法博弈.pdf

摘要 摘要 在现实世界中的大多数复杂网络，例如互联网，都是由数以千计的大大小 小的用户(或代理商)组成的，这些用户都试图使自己的收益最大化。这样的 用户被称为自利的(或者自私的，理性的)的用户。对于这样的大规模非合作 网络问题，博弈论和数理经济学为我们提供了很好的研究手段。为了衡量整个 系统性能的优劣程度，我们设立一个目标函数作为评价标准，称之为系统目标 函数，它的最优解称为全局最优解。从单独的用户来看，每个用户又都有一个 反映其个人偏好的收益函数，理性的用户都是以最大化其收益函数来选择策略 的。显然，所有自利用户选择的策略组合往往不是全局最优，甚至和全局最优 值相差甚远。 近年来，计算机科学家们对估计非合作网络下的稳定状态和全局最优解的 ‘调和率的概念，用于研究所有实例下纳什均衡对应的系统费用和全局最优解的 最大比率。这个概念量化了系统在完全缺乏中央调控的情况下，纳什均衡解和 全局最优解的最大差值。与之相连的另一个概念是稳定率，它是所有实例下最 好的纳什均衡(使系统目标最优的纳什均衡)和全局最优值的最大比率。稳定 率有着网络协议方面的现实背景，在非合作网络中，一方面用户可以理性的选 择自己的行为策略，网络的管理者不能对用户采取任何强制的措施；另一方面 网络的管理者又想得到一个系统总收益尽可能大的稳定解，怎么才能这满足两 方面的要求呢?很自然的，网络管理者可以想到以下方案：先制定一个系统总 收益尽可能大的稳定的网络用户协议(即如果用户都按照这个协议行动，那么 它构成一个纳什均衡)，并向用户推荐这个协议。稳定率反映的是面对自利的 用户，在最坏的情况下，网络管理者所能得到的最大收益和全局最优解的比 率。 计算机科学家感兴趣的另一个主题是怎么设计网络以有效的避免Braess悖 论。Braess悖论并不是说数学理论上有什么自相矛盾的地方，而是反映一个和 人们的直觉相违背的现象。1968年DietrichBraess【11】举出了一个实例，说明交 通网络中增加一条通路不仅没有改善网络交通，反而使网络上的出行时间增加 了，而且是所有出行者的出行时间都增加了。自此以后，这种出力不讨好且与 人们直观感受相背的交通网络现象就被命名为Braess悖论。Braess悖论激发了如 下的网络设计问题【60】：即给定一个网络，这个网络中是否存在悖论边?如何 摘要 高效地寻找图中存在的悖论边并去掉这些边，使网络处于最优的纳什均衡状态 (即最坏的纳什均衡对应的系统目标值尽量的小)?对这个问题进行进一步推 广，又可以提出另外一个网络设计问题，称为有选择性的网络设计问题151：给 定一个网络G=(KE)，以及一个边子集易∈E，如何找出G的一个子图日，使 得日包含边子集局，且子图日上的网络处于最优的纳什均衡状态?换句话说，就 是在不涉及边子集局的情况下，如何高效地寻找图中存在的悖论边并去掉这些 边，使网络处于最优的纳什均衡状态? 本文分为以下三个方面：首先，我们考虑线性拥塞博弈，对总体加权延迟 函数、用户延迟和函数、资源延迟和函数等三种系统目标函数，分别给出了稳 定率的上界。对带全局优先序的拥塞博弈和无限可分加权拥塞博弈，我们证明 用户单回合最优反应导致的近似程度是常数界的。对带固定序的拥塞博弈，我 们给出了相关均衡的调和率。其次，我们讨论了带“刻板用户的路由博弈问 题，即在平行机背景中探讨线性函数及M／M／I函数下纳什均衡流的调和率。最 后，我们从计算复杂性的角度分析了瓶颈路由博弈的可选择网络设计问题。 关键词：博弈论，计算复杂性，网络设计，拥塞博弈，路由博弈，Braess悖论 Abstract asthe andbuilt Intemet，are Mostofthe operated existingcomplexsystems，such andsmall toobta