[논문 리뷰] Proportional Approval Voting, Harmonic k-median, and Negative Association

Jarosław Byrka, Piotr Skowron외 1명|arXiv (Cornell University)|2017. 04. 07.

Game Theory and Voting Systems참고 문헌 27인용 수 12

한 줄 요약

이 논문은 가중치가 부여된 고객 비용을 고려한 OWA k-median 문제를 위한 통합 프레임워크를 제안하며, 삼각 부등식을 요구하지 않아도 조화 수열 가중치(1, 1/2, 1/3, ..., 1/k)를 사용하면 상수 요인 근사가 가능하다는 것을 보여준다. 이는 시설 배치 문제에서 놀라운 결과이다. 저자들은 부정적 연관성(Negative Association) 기반의 종속 라운딩 알고리즘을 개발하여 상수 근사 비율을 달성하였으며, 삼각 부등식을 가정하지 않는 k-median 변종에 대해 처음으로 이러한 결과를 확립하였다.

ABSTRACT

We study a generic framework that provides a unified view on two important classes of problems: (i) extensions of the k-median problem where clients are interested in having multiple facilities in their vicinity (e.g., due to the fact that, with some small probability, the closest facility might be malfunctioning and so might not be available for using), and (ii) finding winners according to some appealing multiwinner election rules, i.e., election system aimed for choosing representatives bodies, such as parliaments, based on preferences of a population of voters over individual candidates. Each problem in our framework is associated with a vector of weights: we show that the approximability of the problem depends on structural properties of these vectors. We specifically focus on the harmonic sequence of weights for which the objective function interpreted in a multiwinner election setup reflects to the well-known Proportional Approval Voting (PAV) rule. Our main result is that, due to the specific (harmonic) structure of weights, the problem allows constant factor approximation. This is surprising since the problem can be interpreted as a variant of the k-median problem where we do not assume that the connection costs satisfy the triangle inequality. The algorithm we propose is based on dependent rounding [Srinivasan, FOCS'01] applied to the solution of a natural LP-relaxation of the problem. The rounding process is well known to produce distributions over integral solutions satisfying Negative Correlation (NC), which is usually sufficient for the analysis of approximation guarantees offered by rounding procedures. In our analysis, however, we need to use the fact that the carefully implemented rounding process satisfies a stronger property, called Negative Association (NA), which allows us to apply standard concentration bounds for conditional random variables.

연구 동기 및 목표

• 다양한 승인 투표와 다중 시설 k-median 문제를 동일한 OWA k-median 프레임워크로 통합적으로 연구하기 위해.
• 가중치 벡터의 구조적 성질에 기반해 OWA k-median 문제의 근사 가능성 분석하기 위해.
• 조화 수열 가중치(1, 1/2, ..., 1/k)가 특히 유리한 근사 성질을 제공함을 보여주어 상수 요인 근사가 가능하도록 하기 위해.
• 비용에 삼각 부등식을 가정하지 않는 조화 k-median 문제를 위한 새로운 근사 알고리즘 개발하기 위해.
• 일반적인 복잡도 가정 하에 다른 가중치 시퀀스, 예를 들어 p-기하 수열 가중치에 대해 강력한 근사 불가능성 결과 도출하기 위해.

제안 방법

• 선택된 시설을 통해 고객 비용을 집계하기 위해 비감소 가중치 벡터를 사용하여 OWA k-median 문제를 수식화하기 위해.
• 라운딩의 기초로 사용하기 위해 OWA k-median 문제의 자연스러운 선형계획(LP) 리 릿지 제안하기 위해.
• LP 해에 대해 종속 라운딩(Srinivasan, FOCS'01)을 적용하여 정수 시설 집합 생성하기 위해.
• 라운딩 과정의 더 강력한 부정적 연관성(NA) 성질을 활용하여 조건부 랜덤 변수에 대한 농도 경계 적용하기 위해.
• 조화 수열 가중치의 구조 덕분에 라운딩 절차가 상수 요인 근사 비율을 달성함을 증명하기 위해.
• 정확한 집합 커버(X3C) 및 집합 커버 문제로부터의 감소를 통한 근사 불가능성 결과 도출하기 위해.

실험 결과

연구 질문

• RQ1 고객-시설 비용에 삼각 부등식을 가정하지 않아도, 조화 수열 가중치를 가진 OWA k-median 문제는 상수 요인 이내로 근사 가능할 수 있는가?
• RQ2 OWA k-median 문제에서 상수 요인 근사 가능성을 가능하게 하는 가중치 벡터의 구조적 성질은 무엇인가?
• RQ3 비용이 삼각 부등식을 만족하지 않을 경우, 조화 k-median 문제에 대해 다항 시간 근사 알고리즘이 존재하는가?
• RQ4 p-기하 수열 가중치(w_i = p^{i-1})를 가진 OWA k-median 문제의 근사 가능성 임계값은 무엇인가?
• RQ5 이 프레임워크를 통해 비례 승인 투표(PAV) 규칙을 다항 시간 내에 근사할 수 있는가?

주요 결과

• 비용에 삼각 부등식을 가정하지 않아도 조화 k-median 문제에 대해 상수 요인 근사 알고리즘이 존재하며, 이는 k-median 변종 중 삼각 부등식을 가정하지 않는 첫 번째 결과이다.
• 근사의 핵심은 조화 수열 가중치의 구조에 있으며, 이는 종속 라운딩에서 부정적 연관성을 활용하여 오차 확률을 제한할 수 있도록 한다.
• 제안된 프레임워크 하에 조화 k-median 문제에 대해 다항 시간 (1+ε)-근사 알고리즘이 존재한다.
• p < 1/e인 p-기하 수열 가중치의 경우, P = NP가 아닌 한 상수 요인 근사 알고리즘이 존재하지 않는다.
• λ < 1인 경우에만 λ-분율의 시설을 고려하는 가중치를 가진 OWA k-median 문제의 경우, P = NP가 아닌 한 어떤 양의 요인으로도 근사 가능하지 않다.
• 0-1 비용과 조화 수열 가중치를 가진 비례 승인 투표(PAV) 규칙은 조화 k-median 프레임워크에 포함되며, 동일한 근사 보장을 상속받는다.