.png){kind=icon}
返回
Computing tournament solutions using relation algebra and RELVIEW
.png){kind=icon}
OA
AI
DOI：10.1016/j.ejor.2012.11.025.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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. (C) 2012 Elsevier B.V. All rights reserved.
Keyword:
Tournament
Relational algebra
RELVIEW
Copeland set
Condorcet non-losers
Schwartz set
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6
论文数:
2.2W
被引数:
6.4W
机构
引用论文
分享收藏
分享收藏Spray and Combustion Characteristics of HCCI Engine Using DME/Diesel Blended Fuel by Port-Injection
PREAI
分享收藏分享收藏Acid–base and coordination properties of 2-phenyl-3-hydroxy-4-quinolones in aqueous media.png)
RSC Advances
RSC AdvancesIF0
PREAI
分享收藏
查看更多内容