[논문 리뷰] Cooperative Equilibrium: A solution predicting cooperative play

Nan Rong, Joseph Y. Halpern|arXiv (Cornell University)|2014. 12. 21.

Experimental Behavioral Economics Studies참고 문헌 22인용 수 3

한 줄 요약

이 논문은 나시 균형이 실패하는 게임에서 협력 행동을 예측하는 데 새로운 해결 개념으로 완벽한 협력 균형(PCE) 및 그 변종인 max-PCE와 협력 균형을 제안한다. 이는 모든 게임에서 max-PCE가 존재하며, 2명의 플레이어가 있는 게임에서는 이중선형 프로그래밍을 통해 다항식 시간 내에 계산 가능하다는 것을 증명한다. 또한, 유령의 다이레마와 여행자 문제와 같은 실제 협력 상황에서 나시 균형보다 더 잘 예측한다.

ABSTRACT

Nash equilibrium (NE) assumes that players always make a best response. However, this is not always true; sometimes people cooperate even it is not a best response to do so. For example, in the Prisoner's Dilemma, people often cooperate. Are there rules underlying cooperative behavior? In an effort to answer this question, we propose a new equilibrium concept: perfect cooperative equilibrium (PCE), and two related variants: max-PCE and cooperative equilibrium. PCE may help explain players' behavior in games where cooperation is observed in practice. A player's payoff in a PCE is at least as high as in any NE. However, a PCE does not always exist. We thus consider α-PCE, where α takes into account the degree of cooperation; a PCE is a 0-PCE. Every game has a Pareto-optimal max-PCE (M-PCE); that is, an α-PCE for a maximum α. We show that M-PCE does well at predicting behavior in quite a few games of interest. We also consider cooperative equilibrium (CE), another generalization of PCE that takes punishment into account. Interestingly, all Pareto-optimal M-PCE are CE. We prove that, in 2-player games, a PCE (if it exists), a M-PCE, and a CE can all be found in polynomial time using bilinear programming. This is a contrast to Nash equilibrium, which is PPAD complete even in 2-player games [Chen, Deng, and Teng 2009]. We compare M-PCE to the coco value [Kalai and Kalai 2009], another solution concept that tries to capture cooperation, both axiomatically and in terms of an algebraic characterization, and show that the two are closely related, despite their very different definitions.

연구 동기 및 목표

• 유령의 다이레마와 여행자 문제와 같은 게임에서 나시 균형이 협력 행동을 예측하는 데 실패하는 데서 비롯된 한계를 해결하기 위해.
• 최적 반응이 아니더라도 협력 행동을 포착할 수 있는 해결 개념을 개발하기 위해.
• 협력 균형의 존재성과 계산 가능성, 특히 파레토 최적의 max-PCE를 특성화하기 위해.
• 기존의 협력 해결 개념인 코코 값과의 비교를 위해.
• 전략적 상호작용에서 메커니즘 설계와 행동 예측을 위한 계산적으로 다룰 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 각 플레이어의 보상가치가 다른 플레이어가 최적 반응을 취했을 경우의 보상보다 낮지 않은 전략 프로파일로 완벽한 협력 균형(PCE)을 제안한다.
• 협력 수준을 매개변수화하기 위해 α-PCE를 도입하며, PCE는 0-PCE이며 max-PCE는 최대 α를 갖는 파레토 최적의 α-PCE이다.
• 이중선형 프로그래밍을 사용하여 2명의 플레이어가 있는 게임에서 PCE와 max-PCE를 계산하며, 보상 행렬과 제약 조건의 구조를 활용한다.
• 이중선형 프로그래밍과 선형 프로그래밍의 이중성 기법을 적용하여 복잡한 프로그램을 해석 가능한 부분문제로 환원한다.
• 벌주기 전략을 통합하여 안정성과 강인성을 보장하는 협력 균형(CE)을 정의하며, 이는 PCE의 일반화이다.
• 모든 파레토 최적의 max-PCE가 CE이기도 하며, 지배성과 안정성에 의해 이러한 개념들이 연결됨을 증명한다.

실험 결과

연구 질문

• RQ1 최적 반응이 아니더라도 협력 행동을 예측할 수 있는 해결 개념을 개발할 수 있는가?
• RQ2 모든 게임에서 협력 균형 개념이 존재하는가? 만약 존재한다면 효율적으로 계산할 수 있는가?
• RQ3 제안된 max-PCE는 기존의 협력 해결 개념인 코코 값과 어떻게 비교되는가?
• RQ4 PCE와 max-PCE는 다항식 시간 내에 계산될 수 있는가? 그리고 계산 복잡도 측면에서 나시 균형과의 관계는 어떠한가?
• RQ5 다중 협력 균형 중에서 파레토 최적성은 어떤 역할을 하는가?

주요 결과

• 모든 게임에서 파레토 최적의 max-PCE가 존재하여, 협력 수준을 극대화하는 협력 균형의 존재를 보장한다.
• 2명의 플레이어가 있는 게임에서는 PCE(존재할 경우)와 max-PCE가 이중선형 프로그래밍을 통해 다항식 시간 내에 계산 가능하며, 나시 균형과 달리 PPAD-완전성이 아니다.
• max-PCE 개념은 나시 균형이 실패하는 경우인 유령의 다이레마와 여행자 문제에서 협력 행동을 성공적으로 예측한다.
• 각 플레이어의 max-PCE 보상은 어떤 나시 균형의 보상보다 낮지 않으며, 이는 메커니즘 설계에서 더 우수한 해결책임을 시사한다.
• 모든 파레토 최적의 max-PCE는 협력 균형(CE)이기도 하며, 관련된 해결 개념들 간의 일관성을 보여준다.
• 정의는 다를지라도 max-PCE는 코코 값과 밀접한 관련이 있으며, 협력 행동 모델링의 깊은 구조적 유사성을 시사한다.