Computability of simple games: A characterization and application to the core
Computer Science and Game Theory
2011-11-09 v2 Computational Complexity
Logic in Computer Science
Logic
Abstract
The class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that have finite winning coalitions. This paper characterizes computable games, strengthens the earlier result that computable games violate anonymity, and gives examples showing that the above inclusions are strict. It also extends Nakamura's theorem about the nonemptyness of the core and shows that computable games have a finite Nakamura number, implying that the number of alternatives that the players can deal with rationally is restricted.
Keywords
Cite
@article{arxiv.0705.3227,
title = {Computability of simple games: A characterization and application to the core},
author = {Masahiro Kumabe and H. Reiju Mihara},
journal= {arXiv preprint arXiv:0705.3227},
year = {2011}
}