Skip to main content

Complexity of determining nonemptiness of the core

Publication ,  Journal Article
Conitzer, V; Sandholm, T
Published in: IJCAI International Joint Conference on Artificial Intelligence
December 1, 2003

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 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 NP complete even when the collaborative possibilities are given.

Duke Scholars

Published In

IJCAI International Joint Conference on Artificial Intelligence

ISSN

1045-0823

Publication Date

December 1, 2003

Start / End Page

613 / 618
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Conitzer, V., & Sandholm, T. (2003). Complexity of determining nonemptiness of the core. IJCAI International Joint Conference on Artificial Intelligence, 613–618.
Conitzer, V., and T. Sandholm. “Complexity of determining nonemptiness of the core.” IJCAI International Joint Conference on Artificial Intelligence, December 1, 2003, 613–18.
Conitzer V, Sandholm T. Complexity of determining nonemptiness of the core. IJCAI International Joint Conference on Artificial Intelligence. 2003 Dec 1;613–8.
Conitzer, V., and T. Sandholm. “Complexity of determining nonemptiness of the core.” IJCAI International Joint Conference on Artificial Intelligence, Dec. 2003, pp. 613–18.
Conitzer V, Sandholm T. Complexity of determining nonemptiness of the core. IJCAI International Joint Conference on Artificial Intelligence. 2003 Dec 1;613–618.

Published In

IJCAI International Joint Conference on Artificial Intelligence

ISSN

1045-0823

Publication Date

December 1, 2003

Start / End Page

613 / 618