Duggan–Schwartz theorem
The Duggan–Schwartz theorem is a result about voting systems designed to choose a nonempty set of winners from the preferences of certain individuals, where each individual ranks all candidates in order of preference. It states that for three or more candidates, at least one of the following must hold:
- The system is not anonymous.
- The system is imposed.
- Every voter's top preference is in the set of winners.
- The system can be manipulated by either an optimistic voter, one who can cast a ballot that would elect some candidate to a higher rank than all of those candidates who would have been elected if that voter had voted honestly; or by a pessimistic voter, one who can cast a ballot that would exclude some candidate to a lower rank than all of those candidates who were elected due that voter voting strategically.
The Gibbard–Satterthwaite theorem is a similar theorem that deals with voting systems that elect a single winner. Likewise, Arrow's impossibility theorem deals with voting systems that yield a complete preference order of the candidates, rather than choosing only winners.