Distributed Score Voting: Difference between revisions

From electowiki
Content added Content deleted
No edit summary
No edit summary
 
(18 intermediate revisions by 4 users not shown)
Line 1: Line 1:
Distributed Score Voting (DSV) is a [[Single Member system|Single-Winner]] and [[Multi-Member System|Multi-Winner]] [[Cardinal voting systems| Cardinal voting system]].
Distributed Score Voting (DSV) is a [[Single Member system|Single-Winner]] and [[Multi-Member System|Multi-Winner]] [[Cardinal voting systems| Cardinal voting system]].

In the [[Single Member system|Single-Winner]] part, it's similar to [[Smith//Score]]. In the [[Multi-Member System|Multi-Winner]] part, [[Distributed Multi-Voting]], the more preferred the winning candidate is in a vote, the more the weight of that vote is decreased in the choice of the next winner.


[[Category:Multi-winner voting methods]]
[[Category:Multi-winner voting methods]]
Line 7: Line 9:


==Procedure==
==Procedure==
[[File:DVS procedure.jpg|thumb|DSV counting]]
===Voting===
===Voting===
Each voter has 100 points to distribute among the candidates according to his preferences.
Each voter has 100 points to distribute among the candidates according to his preferences (it's also possible to write the vote even in a simpler form, with range from 0 to 5 points for each candidate).


All candidates in the vote have 0 points by default.
All candidates in the vote have 0 points by default.
[[File:DSV procedure.jpg|alt=|thumb|DSV counting]]


===Counting the votes===
===Counting the votes===
W = sum of all the points in the original vote (100 for all voters, at the beginning).
W = 100 for all votes, at the beginning.


1) All head-to-head matches are conducted between candidates. In head-to-head, the candidate who has more points in a vote than his opponent receives W points from the vote. The candidate who gets the most points wins the head-to-head.
1) All head-to-head matches are conducted between candidates. In head-to-head, the candidate who has more points in a vote than his opponent receives W points from the vote. The candidate who gets the most points wins the head-to-head.
Line 20: Line 22:
Graphically, each candidate is a node; the head-to-head is represented by an arrow, leaving the winning candidate, entering the losing candidate. The tie is represented as a double arrow entering, that is both candidates are considered losers.
Graphically, each candidate is a node; the head-to-head is represented by an arrow, leaving the winning candidate, entering the losing candidate. The tie is represented as a double arrow entering, that is both candidates are considered losers.


2) Find the smallest set X (Smith set) of nodes that don’t have incoming arrows, coming from outside the set.
2) Find the smallest set X ([[Smith set]]) of nodes that don’t have incoming arrows, coming from outside the set.


3) Convert the votes using the following formula:
Then remove all candidates not in X from the votes.

3) Convert the votes into a range form, assigning 0 points to the candidates with the lowest score and normalizing* the remaining candidates, using the following formula:


M = candidate with the highest score, before normalization.
M = highest score among the candidates in the vote, before normalization.


v0 = current value of candidate C, to be normalized.
v0 = current value of candidate C, to be normalized.
Line 36: Line 36:
v1=\frac{v0}{M} \cdot W
v1=\frac{v0}{M} \cdot W
\end{equation}</math>
\end{equation}</math>

Then remove all candidates not in X from the votes.


4) Add up the points for each candidate of the range votes, and the candidate who has the highest sum, wins.
4) Add up the points for each candidate of the range votes, and the candidate who has the highest sum, wins.
Line 43: Line 45:
5) If you want to have more winners, then remove the single-winner from all original votes, repeating the whole procedure from point 1.
5) If you want to have more winners, then remove the single-winner from all original votes, repeating the whole procedure from point 1.


The value W of each original vote is reduced by the points assigned to the removed candidate.
The value W of each original vote changes according to the following formula:

M = highest score among the candidates in the vote (before removing the candidate).

e = candidate's score eliminated.

W0 = previous value of W

W1 = new value of W

<math>
\begin{equation}
W1=\frac{W0}{\left( 1+\frac{e}{M}\right)}
\end{equation}</math>


