[论文解读] Nash equilibria in Voronoi games on graphs

Christoph Dürr, Nguyễn Kim Thắng|ArXiv.org|Feb 9, 2007

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

一句话总结

本文研究了在图上进行的离散Voronoi博弈中纳什均衡的存在性，其中k名玩家选择顶点以最大化其分配的顾客数量。研究证明，判断纳什均衡是否存在是NP难问题，并建立了社会成本差异（即最差均衡社会成本与最优均衡社会成本之比）的紧致界：Ω(√(n/k)) 和 O(√(kn))。

ABSTRACT

In this paper we study a game where every player is to choose a vertex (facility) in a given undirected graph. All vertices (customers) are then assigned to closest facilities and a player's payoff is the number of customers assigned to it. We show that deciding the existence of a Nash equilibrium for a given graph is NP-hard which to our knowledge is the first result of this kind for a zero-sum game. We also introduce a new measure, the social cost discrepancy, defined as the ratio of the costs between the worst and the best Nash equilibria. We show that the social cost discrepancy in our game is Omega(sqrt(n/k)) and O(sqrt(kn)), where n is the number of vertices and k the number of players.

研究动机与目标

• 研究无向图上离散Voronoi博弈中纳什均衡的存在性及其计算复杂性。
• 分析该博弈设定下最佳响应动态收敛至纳什均衡的性质。
• 提出并表征一种新度量——社会成本差异，用于量化不同均衡之间社会成本的变异性。
• 为一般图及特定图类型（如环状图）建立社会成本差异的紧致渐近界。

提出的方法

• 将无向图G(V,E)上的离散Voronoi博弈建模为k名玩家选择顶点作为设施的博弈。
• 定义玩家收益为其最近设施所分配的顶点数量，平局时采用等比例分配。
• 将社会成本定义为所有顶点到其最近设施距离之和。
• 提出社会成本差异作为所有纳什均衡中最高与最低社会成本之比。
• 利用Delaunay三角剖分的星形划分与基于半径的分析方法，对成本差异进行有界分析。
• 采用反证法与距离界限（例如 d(f_i, f'_j) ≤ 6r）推导出差异的上下界。

实验结果

研究问题

• RQ1 在图上的离散Voronoi博弈中，判断纳什均衡是否存在的问题是否为NP难？
• RQ2 在该博弈设定下，最佳响应动态是否能收敛至纳什均衡？
• RQ3 所有纳什均衡中社会成本差异的渐近范围是什么？
• RQ4 不同均衡的社会成本如何比较，特别是在最优性与公平性方面？

主要发现

• 在图上的离散Voronoi博弈中，判断纳什均衡是否存在是NP难问题。
• 社会成本差异的下界为Ω(√(n/k))，上界为O(√(kn))，当k为常数时界限为紧致。
• 最佳响应动态在一般情况下不收敛至纳什均衡，但在修改后的博弈变体中可实现收敛。
• 当k ≤ n/4时，通过半径与收益分析可证明均衡间成本比的上界为O(√(kn))。
• 当k > n/4时，差异为O(n)，因为r = O(1)且总成本被O(n)所限制。
• 社会成本差异的上界由价格无效率决定，但相较于与最优成本比较，其作为公平性度量更具相关性。