[논문 리뷰] Instant Runoff Voting on Graphs: Exclusion Zones and Distortion

Georgios Birmpas, Georgios Chionas외 4명|arXiv (Cornell University)|2026. 03. 11.

Game Theory and Voting Systems인용 수 0

한 줄 요약

논문은 가중치 없는 그래프에 의해 유도된 메트릭 선호도에 대한 IRV를 연구하고, 트리에서 Kill 멤버십 테스트와 동적 프로그래밍으로 다항시간 제외 존 계산을 증명하며, 트리를 넘어선 난이도와 다양한 무가중 그래프 시나리오에서 IRV의 왜곡(bound)을 제시한다.

ABSTRACT

We study instant-runoff voting (IRV) under metric preferences induced by an unweighted graph where each vertex hosts a voter, candidates occupy some vertices (with a single candidate allowed in such a vertex), and voters rank candidates by shortest-path distance with fixed deterministic tie-breaking. We focus on exclusion zones, vertex sets S such that whenever some candidate lies in S, the IRV winner must also lie in S. While testing whether a given set S is an exclusion zone is co-NP-Complete and finding the minimum exclusion zone is NP-hard in general graphs, we show here that both problems can be solved in polynomial time on trees. Our approach solves zone testing by designing a Kill membership test (can a designated candidate be forced to lose using opponents from a restricted set?) and shows that Kill can be decided in polynomial time on trees via a bottom-up dynamic program that certifies whether the designated candidate can be eliminated in round 1. A greedy shrinking process then recovers the minimum zone under a standard nesting assumption. To clarify the limits of tractability beyond trees, we also identify a rule level property (Strong Forced Elimination) that abstracts the key IRV behavior used in prior reductions, and show that both exclusion-zone verification and minimum- zone computation remain co-NP-complete and NP-hard, respectively, for any deterministic rank-based elimination rule satisfying this property. Finally, we relate IRV to utilitarian distortion in this discrete setting, and we present upper and lower bounds with regard to the distortion of IRV for several scenarios, including perfect binary trees and unweighted graphs.

연구 동기 및 목표

• 그래프에 의해 유도된 메트릭 선호도에서 결정적 동률 해소를 갖춘 IRV를 동기부여하고 형식화한다.
• 제외 구역을 특성화하고 트리에 대한 효율적인 알고리즘을 개발한다.
• IRV를 넘어서는 규칙 수준의 난이도를 탐구하고 다른 제거 규칙으로 일반화될 특성을 식별한다.
• 특별한 트리 구조를 포함한 무가중 그래프에서 IRV의 왜곡을 분석하고 경계를 확립한다.

제안 방법

• 특정 후보자 u가 A의 반대 후보들에 의해 제거될 수 있는지 테스트하기 위해 Kill(T,u,A)를 정의한다.
• 트리에서 Kill을 다항시간에 결정하기 위한 하향식(dynamic programming) 알고리즘을 개발한다.
• 중첩 속에서 그리디 축소 절차를 통해 최소 제외 구역을 Kill을 이용하여 계산한다.
• 강한 강제 제거(SFE)를 도입하여 규칙 수준의 불변성을 추상화하고, 결정적 순위 기반 규칙을 따르는 일반 그래프에 대해 co-NP-완전성 및 NP-하드니스 결과를 증명한다.
• 이산 그래프 메트릭에서 IRV 결과를 사회적 비용과 비교하여 왜곡을 분석하고 경로, bistars, 완전 이진 트리, 및 일반 무가중 그래프에 대한 상한/하한 경계를 도출한다.

실험 결과

연구 질문

• RQ1 그래프에서 주어진 집합이 IRV의 제외 구역인지 효율적으로 테스트할 수 있으며, 최소 제외 구역을 계산할 수 있는가?
• RQ2 트리 구조가 IRV 하에서 제외 구역과 최소 구역에 대해 다항시간의 해법을 가능하게 하는가?
• RQ3 무가중 그래프 메트릭에서 IRV의 사회적 비용 왜곡 측면에서의 성능은 어떤가, 특정 트리 계열과 일반 그래프에 대한 엄밀한( tight) 경계는 무엇인가?
• RQ4 불변성 속성을 만족하는 다른 결정적 순위 기반 제거 규칙에 난이도 결과가 어느 정도까지 확장되는가?
• RQ5 그래프 기반 메트릭 투표에서 제외 구역과 왜곡 간의 관계는 무엇인가?

주요 결과

• 트리에서 Kill 멤버십 테스트와 하향식 DP를 사용하여 제외 구역 검증과 최소 구역 계산이 다항 시간에 가능하다.
• 라운드-1 축소(Kill이 즉시 제거를 암시한다)는 중첩 하에 최소 제외 구역을 얻기 위한 간결한 DP 표현과 그리디 축소 절차를 가능하게 한다.
• 강한 강제 제거(SFE)를 도입하면, SFE를 만족하는 모든 결정적 순위 기반 제거 규칙에 대해 제외 구역 검증이 co-NP-완전이고 최소 구역 계산이 NP-하드임을 보여주며, 이는 IRV를 넘어선 난이도를 확장한다.
• 무가중 경로에서 IRV의 왜곡은 최대 2이고 하한은 9/5이다; bistars의 왜곡은 최대 5/3이며(IRV에 대해 타이트); 완전 이진 트리에서는 왜곡이 최대 3이며(IRV가 항상 1.7보다 낫다고는 할 수 없음).
• 일반 무가중 그래프에서 IRV의 왜곡은 Ω(sqrt(log m))로 하한이고 O(log m)로 상한이다.