[논문 리뷰] Strategy Proof Mechanisms for Facility Location in Euclidean and Manhattan Space

Toby Walsh|arXiv (Cornell University)|2020. 09. 17.

Game Theory and Voting Systems참고 문헌 15인용 수 4

한 줄 요약

이 논문은 유클리드 거리 또는 맨하탄 거리를 사용하여 두 차원 이상의 다차원 공간에서 시설 위치 문제에 대한 전략적 비호의성 메커니즘을 조사한다. 일차원에서 다차원 공간으로의 이동은 동시에 익명성, 파레토 최적성, 전략적 비호의성을 달성하는 데의 가능성을 심각하게 제한함을 보여주며, 맨하탄 공간에서 단일 시설이나 유클리드 공간에서 두 시설의 경우에도 이러한 성질을 동시에 만족하는 메커니즘이 존재하지 않는다는 불가능성 결과가 나타난다. 이는 일차원 공간에서는 이러한 메커니즘이 존재하는 것과 대비된다.

ABSTRACT

We study the impact on mechanisms for facility location of moving from one dimension to two (or more) dimensions and Euclidean or Manhattan distances. We consider three fundamental axiomatic properties: anonymity which is a basic fairness property, Pareto optimality which is one of the most important efficiency properties, and strategy proofness which ensures agents do not have an incentive to mis-report. We also consider how well such mechanisms can approximate the optimal welfare. Our results are somewhat negative. Moving from one dimension to two (or more) dimensions often makes these axiomatic properties more difficult to achieve. For example, with two facilities in Euclidean space or with just a single facility in Manhattan space, no mechanism is anonymous, Pareto optimal and strategy proof. By contrast, mechanisms on the line exist with all three properties.We also show that approximation ratios may increase when moving to two (or more) dimensions. All our impossibility results are minimal. If we drop one of the three axioms (anonymity, Pareto optimality or strategy proofness) multiple mechanisms satisfy the other two axioms.

연구 동기 및 목표

• 일차원에서 다차원 공간으로의 이동이 전략적 비호의성, 공정성, 효율성의 시설 위치 메커니즘 설계에 미치는 영향을 분석하는 것.
• 유클리드 거리 또는 맨하탄 거리 사용이 익명성, 파레토 최적성, 전략적 비호의성와 같은 축약 성질에 미치는 영향을 평가하는 것.
• 최적 복지(총 거리 또는 최대 거리)에 대한 근사 비율이 일차원과 비교하여 고차원에서 유한하게 유지되는지 조사하는 것.
• 일차원에서 성립하는 메커니즘이 다차원 공간으로 확장될 때 핵심 축약 성질 및 근사 성질을 유지할 수 있는지 여부를 판단하는 것.
• 최소 불가능성 결과를 규명하는 것 — 즉, 한 개의 축약 성질을 제거할 경우 나머지 두 성질을 동시에 만족할 수 있는지 여부를 확인하는 것.

제안 방법

• n명의 에이전트와 m개의 시설을 가진 d차원 유클리드 공간 및 맨하탄 공간에서 시설 위치 문제를 수학적으로 정의하는 것.
• 세 가지 핵심 축약 성질인 익명성(공정성), 파레토 최적성(효율성), 전략적 비호의성(inccentive compatibility)을 정의하는 것.
• 표준 메커니즘인 퍼센티ль 메커니즘, 메디안 메커니즘, 순차적 독재(Sequential Dictatorship, SD)의 다차원 환경에서의 성능을 분석하는 것.
• 시설의 용량 제약이 존재하는 경우, 즉 시설이 제한된 용량을 가지며 가능한 한 가장 가까운 시설로 할당되지 않는 경우에도 메커니즘을 확장하는 것.
• 2차원 이상의 공간에서 세 축약 성질을 동시에 만족해야 할 경우 수학적 증명을 통해 불가능성 결과를 도출하는 것.
• 1차원과 다차원 공간 간의 총 거리 및 최대 거리 목표에 대한 근사 비율을 비교하며, 특히 다차원 퍼센티얼 메커니즘의 성능을 분석하는 것.

실험 결과

연구 질문

• RQ1 일차원에서 익명성, 파레토 최적성, 전략적 비호의성을 만족하는 메커니즘이 두 차원 이상의 공간으로 확장될 경우 이러한 성질을 유지할 수 있는가?
• RQ2 유클리드 거리에서 맨하탄 거리로의 전환은 다차원 시설 위치에서 전략적 비호의성과 효율성의 실현 가능성을 어떻게 영향을 미치는가?
• RQ3 일차원에서는 유한한 근사 비율이 확보되는 총 거리 또는 최대 거리에 대한 근사 비율이 다차원 공간에서도 유지 가능한가?
• RQ4 최소 불가능성 결과가 존재하는가? 즉, 세 축약 성질 중 하나를 제거할 경우 2차원 유클리드 또는 맨하탄 공간에서 나머지 두 성질을 동시에 만족할 수 있는가?
• RQ5 용량 제약이 있는 시설 조건은 고차원 공간에서 전략적 비호의성 메커니즘의 설계 및 성능에 어떤 영향을 미치는가?

주요 결과

• 두 시설이 있는 2차원 유클리드 공간에서는 익명성, 파레토 최적성, 전략적 비호의성을 동시에 만족하는 메커니즘이 존재하지 않는다.
• 단일 시설이 있는 맨하탄 공간에서는 익명성, 파레토 최적성, 전략적 비호의성을 모두 만족하는 메커니즘이 존재하지 않으며, 이는 일차원 공간에서는 존재하지만, 다차원에서는 존재하지 않는다는 점에서 대비된다.
• 2차원 맨하탄 공간에서 두 시설이 있는 경우, 다차원 퍼센티얼 메커니즘은 총 거리 또는 최대 거리에 대해 유한한 근사 비율을 확보할 수 없으며, 이는 일차원에서는 이러한 유한한 비율이 존재하는 것과 대비된다.
• 2차원 메디안 메커니즘은 총 맨하탄 거리를 최적화하지만, 최적 유클리드 거리에 대해선 √2-근사 비율을 제공할 뿐이다.
• 1차원에서 2차원 맨하탄 공간으로 이동할 경우 총 거리 및 최대 거리의 근사 비율이 증가하며, 고차원에서는 비유한해진다.
• 모든 불가능성 결과는 최소성에 해당한다: 익명성, 파레토 최적성, 전략적 비호의성 중 어느 하나를 제거할 경우 2차원 환경에서 나머지 두 성질을 동시에 만족할 수 있는 메커니즘이 존재한다.