[논문 리뷰] Nash equilibria in Voronoi games on graphs

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

Game Theory and Applications참고 문헌 6인용 수 8

한 줄 요약

이 논문은 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.

연구 동기 및 목표

• 무방향 그래프에서의 이산 바르노이 게임에서 내쉬 균형의 존재성과 계산 복잡도를 조사하는 것.
• 이 게임 설정에서 최적 반응 동적의 내쉬 균형 수렴 성질을 분석하는 것.
• 사회적 비용 변동성을 측정하기 위해 새로운 측정법인 사회적 비용 차이를 도입하고 특성화하는 것.
• 일般 그래프 및 사이클과 같은 특정 그래프 유형에 대해 사회적 비용 차이의 날카로운 점근적 경계를 설정하는 것.

제안 방법

• 무방향 그래프 G(V,E)에서 k명의 플레이어가 시설로 정점들을 선택하는 이산 바르노이 게임을 모델링한다.
• 플레이어의 수익은 자신의 가장 가까운 시설에 할당된 정점 수로 정의되며, 동점일 경우 등분할 배분 방식을 적용한다.
• 사회적 비용을 모든 정점에서 가장 가까운 시설까지의 거리의 합으로 정의한다.
• 사회적 비용 차이를 모든 내쉬 균형에서의 최고 사회적 비용과 최저 사회적 비용의 비율로 제안한다.
• 델로나 삼등분의 별 분할과 반경 기반 분석을 사용하여 비용 차이를 경계한다.
• 모순에 의한 증명과 거리 경계(예: d(f_i, f'_j) ≤ 6r)를 활용하여 차이의 상한과 하한을 설정한다.

실험 결과

연구 질문

• RQ1 이산 바르노이 게임에서 내쉬 균형의 존재 여부를 판단하는 문제는 NP-난이도인가?
• RQ2 이 게임 설정에서 최적 반응 동적은 내쉬 균형으로 수렴하는가?
• RQ3 모든 내쉬 균형에서 사회적 비용 차이의 점근적 범위는 무엇인가?
• RQ4 특히 최적성과 공정성 측면에서, 서로 다른 균형 간의 사회적 비용은 어떻게 비교되는가?

주요 결과

• 이산 바르노이 게임에서 내쉬 균형의 존재 여부를 판단하는 것은 NP-난이도이다.
• 사회적 비용 차이는 하한 Ω(√(n/k))과 상한 O(√(kn))로 경계되며, k가 상수일 경우 날카로운 경계가 성립한다.
• 최적 반응 동적는 일반적으로 내쉬 균형으로 수렴하지 않지만, 수정된 게임 변형에서는 수렴한다.
• k ≤ n/4일 경우, 반경과 수익 분석을 통해 균형 간 비용 비율이 O(√(kn))로 경계된다.
• k > n/4일 경우, r = O(1) 이고 총 비용이 O(n)으로 경계되므로 차이는 O(n)이 된다.
• 사회적 비용 차이는 가격의 비효율성에 의해 상한이 제시되지만, 최적 비용과 비교하는 것보다 공정성 측면에서 더 관련성이 높은 측정법이다.