By repeating this process several times, you can get as many winners as you like, which will be those removed in point 5.
By repeating this process several times, you can get as many winners as you like, which will be those removed in point 5.


6) If you want to know the % of victory of the winning candidates then, in each original vote, you must remove all the candidates who haven’t won, and normalize* the vote with the formula used in point 3 (with W=100 fixed). The sum of points for each candidate will indicate the % of victory.
6) If you want to know the % of victory of the winning candidates then, in each original vote, you must remove all the candidates who haven’t won, and normalize each vote with the following formula:

S = sum of the points left in the vote.

v0 = current value of candidate C, to be normalized.

v1 = value of candidate C, after normalization.

<math>
\begin{equation}
v1=\frac{v0}{S} \cdot 100
\end{equation}</math>


The sum of points for each candidate will indicate the % of victory.


===Head-to-head===
===Head-to-head===
Line 71: Line 98:
Before the counting process, the votes will be normalized to 100-point votes, where the Xs are considered as equal weight values.
Before the counting process, the votes will be normalized to 100-point votes, where the Xs are considered as equal weight values.


Examples of how a vote can be written by the voter and subsequently, in the counting, converted into 100 points:
Examples of how a vote can be written by the voter and subsequently, before the counting, converted into 100 points:


X,0,0,0,0 → 100,0,0,0,0
X,0,0,0,0 → 100,0,0,0,0
Line 87: Line 114:
==Criteria==
==Criteria==


{| class="wikitable" style="text-align:center"
Criteria met by DSV:
<!-- criteria headers -->
|- style="font-size:80%;"
! rowspan=1 |
! rowspan=1 style="border-left: 2px solid #a0a0a0;" | [[Majority criterion|Majority]]
! rowspan=1 | [[Majority loser criterion|Maj. loser]]
! rowspan=1 | [[Mutual majority criterion|Mutual maj.]]
! rowspan=1 | [[Condorcet criterion|Condorcet]]
! rowspan=1 | [[Condorcet loser criterion|Cond. loser]]
! rowspan=1 | [[Smith criterion|Smith]]
! rowspan=1 | [[Pareto criterion|Pareto]]
! rowspan=1 | IIA*
! rowspan=1 | [[Independence of irrelevant alternatives|IIA]]
! rowspan=1 | [[w:Independence of clones criterion|Clone proof]]
! rowspan=1 style="border-left:2px solid #a0a0a0;" | [[Monotonicity criterion|Monotone]]
! rowspan=1 | [[Consistency criterion|Consistency]]
! rowspan=1 | [[Participation criterion|Participation]]
! rowspan=1 | [[w:Reversal symmetry|Reversal<br>symmetry]]
! rowspan=1 style="border-left:2px solid #a0a0a0;" | [[Later-no-help criterion|Later-no<br>Help]]
! rowspan=1 | [[Favorite betrayal criterion|Favorite<br>betrayal]]
|- style="font-size:80%;"


<!-- Methods -->
* Majority criterion
|-
* Majority loser criterion
! [[Distributed_Score_Voting|DSV<br>single-winner]]
* Mutual majority criterion
! style="background: #98ff98; font-weight: inherit;" | Yes
* Condorcet criterion
! style="background: #98ff98; font-weight: inherit;" | Yes
* Condorcet loser criterion
! style="background: #98ff98; font-weight: inherit;" | Yes
* Smith criterion
! style="background: #98ff98; font-weight: inherit;" | Yes
* Independence of irrelevant alternatives
! style="background: #98ff98; font-weight: inherit;" | Yes
* Independence of clones criterion
! style="background: #98ff98; font-weight: inherit;" | Yes
* Monotonicity criterion
! style="background: #98ff98; font-weight: inherit;" | Yes
* Reversal symmetry
! style="background: #98ff98; font-weight: inherit;" | Yes
* Pareto criterion
! style="background: #fd8787; font-weight: inherit;" | No
! style="background: #98ff98; font-weight: inherit;" | Yes
! style="background: #98ff98; font-weight: inherit;" | Yes
! style="background: #fd8787; font-weight: inherit;" | No
! style="background: #fd8787; font-weight: inherit;" | No
! style="background: #98ff98; font-weight: inherit;" | Yes
! style="background: #fd8787; font-weight: inherit;" | No
! style="background: #fd8787; font-weight: inherit;" | No
|}


