Computing Tournament Solutions using Relation Algebra and REL VIEW
Abstract
We describe a simple computing technique for the tournament choice problem. It rests upon a relational modeling and uses the BDD-based computer system RelView for the evaluation of the relation-algebraic expressions that specify the solutions and for the visualization of the computed results. The Copeland set can immediately be identified using RelView's labeling feature. Relation-algebraic specifications of the Condorcet non-losers, the Schwartz set, the top cycle, the uncovered set, the minimal covering set, the Banks set, and the tournament equilibrium set are delivered. We present an example of a tournament on a small set of alternatives, for which the above choice sets are computed and visualized via RelView. The technique described in this paper is very flexible and especially appropriate for prototyping and experimentation, and as such very instructive for educational purposes. It can easily be applied to other problems of social choice and game theory.Download Info
If you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.Bibliographic Info
Paper provided by HAL in its series Université Paris1 Panthéon-Sorbonne (Post-Print and Working Papers) with number halshs-00639942.Length:
Date of creation: Oct 2011
Date of revision:
Handle: RePEc:hal:cesptp:halshs-00639942
Note: View the original document on HAL open archive server: http://halshs.archives-ouvertes.fr/halshs-00639942
Contact details of provider:
Web page: http://hal.archives-ouvertes.fr/
Related research
Keywords: Tournament; relational algebra; RelView; Copeland set; Condorcet non-losers; Schwartz set; top cycle; uncovered set; minimal covering set; Banks set; tournament equilibrium set.;This paper has been announced in the following NEP Reports:
- NEP-ALL-2011-11-21 (All new papers)
- NEP-CMP-2011-11-21 (Computational Economics)
References
References listed on IDEASPlease report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.:
- Michel Grabisch & Agnieszka Rusinowska, 2008.
"A model of influence in a social network,"
Documents de travail du Centre d'Economie de la Sorbonne
b08066, Université Panthéon-Sorbonne (Paris 1), Centre d'Economie de la Sorbonne.
- Michel Grabisch & Agnieszka Rusinowska, 2010. "A model of influence in a social network," Theory and Decision, Springer, vol. 69(1), pages 69-96, July.
- Michel Grabisch & Agnieszka Rusinowska, 2010. "A model of influence in a social network," Université Paris1 Panthéon-Sorbonne (Post-Print and Working Papers) halshs-00308741, HAL.
- Michel Grabisch & Agnieszka Rusinowska, 2008. "A model of influence in a social network," Université Paris1 Panthéon-Sorbonne (Post-Print and Working Papers) halshs-00344457, HAL.
- John Duggan, 2011. "Uncovered Sets," Wallis Working Papers WP63, University of Rochester - Wallis Institute of Political Economy.
- Smith, John H, 1973. "Aggregation of Preferences with Variable Electorate," Econometrica, Econometric Society, vol. 41(6), pages 1027-41, November.
- Brandt, Felix & Fischer, Felix, 2008. "Computing the minimal covering set," Mathematical Social Sciences, Elsevier, vol. 56(2), pages 254-268, September.
- Dutta, Bhaskar, 1988. "Covering sets and a new condorcet choice correspondence," Journal of Economic Theory, Elsevier, vol. 44(1), pages 63-80, February.
Citations
Lists
This item is not listed on Wikipedia, on a reading list or among the top items on IDEAS.Statistics
Access and download statisticsCorrections
When requesting a correction, please mention this item's handle: RePEc:hal:cesptp:halshs-00639942For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (CCSD).
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
If references are entirely missing, you can add them using this form.
If the full references list an item that is present in RePEc, but the system did not link to it, you can help with this form.
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your profile, as there may be some citations waiting for confirmation.
Please note that corrections may take a couple of weeks to filter through the various RePEc services.

