가능 승자 문제 완전 이분법 구현 점수 벡터 2 1 0

초록

이 논문은 순수 점수 규칙 중 점수 벡터가 (2,1,…,1,0)인 경우에 대해 가능한 승자(Possible Winner) 문제의 복잡도가 NP‑완전임을 증명한다. 기존 연구가 남겨두었던 유일한 미해결 케이스를 마무리함으로써, 무가중 투표와 후보 수 제한이 없는 순수 점수 규칙 전체에 대한 완전한 이분법(dichotomy)을 완성한다.

상세 분석

가능 승자 문제는 부분 순위가 주어진 선거에서 지정된 후보가 어떤 완전 순위 확장에 의해 승리할 수 있는지를 묻는 결정 문제이다. Betzler와 Dorn은 순수 점수 규칙을 대상으로, 다수와 거부(veto) 규칙을 제외하고는 NP‑완전임을 보였지만, 점수 벡터 (2,1,…,1,0)인 경우만은 아직 미해결 상태로 남겨두었다. 본 논문은 그 공백을 메우기 위해, 해당 점수 규칙에 대해 NP‑완전성을 증명한다.

증명은 고전적인 NP‑완전 문제인 HITTING SET을 다항식 시간 감소(reduction)하는 방식으로 진행된다. 입력으로 주어진 원소 집합 X와 부분집합들의 컬렉션 S, 그리고 정수 k에 대해, 후보 집합 C를 복잡하게 구성한다. 여기에는 지정 후보 c, 보조 후보 h, 그리고 각 원소 e_i에 대응하는 일련의 후보 x_i, x_i^j, y_i^j, z_i^j (i는 원소 인덱스, j는 집합 인덱스) 등이 포함된다. 투표 목록 V는 선형 투표 V_ℓ와 부분 투표 V_p 로 나뉘며, V_p는 다시 세 부분 V_p1, V_p2, V_p3 로 세분화된다.

핵심 아이디어는 각 후보가 부분 투표에서 얻을 수 있는 최대 부분 점수(maximum partial score) 를 정의하고, 이를 이용해 후보들이 얻을 수 있는 점수의 상한을 정확히 제어하는 것이다. Lemma 3.1(Betzler & Dorn) 을 활용해, 부분 투표에서 후보들이 최대 점수를 초과하지 못하도록 선형 투표 V_ℓ 를 다항식 시간에 구성한다.

그 후, HITTING SET의 해가 존재하면, V_p 를 적절히 확장해 지정 후보 c 가 승리하도록 만들 수 있다. 구체적으로, 해에 포함된 원소에 해당하는 x_i 후보들은 V_p1 에서 마지막 위치를 차지하고, 그에 따라 연관된 y_i^j, z_i^j 후보들의 위치를 조정해 모든 후보가 자신의 최대 부분 점수를 정확히 달성하도록 한다. 반대로, c 가 가능한 승자라면, V_p 에서 각 후보가 최대 부분 점수를 초과하지 못하도록 제한된 위치 배치 때문에, V_p1 에서 마지막 위치를 차지하는 x_i 후보들의 집합이 크기 ≤ k 인 HITTING SET 해를 구성한다는 것을 보인다.

이러한 양방향 논증을 통해, (X,S,k) 가 HITTING SET 의 ‘yes’ 인스턴스인지 여부와 c 가 가능한 승자인지 여부가 동치임을 증명한다. 따라서 가능한 승자 문제는 NP‑hard이며, 명백히 NP 에 속하므로 NP‑complete 가 된다.

결과적으로, 순수 점수 규칙 중 (2,1,…,1,0) 벡터를 갖는 경우도 포함해, 모든 순수 점수 규칙에 대해 가능한 승자 문제는 ‘다수’와 ‘거부’만이 다항식 시간에 해결 가능하고, 나머지는 모두 NP‑complete 라는 완전한 이분법이 성립한다. 이는 이전 연구의 마지막 남은 구멍을 메우는 동시에, 관련된 SWAP BRIBERY 문제와 무가중 조작 문제 등에 대한 복잡도 결과도 즉시 파생한다는 부가적 의미를 가진다.