[논문 리뷰] More Natural Models of Electoral Control by Partition

Gábor Erdélyi, Edith Hemaspaandra외 1명|arXiv (Cornell University)|2014. 10. 09.

Internet Traffic Analysis and Secure E-voting참고 문헌 15인용 수 5

한 줄 요약

이 논문은 균형 잡힌 그룹 크기, 두 개 이상의 부분, 또는 의미 있는 유권자/후보자 그룹화를 반영할 수 있도록, 전술적 분할에 의한 선거 제어의 세 가지 새로운 모델—등분할, 다분할, 그룹별 분할—을 제안한다. 이를 통해 실제 선거 상황을 더 잘 반영한다. 또한, 다수결 선거에서 이러한 새로운 모델 중 일부가 NP-완전임을 증명하여, 기존 표준 분할 모델에 비해 계산 복잡도가 증가함을 나타낸다.

ABSTRACT

"Control" studies attempts to set the outcome of elections through the addition, deletion, or partition of voters or candidates. The set of benchmark control types was largely set in the seminal 1992 paper by Bartholdi, Tovey, and Trick that introduced control, and there now is a large literature studying how many of the benchmark types various election systems are vulnerable to, i.e., have polynomial-time attack algorithms for. However, although the longstanding benchmark models of addition and deletion model relatively well the real-world settings that inspire them, the longstanding benchmark models of partition model settings that are arguably quite distant from those they seek to capture. In this paper, we introduce--and for some important cases analyze the complexity of--new partition models that seek to better capture many real-world partition settings. In particular, in many partition settings one wants the two parts of the partition to be of (almost) equal size, or is partitioning into more than two parts, or has groups of actors who must be placed in the same part of the partition. Our hope is that having these new partition types will allow studies of control attacks to include such models that more realistically capture many settings.

연구 동기 및 목표

• 표준 분할 제어 모델이 균형 잡힌 그룹 크기나 유권자 행동의 그룹화와 같은 일반적인 실세계 제약 조건을 반영하지 못하는 데서 비롯되는 현실성 부족 문제를 해결하기 위해.
• 균형 분할, 다분할, 그룹 기반 분할을 포함한 세 가지 새로운 모델을 제안하여, 균형 잡히거나 구조화된 분할을 포함하는 실질적인 선거 설정을 더 잘 반영하기 위해.
• 이러한 새로운 모델의 계산 복잡도를 분석하고, 특히 다수결 투표 제도에서 제어 공격에 대한 저항력이 증가하는지 여부를 판단하기 위해.
• 미래의 계산 사회선택 이론에서 더 현실적인 제어 모델 연구를 위한 기반을 마련하기 위해, 파괴적 제어 및 유일한 승자 모델로의 확장을 포함한다.

제안 방법

• 유권자 또는 후보자를 (거의) 동일한 크기의 부분들로 나누어야 하는 제약 조건을 가진 새로운 분할 기반 제어 모델을 제안하며, 이를 '등분할'이라 칭한다.
• 분할에 두 개 이상의 부분이 허용되는 '다분할' 제어를 도입하여, 다단계 또는 다권역 선거를 모델링한다.
• 유권자 또는 후보자를 색상 또는 레이블링을 통해 사전에 그룹화하고, 동일한 분할 부분에 포함되어야 하는 '그룹 기반 분할' 제어를 개발한다.
• 기존의 표준 분할 제어 정의를 적용하지만, 실세계의 구조적 요구 조건을 반영하도록 분할 제약 조건을 수정한다.
• 특히 3집합으로 구성된 정확한 커버 문제를 기반으로 한 기존의 NP-완전 문제로의 감소를 통해 핵심 케이스의 NP-완전성을 증명한다.
• 유일한 승자 모델 하에서의 복잡도를 분석하고, 향후 연구에서 비유일한 승자 모델로 결과를 확장할 계획이다.

실험 결과

연구 질문

• RQ1 균형 잡힌 그룹 크기나 그룹화된 유권자 행동과 같은 실세계 제약 조건을 더 잘 반영할 수 있는 새로운 분할 기반 제어 모델을 설계할 수 있는가?
• RQ2 분할이 균형 잡혀야 하거나(등분할), 두 개 이상의 부분을 포함해야 할 경우(다분할)에 분할 기반 제어의 계산 복잡도는 어떻게 변화하는가?
• RQ3 유권자 또는 후보자를 사전에 정의된 동치 클래스로 그룹화할 경우, 다수결 선거에서 제어의 복잡도에 어떤 영향을 미치는가?
• RQ4 새로운 모델은 기존 표준 기준 모델에 비해 제어 공격의 계산 난이도를 증가시키는가?
• RQ5 새로운 모델은 파괴적 제어 및 비유일한 승자 설정으로 확장될 수 있으며, 이 경우 복잡도는 어떻게 비교되는가?

주요 결과

• Plurality-CCAVG(유권자 추가 제어, 그룹 포함) 문제는 NP-완전임을 입증하여, 유권자 그룹화가 표준 모델에 비해 복잡도를 증가시킴을 나타낸다.
• Plurality-CCPVG-TE(유권자 분할 제어, 그룹 및 균형 잡힌 부분 포함) 문제도 NP-완전임을 증명하여, 등분할 제약 조건이 복잡도를 증가시킴을 보여준다.
• Plurality-CCDVG(유권자 삭제 제어, 그룹 포함) 문제 역시 NP-완전임을 확인하여, 그룹 기반 제약 조건이 삭제 제어의 난이도를 높일 수 있음을 확인한다.
• 새로운 모델의 복잡도는 일반적으로 표준 기준 모델에 비해 증가하며, 여러 케이스에서 P에서 NP-완전으로 전환된다.
• NP-완전성 결과는 표준 NP-완전 문제인 3집합으로 구성된 정확한 커버 문제로의 감소를 통해 확립된다.
• 논문은 개방 문제를 제기하며, 예를 들어 weakCondorcet-CCREPC-TE의 복잡도를 규명하는 것이며, 이는 복잡도 증가의 또 다른 예시가 될 수 있다.