teoria matemática das eleições: geometria e paradoxos

51
1 Teoria Matemática das Eleições: Geometria e Paradoxos Métodos finitos em Matemática, disciplina do Mestrado em Ensino da Matemática do Departamento de Matemática Pura da Faculdade de Ciências da Universidade do Porto

Upload: grazia

Post on 19-Jan-2016

113 views

Category:

Documents


1 download

DESCRIPTION

Teoria Matemática das Eleições: Geometria e Paradoxos. Métodos finitos em Matemática , disciplina do Mestrado em Ensino da Matemática do Departamento de Matemática Pura da Faculdade de Ciências da Universidade do Porto. Haverá alguma dificuldade em VOTAR?. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Teoria Matemática das Eleições: Geometria e Paradoxos

1

Teoria Matemática das Eleições: Geometria e

Paradoxos

Métodos finitos em Matemática, disciplina do

Mestrado em Ensino da Matemática do

Departamento de Matemática Pura da

Faculdade de Ciências da Universidade do Porto

Page 2: Teoria Matemática das Eleições: Geometria e Paradoxos

Haverá alguma dificuldade em VOTAR?

O que pode correr mal quando votamos?

Page 3: Teoria Matemática das Eleições: Geometria e Paradoxos

Gaius Plinius Caecilius Secundus, Plínio o Jovem (61 ou 62 - 113)

Page 4: Teoria Matemática das Eleições: Geometria e Paradoxos

“Uma moção foi colocada perante o Senado sobre os escravos libertos do consul Afranius Dexter que foi encontrado morto, ou pelas suas próprias mãos, ou pela mão dos seus escravos, morto num acto criminoso, ou em obediência aos seus desejos.”

“Uma pessoa (…) pensou que, depois do inquérito, deviam ser perdoados. Uma segunda pessoa pensou que deviam ser desterrados para uma ilha, uma terceira pessoa que deviam ser executados. A diversidade das propostas significa que tinham de ser votadas individualmente.”

Page 5: Teoria Matemática das Eleições: Geometria e Paradoxos

Suponhamos que a proporção das preferências era:Perdão - 40%Desterro - 35%Execução - 25%

E se a votação fosse apenas entre Perdão e Desterro?Ou apenas entre Perdão e Execução?Ou apenas entre Desterro e Execução?

Page 6: Teoria Matemática das Eleições: Geometria e Paradoxos

O matemático francês Jean-Charles Borda (1733-1799) foi o primeiro a estudar sistematicamente o problema. O que descobriu surpreendeu os seus contemporâneos. Olhando para o sistema eleitoral como um método de agregar opiniões para encontrar uma escolha colectiva, notou que métodos diferentes conduzem a resultados diferentes. O paradoxo de Borda, como veio a ser conhecido, foi muito discutido na época, sem se encontrar uma solução satisfatória.

Paradoxos

Page 7: Teoria Matemática das Eleições: Geometria e Paradoxos

Borda apresentou o problema à Academia Real Francesa em 16 de Junho de 1770. Colocou um exemplo em que 21 votantes escolhiam entre 3 candidatos. Considerou as preferências relativas de cada votante, isto é a forma como cada eleitor hierarquizava os candidatos. O que reparou foi que era possível eleger um candidato que a maioria dos eleitores colocava em último lugar. Bastava para isso que os votos dos outros dois estivessem suficientemente divididos.

Analisemos o exemplo apresentado por Borda. Onde significa que X é preferido a Y.X Y

O sistema usado nas democracias baseia-se no chamado voto plural, que é mais conhecido pela sigla “Um homem um voto”.

Page 8: Teoria Matemática das Eleições: Geometria e Paradoxos

Votos Preferência

1

7

7

6

A B C

A C B

B C A

C B A

Apenas uma pessoa coloca o candidato A em primeiro lugar, seguido do B e, depois, do C. Na segunda linha vemos que há 7 votantes que preferem o candidato A, que põem em segundo lugar o candidato C e em terceiro o B.

Neste exemplo, o candidato mais votado segundo o sistema plural (um homem um voto) é A, com 8 votos a favor, contra 7 em B e 6 em C.

No entanto, esse é o candidato mais detestado pela maioria do eleitorado, uma vez que 13 votantes em 21 o colocam em último lugar!

Consideremos a seguinte tabela com as preferências dos 21 eleitores de Borda:

