[논문 리뷰] Equilibria Under the Probabilistic Serial Rule

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

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

한 줄 요약

이 논문은 불가분 물건을 참가자들에게 할당하는 데 사용되는 확률적 일괄(PS) 규칙 하에서 순수 내쉬 균형(PNE)을 조사한다. 최적 반응 다이내믹스에서 순환 구조가 존재할 수 있음에도 불구하고, 항상 PNE가 존재함을 증명하며, 이러한 균형을 확인하거나 계산하는 것이 계산적으로 어렵다는 점(해당 문제는 coNP-완전이고, NP-난이도임)을 보여준다. 그러나 실험 결과에 따르면 대부분의 균형이 진술한 바와 동일하거나 약간 향상된 사회적 복지를 유지함으로써, 전략적 행동 하에서도 안정성을 보임을 시사한다.

ABSTRACT

The probabilistic serial (PS) rule is a prominent randomized rule for assigning indivisible goods to agents. Although it is well known for its good fairness and welfare properties, it is not strategyproof. In view of this, we address several fundamental questions regarding equilibria under PS. Firstly, we show that Nash deviations under the PS rule can cycle. Despite the possibilities of cycles, we prove that a pure Nash equilibrium is guaranteed to exist under the PS rule. We then show that verifying whether a given profile is a pure Nash equilibrium is coNP-complete, and computing a pure Nash equilibrium is NP-hard. For two agents, we present a linear-time algorithm to compute a pure Nash equilibrium which yields the same assignment as the truthful profile. Finally, we conduct experiments to evaluate the quality of the equilibria that exist under the PS rule, finding that the vast majority of pure Nash equilibria yield social welfare that is at least that of the truthful profile.

연구 동기 및 목표

• 확률적 일괄(PS) 규칙 하에서의 참가자 전략적 행동을 분석하기 위해.
• PS 하에서 순수 내쉬 균형(PNE)의 존재성, 계산 및 검증 복잡도를 조사하기 위해.
• 다양한 선호 모델 하에서 균형과 진술한 바의 사회적 복지 품질을 비교 평가하기 위해.
• 최적 반응 플레이의 다이내믹스와 전략적 행동에서 순환의 가능성을 탐색하기 위해.
• 참가자가 전략적으로 행동할 경우 PS의 복지 결과에 대한 안정성 평가하기 위해.

제안 방법

• PS 규칙 하에서 최적 반응 다이내믹스를 분석하여, 기대 효용 최적 반응에서도 순환이 발생할 수 있음을 보임.
• 전략적 참가자 존재하더라도 PS 규칙 하에서 순수 내쉬 균형이 항상 존재함을 증명함.
• 주어진 선호 프로파일이 PNE인지 여부를 검증하는 것은 coNP-완전이며, PNE를 계산하는 것은 NP-난이도임을 규명함.
• 두 참가자 설정에서 진술한 할당과 동일한 결과를 내는 PNE를 계산하는 선형 시간 알고리즘을 개발함.
• 다양한 선호 모델(무작위 문화(IC), 단일 피크형 무작위 문화(SP-IC), 말로우스, 폴리아-에게너버거 우르늄 모델)을 기반으로 실험적 평가를 수행함.
• 사회적 복지 차이를 평가하기 위해 각 참가자별로 정규화된 균일하게 생성된 유용도를 갖는 랜덤 유용도 모델을 사용함.

실험 결과

연구 질문

• RQ1 PS 규칙 하에서 최적 반응 다이내믹스가 순환할 수 있는가, 비록 PNE가 존재하더라도?
• RQ2 임의의 참가자 수와 집 수에 대해 PS 규칙 하에서 순수 내쉬 균형이 보장되는가?
• RQ3 PS 규칙 하에서 순수 내쉬 균형을 검증하거나 계산하는 데 얼마나 어려운가?
• RQ4 전략적 환경에서 균형의 사회적 복지 품질은 진술한 바와 비교해 어떻게 되는가?
• RQ5 참가자 선호의 상관관계는 균형의 수와 품질에 어떤 영향을 미치는가?

주요 결과

• 최적 반응 다이내믹스에서 순환이 발생할 수 있음에도 불구하고, PS 규칙 하에서 순수 내쉬 균형이 항상 존재함을 보장함.
• 주어진 프로파일이 순수 내쉬 균형인지 여부를 검증하는 것은 coNP-완전이며, 그러한 균형을 계산하는 것은 NP-난이도임.
• 두 참가자에 대해선 선형 시간 알고리즘이 존재하여, 진술한 할당과 동일한 할당을 내는 PNE를 계산할 수 있음.
• 대부분의 순수 내쉬 균형이 진술한 할당과 동일한 사회적 복지를 유지하며, 실험 설정에서 약간의 변동만 존재함.
• 실험 결과, 사회적 복지가 향상된 균형의 수가 감소한 경우를 略로 초월하며, 관측된 사회적 복지 변화 최대치는 약 23% 증가 및 18% 감소 이내임.
• 선호 상관관계가 높은 프로파일(예: 우르늄 및 AGH 2004 데이터)은 IC 및 SP-IC와 같이 상관관계가 낮은 모델보다 균형 수가 적음.