프라이머리 선거의 전략적 행동 복잡성

초록

본 논문은 1차 선거(FPTP)와 고정된 타이 브레이킹을 가정한 다단계 프라이머리 선거 모델을 제시하고, 투표자의 최적 반응 계산이 NP‑complete이며 순수 내시 균형 존재 여부는 Σ₂^P‑complete, 순차적 프라이머리에서는 서브게임 완전 균형 존재 여부가 PSPACE‑complete임을 증명한다. 이를 통해 프라이머리 제도가 전략적 추론의 계산적 난이도를 크게 높인다는 점을 밝힌다.

상세 분석

논문은 기존의 직접 선거 모델을 확장하여, 각 정당이 독립적인 프라이머리를 진행하고 그 결과로 정당별 후보가 일반 선거에 진출하는 두 단계 구조를 수학적으로 정형화한다. 투표자는 (i) 각 정당에 대한 프라이머리 투표 벡터와 (ii) 모든 가능한 최종 후보 조합에 대한 일반 선거 행동 함수 g_i 로 구성된 전략 s_i 를 선택한다. 이때 g_i 는 후보 집합 C= A₁×…×A_p 에 대해 후보 혹은 기권을 반환하는 함수이며, 입력 크기에 따라 명시적 테이블 형태와 순수하게 계산 가능한(예: 선호 리스트 기반) 압축 형태 두 가지를 고려한다. 비용 모델은 프라이머리와 일반 선거 각각에 참여 비용 κ을 부과하고, 효용은 최종 승자에 대한 기본 효용 u_i 와 비용을 차감한 형태로 정의한다.

주요 복잡도 결과는 다음과 같다. 첫째, 주어진 전략 프로필 s와 특정 투표자 i에 대해 최적 반응을 찾는 문제는 후보 집합 크기가 다항식 수준이지만 프라이머리 선택 조합이 (|A_k|+1)^p 로 지수적으로 늘어나므로, 이를 만족하는 최적 전략을 찾는 것이 NP‑complete임을 증명한다. 이는 투표자가 자신의 프라이머리 투표만을 조정해도 최적의 일반 선거 행동을 결정할 수 있음을 이용한 다항식 시간 검증과, SAT‑인코딩을 통한 NP‑hardness 증명으로 뒷받침된다.

둘째, 모든 투표자가 서로의 전략에 대해 편향되지 않은 순수 내시 균형이 존재하는지를 묻는 문제는 ∃∀ 형태의 양화식으로 귀결된다. 논문은 정당별 후보 선택을 변수로, 각 투표자의 최적 반응 조건을 제약식으로 변환해 Σ₂^P‑complete임을 보인다. 이는 기존 연구에서 직접 선거의 내시 균형 존재 문제가 NP‑complete인 것과 대비돼, 프라이머리 단계가 복잡도 계층을 한 단계 끌어올린다는 중요한 통찰을 제공한다.

셋째, 프라이머리를 순차적으로 진행하도록 확장하면 게임 트리의 깊이가 p 단계가 되며, 각 단계에서 전략 선택이 이전 단계 결과에 조건부로 의존한다. 이 경우 서브게임 완전 균형(subgame‑perfect equilibrium)의 존재 여부는 QBF와 동등한 PSPACE‑complete 문제로 환원된다. 논문은 이러한 환원을 위해 각 정당의 프라이머리 결과를 양자 논리 변수에 매핑하고, 플레이어가 번갈아 가며 최적 행동을 선택하도록 설계함으로써, 전형적인 PSPACE‑hard 게임(예: 구역 게임)과의 등가성을 증명한다.

이러한 복잡도 계층 상승은 프라이머리 제도가 투표자에게 요구하는 인지·계산적 부담을 정량화하는 데 기여한다. 또한, 정책 설계자는 프라이머리 구조가 전략적 조작을 억제하거나 촉진할 수 있음을 이론적으로 평가할 수 있다. 논문의 결과는 다단계 의사결정 메커니즘이 일반적인 사회 선택 이론에서 어떻게 복잡도적 난이도를 증가시키는지를 보여주는 중요한 사례이며, 향후 연구에서는 제한된 후보 수, 특정 비용 구조, 혹은 제한된 참여 규칙(예: 단일 프라이머리 참여) 하에서 복잡도 완화 가능성을 탐색할 여지를 남긴다.