부분 선호도에서 상위 k 위 후보 결정의 복잡도 분석

초록

부분적으로 알려진 투표에서 위치 점수 규칙을 적용해 상위 k 위 후보(필수·가능)를 찾는 문제의 계산 복잡도를 조사한다. k가 입력으로 주어질 때는 모든 순수 점수 규칙에 대해 가능한 위 후보 찾기가 NP‑완전, 필수 위 후보 판별이 coNP‑완전임을 보이며, k가 고정된 경우 일부 규칙(다항점수, plurality, veto)에서는 다항시간 알고리즘이 존재함을 제시한다.

상세 분석

이 논문은 기존의 ‘필수 승자(NW)’와 ‘가능 승자(PW)’ 개념을 상위 k 위 후보(NTW, PTW)로 일반화하고, 특히 부분 투표 프로파일에서 위치 점수 규칙(positional scoring rules)을 적용했을 때의 복잡도 특성을 체계적으로 분석한다.

첫 번째 주요 결과는 k가 입력으로 주어지는 일반적인 상황에서, 순수 점수 규칙(pure scoring rules) 전반에 걸쳐 PTW(가능 상위 k 위 후보) 문제가 NP‑complete임을 증명한다. 이는 기존에 PW가 다수 규칙에서 NP‑hard였던 사실을 k=1 경우로부터 자연스럽게 확장한 것이며, plurality와 veto와 같은 예외 규칙조차도 k>1이면 NP‑hard가 된다. 증명은 X3C(Exact Cover by 3‑Sets)와 Dominating Set 문제로부터의 다중 감소를 이용한다. 특히 plurality 규칙에 대해 NTW(필수 상위 k 위 후보) 문제를 coNP‑complete로 만들기 위해, X3C 인스턴스를 후보 집합과 부분 순서로 변환해 ‘c*’라는 특수 후보가 모든 완전화에서 상위 k에 들어가야 하는지를 판단하도록 설계하였다.

두 번째로, veto 규칙에 대해서도 동일한 복잡도 경계가 성립한다. 여기서는 ‘보완‑역전(scoring) 규칙’ 개념을 도입해, 어떤 이진 점수 규칙 r에 대해 그 보완‑역전 rᴿ가 존재함을 보이고, NTW와 PTW 사이에 상호 보완 관계가 있음을 증명한다. 이를 통해 plurality에서의 NTW가 coNP‑complete이면, veto에서 PTW는 NP‑complete가 되는 대칭 관계를 얻는다.

세 번째로, k가 고정된 경우(fixed‑k)에는 복잡도가 크게 완화된다. 논문은 점수 값이 후보 수에 대해 다항식적으로 제한될 때, NTW 문제를 다항시간에 해결할 수 있는 알고리즘을 제시한다. 또한, plurality와 veto에 대해서는 PTW도 다항시간에 해결 가능함을 보인다. 이는 실제 응용(예: 위원회 선출, 검색 엔진 상위 k 결과)에서 k가 사전에 정해지는 경우 실용적인 해결책을 제공한다는 점에서 의미가 크다.

또한, 다중 승자 선출(multi‑winner) 문제와의 연관성을 논의한다. 상위 k 위 후보 개념은 위원회 선택 문제의 특수 경우로 볼 수 있으며, 기존 연구에서 제시된 Condorcet 위원회, Chamberlin‑Courant, Monroe 모델 등과 연결된다. 특히, 부분 선호도가 주어졌을 때 위원회 구성원의 필수·가능성을 판단하는 문제는 아직 미해결된 난제이며, 본 논문의 결과가 이러한 연구에 기초를 제공한다는 점을 강조한다.

전체적으로, 이 논문은 “k가 입력인지 고정인지에 따라 복잡도 경계가 급격히 변한다”는 중요한 통찰을 제공한다. 또한, 보완‑역전 변환을 이용한 복잡도 전이 기법은 다른 사회 선택 이론 문제에도 적용 가능할 것으로 기대된다.