Jump to content

Copeland's method: Difference between revisions

Simplify ISDA proof
(Simplify criterion compliance, and add multi-armed bandit reference.)
(Simplify ISDA proof)
Line 35:
(Example showing Smith members having only 2 points more than non-Smith members: Suppose there are two candidates, one of whom is the Condorcet winner, and thus the only candidate in the Smith set. The CW has one victory and no defeats for a Copeland score of 1, while the other candidate has no victories and one defeat for a score of -1.)
 
Copeland's method also passes [[ISDA]];: thesince firstevery paragraph proves that all candidatescandidate in the Smith set mustbeats haveeverybody higheroutside Copeland scores than all candidates not in the Smith setit, and since by definition candidates in the Smith set haveeliminating a pairwise victory (and thus no pairwise defeat) against every candidate notoutside inof the Smith set, addingwill orsubtract removingone anywin number of candidates not infrom the Smithscore set will only result inof every candidate in thethat Smith set. havingThus thateliminating numbera ofSmith-dominated pairwisecandidate victoriescan added or subtracted from their total (with nonever change to their number of pairwise defeats); since the originalrelative Copeland winnerscores mustof havecandidates hadin a higher Copeland score than all otherthe Smith set candidates in order to win, theyand willthus stillnot havechange athe higherwinner Copeland score and thus still wineither.
 
Further, Copeland always elects from the [[uncovered set]], and the Copeland ranking is an uncovered set ranking. This is because when one candidate covers another, the former candidate pairwise beats all candidates pairwise beaten by the latter candidate, and also either pairwise beats the latter candidate or beats someone who beats the latter candidate. Because of this, the covering candidate will have a minimum Copeland score of ((number of candidates beaten by latter candidate) + 1) - (number of candidates beating former candidate)), and the covered candidate will have a maximal Copeland score of ((number of candidates beaten by latter candidate) - ((number of candidates beating former candidate) + 1), resulting in the covering candidate having at least 2 more points than the covered candidate. This type of logic can be used to simplify the above Smith set-related proofs too.
1,230

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.