[논문 리뷰] Network bargaining with general capacities

Linda Farczadi, Konstantinos Georgiou외 1명|arXiv (Cornell University)|2013. 06. 18.

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

한 줄 요약

이 논문은 일반 에이전트 용량을 가진 네트워크 협상 게임에서 균형 잡힌 해를 계산하는 데 있어 첫 번째 다항시간 알고리즘을 제시하며, 보조 단위용량 게임으로의 새로운 감소를 사용한다. 주요 기여는 균형 잡힌 해가 존재하는 것과 안정적 해가 존재하는 것이 동치임을 증명함으로써 네트워크 협상 이론에서 오랫동안 미해결된 열린 문제를 해결하는 것이다.

ABSTRACT

We study balanced solutions for network bargaining games with general capacities, where agents can participate in a fixed but arbitrary number of contracts. We provide the first polynomial time algorithm for computing balanced solutions for these games. In addition, we prove that an instance has a balanced solution if and only if it has a stable one. Our methods use a new idea of reducing an instance with general capacities to a network bargaining game with unit capacities defined on an auxiliary graph. This represents a departure from previous approaches, which rely on computing an allocation in the intersection of the core and prekernel of a corresponding cooperative game, and then proving that the solution corresponding to this allocation is balanced. In fact, we show that such cooperative game methods do not extend to general capacity games, since contrary to the case of unit capacities, there exist allocations in the intersection of the core and prekernel with no corresponding balanced solution. Finally, we identify two sufficient conditions under which the set of balanced solutions corresponds to the intersection of the core and prekernel, thereby extending the class of games for which this result was previously known.

연구 동기 및 목표

• 에이전트가 임의의 용량 제한을 가진 네트워크 협상 게임에서 균형 잡힌 해를 효율적으로 계산하는 알고리즘을 개발하기 위해.
• 일반 용량 네트워크 협상 게임에서 균형 잡힌 해의 존재를 특성화하는 열린 문제를 해결하기 위해.
• 일반 용량 하에서 협상의 안정성과 균형 간의 공식적 연결을 수립하기 위해.
• 伝통적인 협력 게임 이론적 방법(코어와 프리핵의 교차)이 일반 용량 설정으로 일반화되지 않는다는 것을 보여주기 위해.
• 균형 해의 집합이 코어와 프리핵의 교차와 일치하는 데 필요한 충분조건을 특정하기 위해.

제안 방법

• 에이전트의 용량에 따라 복제함으로써 각 에이전트를 단위용량으로 변환하는 보조 단위용량 네트워크를 구성하여 일반 용량 게임을 단위용량 게임으로 변환한다.
• 원래 그래프와 보조 그래프 간의 해 사이에 일대일 대응을 정의하여 계약 가치와 외부 선택지를 유지한다.
• 기존의 다항시간 알고리즘(Kleinberg와 Tardos, 2008)을 사용하여 보조 단위용량 게임에서 균형 잡힌 해를 계산한다.
• 원래 인스턴스와 보조 인스턴스 간의 해 매핑에서 안정성과 균형이 유지됨을 증명한다.
• 선형 프로그래밍의 이중성 원리를 활용하여 최대 무게 c-매칭 문제의 정수 최적 해를 통해 안정적 해의 존재를 특성화한다.
• 둘 다 동일한 정수 선형계획 조건에 의존함을 보여줌으로써 균형 잡힌 해와 안정적 해의 존재가 동치임을 확립한다.

실험 결과

연구 질문

• RQ1 일반 에이전트 용량을 가진 네트워크 협상 게임에서 균형 잡힌 해를 계산하는 다항시간 알고리즘이 존재하는가?
• RQ2 일반 용량 네트워크 협상 게임에서 균형 잡힌 해의 존재가 안정적 해의 존재와 동치인가?
• RQ3 전통적인 협력 게임 이론적 방법(코어와 프리핵의 교차)은 일반 용량 설정에서 균형 잡힌 해를 특성화하는 데 사용될 수 있는가?
• RQ4 일반 용량 게임에서 균형 해의 집합이 코어와 프리핵의 교차와 일치하는 조건은 무엇인가?
• RQ5 일반 용량 네트워크 협상 문제는 안정성과 균형 등의 해 성질을 유지하면서 단위용량 문제로 감소될 수 있는가?

주요 결과

• 일반 용량을 가진 네트워크 협상 게임에서 균형 잡힌 해가 존재하는 것은 안정적 해가 존재할 때이고 그때에만 존재한다.
• 일반 용량 네트워크 협상 게임에서 균형 잡힌 해를 계산하는 데 있어 첫 번째 다항시간 알고리즘이 제시된다.
• 보조 단위용량 그래프를 통한 해 매핑은 안정성과 균형을 모두 유지하므로 기존 알고리즘을 변환된 인스턴스에 적용할 수 있다.
• 기존의 코어와 프리핵의 교차에 기반한 협력 게임 방법은 일반 용량 게임으로 일반화되지 않으며, 이러한 할당이 항상 어떤 균형 잡힌 해와도 대응하지는 않는다.
• 균형 잡힌 해의 존재는 최대 무게 c-매칭 선형계획의 최적 해의 정수성에 의해 완전히 특성화된다.
• 균형 해의 집합이 코어와 프리핵의 교차와 일치하는 데 필요한 두 가지 충분조건이 특정되었으며, 이는 이전 결과를 더 넓은 게임 클래스로 확장한다.