[논문 리뷰] The Schulze Method of Voting

Markus Schulze|arXiv (Cornell University)|2018. 03. 15.

Game Theory and Voting Systems참고 문헌 124인용 수 6

한 줄 요약

이 논문은 단일 및 다수의 수상자에 대한 공정하고 끈덕지며, 독립적인 복수 투표 시스템인 Schulze 방법을 소개한다. 이 방법은 단조성, Condorcet 준수, 클론 독립성 등의 핵심 민주주의 기준을 만족하며, 다항 시간 계산 가능성을 입증하고, Schulze STV 및 비례 랭킹을 통한 비례 대표제로 확장하여 공정하고 명확한 단일 및 다수 수상자 선거를 위한 강력한 축약적 프레임워크를 제공한다.

ABSTRACT

We propose a new single-winner election method ("Schulze method") and prove that it satisfies many academic criteria (e.g. monotonicity, reversal symmetry, resolvability, independence of clones, Condorcet criterion, k-consistency, polynomial runtime). We then generalize this method to proportional representation by the single transferable vote ("Schulze STV") and to methods to calculate a proportional ranking ("Schulze proportional ranking"). Furthermore, we propose a generalization of the Condorcet criterion to multi-winner elections. This paper contains a large number of examples to illustrate the proposed methods.

연구 동기 및 목표

• 단일 수상자 투표 방법을 설계하여, Condorcet 기준, 단조성, 클론 독립성 등의 강력한 민주주의 기준을 만족시키는 것.
• 단일 이전 투표(transferable vote, STV) 방식을 활용한 Schulze STV로 Schulze 방법을 비례 대표제에 일반화하는 것.
• 다수 수상자 선거에서 비례 랭킹을 계산하는 방법을 개발하여, 비례적 상황에서 Condorcet 원칙을 확장하는 것.
• 다수 수상자 선거에 대한 Condorcet 기준의 일관된 축약적 일반화를 제공하여, 비례적 맥락에서 다수의 선호와 일치하도록 하는 것.
• 다양한 예시를 통해 방법의 실용성과 정확성을 입증하는 것.

제안 방법

• Schulze 방법은 쌍별 선호도를 사용하여 후보자 간 경로의 강도를 계산하며, 강도는 경로를 따라 최소한의 다수 강도로 정의된다.
• 이 방법은 어떤 후보자에 대해서도 다른 모든 후보자로 향하는 경로의 강도보다 더 큰 강도를 가진 경로가 존재할 경우 그 후보자를 승자로 결정한다.
• 이 방법은 가장 강력한 경로를 효율적으로 다항 시간 내에 계산하기 위해 Floyd-Warshall 알고리즘의 변형을 사용한다.
• 비례 대표제를 위해 Schulze STV 방법은 순차적 제거 및 할당 기반의 정수 기반 좌석 배분을 수행하며, 이는 순위 선호도와 경로 강도를 기반으로 한다.
• Schulze 비례 랭킹 방법은 경로 기반 접근을 확장하여 후보자들에게 비례 랭킹을 할당하여, 다수 수상자 설정에서 Condorcet 원칙과의 일관성을 보장한다.
• 다수 수상자 선거를 위한 일반화된 Condorcet 기준을 정의하여, 쌍별 비교에서 다른 모든 후보자들을 압도하는 후보자 집합이 존재할 경우 승자 집합이 그들을 포함해야 한다는 조건을 요구한다.

실험 결과

연구 질문

• RQ1 단일 수상자 투표 방법이 Condorcet 기준, 단조성, 클론 독립성을 만족하면서도 계산 효율성을 유지할 수 있는가?
• RQ2 Schulze 방법은 다수 수상자 선거에서 비례 대표제를 보장하기 위해 어떻게 적응시킬 수 있는가?
• RQ3 다수 수상자 선거에 대한 Condorcet 기준의 일관되고 축약적인 일반화는 무엇인가?
• RQ4 공정성 및 일관성 기준을 만족하는 비례 랭킹을 제공하는 방법을 구성할 수 있는가?
• RQ5 경로 기반 방법은 다수 수상자 및 비례 설정에서 해결 가능성과 사이클을 피하기 위해 어떻게 작용하는가?

주요 결과

• Schulze 방법은 Condorcet 기준을 만족하여, 모든 다른 후보자와의 쌍별 비교에서 승리하는 후보자가 반드시 당선됨을 보장한다.
• 이 방법은 단조성 특성을 지녀, 후보자의 순위를 높여도 그들의 승리 가능성에 해를 끼치지 않는다.
• 클론 독립성을 지녀, 유사한 후보자의 추가가 비클론 후보자의 결과에 영향을 주지 않는다.
• 알고리즘은 다항 시간 내에 실행되며, 특히 n명의 후보자에 대해 O(n³)의 복잡도를 가지며, 수정된 Floyd-Warshall 접근법을 사용한다.
• Schulze STV 방법은 Schulze 방법을 비례 대표제로 일반화하면서도 핵심 축약적 성질을 유지한다.
• 제안된 다수 수상자 선거를 위한 Condorcet 기준의 일반화는 비례 체계에서의 공정성에 대한 공식적인 기반을 제공한다.