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

[Simmons, Forest]

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.
 
Forest
-------------- 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>