[논문 리뷰] Manipulating the Probabilistic Serial Rule

Haris Aziz, Serge Gaspers외 4명|arXiv (Cornell University)|2015. 05. 04.

Game Theory and Voting Systems참고 문헌 19인용 수 22

한 줄 요약

이 논문은 랜덤 할당 문제에서 확률적 일괄 할당(PS) 규칙을 조작하는 데 필요한 계산 복잡도를 조사한다. 일반적으로 기대 효용을 최대화하는 전략을 계산하는 것은 NP-난이도임을 증명하지만, 사전순 최적 반응에 대해서는 다항시간 알고리즘을 제시하고, 두 명의 에이전트가 참여할 경우 이산 물체의 순차적 할당과의 연결을 활용하여 기대 효용 최적 반응을 효율적으로 계산할 수 있음을 보여준다.

ABSTRACT

The probabilistic serial (PS) rule is one of the most prominent randomized rules for the assignment problem. It is well-known for its desirable fairness and welfare properties. However, PS is not immune to manipulative behaviour by the agents. We initiate the study of the computational complexity of an agent manipulating the PS rule. We show that computing an expected utility better response is NP-hard. On the other hand, we present a polynomial-time algorithm to compute a lexicographic best response. For the case of two agents, we show that even an expected utility best response can be computed in polynomial time. Our result for the case of two agents relies on an interesting connection with sequential allocation of discrete objects.

연구 동기 및 목표

• 확률적 일괄 할당(PS) 규칙 하에서 할당 문제에서의 전략적 조작의 계산 복잡도를 분석하는 것.
• 에이전트가 PS 메커니즘 하에서 더 나은 반응—특히 기대 효용 향상—을 계산할 수 있는지 여부를 규명하는 것.
• 제한된 설정에서 최적 반응을 효율적으로 계산할 수 있도록 하는 PS 규칙의 구조적 성질을 탐색하는 것.
• 이중 에이전트 상황에서 PS 조작과 이산 물체의 순차적 할당 메커니즘 간의 연결 고리를 설정하는 것.

제안 방법

• 논문은 PS 규칙 하에서 에이전트의 기대 효용을 최대화하는 전략을 찾는 문제로 조작 문제를 수립한다.
• 기대 효용 최적 반응을 계산하는 데 있어 NP-난이도를 증명하기 위해 알려진 NP-완전 문제로의 축소를 수행한다.
• 사전순 최적 반응의 경우, 할당의 사전순 지배 순서에 기반한 다항시간 알고리즘을 설계한다.
• 이중 에이전트의 경우, PS와 순차적 할당 메커니즘 간의 구조적 동치성을 활용하여 기대 효용 최적 반응을 위한 다항시간 알고리즘을 유도한다.
• 분석은 스토하스틱 지배 성질과 PS 하에서의 랜덤 할당 행렬의 구조에 기반한다.

실험 결과

연구 질문

• RQ1 PS 규칙 하에서 기대 효용을 향상시키는 반응을 계산하는 것은 계산적으로 다룰 수 있는가?
• RQ2 PS 규칙 하에서 사전순 최적 반응을 효율적으로 계산할 수 있는가?
• RQ3 이중 에이전트의 경우 조작의 복잡도가 상당히 감소하는가?
• RQ4 PS와 순차적 할당 메커니즘 간의 구조적 연결 고리가 존재하여 효율적인 계산을 가능하게 하는가?

주요 결과

• 일반적으로 PS 규칙 하에서 기대 효용 최적 반응을 계산하는 것은 NP-난이도이다.
• 새로운 알고리즘적 접근을 통해 사전순 최적 반응은 다항시간 내에 계산할 수 있다.
• 이중 에이전트의 경우, 일반적인 경우의 NP-난이도에도 불구하고 기대 효용 최적 반응은 다항시간 내에 해결 가능하다.
• 이중 에이전트의 경우 PS와 이산 물체의 순차적 할당 간의 구조적 연결 고리가 드러나며, 이는 효율적인 계산을 가능하게 한다.