그래프 기반 메크 단일 전환 투표 감사

초록

본 논문은 메크(Meek) 방식의 단일 전환 투표(STV)에서 위험 제한 감사(RLA)를 구현하기 위해, 모든 가능한 선거 순서를 그래프 형태로 모델링하고, 사전에 선택한 서브그래프에 실제 선거 경로가 머무르는지를 통계적으로 검증하는 새로운 프레임워크를 제안한다. 메크 규칙이 시간 순서에 독립적인 특성을 갖는 반면, 전통적인 가중 포함 그레고리 방식(WIGM)은 순서에 민감함을 보이며, 이를 통해 메크가 감사에 더 적합함을 보인다.

상세 분석

이 논문은 STV와 같은 다당제 다수당 선거 방식이 갖는 알고리즘적 복잡성을 감사 관점에서 재조명한다. 기존 RLA는 단일 후보 선출 방식에 적용돼 왔으며, 선거 결과의 마진을 직접 검증한다. 그러나 STV는 후보의 선출·제거 순서가 결과에 큰 영향을 미치므로, 전체 순서를 정확히 재현해야 하는 부담이 있다. 저자는 이를 해결하기 위해 “보편적 선거 그래프(Ω)”를 정의하고, 사전에 감사자가 관심 있는 후보 집합과 허용 오차(예: 40표) 내에서 가능한 모든 상태 전이를 포함하는 서브그래프 G를 구축한다. 감사는 “실제 선거 경로가 G를 벗어나지 않는다”는 영가설을 통계적으로 기각함으로써, 경로 자체는 알 수 없더라도 최종 당선자 집합이 보고된 결과와 동일함을 보장한다.

핵심 기술적 기여는 다음과 같다. 첫째, 메크 규칙을 “제거 라운드만으로 기술 가능한 단조 감소 함수”로 수학화함으로써, 후보가 선출된 뒤에도 투표 가중치가 재조정되는 특성을 그래프 전이 규칙에 자연스럽게 포함시켰다. 이는 전통적인 WIGM이 한 번 고정된 전이 비율을 사용해 순서 의존성을 야기하는 점과 대조된다. 둘째, 감사 그래프의 구성 방법을 구체적으로 제시한다. 각 정점은 현재 남은 후보 집합(H)과 이미 당선된 후보 집합(W)으로 정의되며, 간선은 허용 오차 이하의 표 차이로 인한 후보 선출·제거 가능한 모든 경우를 연결한다. 마지막으로, 통계적 검증 단계에서는 샘플링된 물리적 투표와 전자 기록(CVR)을 비교해, 관측된 오차가 그래프 경로를 탈락시킬 확률을 계산한다. 이 확률이 사전에 설정한 위험 한계(α) 이하이면 감사는 성공으로 간주된다.

실험 사례로 2024년 포틀랜드 시의회 3석 STV 선거와 2012년 스코틀랜드 퍼스킨로스 카운슬 Ward 9 선거를 분석한다. 포틀랜드 사례에서는 두 후보가 동점에 가까운 상황에서도 어느 후보를 먼저 제거하든 최종 당선자 집합에 변동이 없음을 그래프를 통해 확인한다. 퍼스킨로스 사례에서는 WIGM 규칙이 0.37표의 초미세 차이로 결과가 뒤바뀔 위험이 있음을 보여주지만, 메크 규칙은 동일한 오차 범위 내에서도 최종 당선자 집합이 안정적으로 유지됨을 입증한다. 이를 통해 메크가 감사에 더 적합한 이유를 실증적으로 뒷받침한다.

전반적으로 이 연구는 STV와 같은 복합 선거 규칙에 대한 RLA 설계에 새로운 패러다임을 제시한다. 순서에 독립적인 메크 규칙을 그래프 형태로 모델링함으로써, 감사자는 전체 선거 과정을 완전 재현할 필요 없이, 결과의 신뢰성을 효율적으로 검증할 수 있다. 또한, 서브그래프 G의 설계 자유도가 높아 다양한 선거 환경과 위험 수준에 맞게 맞춤형 감사 전략을 수립할 수 있다. 향후 연구에서는 그래프 규모 최적화, 다중 후보군에 대한 샘플링 효율 개선, 그리고 다른 STV 변형(예: Droop‑quota 기반 변형)에도 동일한 프레임워크를 적용하는 방안을 탐색할 여지가 있다.