단일첨첨 선호 사회는 조작과 통제에 더 취약하다

초록

본 논문은 선거 조작·통제 방어를 위해 복잡도 기반 NP‑hardness를 활용하는 기존 연구와 달리, 사회적 선호가 단일첨첨(single‑peaked) 형태일 경우 대부분의 NP‑hard 방어가 사라짐을 보인다. 단일첨첨 선호 하에서 다수의 통제·조작 문제는 다항시간 알고리즘으로 해결 가능하고, 일부 조작 문제는 여전히 NP‑hard이지만 그 경계가 크게 바뀐다.

상세 분석

이 논문은 선거 이론에서 복잡도 기반 방어가 실제 선거 환경에 적용될 수 있는지를 근본적으로 재검토한다. 저자들은 정치학에서 널리 쓰이는 단일첨첨 선호 모델을 전제조건으로 삼아, 기존에 “NP‑hard 방패”라고 불리던 결과들이 대부분 무효화된다는 점을 증명한다. 먼저, 단일첨첨 선호가 무엇인지 정의하고, 선호가 선형 순서이든 승인(approval) 벡터이든 동일한 연속 구간(contiguous block) 특성을 가진다는 점을 강조한다. 이 특성은 투표 결과를 계산할 때 후보 간 상대적 위치가 고정되어 있어, 후보 추가·삭제, 유권자 추가·삭제와 같은 통제 행위가 후보 점수에 미치는 영향을 선형적으로 추적할 수 있게 만든다.

논문은 두 가지 투표 모델(승인 투표와 선형 순위 기반 점수제)을 모두 다루며, 각각에 대해 기존에 NP‑hard로 알려진 12가지 이상의 통제·조작 문제를 단일첨첨 가정 하에 다항시간 알고리즘으로 해결한다. 핵심 아이디어는 단일첨첨 순서 L을 미리 알고 있다고 가정하고, 모든 투표를 L에 맞춰 정렬한 뒤, 후보들의 점수 변화를 구간 합 형태로 표현함으로써 동적 계획법이나 그리디 전략으로 최적 해를 찾는 것이다. 예를 들어, 후보 추가·삭제 문제는 L 상에서 연속된 후보 집합을 선택하거나 제외하는 문제로 환원되며, 이는 구간 최소/최대 합을 구하는 표준 알고리즘으로 해결된다.

조작 문제에 대해서는 상황에 따라 결과가 달라진다. 3‑투표(각 유권자가 하나의 후보에만 투표)와 같은 제한된 경우에는 조작이 P에 속하지만, 후보 수가 5개 이상이 되면 NP‑hard가 되는 경계가 존재한다(정리 4.2). 이는 후보 수가 늘어날수록 후보 간 상대적 위치가 복잡해져, 조작을 위한 최적 투표 구성 문제가 조합적 폭발을 일으키기 때문이다. 또한, Walsh가 제시한 Single Transferable Vote (STV)와 같은 복합 규칙은 단일첨첨 상황에서도 여전히 NP‑hard임을 확인함으로써, 복잡도 방어가 완전히 사라지는 것은 아니라는 점을 명확히 한다.

이 논문은 또한 “후보 수가 늘어날수록 문제 난이도가 낮아진다”는 직관에 반하는 사례를 제시한다. 3‑투표에서 후보가 4개 이하일 때는 조작이 P, 5개일 때는 NP‑hard, 6개 이상이면 다시 P가 되는 현상은 단일첨첨 구조가 후보 간 거리와 점수 분포에 미치는 비선형 효과를 보여준다.

마지막으로, 저자들은 현실 세계에서 투표 규칙은 고정되어 있기 때문에, 단일첨첨이라는 가정만으로 규칙을 바꾸는 것이 불가능하다고 주장한다. 따라서 복잡도 기반 방어가 실제로 적용될 가능성은 낮으며, 정책 입안자는 단일첨첨 선호가 존재할 경우 보다 직접적인 조작·통제 방지 메커니즘을 설계해야 함을 시사한다.