선거 방어와 공격의 파라미터화된 복잡도 분석

초록

이 논문은 투표에서 공격자와 방어자가 각각 제한된 자원(kₐ, k_d)으로 voter group을 공격·방어할 때, 최적 방어(Optimal Defense)와 최적 공격(Optimal Attack) 문제의 파라미터화된 복잡도를 체계적으로 조사한다. 모든 점수 규칙과 Condorcet 규칙에 대해 두 문제 모두 NP‑hard임을 보이며, 방어 문제는 kₐ와 k_d 각각을 파라미터로 할 때 W

상세 분석

논문은 먼저 선거 제어 문제를 Stackelberg 게임 형태로 모델링하고, 공격자와 방어자가 각각 kₐ, k_d개의 voter group을 선택할 수 있는 상황을 정의한다. 최적 방어 문제는 “방어자가 k_d개의 그룹을 미리 보호하면, 공격자가 어떤 kₐ개의 그룹을 공격하더라도 원래 승자가 변하지 않는다”는 조건을 만족하는 방어 집합의 존재 여부를 묻는다. 최적 공격 문제는 “공격자가 kₐ개의 그룹을 선택하면, 방어자가 어떤 k_d개의 그룹을 방어하더라도 승자가 반드시 바뀐다”는 조건을 만족하는 공격 집합의 존재 여부를 묻는다.

복잡도 분석에서는 모든 정규화된 점수 규칙과 Condorcet 규칙에 대해 두 문제 모두 NP‑hard임을 보이며, 특히 후보 수 m=3인 경우에도 hardness가 유지된다는 점이 주목할 만하다. 이는 기존 연구에서 다루던 다수 후보 상황보다 강력한 결과이며, 투표 규칙이 계산적으로 취약하더라도 제한된 자원 상황에서는 여전히 방어·공격 전략을 찾는 것이 어려움을 의미한다.

파라미터화된 복잡도 측면에서, 방어 문제는 kₐ 혹은 k_d 단일 파라미터만을 고려하면 W