<b>IIA*</b>: X is a set containing all the preferred candidates over B. If I add C a less appreciated candidate (in head-to-head) than the candidates in X, then all candidates in X continue to be preferred over B.
Criteria not met by DSV:


This method also passes [[ISDA]].
* Participation criterion
* Consistency criterion
* Later-no-harm criterion
* Later-no-help criterion
* Favorite betrayal criterion


The first two criteria not met are derived mainly from the fact that DSV wants to ensure the victory of the candidate who wins all the head-to-head (when it exists).
All the criteria not met are linked to the fact that, through tactical votes, it's possible add / remove a candidate from the [[Smith set]].


- add one more candidate into the [[Smith set]] isn't a big problem because that additional candidate must then beat all the other candidates in point 4 of the procedure (and if he manages to beat them all it makes sense that he wins).
The last 3 unmet criteria can instead generate tactical votes, described below.

- removing a candidate from the [[Smith set]] is only possible when that candidate lose all the head-to-head with the candidates contained in the [[Smith set]]. This actually becomes a problem only if the excluded candidate is the one who really should have won.

Below is an example in which, through tactical votes, it's possible to bring out a candidate, who should have won, from the [[Smith set]] (making him lose).


===Tactical votes===
===Tactical votes===
Line 122: Line 178:


This type of tactical vote works only if:
This type of tactical vote works only if:
* there is a condorcet paradox which includes at least 4 candidates.
* there is a [[Condorcet paradox]] which includes at least 4 candidates.
* through the tactical vote, the candidate who should have been the winner can be taken out of the Smith set.
* through the tactical vote, the candidate who should have been the winner can be taken out of the [[Smith set]].
* the new winner is actually a better candidate than the previous one (the new winner in the example could also be C).
* the new winner is actually a better candidate than the previous one (the new winner in the example could also be C).
* the voter has a fairly precise knowledge of the likely ballots result, without which this tactical vote would turn against him.
* the voter has a fairly precise knowledge of the likely ballots result, without which this tactical vote would turn against him.

[[Category:Smith-efficient Condorcet methods]]

Latest revision as of 00:58, 25 February 2020

Distributed Score Voting (DSV) is a Single-Winner and Multi-Winner Cardinal voting system.

In the Single-Winner part, it's similar to Smith//Score. In the Multi-Winner part, Distributed Multi-Voting, the more preferred the winning candidate is in a vote, the more the weight of that vote is decreased in the choice of the next winner.

Procedure

Voting

Each voter has 100 points to distribute among the candidates according to his preferences (it's also possible to write the vote even in a simpler form, with range from 0 to 5 points for each candidate).

All candidates in the vote have 0 points by default.

DSV counting

Counting the votes

W = 100 for all votes, at the beginning.

1) All head-to-head matches are conducted between candidates. In head-to-head, the candidate who has more points in a vote than his opponent receives W points from the vote. The candidate who gets the most points wins the head-to-head.

Graphically, each candidate is a node; the head-to-head is represented by an arrow, leaving the winning candidate, entering the losing candidate. The tie is represented as a double arrow entering, that is both candidates are considered losers.

2) Find the smallest set X (Smith set) of nodes that don’t have incoming arrows, coming from outside the set.

3) Convert the votes using the following formula:

M = highest score among the candidates in the vote, before normalization.

v0 = current value of candidate C, to be normalized.

v1 = value of candidate C, after normalization.

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{equation} v1=\frac{v0}{M} \cdot W \end{equation}}

Then remove all candidates not in X from the votes.

4) Add up the points for each candidate of the range votes, and the candidate who has the highest sum, wins.

The choice of the single winner ends here.

5) If you want to have more winners, then remove the single-winner from all original votes, repeating the whole procedure from point 1.

