로그 m 근사, 결정적, 다항시간으로 구현한 루이스 캐롤 득점 규칙

본 논문은 Condorcet 기준을 만족하는 투표 규칙인 Dodgson과 Young 점수를 효율적으로 근사하는 새로운 알고리즘을 제안한다. 먼저, 두 규칙을 ‘편집 거리’ 문제로 재정의한다. Dodgson 점수는 후보를 Condorcet 승자로 만들기 위해 필요한 인접 후보 교환(스와프)의 최소 횟수이며, Young 점수는 후보를 Condorcet 승자로 만들기 위해 삭제해야 하는 유권자 수이다. 두 점수 모두 NP‑hard이며, 특히 Dodgson 점수는 로그 m 이하의 근사조차 어려운 것으로 알려져 있다. 저자들은 ‘편집 비용 = 편집 횟수 ÷ 결핍 감소 횟수’라는 새로운 비용 정의를 도입한다. 여기서 결핍은 후보가 다른 후보와의 쌍별 대결에서 뒤처지는 표 차이를 의미한다. 알고리즘은 후보 c의 총 결핍이 0이 될 때까지 반복한다. 매 라운드에서는 모든 가능한 단일 유권자에 대한 편집 시퀀스(스와프 연속 또는 삭제 연속)를 평가하고, 주변 비용이 최소인 시퀀스를 선택한다. 이때 선택된 시퀀스는 후보를 직접 관여시키는 형태(c‑정규 스와프)로 제한함으로써 탐색 공간을 크게 축소한다. 구체적인 알고리즘은 다음과 같다. 입력으로 선호도 프로파일 P와 후보 c를 받는다. 초기화 단계에서 각 후보 쌍에 대한 결핍을 O(N) 시간에 계산하고, 우선순위 큐에 최대 n·(m‑1)개의 c‑정규 스와프 시퀀스를 삽입한다. 각 시퀀스는 마지막 스와프만 저장해 메모리를 절약한다. 메인 루프에서는 현재 후보의 결핍이 양수이면, 주변 비용이 최소인 시퀀스를 꺼내어 적용하고, 해당 스와프와 연관된 모든 시퀀스의 비용을 O(m) 시간에 업데이트한다. 이 과정을 후보가 Condorcet 승자가 될 때까지 반복한다. 최종적으로 적용된 편집 수의 합이 후보의 근사 점수가 된다. 시간 복잡도 분석에서는 입력 길이 N(=nm) 기준으로 O(N² log N) 시간을 보인다. 초기화는 O(N log N)이며, 각 스와프 적용 시 O(m) 업데이트가 필요하고, 전체 스와프 수는 O(N) 이하이므로 전체 복잡도는 위와 같다. Dodgson 규칙에 대해서는 기존 하한인 Ω(log m) 근사와 일치하므로 상수 계수까지 최적임을 증명한다. Young 규칙에 대해서는 기존 연구가 상수 배율 근사조차 불가능함을 보여준 반면, 이 논문은 로그 m 수준의 근사를 달성한다는 점에서 의미가 크다. 논문은 또한 이 근사 알고리즘 자체가 실용적인 투표 규칙으로 활용될 수 있음을 논한다. 예를 들어, 선거 관리자가 후보를 Condorcet 승자로 만들기 위해 유권자에게 ‘결핍 감소당 비용’만큼 보상을 제안하는 경매 메커니즘을 설계할 수 있다. 이 메커니즘은 제시된 그리디 알고리즘과 동일한 순서로 편집을 수행하므로, 실제 선거 상황에서 투표자의 선호를 효율적으로 조정할 수 있다. 모든 유권자가 동일한 단위 가격을 가정하면, 경매에서 제시된 총 비용이 바로 후보의 점수가 되며, 가장 낮은 점수를 가진 후보가 승리한다. 관련 연구와 비교했을 때, 기존의 무작위화 기반 근사 알고리즘은 기대값이 O(log m)이며 확률적 보장을 제공한다. 반면, 본 논문의 알고리즘은 완전 결정적이며 구현이 간단하고, 편집 비용 정의가 직관적이다. 또한, Dodgson과 Young 규칙을 하나의 프레임워크로 통합함으로써 향후 Kemeny와 같은 다른 편집 기반 투표 규칙에도 동일한 접근법을 적용할 가능성을 제시한다. 최종적으로, 이 연구는 복잡도 이론과 실용적 투표 설계 사이의 격차를 메우는 중요한 단계이며, 로그 m 수준의 근사와 결정적 실행을 동시에 제공한다는 점에서 학계와 실제 선거 설계 모두에 큰 영향을 미칠 것으로 기대된다.