진정전략 선호 기반 승인투표, 모든 건설적 통제 저항 및 광범위한 파괴적 통제 저항

이 논문은 Brams와 Sanver가 2006년에 제안한 ‘진정전략 선호 기반 승인투표(SP‑AV)’를 대상으로, 절차적 통제(control) 상황에서의 계산 복잡성을 체계적으로 분석한다. 먼저 선거 모델을 (C, V)로 정의하고, 각 유권자는 후보에 대한 선호 순위와 동시에 승인·비승인 집합을 제시한다. 기존 SP‑AV에서는 ‘허용 가능한(admissible)’ 승인전략이란, 유권자가 가장 선호하는 후보를 반드시 승인하고, 가장 덜 선호하는 후보를 반드시 비승인하는 집합으로 정의되었다. 그러나 후보·유권자 추가·삭제·분할과 같은 통제 행위가 발생하면, 일부 유권자의 승인전략이 허용성을 잃을 수 있다. 이를 방지하기 위해 논문은 Rule 1(승인전략 재작성 규칙)을 도입한다. 이 규칙은 두 명 이상의 후보가 존재할 경우, Sᵥ = ∅ 혹은 Sᵥ = C와 같은 비허용 전략을 자동으로 ‘가장 선호 후보 승인, 가장 비선호 후보 비승인’ 형태로 변환한다. 따라서 통제 과정에서도 모든 투표는 항상 허용 가능하게 유지된다. 다음으로 논문은 22가지 통제 유형을 정의한다. 이는 기존 선거 통제 연구에서 다루어진 20가지 유형에 ‘제한된 후보 추가(limited‑adding)’와 ‘제한된 후보 삭제(limited‑deleting)’를 추가한 것이다. 각 유형은 건설적(constructive)과 파괴적(destructive) 두 목표로 나뉘며, 각각 TE(ties‑eliminate)와 TP(ties‑promote) 두 승자 결정 규칙을 적용한다. 건설적 통제는 지정된 후보 p를 유일 승자로 만들고자 하는 것이고, 파괴적 통제는 후보 p가 유일 승자가 되지 않도록 하는 것이다. 주요 기술적 기여는 각 통제 문제에 대해 NP‑hardness를 증명한 것이다. 저자들은 전통적인 NP‑완전 문제인 ‘Exact Cover by 3‑Sets( X3C )’, ‘Hitting Set’, ‘Vertex Cover’ 등을 활용해 SP‑AV 통제 문제로 다항시간 변환(reduction)한다. 예를 들어, 후보 추가 통제에서는 후보 집합을 X3C의 원소와 대응시키고, 유권자의 승인전략을 해당 원소가 포함된 집합에 대한 선호로 설계한다. 이렇게 하면 목표 후보가 승리하려면 정확히 X3C의 해가 존재해야 함을 보인다. 후보 삭제와 분할 통제에서도 유사한 방식으로 서브선거의 승자 구조를 조작해 목표 후보의 승리 여부를 X3C 해 존재 여부와 동치시킨다. 결과적으로, SP‑AV는 22가지 통제 유형 중 19가지에서 NP‑hard인 ‘통제 저항(resistance)’을 보이며, 나머지 3가지(제한된 후보 추가·삭제, 그리고 파괴적 통제 중 하나)는 다항시간에 해결 가능하다. 이는 기존 자연 투표제와 비교했을 때 현저히 높은 저항성을 의미한다. 특히, 다수제와 승인투표는 각각 모든 통제에 취약하지만, SP‑AV는 두 시스템의 장점을 결합해 대부분의 통제에 대해 계산적으로 방어한다. 논문은 또한 SP‑AV가 현재 알려진 ‘승자 결정이 다항시간에 가능한 자연 투표제’ 중 두 번째로 건설적 통제에 대해 완전 저항(full resistance)을 가진 시스템임을 강조한다. 기존에 이런 특성을 가진 유일한 시스템은 Copeland 투표였으며, Copeland은 파괴적 통제에서는 비교적 취약했다. 반면 SP‑AV는 파괴적 통제에서도 9가지 유형에 대해 저항성을 보여, 전반적인 보안성이 뛰어나다. 마지막으로, 저자들은 SP‑AV가 실제 선거 설계에 적용될 경우, 외부 공격자가 후보·유권자 구조를 조작해 원하는 결과를 얻기 어려워진다는 실용적 함의를 제시한다. 또한 향후 연구 과제로는 SP‑AV의 조작(manipulation) 복잡성, 선호 불일치 상황에서의 확장, 그리고 실제 전자 투표 시스템에의 구현 가능성을 제시한다.