[논문 리뷰] Single-Peaked Consistency for Weak Orders Is Easy

Zack Fitzsimmons|arXiv (Cornell University)|2014. 06. 18.

Decision-Making and Behavioral Economics인용 수 10

한 줄 요약

이 논문은 약한 순서에 대한 단일 피크 일致성 문제—표준 단일 피크, 단일 평탄대, 존재적 단일 피크의 세 변형에 대해—가 다항식 시간 내에 해결 가능하다는 것을 증명한다. 저자들은 각 일치성 문제를 0-1 행렬의 연속 1 성질로 환원하여 PQ-트리 알고리즘을 사용해 효율적인 계산을 가능하게 하고, 모든 일치하는 축을 효율적으로 열거할 수 있음을 보여준다.

ABSTRACT

In economics and social choice single-peakedness is one of the most important and commonly studied models for preferences. It is well known that single-peaked consistency for total orders is in P. However in practice a preference profile is not always comprised of total orders. Often voters have indifference between some of the candidates. In a weak preference order indifference must be transitive. We show that single-peaked consistency for weak orders is in P for three different variants of single-peakedness for weak orders. Specifically, we consider Black's original definition of single-peakedness for weak orders, Black's definition of single-plateaued preferences, and the existential model recently introduced by Lackner. We accomplish our results by transforming each of these single-peaked consistency problems to the problem of determining if a 0-1 matrix has the consecutive ones property.

연구 동기 및 목표

• 약한 순서에 대한 단일 피크 일치성의 계산 복잡도에 대한 열린 문제를 해결하기 위해.
• 블랙의 원래 정의와 라크너의 존재적 모델을 포함한 약한 순서로의 단일 피크 모델 확장하기 위해.
• 약한 순서에 대한 단일 피크성의 세 변형이 모두 P에 속함을 보여주기 위해.
• 일致하는 선호 축을 탐지하기 위한 연속 1 성질을 기반으로 한 통합 알고리즘 프레임워크 제공하기 위해.

제안 방법

• 약한 순서에 대한 단일 피크성의 각 변형을 유권자 선호의 0-1 행렬 표현으로 변환하기 위해.
• 금지된 부분구조 특성화를 사용해 선호 프로파일이 단일 피크성을 위반할 때를 정의하기 위해.
• 일치성 문제를 구성된 0-1 행렬이 연속 1 성질을 가지는지 확인하는 것으로 환원하기 위해.
• PQ-트리 알고리즘을 적용해 연속 1 성질을 효율적으로 확인하기 위해.
• 특히 선호의 상단에 있는 동등성 평탄대까지 처리할 수 있도록 구성 확장하기 위해.
• 행렬의 연속 1 성질과 각 변형에 대한 일치하는 축의 존재성 간의 동치성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 약한 순서에 대한 단일 피크 일치성 문제의 계산이 가능할 수 있는가?
• RQ2 단일 피크성의 존재적 모델을 약한 순서로 확장하고 효율적으로 해결할 수 있는가?
• RQ3 약한 순서에 대한 단일 평탄대 모델이 다항식 시간 내에 일치성 검사를 수행할 수 있는가?
• RQ4 연속 1 성질을 약한 순서의 다수의 단일 피크 변형을 위한 통합 프레임워크로 사용할 수 있는가?

주요 결과

• 블랙의 원래 정의에 따른 약한 순서에 대한 단일 피크 일치성 문제는 P에 속한다.
• 단일 평탄대 일치성 문제 역시 약한 순서에 대해 P에 속함을 입증하였으며, 이는 연속 1 성질로의 변환을 통해 이루어졌다.
• 약한 순서에 대한 존재적 단일 피크 일치성 문제 역시 P에 속함을 입증하여, 라크너(2014)가 제기한 열린 문제를 해결하였다.
• 행렬 변환 후 PQ-트리 알고리즘을 사용해 주어진 선호 프로파일에 대한 모든 일치하는 축을 열거할 수 있다.
• 변환이 정확성을 유지한다: 선호 프로파일이 일치하는 것은 그에 대응하는 행렬이 연속 1 성질을 가지는 것과 동치이다.
• 기존의 전순서에 대한 결과를 약한 순서로 확장하였으며, 동등성은 이러한 도메인 제약 조건의 복잡도를 증가시키지 않는다는 것을 보여주었다.