Eleições da Fundação Wikimedia/Voto único transferível
A SecurePoll agora oferece suporte ao método de voto único transferível (VUT), um método de votação classificado que permite que os eleitores especifiquem os candidatos que desejam ver eleitos em ordem de preferência. Para a SecurePoll, selecionamos o algoritmo de Meek com o quociente de Droop.
O algoritmo de Meek é a implementação mais popular para eleições sob VUT e é usada por várias organizações e governos em suas eleições. O exemplo abaixo usa uma implementação de VUT mais simplificada (VUT escocês) para explicar o conceito geral. Veja uma descrição mais precisa do método exato seguido na implementação.
Eleições da Wikimedia que utilizam o VUT
Eleição de exemplo
- Candidatos: Jacaré, Tamanduá, Gato, Cachorro
- Assentos: 2
- Eleitores: 7
| Eleitores | Jacaré | Tamanduá | Gato | Cachorro |
|---|---|---|---|---|
| Eleitor 1 | - | 3.ª preferência | 2.ª preferência | 1.ª preferência |
| Eleitor 2 | 4.ª preferência | 2.ª preferência | 3.ª preferência | 1.ª preferência |
| Eleitor 3 | 1.ª preferência | 3.ª preferência | 4.ª preferência | 2.ª preferência |
| Eleitor 4 | 1.ª preferência | 2.ª preferência | 3.ª preferência | 4.ª preferência |
| Eleitor 5 | 3.ª preferência | 1.ª preferência | 4.ª preferência | 2.ª preferência |
| Eleitor 6 | 1.ª preferência | 2.ª preferência | - | - |
| Eleitor 7 | 1.ª preferência | 4.ª preferência | 2.ª preferência | 3.ª preferência |
Quociente de Droop = piso(total de votos válidos / (assentos + 1)) = piso(7 / (2 + 1)) + 1 = 3
Turno 1
- Jacaré: 4 votos – Candidato eleito
- Tamanduá: 1 voto – Tem chance de ser eleito
- Gato: 0 votos – Candidato eliminado
- Cachorro: 2 votos – Tem chance de ser eleito
No Turno 1, consideramos os votos de 1.ª preferência de cada eleitor. Jacaré atingiu o quociente de Droop, portanto Jacaré é declarado eleito.
Turno 2
- Jacaré: Já eleito
- Tamanduá: 1 + 0,5 = 1,5 voto
- Gato: 0 + 0,25 = 0,25 votos – Já eliminado
- Cachorro: 2 + 0,25 = 2,25 votos
Jacaré tem 1 voto excedente que será redistribuído de acordo com a 2.ª preferência dos eleitores.
Analisando todos os votos de Jacaré – 2 eleitores escolheram Tamanduá em 2.º lugar, 1 eleitor escolheu Gato em 2.º lugar e 1 eleitor escolheu Cachorro em 2.º lugar.
O voto excedente de Jacaré é dividido proporcionalmente. Tamanduá recebe 0,5, Gato recebe 0,25 e Cachorro também recebe 0,25 voto adicional.
Como nenhum candidato atinge o quociente de Droop, o candidato com o menor número de votos (Gato) será eliminado e esses votos serão transferidos proporcionalmente.
Turno 3
- Jacaré: Já eleito
- Tamanduá: 1 + 0,5 + 0 = 1,5 voto = Segundo candidato eliminado
- Gato: Já eliminado
- Cachorro: 2 + 0,25 + 0,25 = 2,5 votos
Gato teve o menor número de votos e, portanto, foi eliminado. Como o Eleitor 7 tem Cachorro como sua 3.ª opção, depois de Jacaré (já eleito) e Gato (já eliminado), todos os votos de Gato são transferidos para Cachorro.
Como ninguém atinge o quociente de Droop, mais uma vez o candidato com menos votos será eliminado. Portanto, Tamanduá é eliminado.
Turno 4
- Jacaré: Eleito
- Tamanduá: Eliminado
- Gato: Eliminado
- Cachorro: 2 + 0,25 + 1,5 = 3,75 votos – Segundo candidato eleito
Tamanduá recebeu o menor número de votos e, portanto, foi eliminado. Como os eleitores 4 e 5 têm Cachorro depois de Tamanduá em seu perfil de voto, uma fração de seus votos é transferida para Cachorro, mas como o eleitor 6 não especificou nenhum outro candidato além de Jacaré e Tamanduá (já eleitos ou eliminados), um quarto de seu voto se esgota.
Cachorro alcança 3,75 votos, o que está acima do limite, sendo assim declarado eleito.
Resultado
Em conclusão, temos dois candidatos eleitos e dois candidatos que foram eliminados:
- Candidatos eleitos: Jacaré e Cachorro
- Eliminados: Tamanduá e Gato
Vale notar
- Se nenhum candidato atingir o quociente de Droop em um turno, o candidato com os votos mais baixos é eliminado e seus votos são redistribuídos entre os candidatos restantes de acordo com as preferências classificadas do eleitor.
- Se dois ou mais candidatos empatarem para eliminação no turno final com uma vaga restante, o software permite que os administradores ou o comitê da eleição façam um julgamento sobre como desempatar.
- Observe que o exemplo acima é simplificado. Em um cálculo real, o quociente de Droop é recalculado a cada turno.
- Se dois ou mais candidatos empatarem para eliminação em um dos turnos intermediários, seguiremos a “regra de exclusão de atalhos” (ou short-cut exclusion rule), conforme descrito neste trabalho acadêmico. Essa regra nos permite eliminar candidatos quando for matematicamente garantido que eles nunca poderão vencer. Isso ocorrerá quando os votos do candidato não excederem os votos do próximo melhor candidato, mesmo quando lhe forem atribuídos todos os votos excedentes pendentes. Esse parece ser um método mais justo para decidir as eliminações em comparação com a eliminação aleatória de um candidato em caso de empate. Um exemplo com uma eleição maior. Observe que o OpaVote/OpenSTV usa eliminações pseudo-aleatórias quando se trata de empates. Portanto, seus resultados podem ser diferentes dos nossos em caso de empate.
- Se um eleitor já estiver conectado à wiki de votação, ele poderá ver um erro ao tentar votar acessando o servidor de votação a partir de sua wiki de origem. Isso pode ser corrigido voltando à wiki de origem e tentando novamente. Esse é um bug conhecido que estamos trabalhando para corrigir.
- Nota: Durante o processo de contagem, números com alta precisão podem não ser apresentados com exatidão na página de contagem. Estamos usando a linguagem PHP no backend, a qual suporta precisão numérica extremamente alta. Isso não é fácil de representar na interface; no entanto, pode afetar as eliminações e eleições sem que o processo seja óbvio para o usuário final. Por exemplo, se em um turno o Candidato A tiver 86,0000000003 votos e o Candidato B tiver 86,0000000004, ambos poderão ser apresentados como tendo “86” votos, porém o Candidato A será eliminado por ter menos votos que o Candidato B quando o número completo for comparado.