The value W of each original vote changes according to the following formula:

M = highest score among the candidates in the vote (before removing the candidate).

e = candidate's score eliminated.

W0 = previous value of W

W1 = new value of W

Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} W1=\frac{W0}{\left( 1+\frac{e}{M}\right)} \end{equation}}

By repeating this process several times, you can get as many winners as you like, which will be those removed in point 5.

6) If you want to know the % of victory of the winning candidates then, in each original vote, you must remove all the candidates who haven’t won, and normalize each vote with the following formula:

S = sum of the points left in the vote.

v0 = current value of candidate C, to be normalized.

v1 = value of candidate C, after normalization.

Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} v1=\frac{v0}{S} \cdot 100 \end{equation}}

The sum of points for each candidate will indicate the % of victory.

Head-to-head

In a head-to-head between candidates A and B, a vote like A[10], B[30], C[60], D[0] could be treated in 2 different forms:

1) A[25], B[75] or A[33] B[100]

This form is subject to some problems:

  • in a context with only one winner and two candidates, the voter is unlikely to want to distribute his points in that way.
  • greatly increase the tactical vote in which voters accumulate points on their preferred candidate.
  • prevent the DSV to meet the following criteria: majority criterion, majority loser criterion, mutual majority criterion.

2) A[0], B[100] that is, 0 to the minor and maximum to the major

This form avoids all the problems mentioned above.

Simplified vote writing

To make the writing of the vote more comprehensible and simple, the voter can be left with almost complete freedom in the use of numerical values or only X.

Before the counting process, the votes will be normalized to 100-point votes, where the Xs are considered as equal weight values.

Examples of how a vote can be written by the voter and subsequently, before the counting, converted into 100 points:

X,0,0,0,0 → 100,0,0,0,0

X,X,X,X,0 → 25,25,25,25,0

4,3,2,1,0 → 40,30,20,10,0

40,6,3,1,0 → 80,12,6,2,0

101,0,0,0,0 → 100,0,0,0,0

The complexity in writing the vote adapts to the voter, and it’s also noted that, if 101 or 99 points are mistakenly distributed, the vote will still be valid.

Criteria

Majority Maj. loser Mutual maj. Condorcet Cond. loser Smith Pareto IIA* IIA Clone proof Monotone Consistency Participation Reversal
symmetry
Later-no
Help
Favorite
betrayal
DSV
single-winner
Yes Yes Yes Yes Yes Yes Yes Yes No Yes Yes No No Yes No No

IIA*: X is a set containing all the preferred candidates over B. If I add C a less appreciated candidate (in head-to-head) than the candidates in X, then all candidates in X continue to be preferred over B.

This method also passes ISDA.

All the criteria not met are linked to the fact that, through tactical votes, it's possible add / remove a candidate from the Smith set.

- add one more candidate into the Smith set isn't a big problem because that additional candidate must then beat all the other candidates in point 4 of the procedure (and if he manages to beat them all it makes sense that he wins).

- removing a candidate from the Smith set is only possible when that candidate lose all the head-to-head with the candidates contained in the Smith set. This actually becomes a problem only if the excluded candidate is the one who really should have won.

Below is an example in which, through tactical votes, it's possible to bring out a candidate, who should have won, from the Smith set (making him lose).

Tactical votes

In an election, the results of the head-to-head are the following: A>B , B>C , C>D , D>A , A>C , D>B and in the end wins B.

A voter who in this case supported the candidates as follows: A>D>B>C he could change his vote as follows: A>D>C>B to favor C more than B (without disadvantaging A and D).

This tactical vote could cause B to lose head-to-head between B and C and in this case B would be the candidate who loses all head-to-head, being eliminated immediately. The winner would no longer be B.

This type of tactical vote works only if:

  • there is a Condorcet paradox which includes at least 4 candidates.
  • through the tactical vote, the candidate who should have been the winner can be taken out of the Smith set.
  • the new winner is actually a better candidate than the previous one (the new winner in the example could also be C).
  • the voter has a fairly precise knowledge of the likely ballots result, without which this tactical vote would turn against him.