Distributed Voting: Difference between revisions

Tactical vote resistance better described
mNo edit summary
(Tactical vote resistance better described)
Line 95:
===Tactical vote resistance===
 
'''Hypotheses'''
In the Distributed Voting, given an honest vote with this distribution of points [50 30 15 5 0], a tactical vote generally takes the following form [90 6 3 1 0].
 
Each voter, based on his own interests, creates the following 2 sets of candidates:
* If the first candidate to be eliminated were the first (the one with the most points), the two votes would both become like this [60 30 10 0], so the tactical vote would disappear.
 
* Winner Set := set containing a quantity of favorite candidates equal to or less than the number of winners.
* If instead the second and third candidates were eliminated, the two votes would become [91 9 0] (honest) and [99 1 0] (tactical). They are different but they are very similar, comparing them to their initial state.
* Loser Set := set containing the candidates who aren't part of the Winner Set.
 
InGiven thean Distributedhonest Votevote, it'sthe validtactical that,vote duringis theobtained counting,by minimizing the more points areof redistributedthe afterLoser Set, maximizing the eliminationpoints of the worstWinner candidateSet, theand moremaintaining the votesproportions becomeof honest interests within the two sets.
 
Example
Candidates: [A B C D E]
Honest vote: [50 30 15 5 0]
Tactical vote (1 winner): [90 6 3 1 0]
Tactical vote (2 winners): [60 36 3 1 0]
 
'''Single winner'''
 
Meets the [[Honesty criterion]] (on hypotheses) because:
 
* at each [[Honesty criterion|Update Steps]] of the count, in which a candidate with points is removed, the tactical vote decreases the deviation from the honest one.
* the [[Honesty criterion|Honesty Step]] occurs when the candidate in the Winner Set is removed or when all the candidates in the Loser Set are removed. In the best case, the [[Honesty criterion|Honesty Step]] can occur in the first [[Honesty criterion|Update Steps]].
* the [[Honesty criterion|Honesty Step]] is always present because in the single winner, during the counting, all candidates are always removed from at least one of the two Sets.
 
Example - 1 winner
Candidates: [A B C D E]
Honest vote: [50 30 15 5 0]
Tactical vote: [90 6 3 1 0]
A is removed and the tactical vote becomes equal to the honest one, that is:
Vote: [60 30 10 0]
 
'''Multiple winner'''
 
Satisfy the [[Honesty criterion]] (on hypotheses) only if are removed first, all the candidates of the Winner Set or first all those of the Loser Set.
 
===Equality===
206

edits