Escolar Documentos
Profissional Documentos
Cultura Documentos
1. Introduo
uma grande honra ter sido convidada para proferir esta aula magna.
Agradeo aos organizadores desse encontro pelo convite, que aceitei como um
desafio. S sei falar sobre meus artigos, que so muito tcnicos e portanto um
tal discurso no seria adequado nesta ocasio. Sugeriram-me que falasse sobre
minha trajetria. Em refletindo sobre ela, a figura de um grande economista
matemtico aflorou em minha mente, como parte obrigatria dos cenrios que
as minhas lembranas evocaram. Seu nome, David Gale.
De renome internacional, vrias vezes cogitado para o prmio Nobel
em Economia, representou, por mais de 50 anos, um papel de liderana
no desenvolvimento de alguns dos temas de importncia fundamental na
matemtica, pura e aplicada, na teoria econmica e na teoria dos jogos. Atravs
de seus trabalhos ele estabeleceu padres para geraes de pesquisadores em
todos esses campos. Escreveu cerca de 100 artigos, muitos dos quais foram
obras mestras. O seu livro, The Theory of Linear Economic Models permanece
como referncia bsica. Seu nome est ligado ao surgimento da teoria dos
jogos de matching, minha atual rea de pesquisas. O meu percurso nesta rea
contou com o seu apoio incomensurvel. Decidi ento rememorar aqui alguns
dos encontros com David Gale que, marcados pela sabedoria e generosidade
deste grande cientista, influenciaram a minha carreira. Dedico esta aula magna
sua memria.
Como todos sabemos, a importncia da Teoria dos Jogos para a Economia
indiscutvel. Basta citar os 9 prmios Nobel em Economia concedidos a
especialistas nesta rea: J. Nash, J. Harsanyi, R. Selten, W. Vickrey, R.
Aumann, T. Shelling, R. Myerson, L. Hurwicz,e E. Maskin.
A teoria dos jogos tem inmeras sub-reas. Recentemente editei a sesso
de teoria dos jogos da Encyclopedia of Complexity Science, publicada pela
? Dedicado memria de David Gale (1921-2008). E-mail address: marildas@usp.br
Revista EconomiA
Janeiro/Abril 2013
Marilda Sotomayor
254
homem tem uma lista ordenada de preferncias sobre as mulheres com as quais
aceitaria se casar. Cada mulher tem uma lista ordenada de preferncias sobre
os homens com os quais gostaria de contrair matrimnio. A grosso modo, um
matching estvel se prova de divrcio. Isto , no existe um homem e uma
mulher, no associados pelo matching, e que se preferem mutuamente aos seus
cnjuges. A interpretao a natural. Se existir um tal casal, os dois fariam
melhor se se divorciassem de seus cnjuges e se casassem um com o outro. O
algoritmo de Gale e Shapley pode ser descrito brevemente como segue.
Para comear, cada homem se candidata sua mulher favorita, isto ,
primeira mulher de sua lista de preferncias de mulheres aceitveis. Cada
mulher rejeita a proposta de qualquer homem inaceitvel para ela. Cada mulher
que recebe mais de uma proposta aceitvel aceita a mais preferida e rejeita as
demais. Os homens rejeitados se candidatam sua segunda mulher preferida.
Novamente, cada mulher que recebe mais de uma proposta aceitvel aceita a
mais preferida e rejeita as demais, etc. O algoritmo pra depois de qualquer
etapa em que nenhum homem for rejeitado. Neste ponto, todo homem ou
est comprometido com alguma mulher ou foi rejeitado por todas as mulheres
de sua lista de mulheres aceitveis e fica solteiro. Um conjunto de parcerias
(casamentos monogmicos) so ento formadas, em que uma mulher que no
recebeu nenhuma proposta aceitvel fica solteira.
O algoritmo deve eventualmente parar, porque existe somente um nmero
finito de homens e mulheres e nenhum homem se candidata mais de uma vez
mesma mulher. O resultado do algoritmo um matching, desde que, em cada
etapa, cada homem estar comprometido com uma mulher no mximo e cada
mulher ter aceito um homem, no mximo. Este matching individualmente
racional, desde que todo homem se candidata somente a mulheres aceitveis de
uma lista de preferncias e toda mulher que recebe uma oferta inaceitvel para
ele a rejeita. Assim, para ver que o matching estvel, suponha que existam
um homem m e uma mulher w tais que m prefere w sua parceira no matching
(que pode ser ele mesmo, no caso de ele estar solteiro). Ento, m se candidatou
a w em alguma etapa do algoritmo e w o rejeitou em benefcio de algum outro
homem que ela prefere a m. Pela transitividade das preferncias, w prefere o
homem dado a ela pelo matching a m, logo m e w no podem causar uma
instabilidade.
Gale e Shapley mostraram que o matching produzido com os homens fazendo
as ofertas o matching estvel mais preferido por todos os homens e o menos
preferido por todas as mulheres a qualquer matching estvel. Este matching
chamado matching estvel timo para os homens. Revertendo-se os papis
entre homens e mulheres no algoritmo, obtm-se o matching estvel timo para
as mulheres, com propriedades simtricas.
De uma maneira natural podemos retornar ao modelo de admisso dos
estudantes s Universidades e obter o matching estvel timo para os estudantes
e o timo para as Universidades.
O meu interesse por essa rea de pesquisas foi despertado em 1983, no
EconomiA, Braslia(DF), v.14, n.1A, p.253264, jan/abr 2013
255
Marilda Sotomayor
4. O Segundo Encontro
Nesse segundo encontro, Gale me respondeu que estava interessado em
matching e deu-me trs artigos e um livro para ler. Um dos artigos era o
artigo seminal de sua autoria com Shapley. O segundo artigo era de Dubins e
Freedman, publicado em1981, que continha um teorema cuja demonstrao
tinha originalmente 20 pginas. O terceiro artigo, de Demange e Gale, foi
publicado no ano seguinte na Econometrica. Tratava de um modelo de matching
contnuo, em que as preferncias dos agentes so dadas por funes utilidade
contnuas na varivel dinheiro. O livro, de autoria de Donald Knuth, escrito em
francs e publicado em 1976, tratava da teoria de algoritmos e tinha um dos
captulos sobre o modelo do casamento.
No necessrio dizer quo estranho me pareceu o modelo do casamento.
Algumas semanas depois desse encontro devolvi a Gale o material que me
emprestara. Eu no tinha nenhuma ideia do que fazer com todo aquele
conhecimento novo, mas tinha a esperana de que Gale pudesse me apontar
alguma direo. Tive ento um outro desapontamento. Bem, disse ele, eu no
tenho nenhum problema para voc... Quando j estava saindo de sua sala ele
me chamou de volta com um papel nas mos: O nico problema que tenho
este lema que estou tentando demonstrar h algum tempo. Dubins e Freedman
demonstraram o seu teorema em 20 pginas. Se este lema for verdadeiro ser
possvel demonstrar o teorema de Dubins e Freedman em trs linhas. Seria
timo ter uma demonstrao mais curta desse resultado porque ento se poderia
ensin-lo em apenas uma aula, disse ele.
O teorema de Dubins e Freedman conhecido como o teorema da
no-manipulabilidade. Suponha que uma central pea a cada estudante e
universidade as suas listas de preferncias e use o algoritmo de Gale e Shapley
para produzir o matching estvel timo para os estudantes. O teorema diz que
nenhum estudante pode, mudando as suas verdadeiras preferncias, obter uma
Universidade que seja mais preferida do que a Universidade que teria obtido
se tivesse informado central suas verdadeiras preferncias. Mais ainda, se um
grupo de estudantes mudar as suas preferncias, pelo menos um do grupo no
ser bem sucedido.
Este teorema foi a pedra fundamental para o estudo dos aspectos estratgicos
EconomiA, Braslia(DF), v.14, n.1A, p.253264, jan/abr 2013
257
Marilda Sotomayor
259
Marilda Sotomayor
tomei coragem e lhe falei sobre minhas preocupaes. Mas ele me surpreendeu
com seu tom paternal: Eu tambm j tive que lidar com este tipo de problema.
Voc gosta do que faz? Sim, eu gosto muito, respondi. Ento no se preocupe
com o rtulo.
Na verdade, o que David Gale estava tentando me fazer entender era que
o trabalho de um cientista vai muito alm de contribuir para as teorias j
conhecidas e estabelecidas... O fato que uma teoria cientfica nova, poderosa
e elegante estava tomando corpo desde o artigo seminal de Gale e Shapley de
1962 e se desenvolvendo de modo a se tornar um dos ramos da teoria dos jogos
que mais aplicaes economia viria a ter.
Mesmo embora eu no tivesse nenhuma noo da repercusso de nossos
resultados, sentia-me orgulhosa de colaborar com David Gale.
Aquela conversa fez-me acreditar que eu estava fazendo a escolha correta...
Uma alocao est no ncleo se nenhuma coalizo de agentes pode se desviar lucrativamente da
dada alocao, interagindo somente entre si.
EconomiA, Braslia(DF), v.14, n.1A, p.253264, jan/abr 2013
261
Marilda Sotomayor
doutorado de 21 anos chamado John Nash. Um dia, Nash entrou na sala de Gale
com seu famoso teorema que apresentava condies suficientes para a existncia
de equilbrio estratgico. Sua demonstrao usava o teorema do ponto fixo
de Brower. Imediatamente David reconheceu a relevncia daquele resultado.
Estes fatos me foram relatados por ele em um de nossos encontros quando
o visitei em 1997. Ele comeou assim: Eu fui orientador de Nash durante
um curto perodo de tempo... Em 1998, em Stony Brook, Nash contou-me
o final deste episdio. David Gale me apresentou o teorema do ponto fixo
de Kakutani. Na verdade, Gale trouxe para Nash uma nova e mais simples
demonstrao, que transformou o resultado de Nash em uma aplicao direta e
imediata do teorema do ponto fixo de Kakutani. As duas demonstraes foram
publicadas em duas revistas diferentes (Proceedings of the National Academy
of Sciences e Annals of Mathematics) e Nash fez um comentrio, agradecendo,
sobre a demonstrao de Gale numa nota ao rodap. Em 2007, no discurso de
Nash durante o Gales Feast, Nash contou, publicamente e pela primeira vez,
o episdio inteiro.
263
Marilda Sotomayor
264