If one of these systems generates an outcome that is maximal under the ordering of the majority relation, it satisfies the Condorcet fairness criterion.
When these systems always generate an outcome from a dominating set, they are called Smith-efficient. One of these systems that exhibits the no-show paradox produces an outcome by minimizing the Kendall tau distance. Bayesian regret is maximal for the one of these systems that also minimizes the impact of strategic inputs. They include the Kemeny-Young and random types, as well as a system whose constriction of the range of possible outcomes is described by Duverger's law. If one of these systems generates an outcome that is maximal under the ordering of the majority relation, it satisfies the Condorcet fairness criterion. The Gibbard-Satterthwaite theorem guarantees that any of these systems that use rank-ordering must meet one of three undesirable criteria, such as the existence of a dictator. For 10 points, name these systems, such as first-past-the-post, which allow a populace to choose between options.
When these systems always generate an outcome from a dominating set, they are called Smith-efficient.
voting systems [or election systems; or anything that describes people voting or electing someone or something]