다중모드 선거 조작 공격 통합 모델과 효율적 알고리즘

초록

본 논문은 기존 연구가 단일 형태의 선거 조작에만 초점을 맞춘 점을 보완하여, 동시에 여러 조작 방식을 결합한 ‘다중모드’ 공격을 모델링하고, 주요 선거 규칙에 대해 이러한 복합 공격을 다항 시간 안에 설계할 수 있음을 보인다.

상세 요약

1992년 Bartholdi·Tovey·Trick이 제시한 선거 제어(adding/deleting candidates or voters) 연구는 이후 복잡도 이론을 활용한 방어 메커니즘과 알고리즘 설계의 핵심이 되었다. 그러나 그동안 대부분의 작업은 공격자가 하나의 제어 수단만을 사용하는 상황을 가정했으며, 실제 정치·사회 현장에서는 후보 삽입, 유권자 억압, 신규 유권자 유입 등 여러 전략을 동시에 구사하는 경우가 빈번하다. 본 논문은 이러한 현실을 반영해 ‘다중모드’ 공격 모델을 정형화한다. 구체적으로, 공격자는 (1) 후보 추가·삭제, (2) 유권자 추가·삭제, (3) 후보 순위 변조(스포일러 후보 도입) 등을 동시에 선택할 수 있다. 모델은 각 조작 유형에 대한 비용 함수를 정의하고, 전체 비용이 제한된 상황에서 목표 후보가 승리하도록 하는 최적화 문제를 제시한다.

주요 기술적 기여는 다음과 같다. 첫째, 다중모드 공격을 하나의 통합 그래프 구조로 표현함으로써 기존 단일 제어 알고리즘을 확장할 수 있는 일반 프레임워크를 제공한다. 둘째, 다수의 대표적인 투표 규칙(Plurality, Veto, Approval, Borda, Copeland, Condorcet‑consistent 등)에 대해 다중모드 공격을 다항 시간에 해결하는 구체적 알고리즘을 설계한다. 예를 들어, Plurality와 Approval에서는 후보와 유권자 집합을 각각 정렬하고, 그리디 선택을 통해 비용 한도 내에서 최적의 후보 추가·삭제 조합을 찾는다. 셋째, 일부 복잡한 규칙(예: STV, Maximin)에서는 다중모드 공격이 NP‑hard임을 증명하고, 근사 알고리즘이나 파라메트릭 제한 하에서의 FPT 결과를 제시한다.

이러한 결과는 “복합 공격이 반드시 더 어려운가?”라는 직관에 반해, 많은 실용적인 선거 시스템에서는 오히려 다중모드 공격이 단일 모드보다 계산적으로 더 쉬워질 수 있음을 보여준다. 이는 선거 설계자가 복잡도 기반 방어만을 의존해서는 안 되며, 다중모드 시나리오를 포함한 포괄적 위험 분석이 필요함을 시사한다.