Page 9: Teoria Matemática das Eleições: Geometria e Paradoxos

Voto pluralA ordenação das alternativas é feita contando, para cada uma, o número de boletins de voto em que esta ficou colocada em primeiro lugar. As alternativas são ordenadas por ordem crescente do correspondente número de votos obtidos.

Sistemas de votação

Sistema Sequencial aos Pares com AgendaDepois de acordada uma ordenação preliminar das alternativas, a que se chama uma agenda consideram-se os resultados de eleições de pares de alternativas, pela ordem dada na agenda, eliminando as derrotadas da agenda e prosseguindo até a agenda conter apenas um elemento. As alternativas são finalmente ordenadas por ordem inversa de eliminação da agenda.

Page 10: Teoria Matemática das Eleições: Geometria e Paradoxos

Sistemas de votação

Expresso, suplemento Economia

Sábado, 11 de Maio de 2002

Sistema de HareElimina(m)-se, em eleições sucessivas, a(s) alternativa(s) com o menor  número de primeiros lugares, sendo as alternativas ordenadas por ordem  inversa de eliminação.

Page 11: Teoria Matemática das Eleições: Geometria e Paradoxos

Sistemas de votação

Contagem de BordaAtribui-se a cada posição do boletim de voto, um número de pontos: 0 para a última, 1 para a penúltima, …, n-1 para a primeira. Os pontos “ganhos” por cada alternativa são totalizadas e as alternativas são ordenadas por ordem crescente de pontos obtidos.

Page 12: Teoria Matemática das Eleições: Geometria e Paradoxos

Analisemos um exemplo em onde quinze pessoas seleccionam a sua bebida preferida entre L (leite), C (cerveja), e V (vinho). As preferências dos eleitores são dadas pela tabela:

Votos Preferência

6

5

4

L V C

C V L

V C L

Será mesmo o leite a bebida preferida dos votantes?

Então o resultado da maioria (onde cada pessoa vota na sua bebida favorita) é:

L C V

Aparentemente, o leite é a bebida escolhida!

Problemas

Page 13: Teoria Matemática das Eleições: Geometria e Paradoxos

Se é, seria de esperar que os votantes preferissem o leite à cerveja. Mas como mostra a tabela seguinte, estes votantes preferem realmente a cerveja ao leite.

Votos Preferência Leite Cerveja

6 6 0

5 0 5

4 0 4

Total 6 9

L V C

B V L

V B C

Do mesmo modo, 9 votantes preferem o vinho ao leite e 10 preferem o vinho à cerveja. Isto cria uma contradição e uma potencial controvérsia entre os votantes, porque estas comparações entre pares sugerem que os eleitores preferem realmente o , o resultado oposto ao da maioria.V C L

O que correu mal?

Page 14: Teoria Matemática das Eleições: Geometria e Paradoxos

Modernamente chama-se a isso a eleição de um perdedor de Condorcet, isto é, de um candidato que perde em comparações bilaterais com todos os outros.

Aqui, o leite é preterido em relação à cerveja se apenas estas duas hipóteses se colocassem, era preterido de novo se só se colocasse a hipótese de escolha entre leite e vinho, mas era preferido se todas as hipóteses fossem colocadas em simultâneo.

No exemplo de Borda, o candidato A perdia as eleições se apenas as disputasse com o candidato B, perdê-las-ia de novo se apenas se defrontasse com o candidato C, mas ganhá-las-ia se fosse às urnas contra os dois em simultâneo.

Page 15: Teoria Matemática das Eleições: Geometria e Paradoxos

Marie Jean Antoine Nicolas de CaritatMarquês de Condorcet (1743-1794)

Método de CondorcetOs resultados são decididos estritamente nos termos de uma comparação entre pares de candidatos.O vencedor de Condorcet é o candidato que vence todos os candidatos restantes em eleições um contra um.

Sistemas de votação

Page 16: Teoria Matemática das Eleições: Geometria e Paradoxos

Sistema de votação (im)perfeito…

Votos Preferência

6

5

4

L V C

C V L

V C L

Consideremos, novamente, o perfil envolvendo 15 eleitores e 3 alternativas.

Plural

L

C

V

Procuremos as ordenações finais, para este perfil, usando cada um dos sistemas eleitorais acima descritos.

Contagem de Borda

L

V

C

