거의 단일봉우리 선거구의 계산 복잡성 탐구

초록

본 논문은 단일봉우리 선거구와 가까운 ‘거의 단일봉우리’ 선거구를 정의하는 새로운 거리 측정법들을 제시하고, 이러한 거리 판단 문제가 대부분 NP‑완전임을 증명한다. 단일봉우리 축이 사전에 주어진 경우에는 거리 계산이 다항시간에 가능함을 보이며, 기존 연구와의 관계도 체계적으로 정리한다.

상세 분석

단일봉우리 선호 구조는 사회 선택 이론에서 중요한 가정으로, 이 가정 하에서는 다수의 조작·뇌물·통제 문제의 계산 복잡도가 크게 낮아진다. 그러나 실제 선거 데이터는 완전한 단일봉우리성을 만족하지 않는 경우가 빈번하며, 이를 ‘거의 단일봉우리(every‑near‑single‑peaked)’라는 개념으로 포괄하려는 시도가 최근 활발히 진행되고 있다. 본 논문은 이러한 근접성을 정량화하기 위해 기존에 제안된 ‘삭제 거리’, ‘스와핑 거리’, ‘편집 거리’ 등 여러 거리 개념을 확장하고, 완전히 새로운 ‘축 변형 거리’와 ‘부분 순열 거리’를 도입한다.

각 거리 정의마다 “주어진 선호 프로필이 특정 거리 이하로 단일봉우리 축에 맞출 수 있는가?”라는 결정 문제를 설정하고, 복잡도 분석을 수행한다. 핵심 결과는 다음과 같다. 첫째, 삭제 거리와 스와핑 거리, 그리고 새롭게 정의한 축 변형 거리 모두에 대해, 거리 상한값 k가 입력으로 주어졌을 때 해당 문제는 NP‑완전임을 증명한다. 이 증명은 3‑SAT 혹은 피자 슬라이스 문제와의 다항시간 환원을 이용해, 후보 집합과 유권자 선호를 적절히 인코딩함으로써 이루어진다. 둘째, 부분 순열 거리의 경우에는 특수한 구조적 성질을 활용해 다항시간 알고리즘을 설계한다. 구체적으로, 후보들을 선형 순서대로 정렬한 뒤, 가장 긴 증가 부분수열(LIS) 길이를 계산함으로써 최소 편집 횟수를 구할 수 있음을 보인다. 이는 기존의 O(n·log n) LIS 알고리즘을 그대로 적용할 수 있기에 실용적이다.

또한, 축이 사전에 주어졌을 때(즉, 후보들의 선형 순서가 고정된 경우) 모든 거리 측정에 대해 다항시간으로 최적 거리를 구할 수 있음을 보여준다. 여기서는 각 유권자의 선호를 축에 투사하고, 허용된 편집 연산을 최소화하는 매칭 문제로 환원한다. 특히, 편집 거리와 스와핑 거리의 경우에는 최소 비용 흐름(min‑cost flow) 모델을 구축해, O(m·n·log n) 시간 안에 해를 구한다.

마지막으로, 논문은 제안된 거리 개념들을 기존 연구에서 다루어진 ‘k‑정밀도(single‑peakedness)’와 ‘k‑정밀도 편집’ 등과 비교한다. 관계도표와 포함 관계를 통해, 새로운 거리들이 기존 거리보다 더 일반적이면서도 특정 상황에서는 더 강력한 제한을 제공한다는 점을 강조한다. 이러한 이론적 결과는 실제 선거 데이터에 대한 근접 단일봉우리성 검증 알고리즘 개발에 직접적인 영향을 미칠 것으로 기대된다.