[논문 리뷰] Complexity of Determining Nonemptiness of the Core

Vincent Conitzer, Tüomas Sandholm|arXiv (Cornell University)|2003. 07. 07.

Game Theory and Voting Systems인용 수 23

한 줄 요약

이 논문은 교역 가능성이 있는가 없는가에 관계없이 협력 게임에서 코어의 비어있음 여부를 판단하는 것이 NP-완전임을 입증한다. 이는 주로 대규모 연합에 대한 실현 가능한 결과를 식별하는 데 발생하는 계산적 어려움 때문이며, 저자들은 효율적인 코어 소속 확인을 가능하게 하는 초가역적 표현을 제안하지만, 협력 가능성 조건이 주어져 있더라도 특히 교역이 대규모 연합에 국한된 하이브리드 모델에서는 코어의 비어있음 여부가 여전히 해결 불가능하다고 보여준다.

ABSTRACT

Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish things that the individual agents cannot, or can do things more efficiently. However, motivating the agents to abide to a solution requires careful analysis: only some of the solutions are stable in the sense that no group of agents is motivated to break off and form a new coalition. This constraint has been studied extensively in cooperative game theory. However, the computational questions around this constraint have received less attention. When it comes to coalition formation among software agents (that represent real-world parties), these questions become increasingly explicit. In this paper we define a concise general representation for games in characteristic form that relies on superadditivity, and show that it allows for efficient checking of whether a given outcome is in the core. We then show that determining whether the core is nonempty is $\mathcal{NP}$-complete both with and without transferable utility. We demonstrate that what makes the problem hard in both cases is determining the collaborative possibilities (the set of outcomes possible for the grand coalition), by showing that if these are given, the problem becomes tractable in both cases. However, we then demonstrate that for a hybrid version of the problem, where utility transfer is possible only within the grand coalition, the problem remains $\mathcal{NP}$-complete even when the collaborative possibilities are given.

연구 동기 및 목표

• 협력 게임 이론에서 핵심 안정 조건인 코어의 비어있음 여부를 판단하는 데 필요한 계산 복잡도를 분석하는 것.
• 교역 가능성이 있는가 없는가에 따라 이 복잡도에 어떤 영향을 미치는지 조사하는 것.
• 코어의 비어있음 문제에서 계산적 난이도의 근본 원인을 규명하는 것, 특히 대규모 연합에 대한 실현 가능한 결과를 식별하는 데서 기인하는 바를 중심으로 한다.
• 교역이 대규모 연합 내에서만 허용되는 하이브리드 모델을 고려하고, 그로 인한 복잡도를 평가하는 것.
• 특성 함수 게임에 대해 효율적인 코어 소속 검증을 가능하게 하는 간결한 초가역적 표현을 제공하는 것.

제안 방법

• 특성 함수 게임에 대해 실현 가능한 연합의 유틸리티 가능성을 압축적으로 표현하는 일반적인 초가역적 표현을 제안하는 것.
• 이 표현을 통해 선형 프로그래밍 또는 제약 만족 기반 기법을 사용해 코어 소속을 효율적으로 검증할 수 있음을 보여주는 것.
• 교역 가능성이 있는가 없는가의 두 상황에서 모두 노드 커버 문제(NP-완전)로의 감소를 통한 코어 비어있음 문제의 NP-완전성 증명.
• 대규모 연합에 대한 실현 가능한 결과 집합이 사전에 제공되면 문제의 해결 가능성이 증명되며, 이는 코어 비어있음 문제의 난이도가 주로 이 단계에서 기인함을 시사한다.
• 교역이 대규모 연합 내에서만 허용되는 하이브리드 게임 모델을 구성하고, 협력 가능성 조건이 주어져 있더라도 코어 비어있음 문제의 NP-완전성이 그대로 유지됨을 증명하는 것.

실험 결과

연구 질문

• RQ1 교역 가능성이 있는가 없는가에 관계없이 협력 게임에서 코어의 비어있음 여부를 판단하는 데 필요한 계산 복잡도는 무엇인가?
• RQ2 코어 비어있음 문제의 계산적 난이도를 유발하는 주요 요소는 무엇인가?
• RQ3 대규모 연합에 대한 실현 가능한 결과 집합을 사전에 지정함으로써 문제를 해결 가능하게 만들 수 있는가?
• RQ4 교역이 대규모 연합에 국한된 하이브리드 모델에서는 복잡도가 어떻게 변화하는가?
• RQ5 효율적인 표현을 설계하여 코어 소속 검증을 신속하게 수행하면서도 게임의 전략적 구조를 유지할 수 있는가?

주요 결과

• 교역 가능성이 있는 게임에서조차도 대규모 연합에 대한 실현 가능한 결과 집합이 주어진 경우에도 코어의 비어있음 여부 판단은 여전히 NP-완전하다.
• 교역 가능성이 없는 게임의 경우에도 동일한 NP-완전성 결과가 성립하여, 코어 비어있음 문제의 난이도는 두 상황 모두에서 해결 불가능하다는 것을 시사한다.
• 주요 계산적 난이도의 근본 원인은 대규모 연합에 대한 실현 가능한 결과 집합을 식별하는 데 있으며, 이 집합이 제공되면 문제의 해결이 가능해진다.
• 교역이 대규모 연합 내에서만 허용되는 하이브리드 모델에서도, 협력 가능성 조건이 주어져 있더라도 코어 비어있음 문제의 NP-완전성은 그대로 유지된다.
• 특성 함수 게임에 대해 초가역적 표현을 도입하면 주어진 결과가 코어에 속하는지 효율적으로 검증할 수 있으며, 이는 검증 작업에 실질적인 계산적 이점을 제공한다.
• 결과적으로 다중 에이전트 시스템에서의 전략적 안정성 분석은, 특히 상호보완적 연합 결과를 처음부터 발견해야 할 경우 계산적으로 과도할 수 있음을 시사한다.