후보 순차 선거 통제의 복잡성 탐구

초록

후보가 순차적으로 제시되는 온라인 선거에서, 후보 추가·삭제 결정을 즉시 내리는 모델을 제시하고, 대부분의 투표 규칙에서는 이 통제 문제가 PSPACE‑완전임을 보이며, 다수대표(plurality) 규칙에 대해서는 다항시간 알고리즘이 존재함을 증명한다.

상세 분석

이 논문은 전통적인 “전체 정보” 기반 후보 통제 연구를 넘어, 후보가 하나씩 순차적으로 공개되는 상황에서 의장이 매 순간 즉각적인 삭제·추가 결정을 내려야 하는 ‘온라인’ 후보 통제 모델을 정의한다. 핵심은 의장이 과거에 내린 결정을 뒤돌릴 수 없으며, 미래에 나타날 후보와 투표자의 선호가 아직 알려지지 않은 상태에서 최악의 상황을 대비해야 한다는 점이다. 이를 위해 저자들은 ‘online‑E‑CCD​C’, ‘online‑E‑CCA​C’, ‘online‑E‑DCDC’, ‘online‑E‑DCA​C’ 등 네 가지 기본 문제를 공식화하고, 각각을 존재·전략 양자화(∃·∀) 형태의 결정 문제로 표현한다.

복잡도 측면에서, 모든 후보 통제 문제는 후보·투표 집합에 대한 승자 판정이 다항시간에 해결될 경우에도 PSPACE에 포함된다. 이는 교대형 튜링 기계(Alternating Turing Machine)의 다항시간 시뮬레이션과 동등한 PSPACE 정의를 이용해 상한을 얻는다. 더 중요한 것은, 이러한 상한이 실제로 꽉 차 있다는 증명이다. 저자들은 인위적인 선거 규칙 E와 E′를 설계하여, 승자 판정이 P에 속함에도 불구하고 해당 온라인 후보 통제 문제가 PSPACE‑완전임을 보인다. 구체적으로, 부울 공식과 변수 할당을 후보와 투표 선호에 인코딩하고, QBF(Quantified Boolean Formula) 문제를 온라인 후보 추가·삭제 문제로 다항시간 감소시킨다. 이 감소 과정에서 후보는 (F,i) 형태의 쌍으로 표현되고, i값에 따라 변수의 진리값을 결정하거나 의장의 선호 순서를 정의한다. 결과적으로, 의장이 미래의 모든 가능한 정보에 대해 적절히 행동할 수 있는가의 여부가 QBF의 만족 여부와 정확히 일치한다.

특히 다수대표(plurality) 규칙에 대해서는 이러한 복잡도 폭발이 일어나지 않는다. 저자들은 후보가 순차적으로 등장하더라도, 의장이 현재 후보를 삭제하거나 유지하는 간단한 규칙만으로 목표 후보가 최종 승자가 되도록 보장할 수 있음을 보이며, 이를 다항시간 알고리즘으로 구현한다. 이는 다수대표가 승자 판정이 매우 단순하고, 후보 추가·삭제가 승자 집합에 미치는 영향이 제한적이기 때문이다.

또한, ‘hand‑tied chair’와 ‘non‑hand‑tied chair’ 두 가지 의장 제약 모델을 도입해, 의장이 “d 이하” 후보를 전부 삭제할 수 있는지 여부에 따라 문제 정의가 어떻게 달라지는지도 논의한다. 두 모델 모두 PSPACE‑완전성을 유지한다.

결과적으로, 이 논문은 온라인 후보 통제라는 새로운 차원의 선거 조작 문제를 체계적으로 정의하고, 일반적인 투표 규칙에서는 PSPACE‑완전이라는 높은 복잡도를 보이며, 실용적인 다수대표 규칙에서는 효율적인 해결책이 존재한다는 중요한 두 축을 제시한다. 이는 선거 설계자와 정책 입안자에게 후보 순차 공개가 가능한 환경에서 조작 방지를 위한 설계 지침을 제공한다는 점에서 학문적·실무적 의미가 크다.