Woodall's method: Difference between revisions
Whew! This article needs some love. Added a cleanup tag to that extent and rewrote the intro sentence.
(Remove Benham's method and definition of the Schwartz set since they have their own pages.) |
(Whew! This article needs some love. Added a cleanup tag to that extent and rewrote the intro sentence.) |
||
(3 intermediate revisions by 3 users not shown) | |||
Line 1:
{{cleanup|reason=Needs substantial rewriting, reformatting, and inclusion of properties it passes and fails.}}
'''Woodall's method''' or '''Smith,IRV''' is a voting method that combines [[instant-runoff voting]] and [[Condorcet]]. It was invented by [[Douglas Woodall]].
== Woodall's method: ==
{{definition|Do IRV till only one member of the initial
Smith set:
Line 17 ⟶ 19:
=== A few properties of Woodall ===
Woodall meets the
Meeting Smith always implies meeting
▲Meeting Smith always implies meeting MMC, and Condorcet Loser as well.
Woodall doesn't meet [[FBC]].
Woodall's importance comes from its unmatched freedom from strategy-need, made possible by MMC, freedom from chicken dilemma, and CC. Advantages such as that come at a price. The above-mentioned combination of properties appears to be incompatible with FBC and with Mono-Raise, Participation, Mono-Add-Top and Mono-Add-Unique top. Choice of a voting system always involves choice among properties.
The consistency criteria don't have strategic importance.
===Consequences of Woodall's properties===
Line 69 ⟶ 54:
{{definition|Do IRV till only one member of the initial [[Schwartz set]] remains un-eliminated. Elect hir.}}
== Notes ==
[[Benham's method]] is similar, but always terminates in the same round as Woodall's or earlier. This is because the two methods are identical to [[IRV]] until their algorithms' completion, but Benham's method can potentially terminate in a round where there are still multiple members of the Smith set remaining i.e. a member of the Smith set whose only pairwise loss or tie is to one of the other candidates in the Smith set would become a [[CW]] if that other candidate is eliminated, and be the Benham winner.
==References==
|