단일봉우리 선호 근접에서의 선거 조작 복잡도와 축 인식 알고리즘

초록

본 논문은 k‑축 및 k‑후보군 분할 단일봉우리 선호(near‑single‑peaked) 선거에서 r‑승인, Condorcet, Maximin, Copelandα 투표 규칙에 대한 건설적 투표 추가·삭제 제어(CCAV/CCDV)의 계산 복잡성을 조사한다. 대부분의 경우 k가 상수라 하더라도 NP‑hard임을 보이며, Condorcet의 경우와 r‑승인의 CCAV이 k‑축 선거에서는 k에 대한 FPT임을 증명한다. 또한 2‑축 선거 인식을 위한 다항시간 알고리즘을 제시하고, 3‑정규 이분 그래프에 대한 새로운 순서 존재성을 증명한다.

상세 분석

이 연구는 선거 제어 문제 중에서도 특히 “건설적 투표 추가(Constructive Control by Adding Votes, CCAV)”와 “건설적 투표 삭제(Constructive Control by Deleting Votes, CCDV)”에 초점을 맞춘다. 기존 연구에서는 단일봉우리(1‑축) 선거에서 r‑승인, Condorcet, Maximin, Copelandα 등에 대해 대부분 다항시간 해결이 가능하다는 결과가 있었지만, 선호가 약간이라도 비틀리면 복잡도가 급격히 상승한다는 점을 확인하고자 한다. 이를 위해 저자들은 두 가지 ‘근접 단일봉우리’ 모델을 도입한다. 첫 번째는 k‑축(k‑axes) 모델로, 투표마다 최소 하나의 축에 대해 단일봉우리 특성을 만족하면 된다. 두 번째는 k‑후보군 분할(k‑candidates‑partition, k‑CP) 모델로, 후보들을 k개의 파트로 나누어 각 파트 내에서만 단일봉우리 구조가 유지되는 경우를 말한다.

주요 기술적 기여는 다음과 같다.

1. NP‑hardness 증명: r‑승인의 경우 r≥4이면 CCAV, r≥3이면 CCDV가 k‑축·k‑CP 선거에서 상수 k(예: k=2,3)만으로도 NP‑hard임을 보였다. Condorcet과 Copelandα, Maximin에 대해서도 k가 2 또는 3일 때 이미 NP‑hard인 경우를 찾아냈다. 이러한 결과는 기존 단일봉우리 선거에서의 다항시간 알고리즘과는 대조적이며, ‘근접 단일봉우리’가 복잡도에 미치는 영향을 명확히 드러낸다.
2. FPT 결과: 반면, 몇몇 예외도 존재한다. 특히 k‑축 모델에서 Condorcet의 CCAV·CCDV, 그리고 r‑승인의 CCAV은 파라미터 k에 대해 고정‑파라미터 트랙터블(FPT)임을 증명했다. 저자들은 ‘승인 후보는 축 상에서 연속적으로 나타난다’는 관찰과 ‘최적 해는 목표 후보(p)를 승인하는 투표만 포함한다’는 성질을 이용해, 후보 집합을 “p로부터 r만큼 떨어진 후보들”로 제한하고 정수선형계획(ILP)으로 해결한다. 이때 파라미터는 |B| (p와 인접한 후보 수)이며, 이는 k와 r에 의해 상수적으로 제한된다.
3. 2‑축 인식 알고리즘: 기존 연구에서는 k=1은 다항시간, k≥3은 NP‑hard임이 알려졌지만, k=2에 대한 복잡도는 미해결 상태였다. 저자들은 축 간의 교차 구조를 그래프 이론적으로 모델링하고, 이를 통해 2‑축 선거 여부를 판별하는 다항시간 알고리즘을 설계했다. 이는 선거 데이터 전처리 단계에서 실용적인 도구가 될 수 있다.
4. 그래프 이론적 부수 결과: NP‑hardness 증명을 위해 3‑정규 이분 그래프에 대한 새로운 정리를 증명했다. 즉, 임의의 3‑정규 이분 그래프에 대해 두 개의 선형 순서를 선택하면, 각 간선의 양 끝점이 최소 하나의 순서에서 인접하게 배치될 수 있다. 이 성질은 복잡도 감소를 위한 ‘연속성’ 요구조건을 만족시키는 데 핵심적으로 활용된다.

전반적으로 이 논문은 ‘근접 단일봉우리’라는 새로운 도메인에서 선거 제어 문제의 복잡도 지형을 상세히 그려냈으며, 파라미터화된 복잡도 관점에서 FPT와 para‑NP‑hard 경계를 명확히 제시한다. 또한 2‑축 인식 알고리즘과 그래프 정리는 독립적인 연구 가치를 지닌다.