파라미터화된 제어 복잡도와 폴백 투표의 난이도 분석

초록

본 논문은 선호 기반과 승인 투표를 결합한 폴백 투표(Fallback Voting)에서 후보자·유권자 추가·삭제 제어 문제를 파라미터 k(조작 횟수)로 한정했을 때의 복잡도를 조사한다. 후보자 추가·삭제는 구성적·파괴적 모두 W

상세 분석

폴백 투표는 각 유권자가 승인 집합 Sᵥ와 그 안에서의 선호 순서를 제공하고, 승자는 가장 높은 레벨에서 절반 이상의 승인을 받은 후보가 없을 경우 다음 레벨로 ‘폴백’하는 방식으로 결정된다. 논문은 이러한 구조가 제어 공격에 대해 얼마나 견고한지를 파라미터 k(조작에 허용된 후보·유권자 수) 관점에서 정량화한다.

먼저 후보자 제어 문제를 다룬다. 구성적(constructive) 후보자 추가에서는 “스포일러 후보” D 중 k 개를 선택해 목표 후보 c 를 유일 승자로 만들 수 있는지를 묻는다. 저자는 Dominating Set 인스턴스 (G=(B,E),k) 를 폴백 투표 인스턴스로 변환한다. 후보 집합 C 에 B (그래프 정점에 대응)와 보조 후보 X,Y,Z, 그리고 목표 후보 c와 방해 후보 w 를 포함시킨다. 각 정점 bᵢ에 대해 승인 집합 N_c