[논문 리뷰] Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs

Adam Clearwater, Clemens Puppe외 1명|arXiv (Cornell University)|2015. 05. 25.

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

한 줄 요약

이 논문은 중앙 그래프 위의 중간 선호로 단일 교차 성질을 일반화하며, 이러한 프로파일이 콘도르세 도메인을 이룬다는 것을 증명하고 다항식 시간 내에 식별 가능하다는 것을 보인다. 또한 트리 위의 단일 교차 프로파일에 대해 챔버린-커런트 규칙이 다항식 시간 내에 해결 가능하다는 것을 보이며, 이는 이전 결과를 더 넓은 선호 구조 계열로 확장한다.

ABSTRACT

Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a profile that is intermediate with respect to that graph and that one may need at least as many alternatives as vertices to construct such a profile. We provide a polynomial-time algorithm to recognize whether or not a given profile is intermediate with respect to some median graph. Finally, we show that finding winners for the Chamberlin-Courant rule is polynomial-time solvable for profiles that are single-crossing on a tree.

연구 동기 및 목표

• 선형 및 트리에서의 단일 교차 성질을 중앙 그래프 위의 중간 선호로 일반화한다.
• 모든 중앙 그래프 위의 중간 프로파일이 콘도르세 도메인을 이룬다는 것을 증명하여, 전순서적인 다수결 결과가 보장된다.
• 모든 중앙 그래프에 대해 중간 프로파일이 존재함을 확립하고, 필요한 최소한의 대안 수를 결정한다.
• 주어진 프로파일이 어떤 중앙 그래프 위에서 중간인지 식별하는 다항식 시간 알고리즘을 개발한다.
• 트리 위의 단일 교차 프로파일에 대해 챔버린-커런트 규칙의 승자 결정 문제는 다항식 시간 내에 해결 가능하다는 것을 보인다.

제안 방법

• 중앙 그래프 위의 중간 성질을 정의한다: 임의의 두 대안과 그 중 하나를 더 선호하는 유권자에 대해, 그 사이의 최단 경로 상의 모든 유권자도 동일한 대안을 선호한다.
• 구성적 증명을 통해, $ n $개의 정점을 가진 임의의 중앙 그래프에 대해 정확히 $ n $개의 대안을 사용하는 중간 프로파일이 존재함을 보인다.
• 단일 교차 프로파일에 대해 트리 위에서 챔버린-커런트 규칙을 해결하기 위해 동적 프로그래밍을 적용하며, 유권자 부분수집과 대안 부분집합 기반의 재귀적 부분문제를 사용한다.
• 부분문제를 $ (P', A', k') $로 정의한다. 여기서 $ P' $은 부분수집이며, $ V_{ab} $의 부분수집이다. $ A' $은 대안의 접두사이며, $ k' $은 위원회 크기이다.
• 재귀 관계를 사용한다: $ A[V,j,t] = \min\{ A[V,j-1,t], \min_{ab\text{-cut}} \ell(A[V_{ab},j-1,t-1], (r(v_i,a_j))_{v_i \in V_{ba}}) \} $, 여기서 $ \ell $은 합계(이윤극대화) 또는 최대값(평등극대화)이다.
• 기저 사례를 설정한다: $ A[\varnothing,j,t] = 0 $, $ A[V,j,1] = \min_{j' \leq j} \ell((r(v_i,a_{j'}))_{i \in V}) $, 그리고 $ A[V,j,t] = 0 $ (단, $ t \geq j $일 때)

실험 결과

연구 질문

• RQ1 모든 중앙 그래프 위의 중간 프로파일이 콘도르세 도메인을 이룰까?
• RQ2 주어진 중앙 그래프에 대해 중간 프로파일을 구성할 수 있으며, 필요한 최소한의 대안 수는 얼마인가?
• RQ3 주어진 프로파일이 어떤 중앙 그래프 위에서 중간인지 식별하는 다항식 시간 알고리즘이 존재하는가?
• RQ4 트리 위의 단일 교차 프로파일에 대해 챔버린-커런트 규칙의 승자 결정 문제는 다항식 시간 내에 해결 가능한가?
• RQ5 트리에 대한 다항식 시간 결과를 일반 중앙 그래프 위의 중간 프로파일로 확장할 수 있는가?

주요 결과

• 어떤 중앙 그래프 위에서 중간 프로파일이 되는 프로파일이라면 항상 콘도르세 도메인을 이룬다. 이는 전순서적인 다수결 선호 순서의 존재를 보장한다.
• 모든 중앙 그래프가 $ n $개의 정점을 가진다면 정확히 $ n $개의 대안을 사용하는 중간 프로파일이 존재하며, 일부 트리에서는 $ n $개 이하의 대안로는 그러한 프로파일이 존재하지 않는다.
• 주어진 프로파일이 어떤 중앙 그래프 위에서 중간인지 식별하는 다항식 시간 알고리즘이 존재한다.
• 트리 위의 단일 교차 프로파일에 대해 챔버린-커런트 규칙의 승자 결정 문제는 $ O(mn^2k) $ 시간 내에 해결 가능하며, 이는 고전적 단일 교차 케이스의 복잡도와 일치한다.
• 이윤극대화 및 평등극대화 버전의 챔버린-커런트 규칙은 트리 위의 단일 교차 프로파일에 대해 동적 프로그래밍을 사용해 모두 다항식 시간 내에 해결 가능하다.
• 일반 중앙 그래프 위의 중간 프로파일로 다항식 시간 결과를 확장하는 것은 아직 열려 있는 문제이다.