[논문 리뷰] The cooperative game theory foundations of network bargaining games

MohammadHossein Bateni, MohammadTaghi Hajiaghayi외 2명|arXiv (Cornell University)|2010. 04. 25.

Game Theory and Voting Systems참고 문헌 38인용 수 14

한 줄 요약

이 논문은 협력 게임 이론과 네트워크 협상 게임 사이에 새로운 연결을 수립하며, 비대칭 용량 제약 조건이 존재하는 설정으로 안정적이고 균형 잡힌 해를 일반화하는 선형계획법 접근 방식을 제시한다. 핵심 개념과 전핵 개념이 협력 게임 이론의 코어와 프리핵 개념과 정확히 대응함을 보이며, 반복적 LP 정제를 통해 유일한 핵심을 효율적으로 계산할 수 있음을 보여주며, 용량 제약 조건이 존재하는 시장에서 계산적으로 다룰 수 있고, 고유하며 실험적으로도 지지되는 해 개념을 제공한다.

ABSTRACT

We study bargaining games between suppliers and manufacturers in a network context. Agents wish to enter into contracts in order to generate surplus which then must be divided among the participants. Potential contracts and their surplus are represented by weighted edges in our bipartite network. Each agent in the market is additionally limited by a capacity representing the number of contracts which he or she may undertake. When all agents are limited to just one contract each, prior research applied natural generalizations of the Nash bargaining solution to the networked setting, defined the new solution concepts of stable and balanced, and characterized the resulting bargaining outcomes. We simplify and generalize these results to a setting in which participants in only one side of the market are limited to one contract each. The heart of our results uses a linear-programming formulation to establish a novel connection between well-studied cooperative game theory concepts (such as core and prekernel) and the solution concepts of stable and balanced defined for the bargaining games. This immediately implies one can take advantage of the results and algorithms in cooperative game theory to reproduce results such as those of Azar et al. [1] and Kleinberg and Tardos [29] and also generalize them to our setting. The cooperative-game-theoretic connection also inspires us to refine our solution space using standard solution concepts from that literature such as nucleolus and lexicographic kernel. The nucleolus is particularly attractive as it is unique, always exists, and is supported by experimental data in the network bargaining literature. Guided by algorithms from cooperative game theory, we show how to compute the nucleolus by pruning and iteratively solving a natural linear-programming formulation.

연구 동기 및 목표

• 단위 용량을 가정하는 기존 네트워크 협상 모델을 비대칭 용량 제약 조건이 존재하는 설정으로 일반화하기 위해.
• 협력 게임 이론 개념(코어, 프리핵, 핵심)과 네트워크 협상 해 개념(안정, 균형) 사이의 공식적 연결을 수립하기 위해.
• 선형계획법과 반복적 정제를 활용하여 핵심—유일하고 안정적이며 실험적으로 지지되는 해—을 계산하는 계산적으로 효율적인 방법을 개발하기 위해.
• 안정성과 균형을 넘어서 핵심과 어휘적 핵 개념과 같은 고급 협력 게임 이론 개념을 도입하여 해 개념을 정교화하기 위해.

제안 방법

• 이중 그래프에 대한 셰플리-슈비크 공식화를 일반화하여 용량 제약 조건이 존재하는 네트워크에 적용할 수 있는 선형계획법을 제안한다.
• 초과 값 ǫ(T)를 기반으로 집합 T를 제거하는 정제 전략을 도입하여, 필수적인 제약 조건만 유지하도록 한다.
• 협력 게임 이론의 코어와 프리핵을 활용하여 네트워크 협상 설정에서 안정적이고 균형 잡힌 결과를 특성화한다.
• 핵심을 정교한 해 개념으로 활용하여 그 고유성과 존재 보장을 통해 단일이고 안정적인 결과를 도출한다.
• 동적 제약 조건 제거를 수반하는 반복적 LP 해법을 적용하며, 최소 초과 값을 가진 집합 T를 우선 처리하여 수렴성을 확보한다.
• 핵심이 상대적인 초과 값과 기여도 기반으로 집합 T를 정제하는 순차적 LP 해법을 반복적으로 적용함으로써 계산 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 단일 측면에서만 단위 용량 제약 조건이 존재하는 설정으로 확장된 네트워크 협상에서 안정적이고 균형 잡힌 해 개념을 어떻게 일반화할 수 있는가?
• RQ2 협력 게임 이론 개념(코어, 프리핵, 핵심)과 네트워크 협상 해 개념(안정, 균형) 사이의 공식적 관계는 무엇인가?
• RQ3 이 일반화된 네트워크 협상 모델에서 핵심을 효율적으로 계산할 수 있으며, 고유성과 안정성과 같은 바람직한 성질을 유지하는가?
• RQ4 네트워크의 구조와 용량 제약 조건을 어떻게 활용하여 핵심을 찾는 계산 복잡도를 줄일 수 있는가?
• RQ5 초과 값 ǫ(T)는 LP 계산 중 제약 조건을 정제하는 데 어떻게 안내 역할을 하는가?

주요 결과

• 비대칭 용량 제약 조건이 존재하는 일반화된 모델 하에서, 네트워크 협상 게임의 안정적이고 균형 잡힌 결과는 각각 협력 게임 이론의 코어와 프리핵과 정확히 대응한다.
• 이 설정에서 핵심은 고유하게 정의되며 항상 존재하므로, 단일하고 안정적이며 실험적으로 지지되는 협상 문제의 해를 제공한다.
• 초과 값 ǫ(T)를 기반으로 재귀적으로 정제된 제약 조건을 제거하는 반복적 선형계획법 절차를 통해 핵심을 계산할 수 있으며, 수렴성을 보장한다.
• 최소 초과 값을 가진 집합 T를 특정 순서로 처리할 수 있음을 증명하여, 점차 제약 조건 집합이 줄어드는 LP의 순차적 해법을 통해 핵심을 계산할 수 있음을 보였다.
• 오직 다항수준의 집합 T만 고려하면 되며, 각 집합의 초과 값 ǫ(T)가 이전에 계산된 값들의 선형 조합으로 결정됨을 보여줌으로써 핵심 계산이 계산적으로 다룰 수 있음을 입증하였다.
• 기존 결과(예: Azar 등 [1], Kleinberg와 Tardos [29])를 비대칭 용량 모델로 확장함으로써 계산 효율성과 해의 고유성을 유지하면서 일반화하였다.