[논문 리뷰] Multiwinner Elections with Diversity Constraints

Robert Bredereck, Piotr Faliszewski외 3명|arXiv (Cornell University)|2017. 11. 17.

Game Theory and Voting Systems인용 수 13

한 줄 요약

이 논문은 후보자 특성(예: 성별, 경력, 전공 분야) 기반의 다양성 제약 조건과 성과 기반의 위원회 선정을 결합한 다수 선거를 위한 새로운 모델을 제안한다. 성과 함수가 분리 가능하거나 1-또는 2-라미나 구조를 가진 경우 다항 시간 알고리즘을 제공하며, 일반적인 경우는 NP-난이도임을 증명하고, 비가역적 변형에 대해서는 근사 알고리즘을 제시한다.

ABSTRACT

We develop a model of multiwinner elections that combines performance-based measures of the quality of the committee (such as, e.g., Borda scores of the committee members) with diversity constraints. Specifically, we assume that the candidates have certain attributes (such as being a male or a female, being junior or senior, etc.) and the goal is to elect a committee that, on the one hand, has as high a score regarding a given performance measure, but that, on the other hand, meets certain requirements (e.g., of the form "at least $30\%$ of the committee members are junior candidates and at least $40\%$ are females"). We analyze the computational complexity of computing winning committees in this model, obtaining polynomial-time algorithms (exact and approximate) and NP-hardness results. We focus on several natural classes of voting rules and diversity constraints.

연구 동기 및 목표

• 성과 기반 목적 함수와 특성 기반 다양성 제약 조건을 사용하여 고품질의 다양한 다수 선거 위원회를 선정하는 문제를 체계화하기.
• 다양한 목적 함수, 레이블 구조, 다양성 제약 조건의 조합 하에서 우수한 다양한 위원회를 계산하는 데 필요한 계산 복잡도를 분석하기.
• 특히 분리 가능한 目적 함수와 저복잡도 레이블 계층 구조(예: 1-또는 2-라미나)에서 다항 시간 알고리즘이 존재하는 다항 시간 해법 가능 케이스를 규명하기.
• NP-난이도 변형에 대해 효율적인 근사 알고리즘 개발하기, 특히 하위모듈라 목적 함수와 복잡한 레이블 의존성에 대응하기.
• 연구 워크숍, 채용 예비 선정, 정책 수립과 같은 실제 응용에 적용 가능한 다양성 인식 위원회 선정의 체계적 프레임워크 제공하기.

제안 방법

• 위원회 품질 평가를 위해 일반 목적 함수(예: 보르다 점수, 분리 가능 또는 하위모듈라 함수)를 사용하여 문제를 체계화하기.
• 성별, 경력, 전공 분야 등 후보자 특성(레이블)을 도입하고, 라미나 또는 계층적 계층으로서의 구조적 관계를 모델링하기.
• 다양성 제약 조건을 독립적인 카디널리티 제약(예: '최소 30%의 신입 연구원') 또는 레이블 별 간격으로 정의하며, 균형 잡힌 위원회에 특별한 처리를 적용하기.
• 목적 함수, 레이블 구조, 제약 조건의 다양한 구성에 따라 문제의 난이도를 복잡도 이론적으로 분류하기.
• 정확 알고리즘과 근사 알고리즘 설계하기. 특히 1-라미나 구조 하에서 하위모듈라 목적 함수에 대해 0.5-근사 알고리즘을 제공하고, 챔버린-커런트 규칙 하에서 균형 잡힌 위원회에 대해 PTAS를 설계하기.
• 기존 조합 최적화 이론(예: 배낭 문제 변형)의 결과를 활용하고, 제안된 모델의 0/1 기여도 및 구조적 제약 조건 설정에 맞게 적응하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 다양성과 고품질을 동시에 확보하는 다수 선거 위원회를 계산적으로 다룰 수 있는가?
• RQ2 후보자 특성의 구조(예: 라미나 대 비계층적)가 위원회 선정 문제의 복잡도에 어떤 영향을 미치는가?
• RQ3 NP-난이도 변형에 대해 효율적인 근사 알고리즘을 개발할 수 있는가?
• RQ4 다양한 목적 함수(분리 가능, 하위모듈라, 균형 잡힌)가 다양성 제약이 있는 위원회 선정의 실현 가능성과 복잡도에 어떤 영향을 미치는가?
• RQ5 특정 특성에 대한 최소 대표성 기준(예: 특정 성별 또는 경력 수준에 대해 최소 비율 확보)과 같은 다양성 제약 조건이 계산 복잡도와 알고리즘 설계에 어떤 영향을 미치는가?

주요 결과

• 대부분의 목적 함수와 제약 조합에서, 단지 존재성 여부를 확인하는 것조차도 일반적으로 NP-난이도임을 증명한다.
• 분리 가능한 목적 함수와 1-라미나 또는 2-라미나 레이블 구조를 가진 경우 다항 시간 알고리즘이 존재하여 연구 워크숍 초청과 같은 실용적 응용에 적합하다.
• 1-라미나 레이블 구조 하에서 하위모듈라 목적 함수에 대해 0.5-근사 알고리즘을 제공하고, 챔버린-커런트 규칙 하에서 균형 잡힌 위원회에 대해 PTAS가 존재한다.
• 3층 또는 일반적인 레이블 구조에서는 분리 가능한 목적 함수일지라도 문제는 NP-난이도가 되며, 더 높은 구조적 복잡도에서 복잡도의 급격한 전환점이 존재함을 시사한다.
• 3층 또는 다수의 레이블 설정에서 독립적 제약 조건이 적용될 경우 문제의 난이도는 그대로 유지되며, 레이블 수를 매개변수로 삼을 경우 W[1]-난이도가 됨을 보여, 강력한 비가역성임을 입증한다.
• 항목 기여도를 각 차원당 0 또는 1로 제한하면서 더 rich한 제약 형태(예: 간격)를 允허하는 등 다차원 배낭 문제를 일반화함으로써 고유한 복잡도 특성을 가짐을 입증한다.