[EM] more comments on logical complexity (was Why Schulze is Better than DMC)

Simmons, Forest simmonfo at up.edu
Wed Sep 14 10:17:24 PDT 2005

Another measure of logical complexity of a method is the number of alternations between quantifier types, from universal to existential and back, in the complete definition of the winner.
For example MinMax is more complex in this regard than DMC, because the MinMax winner is the candidate C such that for every candidate X and every candidate Z, there exists a candidate Y such that Y defeats X  more strongly than Z defeats C.
The alternation of min and max corresponds to an alternation of quantifier types.
The DMC winner can be decscribed logically without this alternation of quantifiers.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 3969 bytes
Desc: not available
URL: <http://lists.electorama.com/pipermail/election-methods-electorama.com/attachments/20050914/1ff932c4/attachment-0002.bin>

More information about the Election-Methods mailing list