[논문 리뷰] False-Name-Proof Facility Location on Discrete Structures

Taiki Todo, Nodoka Okada외 1명|arXiv (Cornell University)|2019. 07. 21.

Game Theory and Voting Systems참고 문헌 27인용 수 7

한 줄 요약

이 논문은 단일 피크 또는 단일 곡선 선호도 하에서 이산 그래프 구조에서의 시설 위치 문제에 대해 결정적이고 가짜 이름에 강건하며 파레토 효율적인 사회선택 함수의 존재성을 조사한다. 연구는 모든 트리 그래프와 길이가 여섯 미만인 사이클 그래프에 대해 이러한 기법이 존재함을 밝히지만, 더 큰 사이클이나 러너스를 초월한 고차원 하이퍼그리드에서는 존재하지 않음을 증명한다.

ABSTRACT

We consider the problem of locating a single facility on a vertex in a given graph based on agents' preferences, where the domain of the preferences is either single-peaked or single-dipped. Our main interest is the existence of deterministic social choice functions (SCFs) that are Pareto efficient and false-name-proof, i.e., resistant to fake votes. We show that regardless of whether preferences are single-peaked or single-dipped, such an SCF exists (i) for any tree graph, and (ii) for a cycle graph if and only if its length is less than six. We also show that when the preferences are single-peaked, such an SCF exists for any ladder (i.e., 2-by-m grid) graph, and does not exist for any larger hypergrid.

연구 동기 및 목표

• 이산 그래프 구조 중에서 결정적이고 가짜 이름에 강건하며 파레토 효율적인 사회선택 함수가 존재하는지 여부를 시설 위치 문제에서 규명하는 것.
• 선호 유형—단일 피크(공공재) 또는 단일 곡선(공공악)—이 기법 설계의 실현 가능성에 미치는 영향을 분석하는 것.
• 이전의 경로 및 선형 구조에 대한 결과를 트리, 사이클, 하이퍼그리드와 같은 더 복잡한 구조로 확장하는 것.
• 가짜 이름에 강건한 기법에 대해 실현 가능하고 실현 불가능한 그래프 구조의 경계를 다양한 선호 영역에서 특성화하는 것.

제안 방법

• 선택된 대안들이 정점의 고정된 순서에 따라 결정되는 순차적 파레토 규칙을 핵심 기법으로 사용한다.
• 기법 설계의 제약을 규명하기 위해 구조적 그래프 분석을 통해 최장 경로와 대칭 구성 요소를 식별한다.
• 특히 가짜 투표 시나리오를 구성하여 인cent라이브가 가능한 상황을 유도함으로써, 더 큰 사이클과 하이퍼그리드에 대해 기법의 존재하지 않음을 모순에 의한 증명으로 밝힌다.
• 특히 짝수 길이의 사이클에서 단일 피크와 단일 곡선 선호도 간의 대칭성과 이중성에 기반한 분석을 수행한다.
• 가짜 신분(가짜 이름)을 추가함으로써 결과를 조작할 수 있는 에이전트의 인센티브 구조를 고려하여, 그러한 조작이 수익성을 갖지 않도록 보장한다.
• 유형 프로파일과 에이전트 위치 구성 요소를 사용하여 다양한 그래프 구조에서 기법의 강건성을 시험한다.

실험 결과

연구 질문

• RQ1 선호도가 단일 피크일 경우, 어떤 그래프 구조에서 가짜 이름에 강건하고 파레토 효율적인 사회선택 함수가 존재하는가?
• RQ2 그러한 기법의 존재 여부가 그래프의 위상, 예를 들어 트리, 사이클, 하이퍼그리드인지에 따라 달라지는가?
• RQ3 길이가 여섯 이상인 사이클 그래프에 대해 가짜 이름에 강건한 기법을 구성할 수 있는가?
• RQ4 선호 유형(단일 피크 대비 단일 곡선)이 이러한 기법의 실현 가능성에 어떤 역할을 하는가?
• RQ5 특히 하이퍼그리드 그래프에 대해 이러한 기법을 허용하는 그래프 구조의 완전한 특성화가 가능한가?

주요 결과

• 선호 유형이 단일 피크이든 단일 곡선이든 간에, 어떤 트리 그래프에 대해서나 가짜 이름에 강건하고 파레토 효율적인 사회선택 함수가 존재한다.
• 사이클 그래프의 경우, 그러한 기법이 존재하는 것은 사이클 길이가 여섯 미만일 때에만 가능하다(즉, $C_k$에서 $k \leq 5$일 때에만).
• 하이퍼그리드 그래프의 경우, 선호도가 단일 피크일 때, 그러한 기법이 존재하는 것은 그리드가 러너스일 때에만 가능하다(즉, $2 \times m$이며 $m \geq 2$일 때에만).
• 선호도가 단일 피크일 경우, 러너스를 초월한 더 큰 하이퍼그리드에서는 그러한 기법이 존재하지 않는다.
• 단일 곡선 선호도의 경우, 길이 $k \geq 6$인 사이클 그래프에 대해선 어떤 기법도 존재하지 않으며, 일반 하이퍼그리드의 경우 존재 여부는 미해결 상태이다.
• 더 큰 사이클에서의 존재하지 않음을 증명하기 위해, 전략적 에이전트 구성과 가짜 신분 조작을 통해 상충되는 인센티브 구조를 구성하는 데 기반한다.