[논문 리뷰] Structure in Dichotomous Preferences

Edith Elkind, Martin Lackner|arXiv (Cornell University)|2015. 05. 02.

Game Theory and Voting Systems참고 문헌 24인용 수 33

한 줄 요약

이 논문은 투표자들이 후보자를 승인하거나 기각하는 이분법적 선호에 대해, 승인 투표 표본에 대한 단일피크 및 단일교차 선호의 유사 개념을 도입함으로써 계산적으로 타당한 투표 도메인 연구를 확장한다. 이는 특정 이분법적 선호 구조에 대해 승인 기반 다수결 투표 규칙이 효율적으로 계산 가능해지며, 총순서 선호 외의 새로운 계산 가능성 결과를 제공한다.

ABSTRACT

Many hard computational social choice problems are known to become tractable when voters ’ pref-erences belong to a restricted domain, such as those of single-peaked or single-crossing prefer-ences. However, to date, all algorithmic results of this type have been obtained for the setting where each voter’s preference list is a total order of candi-dates. The goal of this paper is to extend this line of research to the setting where voters ’ preferences are dichotomous, i.e., each voter approves a subset of candidates and disapproves the remaining candi-dates. We propose several analogues of the notions of single-peaked and single-crossing preferences for dichotomous profiles and investigate the rela-tionships among them. We then demonstrate that for some of these notions the respective restricted domains admit efficient algorithms for computa-tionally hard approval-based multi-winner rules. 1

연구 동기 및 목표

• 기존에 총순서 선호에 국한되어 있던 제한된 선호 도메인의 계산 가능성 결과를 이분법적 선호의 경우로 확장하기 위해.
• 승인 표본에 대한 의미 있는 단일피크 및 단일교차 선호의 유사 개념을 정의하기 위해.
• 제안된 이분법적 선호 도메인 간의 구조적 관계를 조사하기 위해.
• 이러한 도메인 중 어떤 것이 승인 기반 다수결 투표 규칙의 효율적 알고리즘을 허용하는지 밝히기 위해.

제안 방법

• 각 투표자가 후보자를 승인한 집합과 기각한 집합으로 분할하는 이분법적 선호에 적합한 단일피크 및 단일교차 선호의 새로운 정의를 제안하기 위해.
• 제안된 이분법적 선호 도메인과 기존 도메인 간의 논리적 및 구조적 관계를 분석하기 위해.
• 조합적 및 알고리즘 기법을 사용하여 일부 제한된 도메인이 승인 기반 다수결 투표 규칙의 다항시간 계산 가능성을 보여주기 위해.
• 이 도메인 내의 구조적 특성으로 인해 투표자 간의 승인 순서와 정렬이 일관되게 유지되므로, 이를 활용해 계산을 효율적으로 수행할 수 있음을 보여주기 위해.

실험 결과

연구 질문

• RQ1 이분법적 선호의 맥락에서 단일피크 및 단일교차 선호의 자연스러운 유사 개념은 무엇인가?
• RQ2 제안된 이분법적 선호 도메인은 상호 간에 어떻게 관련되어 있으며, 고전적 선호 도메인과는 어떻게 관련되는가?
• RQ3 이러한 도메인 중 어떤 것이 승인 기반 다수결 투표 규칙의 효율적 계산을 허용하는가?
• RQ4 이러한 도메인의 구조적 제약 조건을 활용하여 기존에 NP-난이도 문제인 다수결 투표 문제에 대해 다항시간 알고리즘을 설계할 수 있는가?

주요 결과

• 논문은 이분법적 선호에 대해 의미 있는 단일피크 및 단일교차 선호의 유사 개념을 성공적으로 정의하여, 계산 가능 투표 도메인의 범위를 확장하였다.
• 특정 이분법적 선호 도메인, 예를 들어 승인 집합 내에서 단일 피크 또는 교차 구조를 가지는 도메인은 승인 기반 다수결 투표 규칙에 대해 효율적 알고리즘을 허용한다.
• 이러한 도메인의 구조적 제약 조건 덕분에 기존에 NP-난이도 문제로 간주되던 다수결 투표 문제도 다항시간으로 계산 가능해진다.
• 제안된 도메인 간의 관계가 체계적으로 분석되었으며, 이는 고전적 개념을 승인 설정으로 일반화하고 확장함을 보여준다.