[논문 리뷰] Preference Restrictions in Computational Social Choice: A Survey

Edith Elkind, Martin Lackner외 1명|arXiv (Cornell University)|2022. 05. 18.

Game Theory and Voting Systems인용 수 15

한 줄 요약

이 종합 검토는 계산 사회선택 이론에서 제한된 선호 도메인, 특히 단일 정점, 단일 교차, 유클리드 및 관련 도메인에 대한 종합적인 개요를 제공한다. 이 연구는 이러한 도메인을 인식하는 알고리즘과 계산적으로 어려운 투표 규칙 하에서 승자 결정 문제를 통합적으로 분석하며, 구조적 제약 조건이 이질적인 문제에 대해 효율적인 해결책을 가능하게 함을 보여준다.

ABSTRACT

Social choice becomes easier on restricted preference domains such as single-peaked, single-crossing, and Euclidean preferences. Many impossibility theorems disappear, the structure makes it easier to reason about preferences, and computational problems can be solved more efficiently. In this survey, we give a thorough overview of many classic and modern restricted preference domains and explore their properties and applications. We do this from the viewpoint of computational social choice, letting computational problems drive our interest, but we include a comprehensive discussion of the economics and social choice literatures as well. Particular focus areas of our survey include algorithms for recognizing whether preferences belong to a particular preference domain, and algorithms for winner determination of voting rules that are hard to compute if preferences are unrestricted.

연구 동기 및 목표

• 계산 사회선택 이론에서 고전적이고 현대적인 제한된 선호 도메인을 체계화하고 종합 검토하는 것.
• 단일 정점성과 단일 교차성 등의 선호 구조가 가지는 계산적 이점 분석.
• 구조화된 도메인에서의 인식 알고리즘과 승자 결정 문제에 대한 통합적 프레임워크 제공.
• 알고리즘적 및 구조적 통찰을 통해 계산 사회선택 이론, 경제학, 사회선택 이론 간의 격차를 메우기.

제안 방법

• 단일 정점, 단일 교차, 유클리드, 그룹 분리 가능 선호 등 11개의 핵심 선호 도메인에 대한 체계적 종합 검토.
• 각 도메인에 대한 인식 알고리즘 제시, 복잡도 분석 및 알고리즘 기법(예: 탐욕적, 동적 프로그래밍, 그래프 기반 방법) 설명.
• 금지된 부분 프로파일 특성화를 통해 도메인 소속을 정의하고 검증.
• 구조화된 선호 조건 하에서 콘도르세 확장, 케멘티, 도들슨, 얀, 다중 승자 규칙(체임버린-커런트, 몬로이)에 대한 효율적 승자 결정 알고리즘 개발.
• 삭제, 클론 집합, 거리 측정 방법(예: 교환 거리)을 통한 거의 구조화된 선호 조건 통합.
• 이sov 및 알고리즘적 접근을 융합하여 이상적인 구조에서 약간 벗어난 실제 선호 데이터를 다룰 수 있도록 함.

실험 결과

연구 질문

• RQ1 주어진 선호 프로파일이 단일 정점 또는 단일 교차 도메인에 속하는지 효율적으로 인식할 수 있는가?
• RQ2 선호 조건이 제한될 경우, 투표 규칙에 대한 승자 결정 문제에서 알고리즘적 및 복잡도적 트레이드오프는 어떠한가?
• RQ3 선호 제약 조건이 투표 시스템에서 불가능성 정리들을 제거하고 전략적 조작을 줄이는 데 어느 정도 기여하는가?
• RQ4 이상적인 도메인 제약 조건에서 약간 벗어난 '거의 구조화된' 선호 조건을 어떻게 모델링하고 계산할 수 있는가?
• RQ5 다차원 및 트리 기반 선호 도메인의 구조적 및 알고리즘적 성질은 무엇인가?

주요 결과

• 단일 정점 선호 조건은 n명의 투표자와 m명의 후보자에 대해 탐욕적 알고리즘을 사용해 O(nm) 시간에 인식 가능하다.
• 단일 교차 선호 조건은 순차적 방법의 변형을 통해 O(nm log m) 시간에 인식 가능하다.
• 일차원 유클리드 선호 조건은 스위프 라인 알고리즘을 사용해 O(nm) 시간에 인식 가능하다.
• 단일 정점 선호 조건 하에서 케멘티 규칙의 승자 결정 문제는 일반 경우와 달리 다항식 시간 내에 해결 가능하다.
• 유클리드 및 단일 정점 도메인에서 체임버린-커런트 규칙은 거의 최적에 가까운 근사 알고리즘이 존재한다.
• 투표자 또는 후보자 삭제 또는 교환 거리 등을 통한 거의 구조화된 선호 조건은 정확한 도메인 소속 여부가 충족되지 않더라도 여전히 처리 가능한 계산이 가능하다.