[논문 리뷰] The Complexity of Probabilistic Lobbying

Daniel Binkele-Raible, Gábor Erdélyi외 4명|arXiv (Cornell University)|2009. 06. 24.

Game Theory and Voting Systems참고 문헌 52인용 수 4

한 줄 요약

이 논문은 엄격하거나 평균 다수결 평가 기준 하에서 다수의 이슈를 통과시키기 위해 유권자들의 확률적 선호도를 영향력 있는 로비스트가 조작하는 확률적 로비 모델을 제안한다. 이는 마이크로브리베리(소수의 이슈에 집중하는 브리베리)와 유권자 브리베리(유권자당 일괄 자금 지원)를 포함한다. 본 논문은 이러한 문제들의 계산 복잡도를 규명하여 다항시간 해법, NP-완전성 및 고정 매개변수 유형의 다항시간 해법, W[2]-완전성 등을 입증하고, 가중치가 부여된 변형에 대해서는 PTAS 결과도 제시한다.

ABSTRACT

We propose models for lobbying in a probabilistic environment, in which an actor (called "The Lobby") seeks to influence voters' preferences of voting for or against multiple issues when the voters' preferences are represented in terms of probabilities. In particular, we provide two evaluation criteria and two bribery methods to formally describe these models, and we consider the resulting forms of lobbying with and without issue weighting. We provide a formal analysis for these problems of lobbying in a stochastic environment, and determine their classical and parameterized complexity depending on the given bribery/evaluation criteria and on various natural parameterizations. Specifically, we show that some of these problems can be solved in polynomial time, some are NP-complete but fixed-parameter tractable, and some are W[2]-complete. Finally, we provide approximability and inapproximability results for these problems and several variants.

연구 동기 및 목표

• 유권자 선호도가 결정론적이 아니라 확률적인 환경에서 로비를 모델링하는 것.
• referendum가 통과되는지를 판단하기 위한 두 가지 평가 기준—엄격 다수결과 평균 다수결—을 체계화하는 것.
• 유권자 확률을 영향력 있게 조작하기 위한 두 가지 브리베리 방법—마이크로브리베리(이슈별로 선택적으로 영향력 행사)와 유권자 브리베리(모든 이슈에 대해 유권자당 일괄 자금 지원)—를 정의하는 것.
• 다양한 매개변수화 방식에 기반한 이러한 로비 문제의 고전적 및 고정 매개변수 복잡도를 분석하는 것.
• 특히 이슈 가중치가 있는 경우에 대해 최적화 문제의 근사 가능성과 근사 불가능성을 조사하는 것.

제안 방법

• 엄격 다수결(유권자 중 다수의 확률이 임계값을 초과)과 평균 다수결(유권자 간 평균 확률이 임계값을 초과)이라는 두 가지 평가 기준을 제안한다.
• 선택적 이슈별 영향력 행사(마이크로브리베리)와 모든 이슈에 걸쳐 유권자당 일괄 자금 지원(유권자 브리베리)을 포함한 두 가지 브리베리 메커니즘을 도입한다.
• 확률적 로비 문제를 기존의 조합 최적화 문제(예: 0-1 배낭 문제)로 환원하여 근사 스킴를 도출한다.
• 예산, 이슈 수, 유권자 수 등의 매개변수를 활용해 문제의 다항시간 해법 가능성을 분류하기 위해 고정 매개변수 복잡도 기법을 적용한다.
• 문제를 배낭 유형 최적화 문제로 재해석함으로써, 가중치가 있는 변형에 대해 의사 다항시간 근사 스킴(PTAS)을 유도한다.
• 특정 문제 변형, 특히 엄격 다수결과 이슈 가중치가 있는 경우에 대해 W[2]-완전성과 NP-완전성을 입증하기 위해 환원 기법을 적용한다.

실험 결과

연구 질문

• RQ1 엄격 다수결 평가 기준 하에서 마이크로브리베리와 유권자 브리베리가 적용된 확률적 로비 문제의 계산 복잡도는 어떻게 되는가?
• RQ2 이슈 가중치는 다양한 평가 기준 하에서 확률적 로비 문제의 복잡도에 어떤 영향을 미치는가?
• RQ3 제안된 로비 문제들 중에서 고정 매개변수 유형으로 다항시간 해법이 가능한 문제들과 W[2]-완전성이 입증된 문제들은 각각 무엇인가?
• RQ4 특히 이슈 가중치가 있는 경우에 하드 최적화 변형에 대해 근사 스킴를 구성할 수 있는가?
• RQ5 가중치가 있는 로비 문제의 최소화 및 최대화 변형의 근사 가능성은 어떠한가?

주요 결과

• 일부 확률적 로비 문제들은 특정 매개변수화나 이슈 가중치 없이 다항시간 내에 해결 가능하다.
• 일부 문제들은 NP-완전이지만, 이슈 수나 유권자 수를 매개변수로 삼을 경우 고정 매개변수 유형으로 다항시간 해법이 가능하다.
• 특히 엄격 다수결과 유권자 브리베리 하에서 많은 문제들이 W[2]-완전성이 입증되어 고정 매개변수 복잡도에서 높은 난이도를 가짐을 시사한다.
• Min-MB-SM-PLP-WIW와 Min-MB-AM-PLP-WIW 문제는 모두 0-1 배낭 문제로의 환원을 통해 다항시간 근사 스킴(PTAS)을 갖는다.
• 최대화 변형인 Max-MB-SM-PLP-WIW와 Max-MB-AM-PLP-WIW 역시 PTAS를 갖는다. 이는 이슈 가중치가 있는 이중 기준 최적화 문제의 근사 가능성도 확인한다.
• 이 문제들은 강력한 NP-난이도를 지니며, 입력 인코딩 방식(일진법 또는 이진법)에 관계없이 복잡도가 유지됨을 의미한다. 이는 고정 매개변수 분석을 복잡하게 만든다.