The University of Southampton
University of Southampton Institutional Repository

A hybrid exact algorithm for complete set partitioning

A hybrid exact algorithm for complete set partitioning
A hybrid exact algorithm for complete set partitioning
In the Complete Set Partitioning problem we are given a finite set of elements where every subset is associated with a value, and the goal is to partition this set into disjoint subsets so as to maximise the sum of subset values. This abstract problem captures the Coalition Structure Generation problem in cooperative games in characteristic function form, where each subset, or coalition, of agents can make a profit when working together, and the goal is to partition the set of agents into coalitions to maximise the total profit. It also captures the special case of the Winner Determination problem incombinatorial auctions, where bidders place bids on every possible bundle of goods, and the goal is to find an allocation of goods to bidders that maximises the profit of the auctioneer.
The main contribution of this article is an extensive theoretical analysis of the search space of the Complete Set Partitioning problem, which reveals that two fundamentally different exact algorithms can be significantly improved upon in terms of actual runtime. These are (1) a dynamic programming algorithm called “DP” [48, 36] and (2) a tree search algorithm called “IP” [32]. We start by drawing a link between DP and a certain graph describing the structure of the search space. This link reveals that many of DP’s operations are in fact redundant. Consequently, we develop ODP — an optimal version of DP that avoids all of its redundant operations. Since ODP and IP are based on different design paradigms, each has its own strengths and weaknesses compared to the other. Thus, one has to trade off the advantages of one algorithm for the advantages of the other. This raises the following question: Is this trade-off inevitable? To answer this question, we develop a new representation of the search space, which links both algorithms, and allows for contrasting the workings of the two. This reveals that ODP and IP can actually be combined, leading to the development of ODPIP — a hybrid algorithm that avoids the limitations of its constituent parts, while retaining and significantly improving upon the advantages of each part.
We benchmark our algorithm against that of Bj¨orklund et al. [SIAM Journal of Computing, 2009], which runs in O(2n) time given n agents. We observe that the algorithm of Bj¨orklund et al. relies on performing arithmetic operations with very large integers, and assumes that any such operation has unit cost. In practice, however, working with large integers on a modern PC is costly. Consequently, when implemented, our O(3n) algorithm outperforms that of Bj¨orklund et al. by several orders of magnitude on every problem instance, making ours the fastest exact algorithm for complete set partitioning to date in practice.
14-50
Michalak, T.
e24bfee3-bd75-4cca-8220-6f3c2f39dc38
Rahwan, T.
476029f3-5484-4747-9f44-f63f3687083c
Elkind, E.
767983be-5e16-45e5-a4f5-5778a48f371a
Wooldridge, M.
955b6c39-0d07-430e-b68d-b9a96d6e14e7
Jennings, N.R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30
Michalak, T.
e24bfee3-bd75-4cca-8220-6f3c2f39dc38
Rahwan, T.
476029f3-5484-4747-9f44-f63f3687083c
Elkind, E.
767983be-5e16-45e5-a4f5-5778a48f371a
Wooldridge, M.
955b6c39-0d07-430e-b68d-b9a96d6e14e7
Jennings, N.R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30

Michalak, T., Rahwan, T., Elkind, E., Wooldridge, M. and Jennings, N.R. (2015) A hybrid exact algorithm for complete set partitioning. Artificial Intelligence, 230, 14-50. (doi:10.1016/j.artint.2015.09.006).

Record type: Article

Abstract

In the Complete Set Partitioning problem we are given a finite set of elements where every subset is associated with a value, and the goal is to partition this set into disjoint subsets so as to maximise the sum of subset values. This abstract problem captures the Coalition Structure Generation problem in cooperative games in characteristic function form, where each subset, or coalition, of agents can make a profit when working together, and the goal is to partition the set of agents into coalitions to maximise the total profit. It also captures the special case of the Winner Determination problem incombinatorial auctions, where bidders place bids on every possible bundle of goods, and the goal is to find an allocation of goods to bidders that maximises the profit of the auctioneer.
The main contribution of this article is an extensive theoretical analysis of the search space of the Complete Set Partitioning problem, which reveals that two fundamentally different exact algorithms can be significantly improved upon in terms of actual runtime. These are (1) a dynamic programming algorithm called “DP” [48, 36] and (2) a tree search algorithm called “IP” [32]. We start by drawing a link between DP and a certain graph describing the structure of the search space. This link reveals that many of DP’s operations are in fact redundant. Consequently, we develop ODP — an optimal version of DP that avoids all of its redundant operations. Since ODP and IP are based on different design paradigms, each has its own strengths and weaknesses compared to the other. Thus, one has to trade off the advantages of one algorithm for the advantages of the other. This raises the following question: Is this trade-off inevitable? To answer this question, we develop a new representation of the search space, which links both algorithms, and allows for contrasting the workings of the two. This reveals that ODP and IP can actually be combined, leading to the development of ODPIP — a hybrid algorithm that avoids the limitations of its constituent parts, while retaining and significantly improving upon the advantages of each part.
We benchmark our algorithm against that of Bj¨orklund et al. [SIAM Journal of Computing, 2009], which runs in O(2n) time given n agents. We observe that the algorithm of Bj¨orklund et al. relies on performing arithmetic operations with very large integers, and assumes that any such operation has unit cost. In practice, however, working with large integers on a modern PC is costly. Consequently, when implemented, our O(3n) algorithm outperforms that of Bj¨orklund et al. by several orders of magnitude on every problem instance, making ours the fastest exact algorithm for complete set partitioning to date in practice.

Text
1-s2.0-S0004370215001423-main.pdf - Other
Download (988kB)

More information

Published date: 2015
Organisations: Agents, Interactions & Complexity

Identifiers

Local EPrints ID: 382335
URI: http://eprints.soton.ac.uk/id/eprint/382335
PURE UUID: 9d6d3bd4-1ba1-432a-a943-0c40f41fa1c5

Catalogue record

Date deposited: 02 Oct 2015 06:30
Last modified: 16 Dec 2019 20:13

Export record

Altmetrics

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×