Computing tournament solutions using relation algebra and RelView

Rudolf Berghammer (), Agnieszka Rusinowska and Harrie de Swart ()
Additional contact information
Rudolf Berghammer: Institut für Informatik - CAU - Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel
Harrie de Swart: Department of Philosophy - Erasmus University Rotterdam

Post-Print from HAL

Abstract: We describe a simple computing technique for the tournament choice problem. It rests upon 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.

Keywords: Tournament; relational algebra; RelView; Copeland set; Condorcet non-losers; Schwartz set; top cycle; uncovered set; minimal covering set; Banks set; tournament equilibrium set (search for similar items in EconPapers)
Date: 2013
New Economics Papers: this item is included in nep-cmp
Note: View the original document on HAL open archive server: https://hal.science/hal-00756696v1
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Published in European Journal of Operational Research, 2013, 226 (3), pp.636-645. ⟨10.1016/j.ejor.2012.11.025⟩

Downloads: (external link)
https://hal.science/hal-00756696v1/document (application/pdf)

Related works:
Journal Article: Computing tournament solutions using relation algebra and RelView (2013)
Working Paper: Computing tournament solutions using relation algebra and RelView (2013)
Working Paper: Computing tournament solutions using relation algebra and RelView (2013)
Working Paper: Computing Tournament Solutions using Relation Algebra and REL VIEW (2011)
Working Paper: Computing Tournament Solutions using Relation Algebra and REL VIEW (2011)
Working Paper: Computing Tournament Solutions using Relation Algebra and REL VIEW (2011)
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-00756696

DOI: 10.1016/j.ejor.2012.11.025

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().