Equal Vote Criterion: Difference between revisions

Content added Content deleted
(→‎Equal Vote Criterion Definition: Added mathematical proof.)
(→‎Equal Vote Criterion Definition: linked rather than pasted proof because of mathematical character details lost in formatting translation.)
Line 19: Line 19:




"More formally, a voting method m passes the cancellation criterion if for every ballot b, there exists some (not necessarily distinct) ballot b′ such that for any list of ballots b1​,b2​,…,bn​, m(b1​,b2​,…,bn​,b,b′)=m(α(b1​,b2​,…,bn​)) for every permutation α of b1​,b2​,…,bn​. Note that restrictions on the domain of m are left implied." - [https://bternarytau.github.io/miscellaneous/voting-theory/cancellation-criterion BTernaryTau]
"A formal mathematical proof of this criteria presented by BTernaryTau can be found [https://bternarytau.github.io/miscellaneous/voting-theory/cancellation-criterion here].