[논문 리뷰] A Control Dichotomy for Pure Scoring Rules

Edith Hemaspaandra, Lane A. Hemaspaandra외 1명|arXiv (Cornell University)|2014. 04. 17.

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

한 줄 요약

이 논문은 순수 점수 규칙에서 유권자 추가에 의한 수립적 통제(CCAV)에 대한 최초의 이분화 정리( dichotomy theorem)를 수립하며, CCAV가 다항시간 내에 해결 가능한 것은 k≤3인 k-승인, k≤2인 k-비투, 상위 두 후보자만 점수를 받는 규칙, 그리고 1-승인과 1-비투를 조합한 특정 하이브리드 규칙에 한해 성립하며, 나머지 순수 점수 규칙에서는 CCAV가 NP-완전임을 증명한다.

ABSTRACT

Scoring systems are an extremely important class of election systems. A length-$m$ (so-called) scoring vector applies only to $m$-candidate elections. To handle general elections, one must use a family of vectors, one per length. The most elegant approach to making sure such families are "family-like" is the recently introduced notion of (polynomial-time uniform) pure scoring rules [Betzler and Dorn 2010], where each scoring vector is obtained from its precursor by adding one new coefficient. We obtain the first dichotomy theorem for pure scoring rules for a control problem. In particular, for constructive control by adding voters (CCAV), we show that CCAV is solvable in polynomial time for $k$-approval with $k \leq 3$, $k$-veto with $k \leq 2$, every pure scoring rule in which only the two top-rated candidates gain nonzero scores, and a particular rule that is a "hybrid" of 1-approval and 1-veto. For all other pure scoring rules, CCAV is NP-complete. We also investigate the descriptive richness of different models for defining pure scoring rules, proving how more rule-generation time gives more rules, proving that rationals give more rules than do the natural numbers, and proving that some restrictions previously thought to be "w.l.o.g." in fact do lose generality.

연구 동기 및 목표

• 모든 순수 점수 규칙에 대해 유권자 추가에 의한 수립적 통제(CCAV)의 계산 복잡도를 분류하는 것.
• 순수 점수 규칙의 맥락에서 CCAV의 다항시간 해결 가능 및 NP-완전 사례 간 정확한 경계를 규명하는 것.
• 순수 점수 규칙을 정의하는 다양한 형식적 체계의술적 표현력( descriptive richness)을 조사하고, 이전 연구에서의 가정이 일반성 손실 없이 이루어졌는지 평가하는 것.
• 특정 하이브리드 점수 규칙에 대한 가능한 승자 문제에 대한 열린 문제를 해결하는 것.
• 계수 값이 상대적 순서를 넘어서 복잡도에 영향을 미친다는 것을 보여주며, 서로 다른 계수 할당 방식이 다른 복잡도 클래스를 초래할 수 있음을 입증하는 것.

제안 방법

• 각 벡터가 이전 벡터에 하나의 새로운 계수를 추가하여 구성되는 다항시간 균일한 점수 벡터 가족으로 순수 점수 규칙을 형식화하는 것.
• 비트리ivial한 순수 점수 규칙에 대해 3차원 매칭(3DM) 문제를 CCAV 인스턴스로 감소시켜 NP-완전성을 증명하는 것.
• 선호 후보자 p, 보조 후보자, 등록된 유권자 및 이용 가능한 유권자를 포함한 특정 선거 인스턴스를 구성하여 3DM 제약 조건을 시뮬레이션하는 것.
• p에 대한 점수 비교를 통해 3DM에서 유효한 커버에만 해당하는 CCAV 전략이 성공함을 보장하는 것.
• k-승인(k≤3), k-비투(k≤2), 상위 두 후보자 점수 규칙, 1-승인/1-비투 하이브리드 규칙에 대해 효율적 알고리즘을 구성하여 다항시간 해결 가능성을 증명하는 것.
• 다양한 계수 생성 모델의 표현력을 분석하여 유리수 계수는 정수 계수보다 더 많은 규칙을 생성하며, 일부 이전 연구의 가정이 일반성 손실 없이 이루어지지 않았음을 보여주는 것.

실험 결과

연구 질문

• RQ1 어떤 순수 점수 규칙에서 유권자 추가에 의한 수립적 통제(CCAV)가 다항시간 내에 해결 가능한가?
• RQ2 이전 연구에서 순수 점수 규칙 정의에 있어 계수 생성에 대한 가정이 일반성 손실 없이 이루어졌는가?
• RQ3 계수의 실제 값(상대적 순서를 초월하여)이 CCAV의 복잡도에 영향을 미치는가?
• RQ4 1-승인/1-비투 하이브리드 규칙에 대한 가능한 승자 문제는 다항시간 내에 해결 가능한가?
• RQ5 계수의 기원(예: 정수 대비 유리수)을 선택할 때 표현 가능한 순수 점수 규칙의 집합은 어떻게 영향을 받는가?

주요 결과

• k-승인(k≤3)의 경우 CCAV는 다항시간 내에 해결 가능하며, k-비투(k≤2)의 경우에도 마찬가지다.
• 상위 두 후보자만 비영점 점수를 받는 모든 순수 점수 규칙에 대해 CCAV는 다항시간 내에 해결 가능하다.
• 상위 후보자에게 1점을, 하위 후보자에게 -1점을 부여하는 특정 하이브리드 규칙에 대해서도 CCAV는 다항시간 내에 해결 가능하다.
• 나머지 모든 순수 점수 규칙에 대해서는 CCAV가 NP-완전함을 증명하여 완전한 이분화를 확립한다.
• CCAV의 복잡도는 계수의 상대적 순서를 넘어서 실제 계수 값에 의존한다. 예를 들어 (3,1,…,1,0) 계수를 가진 규칙은 (2,1,…,1,0)과 달리 NP-완전이다.
• 이전 연구에서 일반성 손실 없이 이루어졌다고 여겨졌던 계수 생성에 대한 가정은 실제로 표현 가능한 규칙의 집합을 제한하며, 특히 계수 생성이 제약을 받을 경우 더욱 뚜렷하다.