The University of Southampton
University of Southampton Institutional Repository

Automated analysis of weighted voting games

Fatima, Shaheen, Wooldridge, Michael and Jennings, Nick (2011) Automated analysis of weighted voting games At Proc. 13th Int. Conf. on Electronic Commerce, United Kingdom.

Record type: Conference or Workshop Item (Paper)


Weighted voting games (WVGs) are an important mechanism for modeling scenarios where a group of agents must reach agreement on some issue over which they have different preferences. However, for such games to be effective, they must be well designed. Thus, a key concern for a mechanism designer is to structure games so that they have certain desirable properties. In this context, two such properties are PROPER and STRONG. A game is PROPER if for every coalition that is winning, its complement is not. A game is STRONG if for every coalition that is losing, its complement is not. In most cases, a mechanism designer wants games that are both PROPER and STRONG. To this end, we first show that the problem of determining whether a game is PROPER or STRONG is, in general, NP-hard. Then we determine those conditions (that can be evaluated in polynomial time) under which a given WVG is PROPER and those under which it is STRONG. Finally, for the general NP-hard case, we discuss two different approaches for overcoming the complexity: a deterministic approximation scheme and a randomized approximation method.

PDF 0015.pdf - Version of Record
Download (169kB)

More information

Published date: 2011
Venue - Dates: Proc. 13th Int. Conf. on Electronic Commerce, United Kingdom, 2011-01-01
Organisations: Agents, Interactions & Complexity


Local EPrints ID: 272742
PURE UUID: a3432fda-3202-4d1c-adfe-b48199d443ea

Catalogue record

Date deposited: 02 Sep 2011 12:43
Last modified: 18 Jul 2017 06:20

Export record


Author: Shaheen Fatima
Author: Michael Wooldridge
Author: Nick Jennings

University divisions

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 supports OAI 2.0 with a base URL of

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.