투표에서 동점 허용 시 조작·뇌물·통제 복잡도 분석

초록

본 논문은 유권자들의 선호에 동점(동등 순위)이 허용되는 경우, 다양한 선거 규칙에서 조작, 뇌물, 통제 문제의 계산 복잡도가 어떻게 변하는지를 체계적으로 조사한다. 자연스러운 선거 시스템에 대해 동점 허용이 복잡도를 상승시키기도 하고 감소시키기도 함을 보이며, 특히 Copeland α, Borda, 다수결 기반 규칙에 대해 구체적인 NP‑완전성 및 P‑알고리즘 결과를 제시한다. 또한, 동점이 포함된 선호를 다루는 일반적인 확장 방식을 정의하고, 제어 문제에 대한 일반적인 복잡도 보존 정리를 증명한다.

상세 분석

이 논문은 기존 선거 이론 연구가 전제해 온 ‘완전 순위’ 가정에서 벗어나, 유권자들이 동점을 허용하는 ‘약한 순위(weak order)’를 공식화하고, 이를 기존 선거 규칙에 자연스럽게 적용하는 방법을 제시한다. 저자들은 점수 기반 규칙(Plurality, Borda, t‑Approval)과 쌍대 다수결 기반 규칙(Copeland α)을 대상으로, 동점이 포함된 투표를 처리하기 위한 네 가지 점수 확장 방식(Min, Max, Round‑down, Average)을 정의한다. 이러한 확장은 기존 연구(Narodytska와 Walsh의 top‑order 모델)와 일관성을 유지하면서도, 동점이 임의 위치에 나타날 수 있는 일반적인 약한 순위에 적용 가능하도록 설계되었다.

복잡도 분석에서는 세 가지 주요 조작 행동—조작(CWCM), 뇌물(Bribery), 통제(Control)—을 각각 가중·비가중, 단일·다중 후보 상황으로 나누어 살펴본다. 특히, 3‑candidate Borda 규칙에 대해 단일 피크(single‑peaked) 제한 하에서 총 순위일 때는 P‑시간 알고리즘이 존재하지만, 동점을 허용한 top‑order에서는 NP‑완전성을 보인다. 이는 동점이 후보 간 점수 차이를 미세하게 조정할 수 있게 함으로써, 기존에 단순히 해결 가능했던 배분 문제를 부분합(partition) 문제와 동형화할 수 있기 때문이다.

또한, Copeland α 규칙에 대해서는 동점 허용이 오히려 조작과 뇌물 문제를 더 쉬운 P‑문제로 전환시킨다. 이는 α 값에 따라 동점이 발생했을 때 부여되는 점수(α)와 Max/Min 확장 방식이 후보들의 승패를 결정하는 기준을 완화시키기 때문이다. 저자들은 이러한 현상을 일반화하여, “동점이 포함된 투표에 대해 점수 확장을 적절히 선택하면, 대부분의 통제 문제는 원래 복잡도와 동일하게 유지된다”는 정리를 증명한다.

기술적 기여로는 (1) 약한 순위에 대한 점수 확장 정의와 그 정당성 증명, (2) 동점이 복잡도에 미치는 영향을 사례별로 구분한 정리들, (3) 3‑candidate Copeland α 조작에 대한 완전한 복잡도 분류(유리수·무리수 가중치 모두 포함)와 (4) 기존의 NP‑완전 문제(Exact‑Cover‑by‑3‑Sets, Partition, Partition′)를 이용한 복잡도 증명 기법의 확장 등이 있다.

전체적으로 이 연구는 선거 이론에서 동점이라는 현실적인 요소를 수학적으로 모델링하고, 그에 따른 전략적 행동의 계산적 난이도를 체계적으로 파악함으로써, 실무적 선거 설계와 이론적 복잡도 연구 모두에 중요한 통찰을 제공한다.