6 2 5 0 4 0 12 6 0 5 2 4 1 14 6 1 5 1 4 2 19

Hare

C

L

V

S. S. P. A.

LVC

V

C

L

S. S. P. A.

VCL

L

V

C

Borda

V

C

L

Condorcet

V

C

L

Page 17: Teoria Matemática das Eleições: Geometria e Paradoxos

Conclusão…

Arranjar um processo, método ou algoritmo, um sistema eleitoral ou de votação, que decida, a partir do conjunto das listas de preferência, a que se chama o perfil eleitoral, uma ordenação das alternativas que reflicta o melhor possível as preferências dos eleitores

Desafio

O resultado de uma eleição pode depender bastante do sistema eleitoral usado!

Page 18: Teoria Matemática das Eleições: Geometria e Paradoxos

Condições…Numa primeira análise, as seguintes condições parecem ser imprescindíveis para que um sistema de votação democrático traduza as preferências dos eleitores:

Condição de Pareto (ou de unanimidade):Se a alternativa X ficou colocada acima da alternativa Y em todos os boletins de voto então na lista final deve ter-se .X Y

Monotonia: Se de uma eleição para outra, envolvendo os mesmos eleitores e os mesmos candidatos, a posição de um dos candidatos for alterada, em um ou mais boletins de voto, mas sempre a favor desse candidato, então a sua posição na ordenação final não deve ser inferior à posição em que ficou colocado na primeira eleição.

Critério do Vencedor de Condorcet (CVC):Se existir um vencedor de Condorcet, este deve ser o vencedor da eleição.

Page 19: Teoria Matemática das Eleições: Geometria e Paradoxos

Condições…

Simetrias:

Igualdade (ou Anonimato): Permutar as listas de preferência, sem as alterar, não deve ter nenhum efeito no resultado da eleição.

Neutralidade:Se todos os eleitores cometerem o erro de trocar as alternativas X e Y, então basta trocar X com Y no resultado final para corrigir o erro.

Independência das Alternativas Irrelevantes (IAI): Se em duas eleições distintas, envolvendo os mesmos eleitores e os mesmos candidatos, a ordem relativa de dois dos candidatos não foi alterada em nenhum boletim de voto, então a ordem relativa desses mesmos candidatos no resultado final deve ser a mesma.

Page 20: Teoria Matemática das Eleições: Geometria e Paradoxos

Questão:Será que algum dos métodos satisfaz estas condições?

Kenneth ArrowEm 1951, (prémio Nobel da Economia em 1972) provou o seguinte resultado:

Teorema:Não existe nenhum sistema de votação que satisfaça simultaneamente as condições de Pareto, IAI e igualdade! 

Ideia da demonstração:As condições de Pareto e a da Independência de Alternativas Irrelevantes conduzem a uma DITADURA!!!

Page 21: Teoria Matemática das Eleições: Geometria e Paradoxos

Exemplos…O Sistema Sequential aos Pares com Agenda não satisfaz a condição de Pareto!

4 4 4

A C B

B A D

D B C

C D A

ACD

Com agenda: ABCD.

Tem-se: ABCD CD D D C A B

D é o vencedor apesar de todos os eleitores preferirem B a D !

Considere-se o seguinte perfil:

Page 22: Teoria Matemática das Eleições: Geometria e Paradoxos

Exemplos…

O Sistema de Hare não satisfaz a condição de Monotonia!

Considere-se o seguinte par de eleições, em que na segunda delas 3 dos eleitores alteram os seus boletins de voto de para , uma mudança favorável a A, enquanto os outros eleitores não alteram as suas listas de preferências

B A C A B C

1ª Eleição

12 9 7 3

A C B B

B A C A

C B A C

2ª Eleição

15 9 7

A C B

B A C

C B A

Page 23: Teoria Matemática das Eleições: Geometria e Paradoxos

23

Exemplos…

1ª Volta

A: 12

B: 10

C: 9

12 9 7 3

A A B B

B B A A

2ª Volta

A: 21

B: 10

1ª Eleição

12 9 7 3

A C B B

B A C A

C B A C

2ª Eleição

15 9 7

A C B

B A C

C B A

1ª Volta

A: 15

B: 7

C: 9

15 9 7

A C C

C A A

2ª Volta

A: 15

B: 16

O candidato A, que ganhou a primeira eleição, perde a segunda quando só houve alterações a seu favor !

