Skip to main content
Erschienen in: Theory and Decision 1/2016

17.07.2015

Computational complexity in the design of voting rules

verfasst von: Koji Takamiya, Akira Tanaka

Erschienen in: Theory and Decision | Ausgabe 1/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper considers the computational complexity of the design of voting rules, which is formulated by simple games. We prove that it is an NP -complete problem to decide whether a given simple game is stable, or not.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In this paper, by the term “algorithm,” we mean “deterministic algorithm.” That is, we exclude such algorithms which utilize randomness. We are not going into the formal definitions of these concepts here.
 
2
A binary relation \(\succ ^i\) on \(\Omega \) is called acyclic if for any natural number m, any m elements \(x_1, x_2, \cdots , x_m\) of \(\Omega \), if \(x_2 \succ ^i x_1\), \(x_3 \succ ^i x_2, \cdots \) and \(x_m\succ ^i x_{m-1}\), then \(x_1 \not \succ ^i x_m\).
 
Literatur
Zurück zum Zitat Arora, S., & Barak, B. (2009). Computational Complexity: A Modern Approach. New York: Cambridge University Press.CrossRef Arora, S., & Barak, B. (2009). Computational Complexity: A Modern Approach. New York: Cambridge University Press.CrossRef
Zurück zum Zitat Bartholdi, III J. J., Narasimhan, L. S., & Tovey, C. A. (1991). Recognizing majority-rule equilibrium in spatial voting game. Social Choice and Welfare, 8, 183–197. Bartholdi, III J. J., Narasimhan, L. S., & Tovey, C. A. (1991). Recognizing majority-rule equilibrium in spatial voting game. Social Choice and Welfare, 8, 183–197.
Zurück zum Zitat Boros, E., & Gurvich, V. (2000). Stable effectivity functions and perfect graphs. Mathematical Social Sciences, 39, 175–194.CrossRef Boros, E., & Gurvich, V. (2000). Stable effectivity functions and perfect graphs. Mathematical Social Sciences, 39, 175–194.CrossRef
Zurück zum Zitat Cook, S. (2000). The P versus NP problem, Clay Mathematics Institute. Cook, S. (2000). The P versus NP problem, Clay Mathematics Institute.
Zurück zum Zitat Conitzer, V., & Sandholm, T. (2006). Complexity of constructing solutions in the core based on synergies among coalitions. Artificial Intelligence, 170, 607–619.CrossRef Conitzer, V., & Sandholm, T. (2006). Complexity of constructing solutions in the core based on synergies among coalitions. Artificial Intelligence, 170, 607–619.CrossRef
Zurück zum Zitat Garey, M. R., & Johnson, D. S. (1979). Computers and Intractability: A Guide to the Theory of NP-completeness. New York: WH Freeman. Garey, M. R., & Johnson, D. S. (1979). Computers and Intractability: A Guide to the Theory of NP-completeness. New York: WH Freeman.
Zurück zum Zitat Kumabe, M., & Mihara, H. R. (2008a). The Nakamura numbers for computable simple games. Social Choice and Welfare, 31, 621–640.CrossRef Kumabe, M., & Mihara, H. R. (2008a). The Nakamura numbers for computable simple games. Social Choice and Welfare, 31, 621–640.CrossRef
Zurück zum Zitat Kumabe, M., & Mihara, H. R. (2008b). Computability of simple games: a characterization and application to the core. Journal of Mathematical Economics, 44, 348–366.CrossRef Kumabe, M., & Mihara, H. R. (2008b). Computability of simple games: a characterization and application to the core. Journal of Mathematical Economics, 44, 348–366.CrossRef
Zurück zum Zitat Mizutani, M., Hiraide, Y., & Nishino, H. (1993). Computational complexity to verify the unstability of effectivity function. International Journal of Game Theory, 22, 225–239.CrossRef Mizutani, M., Hiraide, Y., & Nishino, H. (1993). Computational complexity to verify the unstability of effectivity function. International Journal of Game Theory, 22, 225–239.CrossRef
Zurück zum Zitat Nakamura, K. (1975). The core of a simple game with ordinal preferences. International Journal of Game Theory, 4, 95–104.CrossRef Nakamura, K. (1975). The core of a simple game with ordinal preferences. International Journal of Game Theory, 4, 95–104.CrossRef
Zurück zum Zitat Nakamura, K. (1979). The vetoer in a simple game with ordinal preferences. International Journal of Game Theory, 8, 55–61.CrossRef Nakamura, K. (1979). The vetoer in a simple game with ordinal preferences. International Journal of Game Theory, 8, 55–61.CrossRef
Metadaten
Titel
Computational complexity in the design of voting rules
verfasst von
Koji Takamiya
Akira Tanaka
Publikationsdatum
17.07.2015
Verlag
Springer US
Erschienen in
Theory and Decision / Ausgabe 1/2016
Print ISSN: 0040-5833
Elektronische ISSN: 1573-7187
DOI
https://doi.org/10.1007/s11238-014-9422-7

Weitere Artikel der Ausgabe 1/2016

Theory and Decision 1/2016 Zur Ausgabe

OriginalPaper

Circulant games