Independence of irrelevant alternatives: Difference between revisions
Content added Content deleted
(Import rock-paper-scissors example of IIA failure from Wikipedia. Add reference to River and Ranked Pairs in ISDA/IPDA section) |
|||
Line 17: | Line 17: | ||
=== Ranked methods === |
=== Ranked methods === |
||
[[Arrow's impossibility theorem]] states that no voting system can satisfy universal domain, non-imposition, non-dictatorship, unanimity, and independence of irrelevant alternatives. Since universal domain implies that the method is an ordinal method, the impossibility theorem only applies to [[ordinal voting]]. In practice, this means that no deterministic ranked ballot system can satisfy independence of irrelevant alternatives without either having a dictator (whose ballot decides who wins no matter the other ballots), failing to elect a candidate that the whole electorate ranks first, or rendering one or more outcomes impossible no matter the ballots. |
[[Arrow's impossibility theorem]] states that no voting system can satisfy universal domain, non-imposition, non-dictatorship, unanimity, and independence of irrelevant alternatives. Since universal domain implies that the method is an ordinal method, the impossibility theorem only applies to [[ordinal voting]]. In practice, this means that no deterministic ranked ballot system can satisfy independence of irrelevant alternatives without either having a dictator (whose ballot decides who wins no matter the other ballots), failing to elect a candidate that the whole electorate ranks first, or rendering one or more outcomes impossible no matter the ballots. |
||
==== A simple example ==== |
|||
Let's say that we have a majoritarian ranked ballot method. With an election that's a Condorcet cycle (rock-paper-scissors situation), like this: |
|||
{{ballots| |
|||
25: A>B>C |
|||
40: B>C>A |
|||
35: C>A>B}} |
|||
at least one of A, B or C must be elected (or have a chance of winning the election if the method is nondeterministic). There are thus three cases: |
|||
*Case 1: ''A'' is elected. IIA is violated because the 75% who prefer ''C'' over ''A'' would elect ''C'' if ''B'' were not a candidate. |
|||
*Case 2: ''B'' is elected. IIA is violated because the 60% who prefer ''A'' over ''B'' would elect ''A'' if ''C'' were not a candidate. |
|||
*Case 3: ''C'' is elected. IIA is violated because the 65% who prefer ''B'' over ''C'' would elect ''B'' if ''A'' were not a candidate. |
|||
No matter who wins, the method can be made to fail IIA. |
|||
== Related criteria == |
== Related criteria == |
||
To mitigate the reach of IIA failures, less strict properties have been proposed (some of which are incompatible with IIA): |
|||
* '''[[Independence of Smith-dominated Alternatives|Independence of Smith-dominated alternatives]]''' (ISDA) and '''[[Uncovered set|Independence of covered alternatives]]''' |
* '''[[Independence of Smith-dominated Alternatives|Independence of Smith-dominated alternatives]]''' (ISDA) and '''[[Uncovered set|Independence of covered alternatives]]''' |
||
Line 26: | Line 43: | ||
* Woodall's '''Weak IIA''': If x is elected, and one adds a new calternative y ahead of x on some of the ballots on which x was first preference (and nowhere else), then either x or y should be elected. |
* Woodall's '''Weak IIA''': If x is elected, and one adds a new calternative y ahead of x on some of the ballots on which x was first preference (and nowhere else), then either x or y should be elected. |
||
Neither the [[Borda count]], [[Coombs' method]] nor [[Instant-runoff voting]] satisfies the less strict criteria above. |
Neither the [[Borda count]], [[Coombs' method]] nor [[Instant-runoff voting]] satisfies the less strict criteria above. [[Ranked Pairs]] does satisfy ISDA, and [[River]] satisfies IPDA. |
||
== Anecdote == |
== Anecdote == |