Page 24: Teoria Matemática das Eleições: Geometria e Paradoxos

Exemplos…A contagem de Borda não satisfaz IAI!

Considere-se o seguinte par de eleições, em que alguns dos eleitores (4) mudam a sua lista de preferências, mas ninguém altera a posição relativa de A versus B.

1ª Eleição

7 4

A C

B B

C A

2ª Eleição

7 4

A B

B C

C A

A: 14

B: 11

C: 8

A: 14

B: 15

C: 4

A B C B A C

Resultados:

Vê-se assim que a posição relativa de A e B é alterada de uma eleição para a outra.

Page 25: Teoria Matemática das Eleições: Geometria e Paradoxos

25

Sistema de votação (im)perfeito II

Sistemas/Condições Pareto CVC Mono IAI

Plural Sim Não Sim Não

Borda Sim Não Sim Não

Hare Sim Não Não Não

Seq. Pares c/ agenda Não Não Sim Não

Page 26: Teoria Matemática das Eleições: Geometria e Paradoxos

26

IAI não é realista…Teorema:Quando o número de candidatos (ou alternativas) é igual ou superior a 3, qualquer sistema que satisfaça as condições IAI e Pareto é um sistema que não admite empates.

Demonstração:Suponhamos que tal não acontecia, ou seja que existia um perfil para o qual há duas alternativas, X e Y, que resultam empatadas:

... ...

X Y

... ... ... ... ... X = Y

Y X

... ...

Na figura acima, a parte esquerda representa o perfil da eleição, ou seja o conjunto de todos os boletins de voto, havendo alguns onde a alternativa X está acima de Y e outros onde o contrário acontece, mas admite-se que uma dessas possibilidades não ocorra.

Page 27: Teoria Matemática das Eleições: Geometria e Paradoxos

27

Seja Z uma terceira alternativa qualquer (cuja existencia é garantida por uma das hipóteses feitas). Uma vez que o sistema satisfaz IAI e a condição de Pareto, resulta que se, numa nova eleição, os eleitores com X > Y colocassem Z entre X e Y, enquanto que aqueles com X < Y colocassem Z acima de Y, ter-se-ia:

  ...   ...      

  X   Z      

  ...   ...      

... Z ... Y ... X = Y , Z > Y

  ...   ...      

  Y    X      

  ...   ...    

e portanto Z > X

Page 28: Teoria Matemática das Eleições: Geometria e Paradoxos

28

Agora, se todos os eleitores trocarem Y com Z, o que não altera as posições relativas de X vs. Y e de X vs. Z...

... ...

X Y

... ...

... Y ... Z ... Z > X , X=Y

... ...

Z X

... ...

e portanto Z > Y…

o que contradiz a hipótese de o sistema verificar a condição de Pareto.

Page 29: Teoria Matemática das Eleições: Geometria e Paradoxos

29

O Critério de Condorcet não é inquestionável...Saari, dá um exemplo semelhante ao que se segue, mostrando que o vencedor de Condorcet não é invariante para a “adição de empates”.

31

A

B

C

+

10

A

C

B

10

B

A

C

31

A

B

C

32

B

A

C

22

B

A

C

10

C

B

A

10

A

C

B

10

C

B

A

A é o vencedor de Condorcet

(58.5%)

Perfil empatado

B é o vencedor de Condorcet (50.6%)

Isto mostra que a condição CVC não é tão indiscutivelmente razoável quanto possa parecer numa primeira análise...

Page 30: Teoria Matemática das Eleições: Geometria e Paradoxos

30

Geometria, Eleições e Paradoxos

Page 31: Teoria Matemática das Eleições: Geometria e Paradoxos

31

Page 32: Teoria Matemática das Eleições: Geometria e Paradoxos

32

Page 33: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Aos métodos que atribuem um número de pontos aos candidatos ordenados pela ordem de preferência do eleitor, chamamos métodos eleitorais posicionais.Quando normalizados para atribuir um único ponto ao candidato mais preferido de um eleitor, o ponto atribuído define um vector de voto . 1, , 0w

Page 34: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Consideremos o seguinte exemplo:

Page 35: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

3

2

1 6

5

4

C

BA

Perfis dos eleitores:

Page 36: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Page 37: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Resultados de eleições entre pares

Page 38: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Resultados de eleições entre pares - Paradoxos

