컨덴서트 일관 규칙의 해밍형 거리 기반 합리화

초록

본 논문은 거리 합리화(framework)를 이용해 Condorcet‑일관 투표 규칙들을 새롭게 해석한다. 특히 Young 규칙과 Maximin 규칙을 해밍 거리와 유사한 거리로 합리화하고, 기존에 알려진 Hamming 거리와 Condorcet 합의 클래스가 실제로는 새로운 규칙을 정의한다는 점을 밝힌다. 또한 새 규칙과 Young 규칙 모두 승자 결정 문제가 NP‑hard임을 증명한다.

상세 분석

거리 합리화는 선거를 ‘합의(e consensus)’와 ‘거리(d)’ 두 요소로 분해해 투표 규칙을 정의하는 방법론이다. 이때 합의 클래스는 특정 후보가 1위에 있는 이상적인 선거 집합을 의미하고, 거리 함수는 실제 선거와 이상적 선거 사이의 차이를 정량화한다. 논문은 먼저 기존 연구에서 제시된 “Condorcet consensus + Hamming distance”가 Young 규칙을 재현한다는 주장이 잘못되었음을 논증한다. 저자들은 Hamming 거리와 동일한 구조를 갖지만, 후보 간 순위 교환을 허용하는 변형 거리 (d_H’)를 정의하고, 이를 Condorcet 합의와 결합했을 때 얻어지는 규칙을 ‘새 규칙’이라 명명한다. 이 새 규칙은 후보가 Condorcet 승자인 경우에도, 최소한의 순위 교환을 통해 Condorcet 승자를 유지하는 선거를 찾는 과정에서 Young 규칙과는 다른 후보를 선택할 수 있음을 보인다.

다음으로 논문은 Young 규칙 자체를 “최소 삭제 거리(minimum deletion distance)”와 Condorcet 합의 클래스로 합리화한다. 여기서 최소 삭제 거리는 선거에서 최소한의 유권자를 제거해 Condorcet 승자를 만들 수 있는 최소 수를 측정한다. 이 거리와 Condorcet 합의를 결합하면 Young 규칙이 정확히 재현됨을 증명한다.

Maximin 규칙에 대해서는 “최소 승자 거리(minimum winner distance)”라는 새로운 거리 개념을 도입한다. 이 거리는 후보가 모든 쌍대 비교에서 최소 승리 마진을 최대화하도록 하는 변형 해밍 거리이며, Condorcet 합의와 결합했을 때 Maximin 규칙을 정확히 얻는다.

복잡도 측면에서 저자들은 새 규칙과 Young 규칙 모두 승자 결정 문제가 NP‑hard임을 보인다. 이를 위해 기존의 “Maximum Clique”와 “Exact Cover by 3‑Sets” 문제로부터 다항식 시간 환원을 구성한다. 특히, 새 규칙의 경우 Hamming 거리와 Condorcet 합의가 결합된 구조가 후보 순위 교환을 통한 최적화 문제와 동등함을 이용해 복잡성을 증명한다.

마지막으로 논문은 이러한 거리‑합리화 접근법이 기존 투표 규칙을 새로운 관점에서 이해하게 해 주며, 새로운 규칙을 정의하거나 기존 규칙의 복잡도 특성을 분석하는 데 유용한 도구가 될 수 있음을 강조한다.