다수제 투표와 탈퇴 전략의 균형 분석

초록

모든 유권자가 전략적으로 행동하는 상황을 게임으로 모델링하고, 다수제 투표에서 동시식과 순차식 투표 각각에 대해 순수 내시균형(PNE)의 존재 조건과 구조를 분석한다. 동시식에서는 PNE 존재 여부를 판별하는 기준을 제시하지만, 해당 기준을 검증하는 문제는 NP‑hard임을 보인다. 순차식에서는 후보가 두 명일 때는 균형이 완전히 규정되지만, 후보가 세 명 이상이면 직관에 반하는 균형이 나타날 수 있음을 보여준다.

상세 요약

본 논문은 전통적인 투표 조작 연구가 ‘조작자 집단’과 ‘진실된 유권자’라는 이분법적 가정에 머물렀던 점을 탈피한다. 모든 유권자를 전략적 행위자로 간주하고, 투표 과정을 ‘플루리티 게임’으로 모델링함으로써 각 투표 결과를 내시균형의 구현물로 해석한다. 두 가지 투표 메커니즘—동시식(모든 유권자가 동시에 표를 제출)과 순차식(유권자가 차례대로 표를 제출)—에 대해 각각의 균형 구조를 정밀히 탐구한다.

동시식에서는 ‘전략적 탈퇴(abstention)’를 허용함으로써 유권자는 후보를 지지하지 않을 선택지를 가질 수 있다. 저자들은 ‘전략적 탈퇴가 허용된 다수제 투표’에서 순수 내시균형이 존재하려면, 각 후보에 대해 ‘지지자 집합’이 특정 포화 조건을 만족해야 함을 수학적으로 규정한다. 이 조건은 모든 후보가 최소 한 명 이상의 지지를 받거나, 지지자들이 서로 교차하지 않는 구조여야 함을 의미한다. 그러나 이러한 구조를 확인하는 문제는 후보와 유권자의 수가 커질수록 조합적 복잡도가 급증하여, 논문은 이를 ‘NP‑hard’ 문제로 귀결시킨다. 즉, 실제 선거 데이터에 대해 균형 존재 여부를 효율적으로 판단하기는 어려우며, 근사 알고리즘이나 제한된 특수 경우에만 실용적 검증이 가능함을 시사한다.

순차식에서는 투표 순서가 전략적 선택에 결정적 영향을 미친다. 후보가 두 명일 경우, 저자들은 ‘후보 A가 현재 승리 중이면 다음 유권자는 B에 투표하거나 탈퇴를 선택한다’는 단순한 역학을 통해 모든 가능한 순수 내시균형을 완전하게 열거한다. 이때 균형은 ‘후보 A가 최종 승리’ 혹은 ‘후보 B가 최종 승리’라는 두 가지 경우만 존재하며, 투표 순서와 초기 선호만이 결과를 좌우한다.

하지만 후보가 세 명 이상이면 상황이 급격히 복잡해진다. 논문은 구체적인 예시를 들어, 초기 다수 후보가 뒤처지는 ‘역전 현상’이나, 중간 단계에서 유권자가 전략적으로 탈퇴함으로써 자신이 선호하는 후보가 승리하도록 만드는 ‘역설적 균형’이 발생할 수 있음을 보여준다. 이러한 현상은 전통적인 ‘다수제는 다수의 선호를 반영한다’는 직관과 상충되며, 순차식 투표가 후보 수가 늘어날수록 예측 불가능한 전략적 상호작용을 촉진한다는 중요한 교훈을 제공한다.

전체적으로 이 연구는 투표 메커니즘 설계 시 ‘전략적 탈퇴’와 ‘투표 순서’가 균형 존재와 안정성에 미치는 영향을 정량적으로 분석함으로써, 기존 조작 모델을 넘어선 보다 현실적인 선거 이론 구축에 기여한다.