Page 39: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Resultados de eleições entre pares - Paradoxos

Suponhamos que só um eleitor numa população grande (n eleitores) tem tipo 3:

Page 40: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Probabilidades - Paradoxos

Caso discreto:

Page 41: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Probabilidades - Paradoxos

Caso discreto:

Page 42: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Probabilidades - Paradoxos

Caso discreto:

Page 43: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Probabilidades - Paradoxos

Resultados Posicionais:

Os registos de para todos os candidatos são:w

Page 44: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Probabilidades - Paradoxos

Resultados Posicionais:

Os resultados para todos os pares de candidatos são:

Page 45: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

Paradoxos

Apesar do método plural e da eleição um contra um

identificarem o mesmo candidato como sendo o

melhor classificado e deste facto parecer abonar a

favor do método uninominal, não devemos esquecer

que o ranking de um perfil por unanimidade

também assemelha-se bastante importante,

devendo assim esperar que os resultados da eleição

favoreçam os três tipos particulares representados

no perfil.

Resultados Posicionais:

Page 46: Teoria Matemática das Eleições: Geometria e Paradoxos

Teoria Matemática das Eleições

“Nas questões matemáticas não se compreende a

incerteza nem a dúvida, assim como tão pouco se

podem estabelecer distinções entre verdades

médias e verdades de grau superior.”

Hilbert

Page 47: Teoria Matemática das Eleições: Geometria e Paradoxos

Lewis Carrol (1876)

• (as eleições) “são mais um jogo de habilidade que um teste real aos desejos dos eleitores.”

• “na minha opinião é preferível que as eleições sejam decididas de acordo com os desejos da maioria do que os daqueles que têm mais habilidade no jogo, por isso penso ser desejável que todos devam saber as regras pelas quais este jogo se pode ganhar.”

Page 48: Teoria Matemática das Eleições: Geometria e Paradoxos

Referências Bibliográficas

ASSUNÇÃO, J. B.2002 O Plebescito Francês. Caderno Economia do

Semanário Expresso de 11 de Maio de 2002BUESCU, J.

2001 O Mistério do Bilhete de identidade e Outras Histórias, crónicas as Fronteiras das

Ciências. Gradiva. LisboaCONDORCET, J.-M.

1785 Éssai sur l’application de l’analyse à la probabilité des décisions rendues à la pluralité des voix. ParisCONDORCET, J.-M.

1789 Sur la forme des élections. Paris

Page 49: Teoria Matemática das Eleições: Geometria e Paradoxos

Referências Bibliográficas

CRATO, N.2002 Paradoxos eleitorais. Revista do Semanário

Expresso do dia 13 de Fevereiro de 2002GEANAKOPLOS, J

2001 Three Brief Proofs of ARROW’S IMPOSSIBILITY THEOREM. Cowles Foundation Discussion Paper No. 1123RRR. Cowles Foundation For Research In Economics. Yale UniversityMACHIAVELO, A.

2004 Sistemas de votação,www.fc.up.pt\cmup\home\machia\

SistemasVot.html Página acedida em 18 de Janeiro de 2004SAARI, D.

1991 A Fourth Grade Experience. CiteSeer (?)

Page 50: Teoria Matemática das Eleições: Geometria e Paradoxos

Referências Bibliográficas

SAARI, D.1995 Basic Geometry of Voting. Springer-Verlag

SAARI, D.1997 Are Individual Rights Possible?. Mathematics

Magazine; Vol. 70, No. 2; 83-92 SAARI, D.

1997 The Symmetry and Complexity of Elections. Complexity 2; 13-21

SAARI, D. & VALOGNES, F.1998 Geometry, Voting, and Paradoxes.

Mathematics Magazine; Vol. 71, No. 4; 243-259SAARI, D.

2001 ChaoticElections!A Mathematician Looks at Voting. Americam Mathematical

Society

Page 51: Teoria Matemática das Eleições: Geometria e Paradoxos

Referências Bibliográficas

SAARI, D. & BARNEY, S.2003 Consequences os Reversing Preferences.

Mathematical Intelligencer; Vol. 25, No. 4; 32-42TAYLOR, A. D.

1995 Mathematics and Politics – Stategy, Voting, Power and Proff. Springer-Verlag

TAYLOR, A. D.2002 The manipulability of voting systems, to

appear in The American. Mathematical Monthly, 109 (April), 321- 337