[논문 리뷰] Mechanism Design for Two-Opposite-Facility Location Games with Penalties on Distance

Xujin Chen, Xiao Hu외 4명|arXiv (Cornell University)|2018. 06. 21.

Game Theory and Voting Systems인용 수 5

한 줄 요약

이 논문은 한 명의 유명한 시설과 한 명의 기피 시설이 있는 선형 구간에서 기부자들의 기대효용이 두 시설까지의 거리 차이에 따라 달라지는 두 개의 반대 시설 위치 게임에 대한 메커니즘 설계를 제안한다. 합형 사회복지를 최대화하는 데 초점을 맞춘 랜덤화 및 결정론적 군 전략 증명 메커니즘을 도입하였으며, 최소 효용에 대한 벌점이 가미된 봉쇄형 사회복지를 최적화하는 결정론적 메커니즘을 제안하여 근사비율과 하한값을 증명하였다.

ABSTRACT

This paper is devoted to the two-opposite-facility location games with a penalty whose amount depends on the distance between the two facilities to be opened by an authority. The two facilities are "opposite" in that one is popular and the other is obnoxious. Every selfish agent in the game wishes to stay close to the popular facility and stay away from the obnoxious one; its utility is measured by the difference between its distances to the obnoxious facility and the popular one. The authority determines the locations of the two facilities on a line segment where all agents are located. Each agent has its location information as private, and is required to report its location to the authority. Using the reported agent locations as input, an algorithmic mechanism run by the authority outputs the locations of the two facilities with an aim to maximize certain social welfare. The sum-type social welfare concerns with the penalized total utility of all agents, for which we design both randomized and deterministic group strategy-proof mechanisms with provable approximation ratios, and establish a lower bound on the approximation ratio of any deterministic strategy-proof mechanism. The bottleneck-type social welfare concerns with the penalized minimum utility among all agents, for which we propose a deterministic group strategy-proof mechanism that ensures optimality.

연구 동기 및 목표

• 기부자들이 상반된 선호를 보이는 한 선형 구간에서 한 명의 유명한 시설과 한 명의 기피 시설을 위치시키는 문제에 대응한다.
• 기부자들이 자신의 위치를 허위로 보고하는 것으로 이득을 볼 수 없도록 보장하는 진실성 있는 메커니즘을 설계한다.
• 합형(총합형) 사회복지를 최대화하는 목표(전체 벌점 부여된 효용의 합)와 봉쇄형(최소값 기반) 사회복지를 최대화하는 목표(최소 벌점 부여된 효용의 최대화)를 고려하여 사회복지를 극대화한다.
• 결정론적 전략 증명 메커니즘의 근사비율에 대한 이론적 하한을 확립한다.
• 실제 시설 배치의 상호 보완적 조건을 반영하기 위해 거리에 기반한 벌점을 효용 모델에 통합한다.

제안 방법

• 기부자들이 보고한 위치를 입력으로 받아 시설의 위치를 계산하며, 메커니즘 설계 원칙을 통해 군 전략 증명성을 확보한다.
• 시설 배치에 대한 확률 분포를 활용하여 증명 가능한 근사비율을 확보한 합형 복지에 대한 랜덤화 메커니즘을 설계한다.
• 군 전략 증명성을 유지하면서 유한한 근사비율을 달성하는 합형 복지에 대한 결정론적 메커니즘을 개발한다.
• 벌점 모델 하에서 최적의 성능을 보장하는 봉쇄형 복지에 대한 새로운 결정론적 메커니즘을 제안한다.
• 효용 함수에 거리에 따른 벌점을 적용하며, 효용은 기피 시설과 유명 시설까지의 거리 차이로 정의된다.
• 이론적 분석을 통해 어떤 결정론적 전략 증명 메커니즘의 근사비율에 대한 하한을 설정한다.

실험 결과

연구 질문

• RQ1 거리에 따른 벌점을 고려한 두 개의 반대 시설 위치 게임에서, 합형 사회복지를 최대화하는 데 있어 어떤 결정론적 전략 증명 메커니즘도 달성할 수 있는 최고의 근사비율은 얼마인가?
• RQ2 모든 기부자 중 최소 벌점 부여 효용을 최대화하는 데 있어 군 전략 증명 메커니즘을 설계할 수 있는가?
• RQ3 거리에 기반한 벌점은 기부자 위치 게임에서의 진실성 있는 메커니즘의 설계 및 성능에 어떤 영향을 미치는가?
• RQ4 이 두 시설 설정에서 진실성, 근사비율, 사회복지 간의 상호 상충 관계는 무엇인가?
• RQ5 주어진 효용 및 벌점 모델 하에서 결정론적 전략 증명 메커니즘의 성능에 대한 이론적 한계는 무엇인가?

주요 결과

• 합형 복지를 위한 랜덤화 군 전략 증명 메커니즘이 제안되었으며, 증명 가능한 근사비율을 확보하였지만, 요약문에서 정확한 값은 기재되지 않았다.
• 합형 복지를 위한 결정론적 군 전략 증명 메커니즘이 설계되었으며, 유한한 근사비율을 확보하였고, 이러한 메커니즘의 성능에 대한 증명된 하한값이 존재한다.
• 봉쇄형 복지를 위한 결정론적 군 전략 증명 메커니즘이 구축되어, 벌점 부여된 최소 효용을 최대화하는 데 있어 최적의 성능을 보장한다.
• 어떤 결정론적 전략 증명 메커니즘의 근사비율에 대한 하한값이 확립되어, 이는 본질적인 성능 한계를 시사한다.
• 효용 모델은 두 시설 간의 거리에 기반한 벌점을 통합하여, 기부자의 순효용을 각 시설까지의 거리 차이로 정의한다.
• 메커니즘은 군 차원의 진실성 보장을 위해 설계되어, 기부자들이 허위 보고를 통해 협동 이득을 얻는 것을 방지한다.