[EM] a plethora of elimination rules that are cloneproof and condorcet

[Ross Hyman]

V_A>B is the number of ballots that rank A above B.
V_A is the number of ballots that rank A at the top.
S_A = sum_B M_AB V_B is the score for
> candidate A.

M_AB can be any antisymmetric function of V_A>B and V_B>A that is positive if V_A>B > V_B>A.
examples:
M_AB = V_A>B - V_B>A
M_AB = (V_A>B - V_B>A)/(V_A>B + V_B>A)
M_AB = sign(V_A>B - V_A<B)

Eliminate the candidate with lowest score.  Recalculate V_A's and S_A's.  Repeat until one candidate remains.