[논문 리뷰] The Control Complexity of $r$-Approval: from the Single-Peaked Case to the General Case

Yongjie Yang, Jiong Guo|arXiv (Cornell University)|2013. 04. 16.

Complexity and Algorithms in Graphs참고 문헌 21인용 수 15

한 줄 요약

이 논문은 $r$-Approval 투표 시스템에서 $\mathfrak{k}$-peak 투표자 선호도를 가진 $\mathfrak{k}$-peak 선거에서의 구성적 통제의 계산 복잡도를 조사한다. 여기서 각 투표자의 선호도는 최대 $\mathfrak{k}$개의 피크를 가진다. 대부분의 통제 문제에 대해 $\mathfrak{k} = 2$ 또는 $\mathfrak{k} = 3$일지라도 NP-완전성을 입증한다. 반면 $\mathfrak{k} = 2$일 경우 다항시간으로 해결 가능한 경우를 식별하며, 해의 크기 기반으로 고정 매개변수 트래컄블리티와 W[1]-hardness 결과를 제공한다. 이 결과는 Approval 및 정직 전략 기반 Approval(스 sincere-strategy preference-based Approval)로 확장된다.

ABSTRACT

We investigate the complexity of $r$-Approval control problems in $k$-peaked elections, where at most $k$ peaks are allowed in each vote with respect to an order of the candidates. We show that most NP-hardness results in general elections also hold in k-peaked elections even for $k=2,3$. On the other hand, we derive polynomial-time algorithms for some problems for $k=2$. All our NP-hardness results apply to Approval and sincere-strategy preference-based Approval as well. Our study leads to many dichotomy results for the problems considered in this paper, with respect to the values of $k$ and $r$. In addition, we study $r$-Approval control problems from the viewpoint of parameterized complexity and achieve both fixed-parameter tractability results and W-hardness results, with respect to the solution size. Along the way exploring the complexity of control problems, we obtain two byproducts which are of independent interest. First, we prove that every graph of maximum degree 3 admits a specific 2-interval representation where every 2-interval corresponding to a vertex contains a trivial interval and, moreover, 2-intervals may only intersect at the endpoints of the intervals. Second, we develop a fixed-parameter tractable algorithm for a generalized $r$-Set Packing problem with respect to the solution size, where each element in the given universal set is allowed to occur in more than one r-subset in the solution.

연구 동기 및 목표

• 단일 피크 선거의 일반화인 $\mathfrak{k}$-peak 선호도 하에서 $r$-Approval 선거에서의 구성적 통제 복잡도 분석.
• $\mathfrak{k}$ (피크 수)와 $r$ (승리 후보 수)의 매개변수 기반으로 통제 문제의 다항시간 가능성과 불가능성의 경계를 규명.
• 해의 크기 기반으로 통제 문제의 고정 매개변수 복잡도를 탐색하며, 고정 매개변수 트래컄블리티와 W[1]-hardness를 입증.
• 결과를 Approval 및 정직 전략 기반 선호도 기반 Approval(SP-AV)로 확장하여, 일반적인 $\mathfrak{k}$-peak 환경에서 NP-완전성이 광범위하게 적용됨을 보임.
• 두 가지 독립적인 부산물 도출: 최대 차수 3인 그래프에 대한 2-인터벌 표현 및 일반화된 $r$-Set Packing 문제에 대한 FPT 알고리즘.

제안 방법

• 3-peak 선거에서 후보 삭제를 통한 통제의 NP-완전성을 증명하기 위해 독립 집합 문제로의 감소.
• 모든 투표가 $\mathcal{L}$ 기반으로 3-peak가 되도록 하는 3-조화로운 순서 $\mathcal{L}$의 구성.
• 독립 집합 감소에서 간선 및 정점 제약 조건을 시뮬레이션하기 위해 특정 승인 패턴을 가진 투표 다중집합 설계.
• 정점 집합 $V$에서 $\kappa$명의 후보를 삭제하는 것이 특별한 후보 $p$가 승리하기 위해 필수적이고 충분함을 증명하며, 이는 해의 크기와 독립 집합의 크기를 연결.
• 해의 크기 기반으로 반복 가능한 원소를 허용하는 일반화된 $r$-Set Packing 문제에 대한 고정 매개변수 트래컄블리티 알고리즘 개발.
• 최대 차수 3인 그래프에 대해 각 2-인터벌이 비어 있는 인터벌을 포함하고, 교차가 끝점에서만 발생하는 2-인터벌 표현 수립.

실험 결과

연구 질문

• RQ1 $\mathfrak{k}$와 $r$의 어떤 값에서 $r$-Approval의 구성적 통제 문제가 $\mathfrak{k}$-peak 선거에서 NP-완전해지는가?
• RQ2 $\mathfrak{k} = 2$와 같이 작은 $\mathfrak{k}$일 경우, $\mathfrak{k}$-peak 선거에서의 구성적 통제 문제는 다항시간으로 해결 가능한가?
• RQ3 $\mathfrak{k}$-peak 선거와 일반적인 선거에서 해의 크기 기반으로 $r$-Approval 통제 문제의 고정 매개변수 복잡도는 어떠한가?
• RQ4 $\mathfrak{k}$-peak 선호도 하에서 NP-완전성 결과가 Approval 및 SP-AV 투표 시스템으로 확장되는가?
• RQ5 $\mathfrak{k}$-peak 선거의 구조적 성질을 활용하여, 일반화된 $r$-Set Packing 등의 새로운 알고리즘 결과를 도출할 수 있는가?

주요 결과

• 대부분의 $r$-Approval 통제 문제는 $\mathfrak{k} = 2$ 또는 $\mathfrak{k} = 3$일지라도 NP-완전성을 보이며, 이는 $\mathfrak{k}$-peak 성질이 일반적으로 통제 복잡도를 단순화하지 않음을 시사한다.
• $\mathfrak{k} = 2$일 경우, 여러 통제 문제는 다항시간 알고리즘을 갖는다. 이는 $\mathfrak{k} = 2$와 $\mathfrak{k} \geq 3$ 사이에 이분화가 존재함을 입증한다.
• 모든 최대 차수 3인 그래프는 각 2-인터벌이 비어 있는 인터벌을 포함하고, 교차가 끝점에서만 발생하는 2-인터벌 표현을 갖는다.
• 해의 크기 기반으로 반복 가능한 원소를 허용하는 일반화된 $r$-Set Packing 문제에 대한 FPT 알고리즘을 개발하였다.
• 모든 NP-완전성 결과는 Approval 및 정직 전략 기반 선호도 기반 Approval(SP-AV)로 확장되며, $\mathfrak{k}$-peak 환경에서 광범위한 비가역성임을 보여준다.
• 연구는 $\mathfrak{k}$와 $r$에 기반한 통제 복잡도의 이분화를 드러내며, $\mathfrak{k} = 2$와 다양한 $r$ 값에서 가용성의 기반을 제공한다.