Teoria Juegos

aaep_11:aaep_11
21/9/11
11:08
Pgina I
PROGRESOS EN
TEORA DE LOS JUEGOS
Y SUS APLICACIONES
Compiladores:
Leandro Arozamena
Federico Weinschelbaum
Autores:
Leandro Arozamena
Alejandro Neme
Jorge Oviedo
Fernando Tohm
Serie Progresos en Economa
Asociacin Argentina
de Economa Poltica
Arozamena, Leandro
Progresos en teora de los juegos y sus aplicaciones / Leandro Arozamena
y Federico Weinschelbaum. - 1a ed. - Buenos Aires : Temas Grupo Editorial, 2011.
100 p. ; 22x15 cm.
ISBN 978-987-1826-08-7
1. Empresas. I. Weinschelbaum, Federico II. Ttulo
CDD 650
Fecha de catalogacin: 05/10/2011

AAEP Asociacin Argentina de Economa Poltica
Avda. Crdoba 637 piso 4
C1054AAF - Ciudad de Buenos Aires, Argentina
Temas Grupo Editorial SRL, 2011
Cerrito 136 Piso 3A
C1010AAD - Buenos Aires, Argentina
www.editorialtemas.com
Derechos reservados en el idioma espaol
1 edicin, octubre de 2011
Comit TEMAS Grupo Editorial
Direccin: Jorge Scarfi
Coordinacin general: Julieta Codugnello
Produccin editorial: Ins Shute Dinamarca
Diagramacin: Karin Bremer
ISBN 978-987-1826-08-7
Queda hecho el depsito que previene la ley 11.723
Impreso en Argentina.
Esta edicin se termin de imprimir en el mes de octubre de 2011
en Bibliografika de Voros S.A. Bucarelli 1160, Buenos Aires.
Queda prohibida la reproduccin total o parcial de los contenidos de este libro en
cualquier forma y medio sin previo permiso por escrito de los autores y/o titulares de Copyright.
aaep_11:aaep_11
21/9/11
11:08
Pgina III
NDICE
Breve historia de la AAEP
Consejo Directivo de la Asociacin Argentina de Economa Poltica
IX
Sobre los autores
XI
Introduccin
1. Favoritismo en Subastas
Leandro Arozamena y Federico Weinschelbaum
2. Bienes Privados: Reglas no Manipulables

Alejandro Neme
31
3. Modelos de Asignacin en Mercados Bilaterales

Jorge Oviedo
59
4. Consideraciones Epistmicas en Juegos: Nociones de Solucin

y Conocimiento
Fernando Tohm
87
aaep_11:aaep_11
21/9/11
11:08
Pgina IV
aaep_11:aaep_11
21/9/11
11:08
Pgina V
BREVE HISTORIA DE LA AAEP
La AAEP fue fundada en 1957 por los Dres. Juan E. Alemann, Roberto Alemann,
Julio Broide, Benjamn Cornejo, Aldo Ferrer, Juan J. Guaresti (h), Carlos C. Helbling, Carlos Moyano Llerena, Julio H. G. Olivera, Federico Pinedo, Oreste Popescu, Ovidio Schiopetto, Francisco Valsecchi y el Ing. Francisco Garca Olano.
El origen de la AAEP se remonta a sendas invitaciones cursadas por los Dres.
Adolph Jhr y Louis Baudin, a mediados de la dcada de los cincuenta, a los
Dres. Oreste Popescu y Julio H. G. Olivera*. Jhr y Baudin, por entonces pertenecientes a la International Economic Association, sugirieron constituir una asociacin representativa de los investigadores en economa poltica. La convergencia de iniciativas de los Dres. Popescu y Olivera se cristaliz, el 26 de setiembre
de 1957, con la decisin de crear la AAEP. El Dr. Olivera llev adelante la ejecucin de la fundacin, la que tuvo lugar formalmente el 18 de noviembre del mismo ao.
La historia de la Asociacin puede dividirse en tres fases. Durante la primera
etapa (1957-1965) la actividad se tradujo en encuentros peridicos para la discusin de temas especficos. En 1958 se realiz la primera reunin de anlisis econmico. Durante este perodo la AAEP constituy varios centros regionales. La
segunda etapa (1966-1972) se caracteriz por la incorporacin a la AAEP de
representantes de centros e institutos de investigacin. A partir de entonces, las reuniones de centros de investigacin econmica se realizaron en el marco de la AAEP.
Se inici en 1968 la rotacin de la sede y de las autoridades ejecutivas entre los
principales centros. En 1972 tuvo lugar la ltima reunin de la AAEP organizada
sobre la base de trabajos de los centros e institutos de investigacin. Desde 1973
hasta el presente la AAEP se encuentra en su tercera etapa, con su sede permanente en la ciudad de Buenos Aires. La AAEP es una institucin formada por investigadores y acadmicos en economa y que interacta en forma directa con los
mismos. Ell espritu de una amplia representacin institucional y regional ha quedado impreso en la actividad de la AAEP y, en especial, en la prctica de las Reuniones Anuales.
Desde su fundacin, la AAEP fue presidida por Julio H. G. Olivera (1957/68),
Benjamn Cornejo (1968/70), Vctor J. Elas (1970/72 y 1978/80), Miguel E. Martnez (1972/74), Horacio Nez Miana (1974/76), Aldo A. Arnaudo (1976/78),
Rolf R. Mantel (1980/82), Mario L. Szychowski (1982/84), Ana M. Martirena
aaep_11:aaep_11
VI
21/9/11
11:08
Pgina VI
Progresos en Teora de los Juegos y sus Aplicaciones
Mantel (1984/86), Luisa Montuschi (1986/88), Alfredo M. Navarro (1988/90),

Rinaldo Colom (1990/92), Juan C. De Pablo (1992/94), Eusebio C. Del Rey
(1994/96), Enrique A. Bour (1996/98), Jos A. Delfino (1998/00), Hildegart
Ahumada (2000/02), Jos Luis Arrufat (2002/04), Omar O. Chisari (2004/06),
Alberto Porto (2006/08) y Daniel Heymann (2008/10).
Qu es la Asociacin Argentina de Economa Poltica

La principal actividad de la AAEP es la celebracin de una Reunin Anual de discusin de trabajos realizados en el mbito de la economa, tanto por socios como
por no socios, la que tradicionalmente se realiza el mes de noviembre de cada ao
en distintas ciudades del pas, en consulta y cooperacin con universidades y centros de investigacin econmica de la Argentina. En dichas reuniones han participado economistas del pas e invitados de otros pases, incluyendo prestigiosos
economistas extranjeros como Albert Berry, Michael Bruno, Vittorio Corbo, Jacques Drze, Stanley Fischer, Roger Guesnerie, Arnold Harberger, Hendrik Houthakker, Jean Jacques Laffont, Axel Leijonhufvud, James Mirrlees, F. Modigliani,
Marc Nerlove, Luigi Pasinetti, Sherwin. Rosen, Pablo Spiller, James Tobin, Wallace Oates, Victor Volsky, Edward Prescott, T.N. Srinivasan, Finn Kydland, Aloisio
Araujo, Stan Metcalfe, Jan Brueckner, Paul Klemperer, Andreu Mas-Colell, Salvador Barber. Los trabajos son aceptados por una comisin de socios de reconocidos mritos cientficos y acadmicos, designada por el Consejo Directivo.
Los recursos de la AAEP provienen de las cuotas sociales y de los aportes de
entidades adherentes. Actualmente la AAEP cuenta con ms de 500 socios activos
y 17 entidades adherentes: Academia Nacional de Ciencias Econmicas (ANCE),
Banco Central de la Repblica Argentina (BCRA), Centro de Estudios de Estado
y Sociedad (Cedes), Comisin Econmica para Amrica Latina y el Caribe (CEPAL),
DePablo Consult, Fundacin de Investigaciones Econmicas Latinoamericanas
(FIEL), Fundacin Capital, Instituto Torcuato Di Tella (ITDT), Orlando J. Ferreres y Asociados, Universidad de Buenos Aires (UBA), Universidad del CEMA
(UCEMA), Universidad de San Andrs (UdeSA), Universidad Nacional de Crdoba (UNC), Universidad Nacional de Cuyo (UNCu), Universidad Nacional de
La Plata (UNLP), Universidad Nacional de Salta (UNSa) y Universidad Nacional
del Sur (UNS).
Desde 1964, la AAEP ha llevado adelante 43 Reuniones Anuales en las cuales
han sido presentados y discutidos, en un marco de total libertad acadmica, ms
de dos mil quinientos trabajos de investigacin. Los trabajos presentados en cada
aaep_11:aaep_11
21/9/11
11:08
Pgina VII
Breve historia de la AAEP
VII
Reunin Anual son editados en los Anales de la Asociacin Argentina de Economa Poltica. A estos trabajos hay que sumar los trabajos presentados antes de
1964 y en reuniones cientficas, no incluidos en Anales. Los trabajos y comentarios estn incluidos tambin en el web site de la AAEP en Internet. La AAEP no
es responsable ni de las opiniones incluidas en los Anales, ni de su proteccin
intelectual.
La AAEP tambin organiza, en forma no sistemtica, reuniones cientficas a
lo largo del ao, en colaboracin con otros organismos. Es miembro de la International Economic Association y desde el ao 2008 ha lanzado la iniciativa de
realizar el ciclo de seminarios de Progresos en Economa con el objeto de contribuir a la creacin y fortalecimiento de vnculos con las Universidades que den bienvenida a dichos eventos.
El Consejo Directivo de la AAEP es el rgano de gobierno de la AAEP, y est
compuesto de un presidente, dos secretarios y nueve vocales, provenientes de distintos organismos y regiones del pas. Al momento de la edicin de este libro el
Consejo Directivo est integrado por: Ernesto Rezk (Presidente), Mnica Panadeiros (Secretaria), Adrin Ramos (Secretario), Mara Cecilia Gname y Jorge
Paz (Secretarios Suplentes), Federico Weinschelbaum, Laura DAmato, Carlos
Dabs, Luca Quesada, Elizabeth Pasteris de Solavallone, Andrs Lpez, Marcos
Gallacher, Vctor Elas y Cecilia Rumi (Vocales). Son Vocales Suplentes Roxana
Mauricio, Florencia Granato, Daniel Maceira, Jorge Oviedo, Graciela Mara del Carmen Garca, Marcelo Resico, Eduardo Fracchia, Gustavo Ferro y Miriam Bergs.
Julio H. G. Olivera es Presidente Honorario de la AAEP y los Profesores
Albert Berry, Vittorio Corbo, Jacques Drze, Roger Guesnerie, Arnold Harberger,
Jean-Jacques Laffont, Axel Leijonhufvud, James Mirrlees, Marc Nerlove, Alberto Petrecolla, Pablo Spiller, T.N. Srinivasan, Aloisio Araujo, Finn Kydland, Stan
Metcalfe, Jan Brueckner, Paul Klemperer, Andreu Mas-Colell y Salvador Barber han sido declarados Miembros Honorarios de la Asociacin.
Sede de la AAEP
Av. Crdoba 637 - 4 piso - (1054) Buenos Aires - Argentina
Tel. (5411) 4314-0246 Fax (5411) 4314-8648 E-mail [email protected]
Web-Site de la AAEP en INTERNET: http://www.aaep.org.ar
* Para esta seccin, vase J. H. G. Olivera, La Asociacin Argentina de Economa Poltica: los Aos
Iniciales, Anales de la A.A.E.P. , XXIIa. Reunin Anual, Universidad Nacional de Crdoba, 1987, vol.1.
aaep_11:aaep_11
21/9/11
11:08
Pgina VIII
aaep_11:aaep_11
21/9/11
11:08
Pgina IX
CONSEJO DIRECTIVO DE LA
ASOCIACIN ARGENTINA DE ECONOMA POLTICA
2010/2011
Presidente
Ernesto Rezk (UNC)
Secretarios titulares
Mnica Panadeiros (FIEL)
Adrin Ramos (CEPAL)
Secretarios suplentes
Mara Cecilia Gname (UNC)
Jorge Paz (UNSa)
Vocales titulares
Federico Weinschelbaum (UdeSA)
Laura DAmato (BCRA)
Carlos Dabs (UNS)
Luca Quesada (UTDT)
Elizabeth Pasteris de Solavallone (UNCu)
Andrs Lpez (UBA)
Marcos Gallacher (UCEMA)
Vctor Elas (UNT)
Cecilia Rumi (UNLP)
Vocales suplentes
Roxana Mauricio (Univ. Gral. Sarmiento)
Florencia Granato (UNR)
Daniel Maceira (CEDES)
Jorge Oviedo (UNSL)
Graciela Mara del Carmen Garca (UN Rosario)
Marcelo Resico (UCA)
Eduardo Fracchia (IAE)
Gustavo Ferro (UADE)
Miriam Bergs (Univ. Nac. de Mar del Plata)
aaep_11:aaep_11
21/9/11
11:08
Pgina X
aaep_11:aaep_11
21/9/11
11:08
Pgina XI
SOBRE LOS AUTORES
Leandro Arozamena es Licenciado en Economa de la Universidad Nacional del

Sur y MA y PhD in Economics de la Universidad de Harvard. Actualmente se
desempea como profesor asociado en el Departamento de Economa y director
de la Licenciatura en Economa en la Universidad Torcuato Di Tella, y es miembro de la carrera del investigador del Conicet. Ha recibido el Young Economists
Essay Award de la European Association for Research in Industrial Economics
(2000), el Young Economist Award de la European Economic Association (2001)
y el Premio Consagracin de la Academia Nacional de Ciencias Econmicas
(2010). Su trabajo de investigacin se centra en la teora de subastas, y ha publicado artculos en revistas como Review of Economic Studies, European Economic Review, Journal of International Money and Finance y Economics Letters,
entre otras.
Alejandro Neme es Licenciado y Doctor en Ciencias Matemticas de la Universidad Nacional de San Luis. Actualmente es profesor titular en el Departamento
de Matemtica, investigador independiente del CONICET, y director del Instituto de Matemtica Aplicada-San Luis. Fue visiting scholar en la Kellogg Graduate School of Management, Northwestern University y profesor visitante en diversas universidades europeas. Sus campos de especializacin son la teora de juegos,
el diseo de mecanismos y la teora de la eleccin social. Ha publicado trabajos
en diversas revistas, tales como: Journal of Economic Theory, Social Choice and
Welfare, Journal of Mathematical Economics, International Journal of Game Theory, Mathematical Social Sciences, Social Choice and Welfare, Optimization, Games
and Economic Behavior, entre otras.
Jorge Oviedo es Doctor en Matemtica de la Universidad Nacional de San Luis.
Es docente del Departamento de Matemtica de la Universidad Nacional de San
Luis, investigador del Instituto de Matemtica Aplicada San Luis y miembro de la
carrera de investigador del CONICET. Public artculos de teora de juegos,
modelos de matching, etc., en revistas como Journal of Economic Theory, Theoretical Economics, International Journal of Game Theory, entre otros.
aaep_11:aaep_11
XII
21/9/11
11:08
Pgina XII
Fernando Tohm es investigador independiente de Conicet y profesor titular del

Departamento de Economa de la Universidad Nacional del Sur. En esta universidad obtuvo su grado en Matemtica y el doctorado en Economa. Fue senior Fulbright scholar (UC Berkeley) y visiting associate professor (Washington University in St. Louis). Ha publicado artculos en revistas como Theory and Decision,
Mathematical Social Sciences, Social Choice and Welfare, Mathematical and Computational Modeling y Journal of Artificial Intelligence, entre otras.
Federico Weinschelbaum es profesor asociado y director del Departamento de
Economa de la Universidad de San Andrs y miembro de la carrera del investigador del Conicet. Obtuvo su Licenciatura en Economa de la Universidad de
Buenos Aires y su PhD de la Universidad de California los Angeles (UCLA). Fue
senior Fulbright scholar (Duke University). Ha recibido el Premio Consagracin de la Academia Nacional de Ciencias Econmicas (2010). Sus campos de
especializacin son la teora microeconmica, la teora de juegos y los problemas
de informacin e incertidumbre. Public artculos en revistas como The Economic Journal, European Economic Review, International Economic Review y Journal of International Economics, entre otras.
aaep_11:aaep_11
21/9/11
11:08
Pgina 1
INTRODUCCIN
Leandro Arozamena
Universidad Torcuato Di Tella y CONICET
Universidad de San Andrs y CONICET
Un juego es una situacin en la que un conjunto de individuos (o jugadores)

deben tomar decisiones interdependientes. La teora de los juegos formaliza estos
contextos de decisiones interactivas y provee soluciones, o descripciones de resultados finales a los que el conjunto de individuos debera razonablemente arribar.
En trazos muy gruesos, podemos dividir la teora en dos ramas principales. En los
juegos cooperativos, se parte del supuesto implcito segn el cual los jugadores
pueden arribar a acuerdos vinculantes sobre su comportamiento. Por consiguiente, el inters central se orienta a identificar los resultados ptimos para grupos de
individuos, o coaliciones. En los juegos no cooperativos, por el contrario, no
existe la posibilidad de arribar a acuerdos vinculantes. El objetivo de la teora,
entonces, es caracterizar los comportamientos individuales que los jugadores, razonablemente, deberan adoptar en contextos de interaccin con otros individuos.
La teora de los juegos ha adquirido, desde mediados del siglo pasado, un grado de desarrollo importante. En un nmero considerable de casos, su evolucin
conceptual ha estado asociada de modo directo a su aplicacin al estudio de problemas econmicos. De hecho, resulta imposible imaginar, desde tres dcadas atrs,
a la teora econmica y a una porcin sustancial de sus campos aplicados sin las
herramientas provistas por la teora de los juegos. Un reflejo de ello es que, desde 1994, el Premio Nobel de Economa fue otorgado en seis ocasiones en mrito
a contribuciones a la teora de los juegos o a algunas de sus aplicaciones directas
en el anlisis econmico.1 Por otra parte, no existe rea de la economa en la que
1 Se trata de los premios otorgados en 1994 a John Nash, Reinhard Selten y John Harsanyi, en 1996 a
James Mirrlees y William Vickrey, en 2001 a George Akerlof, Michael Spence y Joseph Stiglitz, en
2002 a Daniel Kahneman y Vernon Smith, en 2005 a Robert Aumann y Thomas Schelling, y en 2007
a Leonid Hurwicz, Eric Maskin y Roger Myerson.
aaep_11:aaep_11
21/9/11
11:08
Pgina 2
no se hayan aplicado o se apliquen el marco conceptual y las herramientas que la

teora de los juegos provee. Sus aplicaciones se han extendido tambin a otras
disciplinas, desde la biologa a las ciencias polticas, desde las ciencias de la computacin al derecho.
El presente volumen rene los trabajos resultantes de las presentaciones realizadas en el Panel de Progresos en la Teora de los Juegos y sus Aplicaciones a la
Economa, en el marco de la XLIII Reunin Anual de la Asociacin Argentina de
Economa Poltica, en la Universidad Nacional de Crdoba. Al encomendrsenos
la tarea de coordinar dicho panel, se nos plante una disyuntiva importante. Por
un lado era posible orientar las exposiciones a un tratamiento comprehensivo de
los avances en la teora de los juegos y, particularmente, en su aplicacin. Alternativamente, la idea de restringir las exposiciones a algunos temas especficos, y
permitir de tal modo que se los tratase con profundidad, era atractiva.
Finalmente, nos inclinamos por la segunda opcin. El espacio disponible en
este volumen no permite una exposicin comprehensiva con un grado aceptable
de profundidad. Adems, muchas excelentes exposiciones abarcativas de la teora
de los juegos y de sus aplicaciones estn disponibles para aquellos que se interesen en el tema, con una amplia diversidad de profundidad y detalle. Las nociones
bsicas de la teora de los juegos no cooperativos se presentan de una manera simple y carente de tecnicismos en Dixit y Nalebuff (1991, 2008), y Dixit y Skeath
(1999). Entre muchos otros, Gibbons (1992), Dutta (1999), Osborne (2003), Rasmusen (2006), Binmore (2007) y Watson (2007) proveen introducciones generales a la teora.2 Fudenberg y Tirole (1991), Osborne y Rubinstein (1994) y Myerson (1997) realizan un tratamiento de nivel ms avanzado, en tanto Aumann y
Hart (1992, 1994, 2002) presentan una exposicin exhaustiva de la teora y de
muchas de sus aplicaciones principales. Por otra parte, un desarrollo especfico de
la teora de los juegos cooperativos y sus aplicaciones puede hallarse en Moulin
(1988, 1995).
Una vez fijada la preferencia por un desarrollo ms detallado de temas especficos, restaba definir cules seran dichos temas. Al hacerlo, otorgamos prioridad a aquellos que son objeto de estudio hoy en da en la Argentina. Los siguientes cuatro captulos presentan, por consiguiente, una exposicin de tpicos
seleccionados realizada por investigadores argentinos que contribuyen activamente a su desarrollo.
Una exposicin muy breve de los conceptos centrales de la teora puede hallarse en Arozamena y
Weinschelbaum (2007).
aaep_11:aaep_11
21/9/11
11:08
Pgina 3
Introduccin
Una de las principales y ms exitosas aplicaciones de la teora de los juegos se

ha dado en el diseo de mecanismos. En muchos contextos, existe un objetivo a
lograr (por ejemplo, decidir si un proyecto se realiza o a quin asignar un objeto)
que depende crucialmente de la informacin privada de los individuos (por ejemplo, su disposicin a contribuir al proyecto, o su disposicin a pagar por el objeto). Estos individuos pueden no contar con incentivos adecuados para revelar verazmente su informacin privada. La teora del diseo de mecanismos estudia en qu
medida y cmo es posible construir juegos tales que, cuando los agentes participen en ellos, revelen su informacin privada.
Dentro de esta teora, el rea de mayor aplicacin prctica es la teora de
subastas, que analiza el diseo y el desempeo de procedimientos de compra o
venta de objetos en mltiples contextos. En el segundo captulo de este volumen,
introducimos la posibilidad de que en una subasta exista el favoritismo. En otras
palabras, se trata del caso, observado con frecuencia, en el que quien vende o
compra en una subasta valora a algunos de los participantes en ella por encima de
otros. El diseo de subastas ptimas cuando el favoritismo est presente es examinado en diversas situaciones en dicho captulo.
En el tercer captulo, Alejandro Neme plantea un problema concreto de decisin colectiva en el que las herramientas de la teora de los juegos pueden aplicarse. Existe una cantidad fija de un bien perfectamente divisible que debe repartirse entre un nmero finito de individuos. Cada uno de ellos tiene preferencias
individuales que especifican la porcin ptima a recibir del total disponible. Pero,
una vez ms, las preferencias individuales constituyen informacin privada de cada
agente. Qu reglas aseguran que los individuos tengan incentivos a revelar verazmente sus preferencias, es decir, son no manipulables? La no manipulabilidad,
claro est, no es la nica caracterstica deseable de una regla de reparto. El captulo estudia, entonces, las reglas que a la vez son no manipulables y resultan deseables en funcin de otros criterios razonables, tales como eficiencia y el tratamiento igualitario de los diferentes individuos.
El cuarto captulo est dedicado al estudio de mercados bilaterales. Se trata de
aquellos en los que existen dos partes que deben vincularse entre s (tales como
estudiantes y colegios o trabajadores y firmas). Jorge Oviedo desarrolla el problema de asignacin, o matching, en dichos mercados; es decir, a qu individuo/s del
lado opuesto del mercado se debe vincular cada agente, particularmente cuando la
asignacin se realiza de modo centralizado. Luego de introducir los conceptos bsicos, plantea condiciones razonables que una asignacin fijada centralizadamente
debera satisfacer (especialmente, que ningn subgrupo de agentes pueda obtener
aaep_11:aaep_11
21/9/11
11:08
Pgina 4
una asignacin que los beneficie ms acordando exclusivamente entre ellos) y

presenta algoritmos empleados en la prctica para obtener dichas asignaciones.
Tambin es relevante aqu el problema de lograr que los agentes anuncien sus preferencias verazmente. Cabe destacar que este captulo es el nico, en el presente
volumen, en el que se emplean conceptos de la teora de los juegos cooperativos.
Luego de tres aplicaciones, el ltimo captulo se refiere a un tema propio de
la teora de los juegos, especialmente de los no cooperativos. La teora, en sus
desarrollos iniciales centrales, incluy, en la descripcin formal de un juego,
algunos supuestos muy fuertes acerca del conocimiento de los agentes en la interaccin estratgica y de sus creencias sobre la forma de jugar de sus rivales y sobre
el conocimiento y las creencias que estos poseen. Fernando Tohm presenta
brevemente la teora de juegos epistmica, que permite plantear los juegos de
una forma tal que relajar dichos supuestos sea posible. En el quinto captulo, Tohm introduce las nociones bsicas de esta teora y luego las emplea para, por un
lado, describir los requisitos de conocimiento que las nociones ms usuales de
equilibrio empleadas en la teora (por ejemplo, el equilibrio de Nash) imponen.
Por otra parte, presenta un caso de concepto de equilibrio que el planteo epistmico permite definir, y que puede generar predicciones que, al menos en algunos juegos, resultan ms compatibles con la evidencia experimental.
Agradecemos a la Asociacin habernos encomendarnos la coordinacin de la
mesa que gener este volumen y a Alejandro Neme, Jorge Oviedo y Fernando
Tohm sus contribuciones. Finalmente, agradecemos tambin a Martn Alfaro su
asistencia en la compilacin de estos captulos.
Referencias
Arozamena, L. y F. Weinschelbaum (2007): Cincuenta aos de teora de los juegos y sus aplicaciones a la economa, en A. Navarro (ed.), Medio siglo de Economa, Editorial Temas, Buenos
Aires.
Aumann, R. y S. Hart (1992): Handbook of Game Theory with Economic Applications, vol.1, Elsevier, Amsterdam.
Binmore, K. (2007): Playing for Real: A Text on Game Theory, Oxford University Press, Nueva York.
Dixit A., y B. Nalebuff (1991): Thinking Strategically: The competitive Edge in Business, Politics and
Everyday Life, W.W. Norton, Nueva York.
Dixit, A. y B. Nalebuff (2008): The Art of Strategy: A Game Theorists Guide to Success in Business
and Life, W.W. Norton, Nueva York.
aaep_11:aaep_11
21/9/11
11:08
Pgina 5
Introduccin
Dikit, A. y S. Skeath (1999): Games of Strategy, W.W. Norton, Nueva York.

Dutta, P. (1999): Strategies and Games: Theory and Practice, MIT Press, Cambridge.
Fudenberg, D. y J. Tirole (1991): Game theory, MIT Press, Cambridge.
Gibbons, R. (1992): Game Theory for Applied Economists, Princeton University Press, Princeton.
Moulin, H. (1988), Axioms of Cooperative Decision-Making, Cambridge University Press, Cambridge.
Moulin, H. (1995): Cooperative Microeconomics, Princeton University Press, Princeton.
Myerson, R. (1997): Game Theory: Analysis of Conflict, Harvard University Press, Cambridge.
Osborne, M. (2003): An Introduction to Game Theory, Oxford University Press, Nueva York.
Osborne M. y A. Rubinstein (1994), A Course in Game Theory, MIT Press, Cambridge.
Rasmusen, E. (2006), Games and Information, cuarta edicin, Blackwell Publishing, Malden.
Watson, J. (2007): Strategy: An Introduction to Game Theory, segunda edicin, W.W. Norton, Nueva York.
aaep_11:aaep_11
21/9/11
11:08
Pgina 6
aaep_11:aaep_11
21/9/11
11:08
Pgina 7
FAVORITISMO EN SUBASTAS*
Leandro Arozamena
Universidad Torcuato Di Tella y CONICET
Universidad de San Andrs y CONICET
1. Introduccin
Un nmero sustancial y creciente de transacciones, en todo el planeta, se realiza a
travs de subastas y licitaciones. Tanto en el sector pblico como en el privado, el
intercambio de bienes y servicios ha encontrado en los procedimientos competitivos
de presentacin de ofertas un instrumento de suma utilidad para realizar las compras y las ventas de una forma ms transparente y eficiente. Desde grandes privatizaciones y concesiones de licencias para comunicaciones personales hasta las compras de insumos bsicos, la variedad de bienes y servicios que se intercambian de
esta manera es muy significativa. Asimismo, las subastas permiten en muchos casos
que se descubra el precio de bienes que no cuentan con un mercado desarrollado
al que se pueda tomar como punto de referencia. El empleo de plataformas electrnicas, que ha facilitado considerablemente la realizacin de subastas y licitaciones,
ha multiplicado las posibilidades y la utilizacin real de estos procedimientos.
Paralelamente al avance de su uso prctico, la teora de subastas adquiri tambin un desarrollo considerable.1 De hecho, muchos mecanismos efectivamente
empleados han resultado, en gran medida, adaptaciones de diseos tericos previos. Igualmente, la prctica de las subastas y licitaciones ha generado nuevos
desafos para la teora.
Como una parte de esta interaccin entre la teora y la aplicacin real de mecanismos competitivos de emisin de ofertas para la compra y venta de bienes y
* Agradecemos el apoyo del FONCyT, PICT 2255.

1
Para una exposicin general de la teora de subastas vase, por ejemplo, Krishna (2002), Menezes y
Monteiro (2005) y, con mayor nfasis en su aplicacin, Klemperer (2004) y Milgrom (2005).
aaep_11:aaep_11
21/9/11
11:08
Pgina 8
servicios, en el presente captulo examinaremos un fenmeno habitual en subastas y licitaciones que suele denominarse favoritismo: el organizador de la subasta, a igual precio, prefiere que gane un participante especfico, el favorito, y no
otro. Por ejemplo, es muy habitual en las compras pblicas que se favorezca a
las firmas domsticas en detrimento de las extranjeras, argumentando que las primeras generan una mayor recaudacin impositiva, un mayor empleo local, o un
mayor desarrollo de la economa local. En el sector privado, de modo anlogo,
es posible considerar la situacin de una firma que, al adquirir insumos, prefiera entre sus posibles proveedores a firmas de su mismo grupo econmico.
Definiremos aqu al favoritismo como aquella situacin en la que el bienestar
de quien vende o compra a travs de la subasta se ve positivamente afectado por
el bienestar de algunos de los participantes. Esta definicin abarca los casos mencionados arriba y muchos otros.
La existencia de favoritismo ha dado lugar a diversos formatos de subasta en
los que los favoritos reciben un trato preferencial. Se emplean, entonces, subastas discriminatorias, que les conceden una ventaja.2 A modo de ejemplo, pueden mencionarse las polticas de compre nacional. Cuando se las aplica, las
firmas nacionales cuentan, al ofertar, con una ventaja porcentual sobre sus rivales extranjeras: una firma extranjera, para ganar, debe realizar una oferta mejor
que las presentadas por sus rivales domsticos en al menos un porcentaje establecido previamente en caso contrario, ganar una firma domstica. En otros
contextos, se brinda a uno de los participantes un right of first refusal: dicho
participante cuenta con el derecho a igualar la mejor oferta hecha por un rival y
ganar.
No intentaremos aqu realizar una exposicin detallada de las prcticas usuales de discriminacin motivadas por argumentos relacionados con el favoritismo. En cambio, examinaremos al favoritismo en subastas desde el punto de vista terico. En otros trminos, tomaremos como punto de partida la existencia de
favoritismo: quien disea la subasta considera, en su propia utilidad, el bienestar de algunos de los participantes. Analizaremos en este marco cul es el formato ptimo que debe tomar una subasta, cul es la mejor forma de brindar
ventajas a los favoritos. Adicionalmente, nos preguntaremos si es posible que
algunas prcticas usuales de discriminacin sean compatibles con ese formato
ptimo de subasta.
Como veremos ms adelante, el favoritismo no es la nica justificacin posible para el empleo de

subastas discriminatorias.
aaep_11:aaep_11
21/9/11
11:08
Pgina 9
Favoritismo en Subastas
Tomaremos como base a la literatura que ha analizado el favoritismo en distintos contextos de subasta y licitacin. Laffont y Tirole (1991), y Vagstad (1995)
estudian el caso de subastas multidimensionales, en las que las ofertas de los participantes deben especificar, adems de un precio, otras caractersticas, usualmente asociadas a la calidad. All, el comprador o vendedor debe otorgar ponderaciones al precio y a la calidad a la hora de evaluar las ofertas. Este captulo, en
cambio, se concentrar en subastas o licitaciones unidimensionales, en las que los
participantes solamente compiten en precios. Es a este ltimo caso, estudiado
entre otros por McAfee y McMillan (1989), Branco (1994), Naegelen y Mougeot
(1998) y Arozamena y Weinschelbaum (2006, 2011), que corresponden los ejemplos mencionados arriba.
Antes de proceder, resulta conveniente marcar una distincin importante entre
favoritismo y corrupcin. El favoritismo, tal como lo entendemos aqu, es explcito y legal. Genera formas concretas y abiertas de discriminacin que integran
las normas que regulan el proceso de compra o venta. Cuando existe corrupcin,
por el contrario, se genera un acuerdo ilegal, fuera de las normas que describen la
subasta, entre uno o varios participantes y el subastador, que habitualmente es un
agente de quien posee el objeto a vender o requiere el objeto a adquirir. Se trata,
en suma, de dos situaciones diferentes. Existe una literatura sobre la corrupcin
en subastas, desarrollada entre otros por Celentani y Ganuza (2002), Burguet y Che
(2004), Compte, Lambert-Mogiliansky y Verdier (2005), Menezes y Monteiro
(2006), Burguet y Perry (2007), Arozamena y Weinschelbaum (2009) y Lengwiler y Wolfstetter (2010).
A continuacin, presentamos el modelo bsico de subasta a examinar en el
resto del captulo. En la seccin 3, describimos el formato ptimo de subasta en
ausencia de favoritismo. Ello nos permite contar con un punto de referencia para
los resultados que luego se obtengan con favoritismo y, al mismo tiempo, examinar otras posibles razones para la discriminacin en subastas. Presentamos el
diseo ptimo de una subasta con favoritismo en el contexto de un nmero fijo de
participantes en la seccin 4. En la seccin 5 examinamos la posibilidad de que
un right of first refusal forme parte de una subasta ptima en presencia de favoritismo. Finalmente, en la seccin 6 obtenemos el formato ptimo de subasta con
favoritismo cuando el nmero de participantes es endgeno en otros trminos,
cuando hay libre entrada.
aaep_11:aaep_11
21/9/11
10
11:08
Pgina 10
2. El modelo bsico
Un objeto nico e indivisible se vende a travs de una subasta.3 Para simplificar, supondremos que quien posee el bien le adjudica un valor nulo. Existen N
compradores potenciales. Cada uno de ellos ser, en principio, un oferente en la
subasta.4
Cada oferente i posee una disposicin a pagar, o valoracin, vi por el objeto en
venta (i = 1,,N). La valoracin de cada agente es su informacin privada. Todos
los dems participantes en la subasta (es decir, el vendedor y los dems oferentes)
creen que vi es una variable aleatoria distribuida segn la funcin Fi, cuyo soporte est dado por el intervalo acotado [ v, v ], con v 0. Esta distribucin tiene una
densidad fi que es positiva y est acotada en todo el soporte de la distribucin. Las
valoraciones de los distintos oferentes se distribuyen de forma independiente. Se
trata, en suma, de un caso con valores privados: la disposicin a pagar de cada
oferente depende solamente de su propia informacin privada, y no de la que
posean sus rivales.
Todos los participantes en la subasta son neutrales al riesgo. De no existir
favoritismo el vendedor desear maximizar su ingreso esperado. La utilidad de un
oferente i con valoracin vi ser de
hi (vi )vi pi (vi )
donde hi(vi) es la probabilidad con la que obtiene el objeto cuando su valoracin
es vi, en tanto pi(vi) es el precio esperado que deber pagar dada su valoracin.
El vendedor emplear una subasta. En trminos formales, una subasta est
dada por una terna (( Bi )iN=1 , , ). Bi es el conjunto de ofertas posibles del agente i. : iN=1 Bi es una regla de asignacin, donde es el conjunto de distribuciones de probabilidad sobre el conjunto de compradores potenciales, {1,,N}
Finalmente, : iN=1 Bi R N es una regla de pago. Cada agente, entonces, realiza una oferta bi Bi. Para cada vector de ofertas (b1,,bN), i(b1,,bN) especifica con qu probabilidad ganar el agente i y i(b1,,bN) establece qu precio
esperado pagar. El vendedor podra, por ejemplo, emplear una subasta de primer precio, en la que gana quien realiza lo oferta ms alta y paga una suma
3
Todos los resultados expuestos aqu, sin embargo, se aplican tambin al caso de una licitacin en la
que se debe adquirir un objeto nico e indivisible.
Como se mencion arriba, el nmero de participantes se endogeneizar en la seccin 6.
aaep_11:aaep_11
21/9/11
11:08
Pgina 11
11
igual a la oferta que realiz (y los dems oferentes no pagan ni reciben dinero).
Formalmente,5
1 si bi > max j i b j
i (b1 ,..., bN ) =
0 si no
bi si bi > max j i b j
i (b1 ,..., bN ) =
0 si no
Cada formato posible de subasta da lugar a un juego con informacin incompleta. En dicho juego, cada agente i debe elegir una estrategia de oferta; es decir,
una funcin i :[ v, v ] Bi que, para cada valoracin posible vi, asigne la suma
i(vi) que ofrecer. Dado un formato de subasta (( Bi )iN=1 , , ), los oferentes se
comportarn segn un equilibrio bayesiano de Nash ( *1,, *N) del juego con informacin incompleta que la subasta genera.
El contexto planteado constituye el caso ms sencillo analizado por la teora
de subastas: un nico objeto a la venta, y valores privados independientes con
neutralidad al riesgo. Es a este caso simple que, en lo siguiente, agregaremos la
posible existencia de favoritismo. Antes, sin embargo, examinaremos el diseo
ptimo para el vendedor de subastas discriminatorias en situaciones enmarcadas
en este caso simple y en las que el favoritismo est ausente.
3. La subasta ptima sin favoritismo

En el contexto descripto arriba, el vendedor desea emplear la subasta que maximice su ingreso esperado. Aproximadamente treinta aos atrs, en Myerson (1981)
y Riley y Samuelson (1981), se identific el formato ptimo de subasta para el
vendedor. Describimos someramente su obtencin a continuacin.
El problema de caracterizar la subasta ptima podra ser muy complejo. Hallarla implica, en primer lugar, anticipar para cada formato posible de subasta cul
ser el comportamiento de equilibrio de los agentes en el juego que la subasta genera. Luego, se debera comparar los ingresos esperados que reporta al vendedor cada
uno de dichos formatos. Afortunadamente, esta tarea potencialmente inabarcable
En caso de empate, podemos suponer que el ganador se elige aleatoriamente. Dado que los empates
ocurren, en equilibrio, con probabilidad nula (dado que el equilibrio se da en estrategias estrictamente crecientes) este supuesto es irrelevante.
aaep_11:aaep_11
12
21/9/11
11:08
Pgina 12
se ve simplificada por lo que en el anlisis del diseo de mecanismos se conoce

como el principio de revelacin. No es este el mbito adecuado para un desarrollo detallado del diseo de mecanismos en general y del principio de revelacin
en particular. Ensayaremos, entonces, una presentacin mnima, en el marco del
problema que nos ocupa.
Una subasta (( Bi )iN=1 , , ) es un caso particular de lo que en la teora del
diseo de mecanismos se conoce como mecanismo indirecto. Los agentes eligen mensajes (en nuestro caso, ofertas), y el mecanismo determina una asignacin sobre la base del vector de mensajes recibido. Un mecanismo es directo si
los mensajes que deben seleccionar los agentes son reportes de su informacin
privada. En nuestro contexto, un mecanismo directo solicita a los agentes que
reporten sus valoraciones.
Definamos entonces un mecanismo directo apropiado para nuestro caso. Naturalmente, cada agente reporta una valoracin en el conjunto [ v, v ] . El mecanismo
directo est entonces dado por
i = 1,,N.
(respectivamente,
) es la probabilidad con la
que i gana (respectivamente, el precio esperado que i paga) cuando el vector de
valoraciones reportado es
. Anlogamente a lo descripto arriba para mecanismos indirectos, un mecanismo directo genera un juego. Por consiguiente, los
agentes participantes reportarn sus tipos, no necesariamente de forma veraz, jugando un equilibrio bayesiano de Nash de dicho juego. Un mecanismo directo de
revelacin es un mecanismo directo en el que, en un equilibrio bayesiano de
Nash, todos los agentes reportan ptimamente sus verdaderas valoraciones, de modo
que
para todo i.
El principio de revelacin establece que cualquier resultado que el vendedor
puede lograr a travs de una subasta, como caso particular de mecanismo indirecto,
es tambin obtenible para l a travs de un mecanismo directo de revelacin. A la
hora de caracterizar, por ejemplo, el mximo ingreso esperado alcanzable para el vendedor mediante una subasta, podemos entonces limitarnos a identificar el mximo
ingreso esperado obtenible mediante un mecanismo directo de revelacin.
Por consiguiente, el vendedor elegir Hi(v1,,vN), Pi(v1,,vN), i = 1,,N.
Sean hi (vi ) = Evi [ H i (v1 ,..., vN )], pi (vi ) = Evi [ Pi (v1 ,..., vN )] . Coincidiendo con lo
expresado en la seccin previa, hi(vi) es la probabilidad con la que un oferente con
valoracin vi obtendr el objeto, dado que ignora las valoraciones de sus rivales.
aaep_11:aaep_11
21/9/11
11:09
Pgina 13
13
Anlogamente, pi(vi) es el precio esperado que pagar. La utilidad esperada que

obtendr el agente i si anuncia una valoracin vi cuando su verdadera valoracin
es vi ser
Sea Ui(vi) = hi(vi)vi pi(vi) su utilidad esperada cuando anuncia su verdadera valoracin. Restringir el anlisis a mecanismos
directos de revelacin impone, entonces, las siguientes restricciones de compatibilidad con los incentivos:
para todo i, para todo vi , vi [ v, v ].
Podemos ahora plantear el problema que debe resolver un vendedor que desea
maximizar su ingreso esperado. Se trata de
max
{ H i (.), Pi (.)}iN=1
i =1
pi (vi ) fi (vi )dvi
sujeto a
El segundo conjunto de restricciones, de participacin, refleja que no puede

imponerse una utilidad esperada negativa a un oferente: su participacin es voluntaria.
Este problema es standard en la literatura, y tambin lo es su resolucin. Sea
la valoracin que el oferente i anuncia ptimamente cuando su verdadera valoracin es vi. La compatibilidad con los incentivos implica que
y
para todo i, vi. Entonces, por el teorema de la envolvente,
De ello se deriva que, para todo i, vi,

vi
U i (vi ) = hi ( s )ds + U i (v ).
v
Asimismo, dada la funcin objetivo del vendedor, en la solucin debe cumplirse U i (v ) = 0 para todo i, por lo que, recurriendo a la definicin de Ui(vi),
vi
pi (vi ) = hi (vi )vi hi ( s )ds

v
aaep_11:aaep_11
21/9/11
14
11:09
Pgina 14
El ingreso del vendedor depende exclusivamente de la regla de asignacin. Una

vez dada la regla, las restricciones de compatibilidad con los incentivos indicarn
el precio esperado que debe pagar cada oferente. Reemplazando en la funcin objetivo del vendedor, obtenemos el siguiente problema
maxN
{ H i (.)}i=1
i =1
h (v )v vih ( s )ds f (v )dv

i i i v i
i i i
Integrando por partes, surge

maxN
{ H i (.)}i=1
i =1
h (v )J (v ) f (v )dv
i
donde J i (vi ) = vi 1fiF(i v(iv)i ) es la valoracin virtual del agente i cuando su valoracin
real es vi. Intuitivamente, Ji(vi) refleja el valor del agente i para el vendedor cuando
su valoracin real es vi. Dicho valor es inferior a vi debido a que, si el vendedor asigna el bien a i con probabilidad positiva en algn caso en el que su valoracin real es
vi, para satisfacer las correspondientes condiciones de compatibilidad con los incentivos debe permitirse a las valoraciones de i superiores a vi alcanzar una utilidad mayor
i ( vi )
(y el peso de tales valoraciones superiores en relacin al peso de vi es 1F
fi ( vi ) ). Es
usual suponer, en la literatura, que Ji(vi) es creciente para todo i.6
Recordando las definiciones previas, podemos reexpresar el problema del
vendedor de la siguiente forma:
N
maxN Ev1 ,..., vN H i (v1 ,..., vN ) J i (vi )

{ H i (.)}i=1
i =1
La solucin de este problema es directa

1 si J i (vi ) > max{max j i J j (v j ), 0}
H i (v1 ,..., vN ) =
0 si no
Debe ganar con certeza quien tenga la valoracin virtual ms alta, siempre que
dicha valoracin sea positiva.7 Si ninguna valoracin virtual es positiva, entonces
6
7
El caso en el que las valoraciones virtuales crecen con las reales se denomina caso regular.
Una vez ms, los empates pueden resolverse de forma aleatoria. Al igual que anteriormente, los
empates ocurren, de emplearse el mecanismo ptimo, con probabilidad nula.
aaep_11:aaep_11
21/9/11
11:09
Pgina 15
15
el vendedor debe conservar el objeto. Los pagos que debe efectuar cada oferente
i surgirn de obtener Pi(v1,,vN) a partir de las condiciones de compatibilidad con
los incentivos.
Algunas caractersticas del mecanismo directo de revelacin ptimo merecen
ser destacadas. En primer lugar, su implementacin es compleja. Cualquier subasta ptima deber generar la misma regla de asignacin a partir de la comparacin
entre ofertas b1,,bN, y deber excluir a quienes posean valoraciones reales cuyas
valoraciones virtuales correspondientes sean negativas. Ello puede lograrse a travs de un procedimiento que compare las ofertas para generar la asignacin deseada. La exclusin puede realizarse a travs de precios de reserva (es decir, ofertas
mnimas aceptables) individuales o el cobro de derechos de entrada individuales,
no necesariamente iguales entre s.
Por otra parte, la regla ptima de asignacin es ineficiente: es posible que el
objeto no termine en manos de quien lo valora ms. Ello ocurre, por ejemplo,
cuando todas las valoraciones virtuales son negativas. El objeto permanece en
manos del vendedor, quien le asigna un valor nulo, al tiempo que las valoraciones
reales de los oferentes son positivas. Adicionalmente, es posible que, para dos
oferentes i y j, vi > vj pero, simultneamente, Ji(vi) < Jj(vj), por lo que j puede ganar
aun cuando su valoracin no es la ms alta entre los oferentes.
La ltima caracterstica a destacar es la ms importante para nuestros propsitos: cualquier subasta ptima es discriminatoria. Claramente, slo podemos asegurar que la identidad de cada oferente no afectar la comparacin de su oferta
con las ofertas de sus rivales si nos hallamos en un caso simtrico, con Fi = F
para todo i.
Ms especficamente, consideremos un caso en el que podemos (al menos parcialmente) ordenar las distribuciones de valoraciones de los participantes. Diremos que la distribucin de valoraciones del oferente i, Fi, domina a la distribucin
de valoraciones del oferente j, Fj, en el sentido de hazard rate dominance8 si
f j (v )
fi (v )
para todo v.
1 Fi (v ) 1 Fj (v )
Consideremos un caso con N = 2 para simplificar. Que Fi domine a Fj de la

forma descripta arriba implica que
La relacin de hazard rate dominance implica la habitual dominancia estocstica de primer orden.
aaep_11:aaep_11
21/9/11
16
J i (v ) = v
11:09
Pgina 16
1 Fj (v )
1 Fi (v )
v
= J j (v ) paara todo v.
fi (v )
f j (v )
Si esta desigualdad es estricta para algn v, entonces cuando ambos oferentes

valoran el bien en v, ganar el oferente j (si su valoracin virtual es positiva). Para
valoraciones suficientemente cercanas entre s, si hay un ganador ser j, aun cuando su valoracin sea inferior a la de i.
McAfee y McMillan (1989) y Branco (1994) emplean la construccin de la
subasta ptima para examinar la deseabilidad de la discriminacin entre oferentes domsticos y oferentes extranjeros en licitaciones pblicas.9 En concreto, examinan una subasta organizada por el sector pblico en la que N1 participantes
son nacionales (con valoraciones distribuidas segn F1), y N2 son extranjeros (con
valoraciones distribuidas segn F2). Definamos (v) como la funcin tal que
J1( (v)) = J2(v). Es decir, (v) es la valoracin de un oferente domstico que un
participante extranjero con valoracin v debe derrotar para ganar. Si (v) > v,
los oferentes domsticos reciben un tratamiento ms favorable que los extranjeros, algo no inusual en subastas organizadas por los sectores pblicos.10
Entonces, el vendedor puede emplear una subasta discriminatoria para maximizar su ingreso esperado. Sin embargo, aqu estamos interesados en la discriminacin cuando pueda surgir como consecuencia de la existencia de favoritismo.
La discriminacin con el objetivo usual, de maximizacin del ingreso esperado
del vendedor, solamente puede ocurrir, en el caso aqu tratado, si existe asimetra.
Es decir, si las distribuciones de las valoraciones no coinciden entre los distintos
oferentes.
4. La subasta ptima con favoritismo

En lo que sigue, caracterizaremos la subasta ptima para un vendedor que valora positivamente el bienestar de algunos oferentes. Para simplificar, nos concentraremos en
El caso estudiado en ambos trabajos corresponde a compras pblicas, por lo que presentamos aqu
su argumento modificado para una subasta en la que se vende un objeto.
10
Branco (2002) extiende el anlisis al caso en el que los oferentes pueden incrementar sus valuaciones ejerciendo un esfuerzo no observable para el subastador (es decir, agregando un problema de riesgo moral a nuestro contexto, que es de seleccin adversa). Su trabajo comprueba que el problema de
riesgo moral no modifica la regla de asignacin ptima, sino solamente los desembolsos que debe
efectuar cada participante.
aaep_11:aaep_11
21/9/11
11:09
Pgina 17
17
un caso especfico: el vendedor desea maximizar la suma de su ingreso esperado

y las utilidades de los oferentes favoritos. Los resultados pueden extenderse fcilmente al caso en el que el vendedor valore menos el bienestar de un participante
favorito que el suyo propio. En tal caso, maximizara una suma ponderada, en la
que los pesos correspondientes a los oferentes favoritos seran menores que el
peso otorgado al ingreso esperado. Se trata de una variante del anlisis inicialmente presentado en Naegelen y Mougeot (1998).
Sin perder generalidad, supongamos que los oferentes 1,, t son favoritos, en
tanto los oferentes t+1,,N no lo son, con t 1. Manteniendo la notacin empleada en la seccin previa, el problema del vendedor en este nuevo contexto se
reduce a
max
{ H i (.), Pi (.)}iN=1
i =1
i =1
pi (vi ) fi (vi )dvi + U i (vi ) fi (vi )dvi
sujeto a
Este problema puede resolverse de una manera anloga a la seguida en la seccin previa. Se obtiene de tal forma que
vi
U i (vi ) = hi (vi )vi pi (vi ) = hi ( s )ds

v
para todo i. Dado que, en la solucin, U i (v ) = 0 para todo i > t,11 reemplazando
en la funcin objetivo e integrando por partes el problema del vendedor se transforma en
t
maxN
{ H i (.)}i=1
i = t +1
h (v )v f (v )dv + h (v )J (v ) f (v )dv
i =1
v
v
i i
11 U (v ) puede ser nulo o positivo en la solucin para i t. Dado que el vendedor maximiza la suma
i
de su utilidad y las utilidades de aquellos a quienes favorece, cunto pagan estos ltimos es irrelevante para l (en la medida en que se mantenga la compatibilidad con los incentivos). Sin embargo, existe una solucin en la que U i (v) = 0 para todo i t.
aaep_11:aaep_11
21/9/11
18
11:09
Pgina 18
o bien
N
t
maxN Ev1 ,..., vN H i (v1 ,..., vN )vi + H i (v1 ,..., vN ) J i (vi )

{ H i (.)}i=1
i =1
i = t +1
La regla de asignacin que resuelve este problema es muy sencilla.12 Para i t,

1 si vi > max{max j t , j i v j ,max j >t J j (v j )}
H i (v1 ,..., vN ) =
0 si no
(1)
y, para i > t,
1 si J i (vi ) > max{max j t v j ,max j >t , j i J j (v j )}
H i (v1 ,..., vN ) =
0 si no
(2)
En este caso, el objeto se vende con certeza, una consecuencia natural de la

funcin objetivo del vendedor y de haber supuesto que ste adjudica valor nulo al
objeto en venta. Los desembolsos esperados de los oferentes, una vez ms, surgen
de la compatibilidad con los incentivos.
Aparece en la solucin una nueva forma de discriminacin. Las valoraciones
reales de los oferentes favoritos son comparadas con las valoraciones virtuales de
los participantes no favoritos. Dado que, si v < v, v > Ji(v) para todo i, como es
natural el vendedor trata menos favorablemente a los oferentes cuyas utilidades
no ingresan en su funcin objetivo. Esta forma de discriminacin, desde ya, se
genera aun en el caso simtrico.
La implementacin de un mecanismo de este tipo, una vez ms, es compleja.
Tomemos un caso simtrico. De haber un nico oferente favorito, el vendedor
podra, por ejemplo, solicitar a dicho oferente que anuncie su valoracin (directamente o a travs de una oferta). Luego debera emplear una subasta inglesa13 entre
los oferentes no favoritos con precios de reserva individuales que garanticen que
las valoraciones virtuales de quienes participan en la subasta superen, si ganan, la
valoracin real del oferente favorito.
12
13
Los empates, una vez ms, pueden resolverse aleatoriamente y ocurren con probabilidad nula.
La subasta inglesa es el formato dinmico comnmente empleado en remates: los participantes emiten ofertas derrotando a las ofertas previamente realizadas. Gana quien emite una oferta no derrotada,
y paga una suma igual a su oferta.
aaep_11:aaep_11
21/9/11
11:09
Pgina 19
19
5. Una forma prctica de favoritismo: el right of first refusal

El right of first refusal14 (ROFR) constituye una forma prctica de favorecer a uno
de los oferentes. Se emplea ampliamente en diversas operaciones reales y financieras, entre ellas la compraventa de acciones, los contratos de alquiler, la disolucin de sociedades y la contratacin de deportistas profesionales. Walker (1999)
provee una larga lista de ejmplos del uso de esta prctica.
Una clusula de ROFR concede a quien lo posee, en una subasta, el derecho a
igualar la oferta ms alta realizada por un oferente rival y ganar.15 En esencia, este
derecho convierte a una subasta en la que las ofertas son emitidas simultneamente en otra en la que se las emite de modo secuencial, con el oferente favorito actuando luego de que todos sus rivales ya lo han hecho. Una clusula de este tipo puede agregarse a cualquier formato de subasta.
Dada la importancia prctica del empleo de este derecho, existe una corriente
en la literatura que ha estudiado y estudia las consecuencias que su uso tiene
sobre los resultados de la subasta y sobre el bienestar de quienes participan en
ella. Una parte de dicha literatura deriva condiciones bajo las cuales el empleo de
un ROFR genera un resultado mejor que una subasta que no incluya dicho derecho, al menos para el vendedor y/o para el oferente que se ve favorecido de esta
manera. Choi (2009), por ejemplo, demuestra que, si N = 2, agregar un ROFR a
una subasta de primer precio16 genera un excedente esperado conjunto ms alto
para el vendedor y el oferente favorito. Sin embargo, su resultado no se generaliza a N 2 a menos que se adopten supuestos adicionales sobre las distribuciones
de las valoraciones de los agentes.
En un sentido similar, Burguet y Perry (2009) examinan el caso de una subasta inglesa modificada. Se trata de una subasta inglesa en la que participan los oferentes no favoritos. El ganador de dicha subasta inglesa puede luego realizar una
oferta superior a aquella con la que gan, para que dicha oferta sea presentada a
quien posee el ROFR. ste, naturalmente, puede elegir igualarla o no. Se trata de
14
En el caso de licitaciones, en las que se adquiere un objeto, se suele emplear la expresin meet-thecompetition clause. Algunas traducciones frecuentemente empleadas al referirse al ROFR son derecho
de preferencia, derecho de opcin de compra (o venta) y derecho de adquisicin (o venta) preferente.
15
Como veremos ms adelante, existen variantes alternativas para estas clusulas.
16 Con N = 2, otros formatos de subasta, como el de segundo precio, se reducen a una subasta de primer precio al emplearse un ROFR. Al no participar de la subasta original, el oferente favorito espera
la oferta de su rival y decide si la iguala o no.
aaep_11:aaep_11
20
21/9/11
11:09
Pgina 20
un formato adecuado para reflejar situaciones en las que el vendedor carece de

capacidad de compromiso con el mecanismo de venta que anuncia, por lo que se
permite que algn oferente modifique su oferta original para competir con el oferente favorito. En este contexto, Burguet y Perry comprueban que la existencia
del ROFR eleva el excedente esperado conjunto del vendedor y del oferente favorito.
Lee (2008) demuestra que, con dos oferentes asimtricos, el vendedor puede
incrementar su ingreso esperado confiriendo un ROFR al participante ms dbil
en una subasta de primer precio. Se trata de una forma de favorecer que genera
una subasta discriminatoria a fin de incrementar el ingreso esperado, al estilo de
la derivacin de la subasta ptima sin favoritismo realizada aqu previamente.
Existe otra porcin de la literatura que obtiene condiciones bajo las cuales el
ROFR no genera resultados deseables. Bikhchandani, Lippman y Ryan (2005), por
ejemplo, examinan el ROFR en el contexto de una subasta simtrica de segundo
precio. Comprueban que, bajo valores privados, y con N 3, el ROFR genera un
aumento en el excedente esperado del oferente favorito que iguala exactamente a la
prdida de excedente esperado para el vendedor. Con valores interdependientes, el
excedente esperado conjunto del vendedor y el oferente favorito puede crecer o
caer. Grosskopf y Roth (2009) analizan una forma algo diferente de ROFR17 y concluyen que su uso puede incluso ser desfavorable para quien posee dicho derecho.
Como puede observarse, una pregunta que la literatura se plantea es si un ROFR
puede beneficiar en conjunto al vendedor y al oferente favorito. Arozamena y
Weinschelbaum (2006), partiendo de este inters, plantean la cuestin de si es posible que un ROFR forme parte de un mecanismo ptimo para la coalicin formada
por el vendedor y un oferente. En otros trminos, se preguntan si es posible maximizar el excedente conjunto del vendedor y el oferente favorito recurriendo a un
mecanismo de cualquier tipo (en particular, a una subasta) que incluya una clusula de ROFR.
Para examinar esta posibilidad, tomemos el contexto planteado en la seccin
previa, considerando ahora que existe un nico oferente preferido (quien, sin prdida de generalidad, es el participante 1). La regla de asignacin ptima es, entonces, la que surge de (1) y (2) en el caso particular en el que t = 1. Es decir,
17 Examinan el denominado before and after ROFR. En tal caso, el vendedor realiza una oferta al
comprador favorito. Si ste la rechaza, el vendedor puede negociar con otros compradores, y puede venderles el objeto a un precio igual o mayor que aquel rechazado por el favorito. Pero si desea venderlo
a un precio menor, el favorito conserva el derecho a igualar el precio y adquirir el objeto.
aaep_11:aaep_11
21/9/11
11:09
Pgina 21
1 si v1 > max j >1 v j

H 1 (v1 ,..., vN ) =
0 si no
21
(3)
y, para i > 1,
1 si J i (vi ) > max{v1 ,max j >1, j i J j (v j )}
H i (v1 ,..., vN ) =
0 si no
(4)
Puede entonces generarse esta asignacin mediante algn mecanismo que

incluya un ROFR?
Imaginemos que se aplica un ROFR. El oferente 1, entonces, tendr un comportamiento ptimo muy sencillo de caracterizar. El mecanismo que se emplee y
al cual el ROFR se agregue generar una oferta final con la que el participante 1
deber competir. Entonces, contar con una estrategia dominante: si dicha oferta
final se halla por debajo de su valoracin, v1, la igualar y ganar la subasta. Si la
oferta final resulta inferior a v1, decidir no igualarla y perder. Por consiguiente,
si un mecanismo con una clusula de ROFR ha de generar la asignacin descripta en (3) y (4), la oferta final que debe surgir del mecanismo (y que el agente 1
puede igualar) debe siempre ser
max J i (vi ).
i >1
De tal forma, ganar el oferente 1 solamente cuando su valoracin real supere

a la mxima valoracin virtual de un rival. En caso contrario, ganar el participante no favorito con la mxima valoracin virtual, tal cual exige la asignacin
ptima.
Para que la oferta final sea la mxima valoracin virtual de un oferente favorito en cualquier circunstancia, se requiere que, para cualquier i > 1, siempre que
el oferente i obtenga el objeto en venta,
Pi (v1 ,..., vN ) = J i (vi ).
Sea
li (vi ) = Ev i Pi (vi , v i )| J i (vi ) < max{v1 ,max J j (v j )} ,
j i
aaep_11:aaep_11
22
21/9/11
11:09
Pgina 22
es decir, el precio que el oferente i con valoracin vi paga, en trminos esperados,

dado que no gana la subasta. La esperanza incondicional del precio que pagar el
oferente i con valoracin vi ser, entonces
pi (vi ) = hi (vi ) J i (vi ) + [1 hi (vi )]li (vi ).
(5)
Ahora bien, segn lo examinado en la seccin 3, la compatibilidad con los incentivos requiere que
vi
pi (vi ) = hi (vi )vi hi ( s )ds.

v
(6)
Son (5) y (6) compatibles? Con li(vi) = 0 (es decir, si solamente paga el oferente ganador) ello no es posible, dado que en general
vi
0
hi ( s )ds hi (vi )
1 Fi (vi )
.
fi (vi )
El argumento se extiende de manera directa a los casos en los que li(vi) 0.

Concluimos, entonces, que ningn mecanismo (en particular, ningn formato
de subasta) que incluya una clusula de ROFR puede maximizar el excedente
conjunto del vendedor y un comprador favorito. Como expusimos en la seccin
previa, existen mecanismos que maximizan dicho excedente, pero un ROFR no
puede formar parte de ninguno de ellos. De emplearse, entonces, el ROFR deber estar motivado por otras razones, que probablemente excedan el marco de la
interaccin entre el vendedor y los compradores en una nica subasta.18
6. El favoritismo y la entrada de compradores potenciales19

La entrada de compradores potenciales a una subasta, como ocurre en cualquier mercado, es crucial para su desempeo. De hecho, segn Klemperer (2004),
los aspectos ms importantes en el diseo de subastas son los temas centrales
18
Es posible, por ejemplo, que el favoritismo surja como una forma, establecida en una etapa previa,
de motivar a un potencial comprador a invertir en su relacin con el vendedor.
19
Esta seccin est basada en Arozamena y Weinschelbaum (2011).
aaep_11:aaep_11
21/9/11
11:09
Pgina 23
23
de la poltica de defensa de la competencia la prevencin del comportamiento

colusivo, depredador y disuasivo de la entrada.20
Hasta ahora, hemos estudiado al favoritismo en subastas considerando que el
nmero de participantes est fijo. Si la participacin es costosa, sin embargo,
favorecer a algunos oferentes en desmedro de otros puede desalentar el ingreso al
mercado de compradores potenciales no favoritos. De hecho, Arozamena y Weinschelbaum (2005) comprueban que otorgar un ROFR a un comprador potencial reduce el nmero de participantes en la subasta. La pregunta que surge naturalmente
es cmo afecta el hecho de endogeneizar el nmero de participantes al formato
ptimo de subasta en el caso en el que existe favoritismo.
Para aproximarnos a una respuesta, es imprescindible contar con una forma de
modelar la decisin de entrada. Existen distintas posibilidades al respecto. En todas
ellas, la participacin en la subasta implica algn costo para quien decide ingresar. El aspecto diferenciador est dado por la informacin con la que un participante potencial cuenta al momento de tomar su decisin de entrada. Una rama de
la literatura supone que dicha decisin se toma cuando cada participante potencial
conoce su propia valoracin del objeto en venta, tal como ocurre en Samuelson
(1985), Stegeman (1996), Menezes y Monteiro (2000) y Celik y Yilankaya (2009).
El costo de entrada suele asociarse, en esta interpretacin, al costo de tiempo y
recursos que conlleva la participacin en una subasta o licitacin. Una rama diferente considera que la decisin se toma sin conocer tal valoracin. Este supuesto
se adopta, por ejemplo, en McAfee y McMillan (1987), Engelbrecht-Wiggans (1987,
1993), Levin y Smith (1994) y Ye (2004). En este caso, el costo de entrada suele
interpretarse como el costo resultante de averiguar la propia valoracin: es posible, tal vez, que se deba realizar una investigacin de mercado para obtener dicho
valor. Adoptaremos aqu este ltimo enfoque para modelar la decisin de entrada
en la subasta.
Tal como ocurre cuando el nmero de oferentes est fijo, en una subasta con
entrada endgena el vendedor desear discriminar a favor de los participantes ms
dbiles. A las razones ya enunciadas para la optimalidad de este comportamiento,
la endogeneidad de la decisin de participar agrega una nueva. Es menos probable
que los oferentes potenciales ms dbiles ingresen, por lo que utilizar una subasta
que los trate ms favorablemente puede inducirlos a entrar, y de ese modo incrementar el nmero de oferentes y con l la competencia. Una vez ms, sin embargo, estamos interesados en el empleo de subastas discriminatorias solamente en la
20
Traduccin de los autores.
aaep_11:aaep_11
24
21/9/11
11:09
Pgina 24
medida en que esa discriminacin se deba a la presencia de favoritismo. Por consiguiente, tomaremos un caso simtrico, en el que sin favoritismo aun cuando el
nmero de oferentes sea endgeno un vendedor que maximiza su ingreso esperado no deseara discriminar.
Consideraremos que existen N participantes potenciales. Cada uno de ellos puede participar en la subasta pagando un costo de entrada k > 0, el mismo para todos
los oferentes potenciales.21 Un oferente i aprende su valoracin vi luego de ingresar. Ex ante, vi se distribuye segn la funcin F, simtrica entre oferentes. A continuacin, caracterizaremos el mecanismo que maximiza el excedente conjunto
del vendedor y de un oferente favorito. Una vez ms, sin prdida de generalidad
asignaremos al oferente 1 el rol de favorito.22
En primer trmino, el vendedor anuncia un mecanismo, y luego los compradores potenciales simultneamente toman sus decisiones de entrada. Siguiendo a
McAfee y McMillan (1987), nos concentraremos en los equilibrios en estrategias
puras del juego esttico de entrada entre los oferentes potenciales. Se trata de
equilibrios asimtricos.23 Sea B {1,..., N } el conjunto de compradores potenciales que ingresan a la subasta. Naturalmente, el vendedor puede elegir un mecanismo que condicione el resultado de la subasta a la identidad de los participantes (es
decir, a B). Por ello, debe anunciar una coleccin de funciones.
H iB ((vi )iB ), Pi B ((vi )iB ), B 2 {1,..., N }
donde H iB ((vi )iB ) es la probabilidad con la que, si ingresa, el participante i B

obtendr el objeto en venta cuando el conjunto de ingresantes es B y las valoraciones de los ingresantes estn dadas por (vi )iB. Anlogamente, Pi B ((vi )iB ) es el
precio que i debe pagar en las mismas circunstancias. Dado este mecanismo, la
utilidad esperada de i (bruta del costo de entrada) cuando ingresa y espera que,
adems, participen los restantes oferentes potenciales en el conjunto B es
U i (vi , B) = hi (vi , B)vi pi (vi , B),
21
Suponemos que N es suficientemente alto para que, en equilibrio, sea imposible que todos los oferentes potenciales ingresen a la subasta con certeza.
22 Nuestros resultados se generalizan a los casos en los que existe ms de un oferente favorecido, o el peso
que el vendedor asigna al beneficio de quienes favorece en su propia funcin objetivo es menor que 1.
23
Levin y Smith (1994), por el contrario, examinan el equilibrio simtrico, en estrategias mixtas, de
dicho juego.
aaep_11:aaep_11
21/9/11
11:09
Pgina 25
25
donde hi (vi , B) = Ev i [ H iB ((v j ) j B )] y pi (vi , B) = Ev i [ Pi B ((v j ) j B )], i B. Una vez

ms, el mecanismo anunciado por el vendedor debe satisfacer las restricciones
correspondientes de compatibilidad con los incentivos
U i (vi , B) hi (vi , B)vi pi (vi , B) para todo B, para todo i B, para todo vi , vi
(7)
y de participacin
U i (vi , B) 0 para todo B, para todo i B, para todo vi .
(8)
En el caso de estas ltimas restricciones, debe destacarse que, incluso luego

de haber pagado el costo de entrada, suponemos que un oferente puede decidir no
participar de la subasta. La utilidad esperada correspondiente a cualquier valoracin, por consiguiente, no puede ser negativa.
El conjunto de participantes de equilibrio, B*, cumplir las siguientes condiciones:
vU i (vi , B ) f (vi )dvi k, i B

v
(9)
vU j (v j , B { j}) f (v j )dv j k, j B
v
Es decir que, en equilibrio, todos los oferentes que participan contarn con
una utilidad esperada ex ante que al menos cubra su costo de entrada, en tanto todos
quienes permanecen fuera de la subasta no podran obtener una utilidad esperada
superior a dicho costo en caso de ingresar.
El problema del vendedor que desea maximizar la suma de su ingreso esperado y la utilidad esperada del oferente 1 est dado por
max
H iB ( v1 ,..., vn ), PiB ( v1 ,..., vn )

i B
iB
B ,B2{1,..., N }
v
v
pi (vi , B ) f (vi )dvi + U1 (v1 , B ) f (v1 )dv1 k

v
sujeto a (7), (8) y (9).24 Se trata, en suma, del problema planteado en la seccin
previa, generalizado para permitir que el conjunto de ingresantes surja de un equilibrio en el juego simultneo de entrada entre todos los compradores potenciales.
24 Estamos suponiendo aqu, sin perder generalidad, que el oferente 1 ingresa con certeza. Si no lo hicie-
se, el segundo y tercer trminos de la funcin objetivo del vendedor desapareceran.
aaep_11:aaep_11
21/9/11
26
11:09
Pgina 26
Si B* estuviese determinado exgenamente, como sabemos, la subasta ptima

para el vendedor sera discriminatoria. La libre entrada de participantes modifica
este resultado de manera sustancial. Especficamente, la regla de asignacin que
maximiza el excedente esperado conjunto del vendedor y del oferente 1 es una regla
no discriminatoria. Por ejemplo, una subasta de primer precio con un precio de
reserva igual al valor del objeto para el vendedor (que aqu supusimos nulo) resulta ptima en vista de la funcin objetivo planteada para el vendedor. En suma, todos
los oferentes son tratados exactamente de la misma forma, independientemente de
si son favoritos o no.
Comprobar la validez de este resultado es muy simple, y puede lograrse sin
recurrir a los pasos planteados en las secciones previas para obtener los mecanismos ptimos para el vendedor. Puede emplearse, en cambio, una va indirecta. Temporariamente, consideremos que el favoritismo est ausente. El valor esperado del
juego (es decir, el excedente total generado en la subasta) est dado por la valoracin esperada del oferente ganador menos el costo total de entrada pagado por quienes ingresan a la subasta. Se trata, entonces, de
Ev #(B*)k25
A su vez, esta magnitud debe igualar a la suma del ingreso esperado del vendedor y las utilidades esperadas de cada uno de los participantes. McAfee y
McMillan (1987) comprueban que la regla de asignacin que maximiza el excedente total esperado de la subasta al generar un comportamiento ptimo de entrada consiste en asignar el objeto al oferente ingresante que cuente con la valoracin ms alta. Si ignoramos que el nmero de firmas ingresantes debe ser entero,
una subasta de primer precio o de segundo precio con un precio de reserva igual
al valor del objeto para el vendedor maximiza el valor esperado del juego, y el
vendedor recibe todo el excedente total esperado que se genera. Si nos restringimos, ms razonablemente, a que el nmero de ingresantes deba ser entero, el vendedor an puede absorber todo el excedente esperado que se genera: solamente
debe cobrar una tarifa de entrada que equivalga a la utilidad esperada de cada ingresante cuando el nmero de participantes es el entero ms alto que resulte, a la vez,
ms bajo que el nmero de ingresantes de equilibrio cuando ste puede ser cualquier nmero real no negativo. Alternativamente, puede resultar ptimo subsidiar
la entrada de modo que el nmero de ingresantes sea el entero ms pequeo que,
25
#(B*)es la cardinalidad del conjunto B*.
aaep_11:aaep_11
21/9/11
11:09
Pgina 27
27
a la vez, est por encima del nmero de equilibrio en un continuo. En cualquier

caso, el excedente esperado total corresponde al vendedor.
Solamente resta comprobar que, cuando el vendedor incorpora a su funcin
objetivo el bienestar del participante 1, no puede mejorar este resultado. Pero hacerlo es sencillo. Si el resultado fuera mejorable, el vendedor obtendra ms que el
mximo valor posible de Ev #(B*)k. Entonces, al menos uno de los participantes debera contar con un excedente esperado negativo, algo claramente imposible
dadas las restricciones planteadas.
Puede notarse que, al resolver el problema de esta forma, al vendedor le resulta
irrelevante si el participante potencial favorito ingresa a la compulsa o no lo hace.
Siempre puede subsidiarlo para que entre aunque realmente no tenga incentivos para
hacerlo y aun as obtener todo el excedente esperado resultante de la subasta. Ahora bien, si existe discriminacin entre los ingresantes, el excedente total esperado cae,
y con l decrece la utilidad esperada del vendedor. En particular, entonces, ninguna
de las formas de discriminacin descriptas, tales como las preferencias de precios o
el right of first refusal, puede generar un resultado mejor para el vendedor.
7. Conclusiones
El favoritismo es usual en las compras y ventas realizadas mediante licitaciones y
subastas, y da lugar a diversas prcticas discriminatorias. En el presente captulo,
hemos examinado en qu medida el favoritismo puede justificar la discriminacin
y cul es el formato ptimo de subasta para un vendedor o comprador cuando prefiere algunos participantes a otros.
Nuestras conclusiones dependen claramente del contexto en el que se desarrolle
la subasta. Como expusimos en la seccin 4, la subasta ptima con favoritismo es
efectivamente discriminatoria si el nmero de oferentes es exgeno. All describimos, por otra parte, cul es la forma exacta de discriminar que el vendedor debera
emplear, as como su implementacin. Si el nmero de participantes es endgeno,
en cambio, las conclusiones se modifican de manera radical. Con libre entrada, segn
lo expuesto en la seccin 6, es ptimo para el vendedor no discriminar en absoluto,
ni fijar un precio de reserva en la subasta que limite el ingreso de participantes
potenciales. El efecto negativo de la discriminacin sobre el nmero de oferentes
que deciden ingresar a la subasta es siempre ms significativo que cualquier beneficio que el vendedor pueda derivar de otorgar ventajas a sus favoritos.
Claramente, nuestra descripcin del tema se halla lejos de agotarlo: existen cuestiones prcticas asociadas a la existencia de favoritismo que no estn cubiertas por
aaep_11:aaep_11
21/9/11
28
11:09
Pgina 28
la literatura.26 Sin embargo, nuestras conclusiones generan al menos una recomendacin prctica relevante. Aun sin cuestionar si el favoritismo es razonable o no,
sino simplemente tomndolo como dado, el vnculo entre su existencia y la discriminacin en subastas y licitaciones no es unvoco. Depende, por el contrario, del
contexto de la compra o venta especfica a realizar, y cada caso debe ser examinado con cuidado.
Referencias
Arozamena, L., N. Shunda y F. Weinschelbaum (2010): Optimal Nondiscriminatory Auctions with
Favoritism, mimeo, Universidad Torcuato Di Tella y Universidad de San Andrs.
Arozamena, L. y F. Weinschelbaum (2005): The Effect of Corruption on Bidding Behavior in FirstPrice Auctions, mimeo, Universidad Torcuato Di Tella y Universidad de San Andrs.
Arozamena, L. y F. Weinschelbaum (2006): A Note on the Suboptimality of Right-of-First-Refusal
Clauses, Economics Bulletin, 4, No.24, 1-5.
Arozamena, L. y F. Weinschelbaum (2009): The Effect of Corruption on Bidding Behavior in FirstPrice Auctions, European Economic Review, 53, 645657.
Arozamena, L. y F. Weinschelbaum (2011): On Favoritism in Auctions with Entry, Economics Letters,
110, 265-267.
Bikhchandani, S., S. Lippman y R. Ryan (2005): On the Right-of-First-Refusal, Advances in Theoretical Economics, 5, Iss. 1, Article 4.
Branco, F. (1994): Favoring Domestic Firms in Procurement Contracts, Journal of International
Economics, 37, 65-80.
Burguet, R. e Y. Che (2004): Competitive Procurement with Corruption, RAND Journal of Economics,
35, 50-68.
Burguet, R. y M. Perry (2007): Bribery and Favoritism by Auctioneers in Sealed-Bid Auctions,
Contributions to Theoretical Economics, 7, nmero 1, artculo 23.
Burguet, R. y M. Perry (2009): Preferred Suppliers in Auction Markets, RAND Journal of Economics,
40, 283-295.
Celentani, M. y J. Ganuza (2002): Competition and Corruption in Procurement, European Economic
Review, 43, 1273-1303, 2002.
Celik, G. y O. Yilankaya (2009): Optimal Auctions with Simultaneous and Costly Participation,
Advances in Theoretical Economics, 9, nmero 1, artculo 24.
Choi, A. (2009): A Rent Extraction Theory of Right of First Refusal, Journal of Industrial Economics,
57, 252 - 262.
Compte, O., A. Lambert-Mogiliansky y T. Verdier (2005) Corruption and Competition in Procurement,
RAND Journal of Economics, 36, 1-15.
26
Por ejemplo, es interesante estudiar qu subasta debera emplear un vendedor que (i) cuente con
oferentes favoritos, y (ii) no est en condiciones de discriminar (tal vez por disposiciones legales,
como suele ocurrir en el sector pblico). Al respecto, vase Arozamena, Shunda y Weinschelbaum
(2010).
aaep_11:aaep_11
21/9/11
11:09
Pgina 29
29
Engelbrecht-Wiggans R. (1987): Optimal Reservation Prices in Auctions, Management Science, 33,

763-770.
Engelbrecht-Wiggans R. (1993): Optimal Auction Revisited, Games and Economic Behavior, 5,
227-239.
Klemperer, P. (2004): Auctions: Theory and Practice, Princeton University Press.
Krishna, V, (2002): Auction Theory, Academic Press.
Laffont, J. y J. Tirole (1991): Auction Design and Favoritism, International Journal of Industrial
Organization, 9, 9-42.
Lee, J. (2008): Favoritism in Asymmetric Procurement Auctions, International Journal of Industrial
Organization, 26, 1407-1424.
Lengwiler, Y. y E. Wolfstetter (2010): Auctions and Corruption: An Analysis of Bid Rigging by a
Corrupt Auctioneer, Journal of Economic Dynamics and Control, 34, 1872-1892.
Levin, D. y J.L. Smith (1994): Equilibrium in Auctions with Entry, American Economic Review, 84,
585-599.
McAfee, R.P. y J. McMillan (1987): Auctions with Entry, Economics Letters, 23, 343-347.
McAfee, R.P. y J. McMillan (1989): Government Procurement and International Trade, Journal of
International Economics, 26, 291-308.
Menezes, F. y P.K. Monteiro (2000) Auctions with Endogenous Participation, Review of Economic
Design, 5, 71-89.
Menezes, F. y P.K. Monteiro, (2005): An Introduction to Auction Theory, Oxford University Press.
Menezes, F. y P.K. Monteiro (2006): Corruption and Auctions, Journal of Mathematical Economics,
42, 97-108.
Milgrom, P. (2004): Putting Auction Theory to Work, Cambridge University Press.
Myerson, R. (1981): Optimal Auction Design, Mathematics of Operations Research, 6, 58-73.
Naegelen, F. y M. Mougeot (1998): Discriminatory Public Procurement Policy and Cost Reduction
Incentives, Journal of Public Economics, 67, 349-367.
Riley, J. y W. Samuelson (1981): Optimal Auctions, American Economic Review, 71, 381-392.
Samuelson, W. F. (1985): Competitive Bidding with Entry Costs, Economics Letters 17, 53-57.
Stegeman, M. (1996): Participation Costs and Efficient Auctions, Journal of Economic Theory 71,
228-259.
Vagstad, S., (1995): Promoting Fair Competition in Public Procurement, Journal of Public Economics,
58, 283-307.
Walker, D. (1999) Rethinking Rights of First Refusal, Stanford Journal of Law, Business and Finance,
5, 1-58.
Ye, L. (2004): Optimal Auctions with Endogenous Entry, Contributions to Theoretical Economics,
4, nmero 1, artculo 8.
aaep_11:aaep_11
21/9/11
11:09
Pgina 30
aaep_11:aaep_11
21/9/11
11:09
Pgina 31
BIENES PRIVADOS: REGLAS NO MANIPULABLES*
Alejandro Neme
Instituto de Matemtica Aplicada de San Luis
Universidad Nacional de San Luis-CONICET
1. Introduccin
El objetivo de este trabajo es presentar una visin panormica sobre la literatura
de la no-manipulabilidad aplicada al problema de la provisin de bienes privados.
La literatura de la no-manipulabilidad se engloba dentro de la Teora de la Eleccin Social, la cual estudia el problema de la toma de decisiones colectivas teniendo en cuenta las preferencias de los individuos que forman la sociedad. En los
problemas de eleccin social tenemos un conjunto de alternativas sobre las que
los individuos, que constituyen la sociedad (especfica de cada problema), tienen
preferencias. Es decir, establecen relaciones binarias completas sobre el conjunto
de alternativas. La Teora de la Eleccin Social estudia el proceso de agregacin
de las preferencias individuales para tomar una decisin social que satisfaga propiedades deseables. El proceso de agregacin de preferencias se define formalmente a travs de una funcin.
Formalmente, la decisin social se representa mediante una funcin de eleccin social, tambin llamada regla (de eleccin social), que determina una alternativa para cada perfil de preferencias. Un perfil de preferencias expresa las preferencias de todos los individuos que forman la sociedad. Cada funcin de eleccin
social est definida sobre el conjunto de preferencias posibles que pueden revelar
los individuos y que se conoce como el dominio (o dominio de preferencias).
En los problemas de decisin colectiva tenemos contextos diferentes en funcin
del grado de racionalidad exigido a la preferencia social. Si las preferencias sociales son reflexivas, completas y transitivas (al igual que las individuales) estamos en
* Este trabajo ha sido parcialmente financiado por la Universidad Nacional de San Luis a travs del
proyecto 319502 y por el Consejo Nacional de Investigaciones Cientficas y Tcnicas CONICET, a
travs PICT-02114.
aaep_11:aaep_11
32
21/9/11
11:09
Pgina 32
el contexto de la funcin de bienestar social de Arrow, donde se asocia un orden de

preferencias reflexivo, completo y transitivo (el social) a cada perfil de preferencias
individuales con las mismas propiedades. Estos problemas han sido ampliamente
estudiados, sobre todo desde que Arrow formul su Teorema de Imposibilidad (Arrow,
1963). Si debilitamos la condicin de racionalidad sobre la preferencia social y consideramos aciclicidad en vez de transitividad, estamos en el contexto de las funciones de decisin social. En el artculo de Sen (1970), el autor demuestra la imposibilidad de liberalismo (mnimo) Paretiano. Aunque nosotros no analizamos ninguno
de estos problemas en el presente artculo.
Las funciones de eleccin social nos permiten analizar problemas como los
siguientes: votaciones, decisiones sobre la provisin de bienes pblicos, decisiones sobre la asignacin de bienes indivisibles a un conjunto finito de agentes, problemas de reparto de costos, localizacin de bienes pblicos en una ciudad, etc.
Un ejemplo de votaciones sera la eleccin de candidatos a cubrir una plaza de
profesor en una universidad. Un ejemplo de provisin de bienes pblicos sera la
decisin sobre la construccin de un tnel o sobre la cantidad del presupuesto del
gobierno destinado a la construccin del tnel. En cunto a bienes indivisibles, pensemos en la asignacin de una computadora de ltima generacin a un profesor de
entre los 40 que forman un departamento universitario o en la asignacin de un
nmero escaso de becas a algunos de los solicitantes, o tambin en la asignacin
de estudiantes universitarios a las distintas universidades, etc. Como ejemplo del
problema de reparto de costos, podemos pensar en la visita de un premio Nbel a
varias universidades que tienen que repartirse el costo de su viaje, estancia y
honorarios. Por ltimo, como ejemplo de la localizacin de bienes pblicos, consideremos el problema de la localizacin de dos hospitales en una ciudad, donde
las preferencias de los individuos dependern tambin de sus costos de transporte. En definitiva, una gran cantidad de recursos escasos se asigna no a travs del
mercado sino por medio de decisiones de un grupo reducido de agentes (comits,
consejos, claustros, etc.). El proceso por el cual se toman estas decisiones puede
ser representado por una funcin de eleccin social.
Como ya hemos anticipado, en cualquier problema de eleccin social debemos tener en cuenta, directa o indirectamente, la opinin de los individuos implicados en la decisin. No obstante, las preferencias individuales son, a menudo,
informacin privada y asimtricamente distribuida entre los agentes de la sociedad. No hay ninguna razn para pensar que dichos individuos revelan sus verdaderas preferencias. Un individuo puede mentir si as se asegura una mejor alternativa. Por ejemplo, en votaciones polticas existen votos estratgicos: si alguien
aaep_11:aaep_11
21/9/11
11:09
Pgina 33
Bienes Privados: Reglas no Manipulables
33
sabe que su candidato preferido no va a ganar las elecciones, puede ser mejor para
l dar su voto a su segundo mejor candidato. El comportamiento estratgico de
los agentes juega un papel crucial en muchos problemas econmicos que involucran decisiones sobre bienes privados y/o bienes pblicos (pensemos en los ejemplos dados anteriormente). Decisiones colectivas que permitan este tipo de comportamientos pueden resultar insatisfactorias. La propiedad de no-manipulabilidad
(en ingls, strategy-proofness) es la condicin ms usada en la literatura para evitar tales comportamientos. Esta propiedad asegura que ningn individuo puede
cambiar la eleccin social a su favor, falsificando sus verdaderas preferencias, independientemente de cmo acten los dems. Otra condicin ms fuerte es la nomanipulabilidad por coaliciones (en ingls, coalitional strategy-proofness), que
asegura que la regla ser inmune a falsificaciones estratgicas de las preferencias
para cualquier coalicin de agentes. No obstante, esta condicin es innecesariamente fuerte en algunos contextos, pues la cooperacin estratgica de un gran nmero de agentes puede ser bastante difcil. Recientemente, se han analizado en la
literatura dos situaciones intermedias de comportamiento estratgico que involucran a pares de agentes: la no-manipulabilidad por pares de agentes (en ingls,
pairwise strategy-proofness; vase Serizawa, 1998), y la no-manipulabilidad a
travs de sobornos (en ingls, bribe-proofness; vase Schummer, 2000).
El hecho de que una funcin de eleccin social sea no manipulable asegura
que los individuos no van a conseguir nada mejor mintiendo acerca de sus verdaderas preferencias. Por lo tanto, el comportamiento estratgico de los agentes es
intil. Aparte de las propiedades destinadas a evitar o controlar el comportamiento estratgico de los agentes, existen otros tipos de propiedades sobre las funciones de eleccin social.1 Cada problema de decisin tiene unas caractersticas y la
funcin de eleccin social que la representa puede o no satisfacer unas propiedades determinadas.
A continuacin presentamos distintas propiedades que una funcin de eleccin social puede satisfacer. La ms usada en economa normativa es la (Pareto)
eficiencia. Establece que, para cualquier resultado de la regla de eleccin, no existe la posibilidad de mejorar a alguien sin perjudicar a otro individuo. Un segundo
tipo son las propiedades de simetra que aseguran un mnimo trato igualitario y
equitativo entre los agentes. Las cuatro ms usadas (tanto en modelos de bienes
pblicos como privados) son: la inexistencia de dictadores (un dictador es un
En Moulin y Thomson (1996) se presenta una clasificacin de todos los tipos de propiedades, especificando sus reas de aplicacin.
aaep_11:aaep_11
34
21/9/11
11:09
Pgina 34
individuo que impone a la sociedad su mejor alternativa en el rango; las reglas

que cumplen esta propiedad se llaman reglas no dictatoriales), la anonimidad (no
importa quin es quin), el tratamiento igual de iguales (los individuos con iguales preferencias deberan recibir la misma cesta o la misma cantidad del bien) y,
por ltimo, la simetra (dos individuos con las mismas preferencias deben recibir
cestas de consumo indiferentes). Un tercer grupo de propiedades expresa, de
diversas maneras, la justicia en la distribucin de los recursos. La ms comn es
la propiedad de inexistencia de envidia (en ingls, envy-freeness). Esta sostiene que, en la asignacin escogida, cualquier individuo prefiere su propia cesta a
la de cualquier otro.2
Como ya hemos mencionado, dentro de estas propiedades, consideramos la condicin de no-manipulabilidad como imprescindible para cualquiera de nuestras funciones de eleccin social. La razn fundamental es que sin ella, todas las otras
propiedades que pueda satisfacer una funcin de eleccin social manipulable
pierden su sentido: eficiencia, simetra, tratamiento igual de iguales, etc., son propiedades relativas a las verdaderas preferencias.
En este artculo, consideraremos el problema de no-manipulabilidad en contextos con bienes privados. Esta literatura ha experimentado un notable desarrollo a partir de principios de los aos 90.
Existen muchas situaciones en las cuales un grupo de agentes deben repartirse una tarea o un bien, entre ellas podemos mencionar: la divisin de bienes entre
acreedores en un problema de banca rota, (Aumann y Maschler, 1985), compartir
los costos en un proyecto pblico (Moulin, 1985a, Moulin, 1985b, Moulin, 1987,
Young, 1987), la solucin de equilibrio con precios fijos en una economa de
intercambio (Benassy, 1982, Barber y Jackson, 1995). En la asignacin de tareas o bienes hay varias propiedades que son de inters, entre ellas: eficiencia, equidad, incentivos, etc.
El artculo de Hurwicz (1972) es el pionero en estudios sobre la no-manipulabilidad en el contexto clsico de economas de intercambio puro de bienes privados (sin produccin). En este artculo Hurwicz se restringe al problema con dos
agentes y dos bienes y establece la inexistencia de reglas no manipulables, Pareto
eficientes e individualmente racionales (los agentes participan libremente en el intercambio) siempre que el dominio de preferencias contenga una clase suficientemente amplia de preferencias clsicas (continuas, cuasi-cncavas y estrictamente
Las tres ltimas propiedades se aplican exclusivamente a contextos con bienes privados.
aaep_11:aaep_11
21/9/11
11:09
Pgina 35
35
montonas). Este resultado se generaliz para el caso de muchos bienes por Dasgupta, Hammond y Maskin (1979) y Hurwicz y Walker (1990), no obstante an no
ha sido demostrado para el caso de ms de dos agentes. Zhou (1991) considera preferencias clsicas, dos agentes y varios bienes y demuestra que el mismo resultado
de imposibilidad se cumple sin necesidad de la racionalidad individual. Schummer
(1997) obtiene exactamente el mismo resultado para preferencias homotticas. Usando un ejemplo de Satterthwaite y Sonnenschein (1981), Zhou (1991) demostr que
su resultado de imposibilidad no es cierto para ms de dos individuos. Un resultado reciente de Serizawa (1998) demuestra que para un mnimo de dos agentes y
dos bienes, si las preferencias son clsicas y homotticas, no existen reglas no-dictatoriales, Pareto eficientes y no manipulables por pares. Es decir, reencuentra el
resultado de imposibilidad si se quiere evitar el comportamiento estratgico de parejas de individuos.
Prescindiendo de la propiedad de eficiencia, Barber y Jackson (1995) establecieron que las reglas no manipulables e individualmente racionales, en economas con dos agentes, eran el resultado de intercambios de bienes con precios
fijos o, en general, bienes a proporciones fijas. Con ms de dos individuos, incluso con slo dos bienes, no existe ninguna caracterizacin de reglas no manipulables. No obstante, Barber y Jackson (1995) probaron, para n agentes, que las reglas
no manipulables, annimas y no jerrquicas (no hay ningn individuo que cambiando sus preferencias afecte la decisin de consumo de los otros sin cambiar su
propia decisin) eran el resultado de un intercambio a lo largo de segmentos rectos procedentes de la asignacin de divisin igualitaria.
En general, en los modelos con bienes pblicos es difcil compatibilizar la eficiencia con la no-manipulabilidad, incluso para dominios de preferencias relativamente pequeos. Un resultado positivo en este sentido se debe a Nicol (2004)
que demuestra que para el caso del dominio de preferencias complementarias, existen reglas no manipulables, Pareto eficientes e individualmente racionales.
El problema de reparto o asignacin de un bien privado perfectamente divisible entre distintos agentes puede describirse como sigue. Consideremos un grupo
de agentes invirtiendo en un proyecto, donde los beneficios producidos son pagados en proporcin a lo que cada agente invirti. Supongamos que cada agente tiene una preferencia sobre la cantidad de dinero que el desea invertir, y que esta
preferencia tiene un ptimo o cantidad ideal de inversin del agente. Supongamos
que la suma de estas cantidades ideales es diferente, por exceso o defecto, al costo total del proyecto. Existen muchas diferentes maneras de decidir la cantidad
que permitiremos o requeriremos a los agentes que inviertan en el proyecto. Un
aaep_11:aaep_11
36
21/9/11
11:09
Pgina 36
mtodo simple podra ser que cada agente invierta la misma cantidad en el proyecto. Esta solucin no es muy satisfactoria ya que es Pareto ineficiente. Supongamos que un agente desee invertir en el proyecto ms que la divisin igualitaria
y otro agente menos, en cuyo caso ambos agentes tendran niveles de inversin en
los cuales todos estaran mejor. Muchas otras reglas pueden ser diseadas con el
objetivo de decidir el nivel de participacin de los agentes.
Un mtodo mas sofisticado para decidir este nivel de inversin es la regla uniforme (Benassy, 1982). Esta regla puede ser pensada partiendo de la solucin
igualitaria, pero luego es corregida para que sea eficiente. Para ilustrar la regla
uniforme, imaginemos que el total del nivel ideal de inversin de los agentes
excede el nivel de inversin requerido para la realizacin del proyecto. Si hay
algunos agentes que deseen invertir menos que la divisin igualitaria, a ellos se
les asigna su nivel ideal. Esto permite que los restantes agentes tengan una oportunidad de inversin con cantidades adicionales. Ahora se divide el nivel de inversin an no asignado entre los restantes agentes. Si hay agentes que deseen invertir menos que esta cantidad se les asigna su nivel ptimo de inversin. Continuamos
iterando este proceso hasta que el nivel ptimo de inversin de todos los agentes
restantes es al menos tan alto como la divisin igualitaria del remanente: el nivel
de inversin asignado a estos agentes es esta divisin igualitaria. Esta regla uniforme satisface varias propiedades deseables tales como: eficiencia, anonimidad,
ser libre de envidia, consistencia, individualidad racional respecto a la divisin
igualitaria. Todas estas propiedades hacen a la regla uniforme una candidata a la
regla de reparto ideal.
Nuestra principal preocupacin es que nuestra regla sea no-manipulable: ningn agente tiene incentivos para declarar una preferencia diferente a la verdadera
independientemente de las decisiones de los otros agentes. Esta propiedad es la
condicin descentralizada deseada que una regla puede satisfacer. En tal caso, lo
nico que los agentes deben conocer es su preferencia para computar su mejor eleccin, como es deseable.
Una regla es no-manipulable, si declarar la verdadera preferencia es una estrategia dominante para todos los agentes en el juego de revelacin directa generado
por el mecanismo.
Es conocido que es difcil encontrar modelos en los cuales existan reglas nomanipulables. Un resultado fundamental en la teora de eleccin social, con bienes pblicos, establecido por Gibbard (1973) y Satterthwaite (1975), afirma que toda
regla no manipulable que seleccione entre ms de dos alternativas debe ser dictatorial. Estos resultados de imposibilidad son aplicables en los modelos de bien-
aaep_11:aaep_11
21/9/11
11:09
Pgina 37
37
es pblicos obteniendo que las nicas reglas no-manipulables son las de dictadores secunciales. Sin embargo existen reglas no-manipulables razonables, si se
imponen restricciones apropiadas sobre el dominio de preferencias.
Varios autores han demostrado resultados similares al Teorema de imposibilidad de Gibbard-Satterthwaite en diferentes modelos econmicos. Por ejemplo Hurwicz (1972) y Dasgupta, Hammond y Maskin (1979) para el caso de economas
de intercambio con bienes privados y Satterthwaite y Sonnenschein (1981) para
el caso con bienes pblicos y produccin.
En estos modelos de bienes privados es natural restringirse a que las preferencias de los agentes tienen sobre su nivel de participacin en el proyecto sean unimodales: cada agente tiene un nivel de participacin ptimo alrededor del cual la
preferencia decrece montonamente. Esta restriccin puede verse como una consecuencia directa de la suposicin que las preferencias son estrictamente convexas en el espacio labor-output. Bajo estas restricciones una gran familia de
reglas satisface la condicin de no-manipulabilidad.
Una de las reglas que ha jugado un papel relevante es la descripta regla uniforme (Benassy, 1982). No slo si exigimos la no-manipulabilidad, sino tambin
cuando nos interesamos por propiedades equitativas. Sprumont (1991) caracteriz dicha regla como la nica no manipulable, annima y Pareto eficiente. Ching
(1994) reemplaz Pareto eficiencia por tratamiento igual de iguales. Barber,
Jackson y Neme (1997) debilitaron la condicin de anonimidad y obtuvieron el
conjunto de reglas de reparto secuencial (donde la regla uniforme es un caso particular) como las nicas reglas no-manipulables, montonas y eficientes. Serizawa (1998) obtuvo que la regla uniforme es la nica que satisface no-manipulabilidad por pares, tratamiento igual de iguales y respeto por la unanimidad. Existen
muchos otros resultados en los que se obtiene dicha regla imponiendo otro tipo de
propiedades (Thomson, 1997, de Frutos y Mass, 1995; Schummer y Thomson
(1996) aplican este anlisis a problemas de bancarrota).
En la literatura de no-manipulabilidad con bienes privados, las preferencias
multimodales (single-plateaued) tambin han desempeado un papel relevante.
Bajo estas preferencias, Ching (1992) demuestra que una ligera modificacin de
la regla uniforme es la nica que satisface no-manipulabilidad, Pareto eficiencia
e inexistencia de envidia.
En este contexto tambin se ha estudiado el problema de la maximalidad de
dominios compatibles con la existencia de funciones de eleccin social no manipulables, sin restringirnos a ninguna clase de reglas. Ching y Serizawa (1998) obtienen el conjunto de preferencias multimodales como el nico dominio maximal para
aaep_11:aaep_11
21/9/11
38
11:09
Pgina 38
no-manipulabilidad, Pareto eficiencia y simetra. Mass y Neme (2001) identifican el dominio de preferencias dbilmente montonas como el nico conjunto maximal de preferencias (que contiene las unimodales) para las propiedades de no-manipulabilidad, eficiencia y tratamiento igual de iguales. Como consecuencia de los
tres ltimos resultados, la regla uniforme se proclama como una regla muy robusta desde el punto de vista de la no-manipulabilidad.
En este resumen, consideramos el problema de los incentivos que tienen los individuos a falsificar las verdaderas preferencias como el ms importante a controlar en
los problemas de la asignacin de un bien privado perfectamente divisible. Concretamente, nos centramos en la condicin ms dbil introducida anteriormente: la nomanipulabilidad. Presentamos los siguientes tipos de resultados obtenidos en la literatura sobre la no-manipulabilidad: los resultados de imposibilidad, aquellos sobre
la existencia y caracterizacin de reglas de asignacin, las familias de reglas de asignacin con debilitamiento de la condicin de simetra y, por ltimo, los resultados
sobre dominios maximales compatibles con la existencia de reglas no manipulables.
El resto del trabajo se estructura de la siguiente manera. Primero, en la seccin
2, presentamos el modelo general que permite englobar los problemas a estudiar,
la aplicacin de los resultados de imposibilidad de funciones de eleccin social
no-manipulables en el contexto de bienes privados y aquellos sobre la existencia
y caracterizacin de reglas de asignacin. En la seccin 3, se presentan familias
de reglas de asignacin con debilitamiento de la condicin de simetra. En la seccin 4, se estudian los resultados de existencia de reglas a prueba de soborno.
En la seccin 5, introducimos un conjunto de resultados ms recientes. En ellos
se estudia la existencia y unicidad de dominios de preferencias maximales, para
los cuales existe una regla de asignacin que satisface una serie de propiedades.
2. El modelo
Un problema de divisin de un bien perfectamente divisible consiste de una sociedad N = {1,,n}, donde n 2, formada por un nmero finito de individuos que
tienen que distribuirse una cantidad
de un bien perfectamente divisible.
Una asignacin es un vector
tal que
. Nosotros denotaremos por Z el conjunto de todas las posibles asignaciones.
Cada agente de la sociedad, iN, tiene un preorden completo Ri sobre [0,M],
su relacin de preferencia. Sea Pi la relacin de preferencia estricta asociada con
Ri y sea Ii su relacin de indiferencia. Nosotros supondremos que cada agente tiene preferencias continuas sobre [0,M] en el sentido que para cada x[0,M] los
aaep_11:aaep_11
21/9/11
11:09
Pgina 39
} {
39
conjuntos y [0, M ] xRi y y y [0, M ] yRi x son cerrados. Observe que la continuidad de las preferencias asegura la existencia de una funcin de utilidad continua que las representa.
Nosotros denotaremos por el conjunto de las preferencias continuas sobre
[0,M] y por un subconjunto genrico de . Un perfil de preferencias es una nupla de preferencias continuas sobre [0,M] y ser denotado por R = ( R1 ,..., Rn ) R n .
Cuando nosotros deseemos resaltar el rol de la preferencia del agente i, representaremos el perfil de preferencias por (Ri,Ri).
Una regla de reparto o simplemente una regla sobre S n R n es una funcin
:S n Z
esto es, iN i (R ) para todo R S n .
Una regla requiere que cada agente de la sociedad reporte una preferencia.
Una regla es no-manipulable si siempre es el mejor inters de los agentes revelar
su verdadera preferencia. Formalmente,
Definicin 1 Una regla sobre S n , es no-manipulable si para todo perfil de
preferencias R = ( R1 ,..., Rn ) S n , para todo agente iN, y para toda preferencia
RiS , tenemos que
i ( Ri , R i ) Ri i ( Ri, R i ) .
En la primera mitad de los aos setenta, Gibbard (1973) y Satterthwaite (1975)
establecieron independientemente, en el contexto de bienes pblicos, que toda
funcin de eleccin social no manipulable, definida en el dominio universal de
preferencias y con ms de dos alternativas en el rango es dictatorial. En otras
palabras, el Teorema de Gibbard-Satterthwaite nos dice que excepto para reglas
triviales (dictatoriales o con slo uno o dos valores posibles para la funcin,
equivalentemente, dos alternativas en el rango)3 no podemos evitar el comportamiento estratgico de los agentes cuando pueden revelar cualquier preferencia.
Una regla dictatorial es siempre no manipulable. La regla de la mayora es un ejemplo de regla no

manipulable cuando hay dos alternativas factibles. En este caso, May (1952) demostr que la regla de
la mayora es la nica annima, neutral (simtrica entre alternativas) y montona (ms agentes dando
soporte a una alternativa no pueden perjudicarla). Cualquier regla impuesta, es decir, con valor constante independientemente de las preferencias individuales es un ejemplo de regla no manipulable con
slo una alternativa factible.
aaep_11:aaep_11
21/9/11
40
11:09
Pgina 40
Estos resultados de imposibilidad son aplicables en los modelos de bienes

pblicos obteniendo que las reglas no-manipulables son muy poco atractivas.
Esta familia se reduce a reglas denominadas dictadores secuenciales.
Una regla de reparto se rige por una secuencia de dictadores si existe un orden
de prioridad entre los agentes y un subconjunto de las asignaciones posibles entre
las cuales el primer agente seleccionado elige un subconjunto, sobre el cual el
segundo agente seleccionar otro subconjunto, y se repite este proceso hasta obtener un solo vector de asignacin.
El siguiente ejemplo muestra una regla que es un dictador secuencial con
orden de prioridad 1,2,3:
Ejemplo 1 Sea n = 3 y para todo perfil de preferencias R S 3 definimos :S 3 Z
como sigue:
1 (R ) = max {x : 0 x 1}
R1
2 (R ) = max {x : 0 x 1 1 (R )}
R2
3 (R ) = max {0,1 1 (R ) 2 (R )} .
El siguiente teorema es la aplicacin a los modelos de bienes privados del teorema de imposibilidad de Gibbard-Satterthwaite.
Teorema 1 (Gibbard, 1973, y Satterthwaite, 1975) Toda regla de reparto nomanipulable se rige por una secuencia de dictadores.
Este resultado es frecuentemente considerado como negativo, pues nos dice que
la nica manera de evitar el comportamiento estratgico de los agentes es mediante la asignacin de una secuencia de dictadores. Inmediatamente se empezaron a
buscar vas de escape para conseguir otro tipo de resultados ms atractivos.
Muchos problemas de decisin social no se pueden acomodar al contexto de
Gibbard-Satterthwaite ya que el conjunto de alternativas asociado tiene una
estructura especfica. La idea de usar dicha informacin sobre la estructura del
conjunto de alternativas y considerar restricciones de dominio adecuadas sugiri una de las posibles vas de escape. En este contexto, puede considerarse natural suponer que las preferencias de los individuos sobre el nivel de participacin que el agente tiene en la distribucin del bien son unimodales. Es decir,
aaep_11:aaep_11
21/9/11
11:09
Pgina 41
41
dada una preferencia, existe un nivel ptimo de provisin que es el mejor para
este individuo, y cuanto ms nos alejemos de este nivel, peor est el individuo.
La restriccin del dominio de preferencias de la funcin de eleccin social,
origin una gran lnea de investigacin que permiti obtener la existencia de
reglas de eleccin no manipulables en contextos especficos.4
Segn la definicin de no-manipulabilidad, cunto ms pequeo es el dominio
de preferencias, menor es el nmero de posibilidades que los agentes tienen para
manipular (pues tienen menos opciones de falsificar sus preferencias). Por lo tanto,
las funciones que son manipulables en un dominio de preferencias pueden no serlo
en un subdominio (subconjunto del dominio inicial de la funcin de eleccin social).
Este argumento sugiere que el resultado de imposibilidad de Gibbard-Satterthwaite
puede incumplirse para problemas especficos con dominios restringidos.
Supondremos que las preferencias de los agentes son unimodales.
Definicin 2 Una preferencia del agente i, Ri, es unimodal si tiene un nico ptimo, que denotaremos ( Ri ) [ 0, M ] , y para todo par de vectores y,x[0,M], tenemos que xPiy si y < x ( Ri ) ( Ri ) x < y .
Denotemos el conjunto de preferencias unimodales y continuas sobre [0,M].
A continuacin, presentamos resultados de existencia de funciones de eleccin social no manipulables. Como ya hemos mencionado, estos se generan al
considerar determinados dominios de preferencias asociados a cada problema
concreto. Este resultado positivo se obtiene al estudiar, no slo la existencia de funciones de eleccin social que sean no manipulables, sino tambin obtener su
caracterizacin, cuando esto sea posible.
Uno de las reglas que ha jugado un papel relevante es la conocida como regla
uniforme (Benassy, 1982). No slo si exigimos la no-manipulabilidad, sino que
tambin cuando nos interesamos por propiedades equitativas.
Dado un perfil de preferencia R U n , la regla de reparto uniforme U :U n Z
est definida como sigue:
min { ( Ri ), (R )} si M ( R j )
Ui (R ) =
max { ( Ri ), (R )} si M ( R j )
Moulin y Thomson (1996) presentan una visin panormica sobre los problemas de asignacin de
recursos enfatizando esta idea.
aaep_11:aaep_11
21/9/11
42
11:09
Pgina 42
para todo R U n , todo iN, donde (R) es la nica solucin tal que Uj (R ) = M .
Ahora describiremos algortmicamente la regla uniforme para un perfil de preferencia dado, R U n.
Supongamos que
n
( R ) M
i
i =1
el caso complementario es completamente simtrico con lo cual omitiremos su descripcin.

Paso 1): Sea
M
A0 = i N : ( Ri ) ,
n
si A0 = Ui (R ) =
M
i
n
si A0 Ui (R ) = ( Ri ) i A0
Paso 2):
Sea M 1 = M iA ( Ri ) , N1 = N\A0 y n1 = #N1, sea
0
M
A1 = i N1 : ( Ri ) 1 ,
n1
M
A1 = Ui (R ) = 1 i N1
n1
si A1 Ui (R ) = ( Ri ) i A1
Paso 3):
Sea
M
Ak = i N k : ( Ri ) k ,
nk
. Sea
, y nk = #Nk;
aaep_11:aaep_11
21/9/11
11:09
Pgina 43
si Ak = ui (R ) =
43
Mk
i N k
nk
si Ak Ui (R ) = ( Ri ) i Ak .
Se contina con este proceso hasta encontrar At = .
Un resultado de caracterizacin de funciones de eleccin social para ciertas propiedades hace explcita la forma exacta de la regla que satisfacen dichas propiedades. El objetivo en la literatura que presentamos es obtener este tipo de resultados cuando una de las propiedades es la no-manipulabilidad y otra es la eficiencia
de Pareto. En muchos contextos econmicos, en especial en modelos con bienes
pblicos, las propiedades de no-manipulabilidad y eficiencia son incompatibles.
En general, en contextos econmicos con bienes privados estas propiedades son
compatibles.
Dado un perfil de preferencias R U n, una asignacin xZ es eficiente si no
existe una asignacin zZ tal que para todo agente iN, ziRixi, y y zjPjxj para al
menos un agente jN. Denotaremos por E(R) el conjunto de todas las asignaciones eficientes.
Una regla es eficiente si siempre selecciona una asignacin eficiente. Formalmente,
Definicin 3 Una regla sobre U n , , es eficiente si para todo perfil de preferencia RUn tenemos que (R)E(R).
Es inmediato verificar que, cuando las preferencias de los agentes son unimodales, la propiedad de eficiencia es equivalente a que la regla asigne un nivel de
participacin que se encuentra del mismo lado que su ptimo para todos los agentes de la sociedad. Esto es, para cada R R N :
( R j ) M [ ( Ri ) i (R ) para todo i N ]
j N
( R j ) M [ ( Ri ) i (R ) para todo i N ].
j N
Una regla de reparto es annima si slo depende de las caractersticas del perfil
de preferencias y no del nombre del agente que tiene la correspondiente preferencia.
aaep_11:aaep_11
44
21/9/11
11:09
Pgina 44
Sea : NN una funcin uno a uno (una permutacin). Dado un perfil de preferencia R, definimos R = R1 ,..., Rn , con Ri = R (i ).
Definicin 4 Una regla de reparto es annima si para todo (R1,,Rn)Un,

todo iN, y cualquier permutacin de N, tenemos que i (R ) = (i ) (R ).
Sprumont (1991) caracteriza la regla uniforme como la nica no manipulable,
annima y Pareto eficiente.
Teorema 2 (Sprumont (1991)) Una regla de reparto :U n Z es eficiente, annima y no-manipulable si y slo si es a la regla uniforme, = U.
La condicin de justicia demanda que nuestra regla sea annima. Sprumont
(1991), observa que no es necesaria la condicin de anonimidad para forzar que
la nica regla sea la uniforme. En el mismo artculo mencionado, Sprumont obtiene que el resultado de caracterizacin es aun valido si se remplaza la condicin
de anonimidad por una condicin mas dbil como la de libre de envidia (envyfreeness). Esta propiedad requiere que ningn agente prefiera el nivel de participacin asignado a otro agente.
Definicin 5 Una regla de reparto es libre de envidia si para todo ( R1 ,..., Rn ) U n ,
todo i,jN, i(R)Rij(R).
Con esta condicin de libre de envidia en reemplazo de la anonimidad se
obtiene el mismo resultado de caracterizacin.
Teorema 3 (Sprumont 1991) Una regla de reparto :U n Z es eficiente, libre
de envidia y no-manipulable si y slo si es a la regla uniforme, = U.
Varios son los artculos que consideran distintos axiomas, con el mismo espritu al tratamiento simtrico entre los agentes, obteniendo diferentes caracterizaciones de la regla uniforme.
Ching (1994) introduce el concepto de simetra, segn el cual dos agentes con
la misma preferencia deben tener el mismo nivel de participacin. Formalmente:
Definicin 6 Una regla de reparto es simtrica si para todo ( R1 ,..., Rn ) U n , todo
i,jN, tal que Ri = Rj; tenemos que i(R) = j(R).
aaep_11:aaep_11
21/9/11
11:09
Pgina 45
45
Teorema 4 (Ching 1994) Una regla de reparto :U n Z es eficiente, simtrica

y no-manipulable si y slo si es a la regla uniforme, , = U.
Otra alternativa caracterizacin de la regla uniforme fue encontrada por Ching
(1994), que demuestra que la simetra puede ser reemplazada por igual tratamiento de iguales.
Definicin 7 Una regla de reparto , satisface igual tratamiento de iguales si
para todo ( R1 ,..., Rn ) U n , todo i,jN, tal que Ri = Rj; tenemos que i(R)Iij(R).
Teorema 5 (Ching 1994) Una regla de reparto :U n Z es eficiente, no-manipulable y satisface igual tratamiento de iguales si y slo si es a la regla uniforme,
= U.
Existen otras caracterizaciones de la regla uniforme sin la condicin de nomanipulabilidad, pero como hemos mencionado anteriormente nuestro objetivo
es mantener este axioma entre las condiciones de caracterizacin.
3. Reglas secuenciales
Imaginemos que nuestro modelo de asignacin describe, por ejemplo, una sociedad que desea invertir en un proyecto, en el cual los beneficios sern pagados en
proporcin a la cantidad que cada socio invierte. Supongamos que cada uno de
los socios posee una cantidad ideal que quieren invertir. El total de estos niveles
de inversin puede se mayor o menor a la cantidad necesaria para la realizacin
del proyecto, as los socios pueden tener que invertir ms o menos que sus cantidades ideales. Hay muchas maneras diferentes en que uno puede decidir cunto se
le permitir invertir a cada socio.
Como vimos anteriormente, una de las maneras de decidir el nivel de inversin es la implementada por la regla uniforme. Esta regla tiene varias propiedades
deseadas, tales como no-manipulabilidad, eficiencia y tambin algunos de los requerimientos de simetra. Sin embargo, la propiedad de simetra de la regla uniforme
hace de ella una regla inadecuada cuando se desea respetar una cierta asimetra
entre los agentes.
A menudo es deseable que la regla tenga en cuenta cierta asimetra, basada en
considerar que los agentes tienen diferentes niveles jerrquicos debido a contribuciones histricas, eficiencia de los agentes, etc.
aaep_11:aaep_11
46
21/9/11
11:09
Pgina 46
En esta seccin describiremos una caracterizacin de reglas que son asimtricas y satisfacen las condiciones de no-manipulabilidad, eficiencia y una condicin de monotona.
La monotona nos dice que si en un cambio de una preferencia individual, al
agente se le asigna al menos la misma participacin que con la preferencia anterior todos los otros agentes no decrecen en su nivel de participacin. Esta condicin de monotona asegura que todos los agentes son afectados en la misma direccin en respuesta a un cambio de la preferencia de un agente.
Definicin 8 Una regla de reparto es montona si para todo perfil de preferencias ( R1 ,..., Rn ) U n , para todo agente iN, y para toda preferencia RiU , tenemos que:
i (R ) i (R, Ri) j (R ) j (R, Ri) j i

Observe que esta condicin de monotona tiene una estrecha relacin con la
monotona usada por Thomson (1997) en contextos similares. Tambin la monotona implica la condicin de nonbossy introducida por Satterthwaite and Sonnenschein (1991). Es fcil ver un ejemplo que muestra que esta relacin no es
biunvoca.
Ahora definiremos mediante un proceso secuencial una familia de reglas que sern
caracterizadas con los axiomas de no-manipulabilidad, eficiencia y monotona.
Dado R U n, denotemos T = M iN ( Ri ) . Una funcin g : Z U n Z U n

es secuencial relativo a q Z y q Z si las siguientes afirmaciones son vlidas
para todo par (qt,R) tal que (qt,R) = g(qt1,R) = gt(q0,R) para algn t 1:
L
i) Si T 0, entonces q0 = qH. Si T > 0, entonces q0 = qL.

ii) qit = ( Ri ) si T (qit 1 ( Ri )) = 0.
iii) (q tj q tj1 )T 0 si T (qit 1 ( Ri )) > 0.
iv) Si min { ( Ri), ( Ri )} > qit 1 y T 0 max { ( Ri), ( Ri )} < qit 1 y T 0 entonces
g(q t 1 , ( R)) = g(q t 1 , ( Ri, R i )) .
v) Sea q N = g N (q 0 , ( Ri, R i )) y q N = g N (q 0 , (R )) . Entonces:
Si ( Ri) < ( Ri ) y T 0, entonces q j N q Nj para todo j i.
Si ( Ri) > ( Ri ) y T > 0, entonces q j N q Nj para todo j i.
Observe que en estas funciones secuenciales los vectores qL y qH nos indican
los niveles de participacin que los agentes se pueden garantizar en el proceso,
aaep_11:aaep_11
21/9/11
11:09
Pgina 47
47
segn si existe exceso de oferta, qL, o demanda, qH. La condicin ii) nos asegura
que si hay exceso de demanda (oferta) los agentes cuyo nivel ideal de participacin se encuentra por debajo (por encima) del nivel que ellos se pueden garantizar, reciben su nivel ideal de participacin.
Definicin 9 Una regla de reparto es una regla secuencial si existen qL, qH en
Z y una funcin secuencial g relativo a qL, qH tal que,
g n (q H , R ) si ( Ri ) M
i N
.
i (R ) = n L
R
(
,
)
g
q
si
iN ( Ri ) < M
Ahora presentaremos un ejemplo ilustrando esta familia de reglas. Dado R U n ,

supongamos que
n
( R ) M
i
i =1
el caso complementario es completamente simtrico con lo cual omitiremos su descripcin.

Paso 1) Sea 0 = qH tal que
A0 = i N : ( Ri ) i0
0
i
= M . Sea
si A0 = i (R ) = i0 i
si A0 i (R ) = ( Ri ) i A0
Paso 2) Sea M 1 = M iA ( Ri ) , N1 = N\A0 y n1 = #N1. Sea 1(N1,M1) = g(qH,R)
0
tal que
i N1
1
0
i1 = M 1 y i i para todo iN1. Definimos,
A1 = i N1 : ( Ri ) i1
si A1 = i (R ) = i1 i N1
si A1 i (R ) = ( Ri ) i A1
aaep_11:aaep_11
21/9/11
48
11:09
Pgina 48
Paso 3) Sea
. Sea
Sea k(Nk,Mk) = gk1(qH,R) tal que

Definimos,
Ak = i N k : ( Ri ) ik
i N k
, y nk = #Nk;
ik = M k y ik ik 1 para todo iNk.
si Ak = i (R ) = ik i N k
si Ak i (R ) = ( Ri ) i Ak .
Esta familia de reglas secuenciales contiene a la regla uniforme, pero tambin
existen reglas que contemplan ciertas asimetras entre los agentes que pueden ser
descriptas en forma secuencial. Estas asimetras se ven reflejadas en los vectores
usados en su diseo. Barber, Jackson y Neme (1997) obtienen una caracterizacin axiomtica de estas reglas secuenciales.
Teorema 6 Una regla de reparto satisface no-manipulabilidad, eficiencia y
monotona si y solo si es una regla de reparto secuencial.
Para finalizar esta seccin mencionemos las siguientes observaciones:
i) El axioma de eficiencia puede ser reemplazado por la condicin de suryectividad y se obtiene un resultado ms fuerte.
ii) Las reglas secuenciales dependen slo del ptimo de las preferencias de cada
agente, ninguna otra informacin adicional es requerida para su implementacin. Este hecho tiene varias consecuencias, una de ellas es la simplicidad de
implementacin, otra es que estas reglas pueden ser implementadas por un mecanismo directo en estrategias dominantes en el cual slo se solicita el reporte de
su nivel ptimo.
iii) Las reglas de reparto secuenciales satisfacen la condicin de no-manipulabilidad por coaliciones, es decir, ningn grupo de agentes pude beneficiarse por
coordinar un cambio de estrategias.
aaep_11:aaep_11
21/9/11
11:09
Pgina 49
49
4. Reglas a prueba de soborno

La no-manipulabilidad requiere que ningn agente pueda obtener un mejor nivel de
participacin por mentir en la declaracin de su relacin de preferencia. La Pareto eficiencia requiere que ningn grupo de agentes pueda obtener mejores niveles de participacin por redistribuirse su asignacin inicial. En este contexto de los problemas
de distribucin donde hay un bien perfectamente transferible es natural combinar los
dos principios con lo cual obtenemos reglas a prueba de soborno en el sentido que
no hay un grupo de agentes que puedan compensar a otros agentes por mentir en su
declaracin de la preferencia y, despus de una adecuada redistribucin del nivel de
participacin obtenida, los agentes obtengan mejores niveles de participacin.
Una condicin que combina los principios de no-manipulabilidad y eficiencia es
a prueba de soborno. Es bien conocida la incompatibilidad de estos dos conceptos
en el contexto de economas con bienes pblicos. La Pareto eficiencia y la no-manipulabilidad son incompatibles al menos que las funciones de eleccin social sean
dictatoriales o de rango restringido. En contraste con esto, Barber, Jackson, y Neme
(1997) muestran que en los problemas econmicos con bienes privados la clase de
las reglas Pareto eficientes y no-manipulables es bastante grande. Especficamente,
como fue descripto en la seccin anterior, el conjunto de las reglas secuenciales estn
caracterizadas por las propiedades de eficiencia, monotona y no-manipulabilidad.
Schummer (2000) propone, en un marco general de economas con bienes pblicos y preferencias cuasi-lineales, el concepto de reglas a prueba de soborno.
Una regla es a prueba de soborno si no existe un grupo de agentes que tengan
incentivos a ofrecer a un tercer agente un pago lateral a cambio de que este cambie su declaracin de la preferencia. El demuestra que la familia de reglas que satisfacen la propiedad a prueba de soborno se reduce sustancialmente a funciones
constantes respecto a transferencias monetarias, en el sentido que cambios de preferencias de un agente no afecta el pago de los otros agentes.
Adems de Schummer (2000), pocos artculos han estudiado la propiedad de
a prueba de soborno en diferentes contextos. Es y Schummer (2003) examina
esta propiedad en el contexto de subastas de segundo precio y Fiestras-Janeiro,
Klijn, y Snchez (2004) lo estudia en el contexto de juegos de asignacin con
dotaciones iniciales.
Adems de los axiomas de eficiencia y no-manipulabilidad tenemos un especial inters en reglas que no permitan que un grupo de agentes obtengan ganancias
por redistribuir el nivel de participacin asignado despus que un agente cambie su
verdadera preferencia. Formalmente,
aaep_11:aaep_11
50
21/9/11
11:09
Pgina 50
Definicin 10 Una regla de reparto es a prueba de soborno si para todo perfil de preferencias ( R1 ,..., Rn ) U n , para todo iN, y todo RiU no existe S N
y (tj)jS tal que iS,
t = j S j ( Ri, R i ) y para todo jS
j S j
t j Pj j ( Ri, R i ).
Como habamos mencionado anteriormente esta condicin de a prueba de
soborno tiene una estrecha relacin con eficiencia y no-manipulabilidad.
Lema 1 Todo mecanismo de reparto a prueba de soborno es no-manipulable y
eficiente.
Mediante un ejemplo mostraremos que la inversa del lema es falsa, exhibimos
un ejemplo de una regla Pareto eficiente y no manipulable que no satisface la condicin de a prueba de soborno.
Ejemplo 2 Sea N = {1,2,3} el conjunto de agentes y definimos la regla :U n Z
como sigue. Para todo R U n ,
1 (R ) = max {0, M ( R2 ) ( R3 )},

( R2 ) si 0 R1 M
2 (R ) =
min { ( R2 ), M ( R3 )} si MP1 0,
( R3 ) si MP1 0
3 (R ) =
min { ( R3 ),1 ( R2 )} si 0 R1 M .
Observe que es Pareto eficiente y no manipulable. Para ver que no es
M
, 0P1M, y
a prueba de soborno, consideremos RUn tal que ( R1 ) =
2
M
( R2 ) = ( R3 ) = M . Entonces (R) = (0,M,0). Sea R1 U tal que ( R1 ) =
2
M
y MP1 0 . Entonces, ( R1, R 1 ) = (0, 0, M ) . Sea S = {1, 3} T = {1} , y t1 = t 3 =
,
2
M
M
como
P1 0 y
P3 0 , no es a prueba de soborno.
2
2
El siguiente teorema muestra que la familia de reglas secuenciales son a
prueba de soborno.
aaep_11:aaep_11
21/9/11
11:09
Pgina 51
51
Teorema 7 Todo mecanismo de reparto no-manipulable, eficiente y montono es

a prueba de soborno.
Con el objetivo de obtener una caracterizacin completa de las reglas a prueba de soborno introducimos una nocin dbil de monotona, la cual junto con
eficiencia y no-manipulabilidad nos dar la caracterizacin deseada.
Definicin 11 Una regla es dbilmente montona si para todo perfil de preferencia R U n , todo iN, y todo RiU , si [i (R ) i ( Ri, R i ) y i (R ) ( Ri ) o
i ( Ri, R i ) ( Ri)] , entonces j (R ) j ( Ri, R i ) para todo j i .
La condicin de monotona dbil requiere un tratamiento simtrico entre los

agentes. Un incremento en el nivel de participacin del agente i, despus de haber
cambiado su preferencia, decrece el total de bienes que deben distribuirse los
agentes restantes. Monotona dbil implica que ninguno de los restantes agentes
crece en su nivel de participacin.
Teorema 8 Las reglas Pareto eficientes, no manipulables, y montonas son a
prueba de soborno.
El siguiente ejemplo ilustra el hecho que las condiciones de Pareto eficiencia,
no-manipulabilidad, y monotona no nos dan una caracterizacin completa de las
reglas a prueba de soborno. Exhibimos una regla a prueba de soborno, consecuentemente Pareto eficiente y no-manipulable, que no es montona.
Ejemplo 3 Consideremos el caso donde M=1 y la sociedad esta formada por tres
agentes, N = {1,2,3}. Sea :U n Z definida de la siguiente forma: para todo
R U n ,
1 (R ) = ( R1 )
min { ( R2 ),1 ( R1 )} si 0 R11
2 (R ) =
min {0,1 ( R1 ) ( R3 )} si 1P1 0
min { ( R3 ),1 ( R1 )} si 1P1 0
3 (R ) =
min {0,1 ( R1 ) ( R2 )} si 0 R11.
aaep_11:aaep_11
52
21/9/11
11:09
Pgina 52
Para demostrar que es a prueba de soborno, supongamos lo contrario; sea

T S un conjunto de agentes participantes en el soborno en la preferencia R U n .
Como raciona a todos los agentes del mismo lado de su nivel ptimo de participacin, es Pareto eficiente. An mas, ningn agente puede manipular el mecanismo porque todos los agentes reciben su ptimo o slo pueden cambiar su nivel de
participacin en la direccin opuesta a la de su ptimo y consecuentemente su preferencia decrece. Luego, #S1 y #S3. Observe que para todo R U n , 1 ( R ) = ( R1 ).
Entonces, 1T y, sin prdida de generalidad, supongamos que 1S. Luego, S = {1,j}
y T = {j}, donde j es 2 o 3. Sea
y Rj U tal que t1 + t j = 1 ( Rj , R j )
) + j ( Rj , R j ) . Como 1 ( Rj , R j ) = ( R1 ) = 1 ( R) , j ( Rj , R j ) = t j . Por hiptesis,
t j = j ( Rj , R j )Pj j ( R) , implica que es manipulable, una contradiccin. Entonces, es a prueba de soborno. Observe que no es dbilmente montona. Para
ver esto, considere cualquier ( R1 , R2 , R3 ) U n y R1 U tal que ( ( R1 ), ( R2 ), ( R3 ))
, 0P11, ( R1) = 3 / 4, y 1P10. entonces, ( R1 , R2 , R3 ) = (1 / 4, 3 / 4, 0) y
( R1, R2 , R3 ) = ( 3 / 4, 0,1 / 4 ) , lo cual implica que no es dbilmente montona.

Ahora estamos en condiciones en enunciar el resultado de caracterizacin
axiomtica de las reglas a prueba de soborno.
Teorema 9 Una regla de reparto es a prueba de soborno si y slo si es eficiente, no manipulable y dbilmente montona.
Este teorema implica que las reglas secuenciales introducidas en la seccin anterior son a prueba de soborno, pero esta implicacin no es una completa caracterizacin explcita de esta familia de reglas. Mass y Neme (2007) obtienen una
caracterizacin explcita de la familia de reglas a prueba de soborno.
5. Dominios maximales
Una de las implicaciones del teorema de Gibbard-Satterthwaite en estos modelos es
la imposibilidad de disear una regla no manipulable y simtrica bajo el supuesto de
dominio universal de preferencias. En las secciones anteriores hemos presentados resultados que nos aseguran la existencia de reglas de reparto no manipulables en los problemas de divisin bajo la restriccin que el dominio de preferencias es unimodal.
Ahora podemos preguntarnos sobre la existencia de un dominio de preferencias,
que contenga a las unimodales y aun conserve la propiedad de existencia de reglas
con interesantes propiedades tales como la no-manipulabilidad, la eficiencia y la
aaep_11:aaep_11
21/9/11
11:09
Pgina 53
53
simetra. En esta seccin presentaremos resultados tendientes a responder sobre tal

existencia. Especficamente presentaremos caracterizaciones del dominio maximal
de preferencias que contenga al dominio de las unimodales en el cual exista al
menos una regla que satisfaga no-manipulabilidad, eficiencia y simetra.
Moulin (1984) y Berga (1998) en el contexto de bienes pblicos estudian una
extensin del dominio de preferencias unimodales. Ellos obtienen caracterizaciones
de todas las reglas no manipulables definidas sobre el dominio de preferencias
multimodales, el cual permite un intervalo de indiferencia como conjunto ptimo
de una preferencia y estrictamente montona en ambos lados de este intervalo.
Ching (1992) extiende la definicin de la regla uniforme en dominios de preferencias multimodales y caracteriza dicha regla.
Supondremos que las preferencias de los agentes son multimodales.
Definicin 12 Una preferencia del agente i, Ri es multimodal si existe un intervalo [ ( Ri ), ( Ri )] [0, M ] tal que para todo par de vectores y,x[0,M], tenemos
que xPiy si y < x ( Ri ) ( Ri ) x < y , y xIiy si ( Ri ) y x ( Ri ).
Denotemos
el conjunto de preferencias multimodales y continuas sobre
[0,M]. Observe que este conjunto de preferencias contiene a las unimodales, U M.
Como hemos mencionado, la regla uniforme es una de las reglas ms relevantes, no slo si exigimos la no-manipulabilidad, sino tambin cuando nos interesamos por propiedades equitativas. Para lograr nuestro objetivo debemos extender
la regla uniforme a este nuevo dominio de preferencias.
Dado un perfil de preferencia R Mn , la regla de reparto uniforme
U
:M n Z est definida como sigue:
min { ( Ri ), (R )} si M ( R j )
Ui (R ) = zi ; tal que zi [ ( Ri ), ( Ri )] si M i ( Ri ), i ( Ri )
max { ( Ri ), (R )} si M ( R j )
para todo R M n; todo iN, donde (R) es una solucin tal que Uj (R ) = M .
Observemos que, a diferencia del caso de preferencias unimodales, la solucin
(R) no es nica y consecuentemente se debe seleccionar una para la definicin de
la regla. Como ejemplo supongamos el caso extremo donde el intervalo optimal
para todas las preferencias es [ ( Ri ), ( Ri )] = [0, M ], en tal caso la regla uniforme
puede seleccionar cualquier vector admisible zZ.
aaep_11:aaep_11
54
21/9/11
11:09
Pgina 54
Ching (1992) extiende los resultados de caracterizacin de la regla uniforme en

este nuevo contexto. l demuestra que la regla uniforme sobre el dominio de preferencias multimodales es la nica no manipulable, annima y Pareto eficiente.
Teorema 10 (Ching, 1992) Una regla de reparto :Mn Z es eficiente, libre
de envidia y no manipulable si y slo si es a la regla uniforme, = U.
Ching y Serizawa (1998), modifican levemente este modelo, consideran la
cantidad del bien privado a repartir como una variable del modelo y no como un
dato. En este nuevo contexto investigan el dominio maximal de preferencias, que
contienen a las unimodales, para el cual existe al menos una regla no manipulable, eficiente y simtrica. Ellos demostraron que este dominio maximal es el de
las preferencias multimodales.
Teorema 11 Ching y Serizawa, 1998) El domino de preferencias multimodales es
el nico dominio maximal de preferencia que contiene a las unimodales tal que
existe una regla de reparto no-manipulable, simtrico y eficiente.
Observemos que el resultado de Ching y Serizawa (1998) depende del rol de
variable asignado a la cantidad del bien a repartir, M. Este resultado es falso si M
es considerado un dato como en el modelo original.
Ahora retornamos al modelo original e investigamos el dominio maximal de
preferencias para la existencia de reglas con las propiedades mencionadas.
Este dominio maximal depender crucialmente de la cantidad M de bien que
podemos repartir y la cantidad n de agentes que tiene la sociedad, dado que el
nivel de reparto igualitario M/n juega, como consecuencia de la simetra, un rol
fundamental en la descripcin. Nuestro dominio de preferencias contendr a las
multimodales. An ms, si consideramos la interseccin de estos dominios maximales cuando M vara de 0 a , se obtiene el dominio de las multimodales.
Ahora introduciremos un dominio de preferencia, dbilmente montono, que
contiene a las multimodales.
Dada una preferencia Ri, nos referiremos al intervalo (Ri),el cual juega un rol
fundamental en la definicin de nuestro dominio de preferencias:
( Ri ) = min , ( Ri ),max , ( Ri ) .
n
aaep_11:aaep_11
21/9/11
11:09
Pgina 55
55
Antes de la descripcin formal, ser de utilidad una descripcin verbal del dominio de preferencias montonas restringidas a (Ri). Una preferencia de este domino tiene la propiedad que el conjunto ptimo de niveles de participacin es un intervalo. Adicionalmente, satisface que si este intervalo optimal es menor que M/n,
entonces la preferencia debe ser decreciente entre el nivel ptimo y M/n. Simtricamente, si este intervalo optimal es mayor que M/n, entonces la preferencia debe
ser decreciente entre M/n y el nivel ptimo. Finalmente si M/n es un nivel optimal
de reparto, entonces ninguna condicin adicional es requerida. Formalmente,
Definicin 13 Una preferencia Ri R es dbilmente montona sobre (Ri) si para
todo x,y[0,M]:
(a) Si [ x < y y M / n y ( Ri )] implica que [yRix y si yIix entonces existe
[ x0 , y0 ] [ x, y ] tal que x0 + y0 > M y xIiy0 para todo x[x0,y0]].
(b) Si [ x < y y ( Ri ) x M / n ] implica que [xRiy y si xIiy entonces existe
[ x0 , y0 ] [ x, y ] tal que x0 + y0 < M y xIiy0 para todo x[x0,y0]].
(c) Si x [ ( Ri ), ( Ri )] entonces xI i ( Ri ) .
Note que el nmero de agentes n juega un rol fundamental en las condiciones
(a) y (b) de la definicin. Denotamos por Rrm

el conjunto de preferencias dbilmente montonas respecto (Ri).
Las siguientes figuras ilustran los tres posible tipos de preferencias dbilmente
montonas sobre dependiendo de si M / n ( Ri ) , ( Ri ) M / n , ( Ri ) M / n,
( Ri ) M / n ( Ri ) .
i)
M / n ( Ri ) :
aaep_11:aaep_11
21/9/11
56
11:09
Pgina 56
ii) ( Ri ) M / n
iii) ( Ri ) M / n ( Ri ) :
Obtendremos que el dominio de preferencias dbilmente montonas sobre

es el dominio maximal de preferencias que admite reglas no manipulables, eficientes y simtricas. Ahora introducimos el concepto de domino maximal respecto de una lista de propiedades.
Definicin 14 Un conjunto de preferencias Rm es maximal respecto de una lista
de propiedades si: (1) Rm R ; (2) existe una regla sobre Rmn que satisface las
propiedades; y (3) no existe una regla sobre Q n satisfaciendo las mismas propiedades tal que Rm Q R .
Mass y Neme (2001), demuestran el siguiente teorema de caracterizacin.
Teorema 12 El conjunto de preferencias dbilmente montonas sobre , Rrm

, es
el nico dominio maximal de preferencias que contiene a para las propiedades
de no-manipulabilidad, eficiencia y simetra.
aaep_11:aaep_11
21/9/11
11:09
Pgina 57
57
Para finalizar, queremos comentar que actualmente los resultados sobre maximalidad de dominios para una serie de propiedades de la funcin de eleccin
social estn tambin siendo estudiados en otros contextos econmicos. Por ejemplo, en el problema de asignacin bilateral (concretamente, en el modelo de asignacin de viviendas) Ehlers (2002) obtiene un nico dominio maximal para las funciones de eleccin social no manipulables por coaliciones y eficientes.
Referencias
Aumann, R. y M. Maschler (1985): Game Theoretic Analysis of a Bankruptcy Problem from the
Talmud, Journal of Economic Theory, 36, 195-213.
Arrow, K.J. (1963): Social choice and individual values, 2 edicin. New York. Wiley.
Barber, S. y M. Jackson (1995): Strategy-proof exchange, Econometrica, 63, 51-87.
Barber, S., M. Jackson y A. Neme (1997): Strategy-proof allotment rules, Games and Economic
Behavour, 18, 1-21.
Benassy, J. (1982): The economics of market disequilibrium, Academic Press.
Berga, D. (1998): Strategy-proofness and single-plateaued preferences, Mathematical Social Sciences,
35, 105-120.
Ching, S. (1992): A simple characterization of the uniform rule, Economic Letters, 40, 57-60.
Ching, S. (1994): An alternative characterization of the uniform rule, Social Choice and Welfare, 11,
131-136.
Ching, S. y S. Serizawa (1998): A maximal domain for the existence of strategy-proof rules,
Journal of Economic Theory, 78, 157-166.
Dasgupta P., P. Hammond y E. Maskin (1979): The implementation of social choice rules: some
general results on incentive compatibility, Review of Economic Studies, 46, 185-216.
de Frutos, M.A y J. Mass (1995): More on the Uniform allocation rule: equity and consistency,
Working Paper 288.95. Universitat Autnoma de Barcelona.
Ehlers, L. (2002): Coalitional Strategy-Proof House Allocation, Journal of Economic Theory, 105,
298-317.
Es, P. and Schummer, J. (2004): Bribing and signalling in second price auctions, Games and
Economic Behavior, 47, 299-324.
Fiestras-Janeiro, G., Klijn, F., and Snchez, E. (2004): Manipulation of Optimal Matchings via
Predonation of Endowment, Mathematical Social Sciences, 47, 295-312.
Gibbard, A. (1973): Manipulation of voting schemes: A general result, Econometrica, 41, 587-601.
Hurwicz, L. (1972): On informationally decentralized systems en Decision and Organization. Ed. C
McGuire y R. Rakner. North Holland.
Hurwicz, L. y M. Walker (1990): On the generic nonoptimality of dominant-strategy allocation
mechanisms: a general theorem that includes pure exchange economies. Econometrica,58,
683-704.
Mass, J. y A. Neme (2001): Maximal domain of preferences in the division problem, Games and
Mass, J. y A. Neme (2007): Bribe-Proof Rules in the Division Problem, Games and Economic
Behavior, 61, 331-343.
May, K.O. (1952): A set of independent necessary and sufficient conditions for simple majority
decisions, Econometrica, 20, 680-684.
aaep_11:aaep_11
58
21/9/11
11:09
Pgina 58
Moulin, H. (1984): Generalized Condorcet-winners for single peaked and single plateaued preferences, Social Choice and Welfare, 1, 127147.
Moulin, H. (1985a): Egalitarianism and Utilitarianism in Quasi-Linear Bargaining, Econometrica,
53, 49-67.
Moulin, H. (1985b): The Separability Axiom and Equal Sharing Methods, Journal of Economic
Theory, 36, 120-148.
Moulin, H. (1987): Equal or Proportional Division of a Surplus, and other Methods, International
Journal of Game Theory, 16, 161-186.
Moulin H. y W. Thomson (1996): Axiomatic analysis of resource allocation problems. En Social
Choice Re-examined Vol 2. Editado por K. Arrow, A. Sen y K. Suzumura, McMillan.
Nicol, A. (2004): Efficiency and Truthfulness with Leontief Preferences. A Note on Two-Agent, TwoGood Economies, Review of Economic Design, 8, 373-382.
Satterthwaite M. (1975): Strategy-proofness and Arrows conditions: Existence and correspondence
theorem for voting procedures and social choice functions, Journal of Economic Theory 10, 187217.
Satterthwaite M. Y H. Sonnenschein (1981): Strategy-proofness allocation mechanisms at differentiable points, Review of Economic Studies, 48, 587-598.
Schummer, J. (1997): Strategy-proof versus efficiency on restricted domains of exchange economies, Social Choice and Welfare 14, 47-56.
Schummer, J. (2000): Manipulation through bribes, Journal of Economic Theory, 91, 180-198.
Schummer, J. y W. Thomson (1996): Two derivations of the uniform rule and an application to bankruptcy, Economic Letters, 55 , 333-337.
Sen, A. K. (1970): The impossibility of a Paretian liberal, Journal of Political Economy, 78, 152157.
Serizawa, S. (1998): Pairwise strategy-proofness, mimeo, Tohoku University.
Sprumont, Y. (1991): The division problem with single-peaked preferences: a characterization of the
uniform allocation rule, Econometrica 59, 509-519.
Thomson, W. (1997): The Replacement Principle in Economies with Single-Peaked Preferences, Journal of Economic Theory, 76, 145-168.
Young, P. (1987): On Dividing an Amount According to Individual Claims or Liabilities, Mathematics of Operations Research, 12, 398-414.
Zhou, L. (1991): Inefficiency of strategy-proof allocation mechanisms in pure exchange economies,
Social Choice and Welfare, 8, 247-257.
aaep_11:aaep_11
21/9/11
11:09
Pgina 59
MODELOS DE ASIGNACIN EN MERCADOS BILATERALES*
Jorge Oviedo
Instituto de Matemtica Aplicada de San Luis
Universidad Nacional de San Luis-CONICET
1. Introduccin
El objetivo de este trabajo es introducir el concepto y mostrar un somero resumen
de resultados de la teora modelos de asignacin en mercados bilaterales (matching). Por supuesto que aqu no estn todos los resultados, ni siquiera todas las
lneas de investigacin dedicadas a esta teora, slo se intenta mostrar una introduccin a este tema teniendo en cuenta como se han desarrollado.
Hay mercados (mercado de bienes, bolsa de comercio) donde los agentes dependiendo del precio (del bien o accin) pueden ser compradores o vendedores, stos
han sido ampliamente estudiados usando modelos de oferta y demanda en funcin
de los precios.
En otros mercados (mercado de trabajo donde los agentes son trabajadores y
empresas) cada agente no puede cambiar su caracterstica, por ejemplo un trabajador (un estudiante) no puede ser empresa (colegio) se los denomina modelo de
asignacin en mercado bilateral o simplemente modelo de asignacin. El trmino asignacin (asociacin, emparejamiento, concordancia) se refiere a la naturaleza bilateral del intercambio entre los agentes: un individuo trabaja para una institucin y sta lo tiene como empleado.
Algunos mercados bilaterales donde se usan modelos de asignacin son: el Programa Nacional de Mdicos Residentes (NRMP) de Estados Unidos, en este programa se asignan aproximadamente 20.000 mdicos residentes a hospitales. Tambin se han implementado mecanismos centralizados, para la asignacin de alumnos
a colegios en Nueva York y Boston, han sido desarrollados por Abdulkadirolu y
* Agradezco a Ruth Martnez y Alejandro Neme por sus tiles comentarios. Este artculo es parcialmente subvencionado por la Universidad Nacional de San Luis Proyecto 319502, y por el Consejo
Nacional de Investigaciones Cientficas y Tcnicas CONICET, PICT-02114.
aaep_11:aaep_11
60
21/9/11
11:09
Pgina 60
Snmez (2003), Abdulkadirolu, Pathak, Roth (2005 y 2009) y Abdulkadirolu,

Pathak, Roth y Snmez (2005 y 2006). Roth (2008), muestra otros mercados donde
se aplican modelos de asignacin.
Los agentes de un modelo de asignacin se dividen en dos subconjuntos disjuntos, que nos referiremos a individuos (trabajadores, estudiantes, mdicos, etc.)
e instituciones (empresas, colegios, hospitales, etc.)
Cada agente tiene un orden de preferencia sobre el otro conjunto de agentes,
es decir, los individuos y las instituciones tienen un orden de preferencia sobre las
instituciones y conjuntos de individuos respectivamente. Por ejemplo, en los mercados de trabajo cada trabajador tiene un orden de preferencias (salario, condiciones de trabajo, tareas a desarrollar) sobre las empresas aceptables mientras que
stas ordenan sus trabajadores aceptables segn algn criterio de aptitud para desarrollar la tarea. Se dice que una empresa es aceptable para un trabajador si ste
la prefiere a quedarse desempleado; un conjunto de trabajadores no es aceptable
para una empresa, si sta prefiere quedarse con un subconjunto propio de l.
Una de las propiedades ms importante que debe cumplir cualquier solucin de
un modelo de asignacin es la de estabilidad. Hay dos definiciones: asignacin estable y ncleo (core). Una asignacin es estable o estable por pares, si es individualmente racional (es decir, todos los agentes prefieren lo que les propone la asignacin a un subconjunto estricto de lo que les propone, incluyendo permanecer solos)
y, si no hay ninguna pareja trabajador-empresa que la bloquee (es decir, que los dos
se prefieran mutuamente en lugar de lo que les propone la asignacin). Una asignacin est en el ncleo si no existe una coalicin de agentes (subconjunto de empresas y trabajadores) que la bloquee, es decir, los trabajadores y empresas de la coalicin se reasignan entre ellos y todos los agentes obtienen dbilmente una mejor
asignacin y al menos uno de ellos obtiene uno estrictamente mejor.
Los modelos de asignacin se clasifican segn la cantidad de agentes que se
le puede asignar a cada uno de ellos, a un agente se le puede asignar uno o muchos
(un conjunto) agentes. El modelo de asignacin ms simple y uno de los ms
estudiados se denomina modelo de asignacin uno-a-uno1 o modelo de matrimonio. A los agentes se los divide en hombres y mujeres, a cada hombre se le asigna a lo ms una mujer y viceversa. En el modelo de asignacin uno-a-muchos, a
cada institucin se le asocia un conjunto de individuos mientras que a un individuo slo se le asigna a lo ms una institucin. En el modelo de asignacin muchosa-muchos o modelo de trabajo a tiempo parcial, el trabajador puede ocuparse en
1
O simplemente modelo uno-a-uno.
aaep_11:aaep_11
21/9/11
11:09
Pgina 61
Modelos de Asignacin en Mercados Bilaterales
61
varias empresas, un ejemplo de este caso es el de profesores de colegios secundarios que trabajan en varios colegios.
Gale2 y Shapley en (1962) publicaron el primer trabajo del modelo de asignacin y dieron un algoritmo para encontrar una asignacin estable en el modelo de
matrimonio. En una clase de modelos uno-a-muchos, al que llamaron modelo de
admisin de estudiantes a colegios, mostraron que el conjunto de asignaciones estables es no vaco, cuando en el modelo general puede ser vaco. La causa de que el
conjunto de asignaciones estable sea o no vaco depende de la estructura de las
preferencias de las empresas. Por ejemplo, las preferencias de las empresas en el
modelo de admisin a los colegios son q-responsivas.
Kelso y Crawford (1982) definieron una preferencia ms general para cada
empresa denominada sustituible y mostraron que para este caso los modelos unoa-muchos y muchos-a-muchos el conjunto de asignaciones estables es no vaco.
Tambin mostraron bajo preferencias sustituibles que coinciden los conjuntos de
asignaciones estables y ncleo en el modelo uno-a-muchos. En el modelo muchosa-muchos los conjuntos de asignaciones estables y ncleo no coinciden, aun con
preferencias sustituibles. Sotomayor (1999) defini tres conceptos de estabilidad
para el modelo de muchos-a-muchos. Echenique y Oviedo (2006) definieron sustitubilidad fuerte y mostraron que, si se aplica, en el modelo muchos-a-muchos
los tres conceptos de estabilidad coinciden y son no vacos.
Para demostrar que el conjunto de asignaciones estables es no vaco, se usa el
algoritmo denominado de Aceptacin Diferida, introducido por Gale y Shapley
(1962). En cada etapa del Algoritmo de Aceptacin Diferida un lado del mercado,
por ejemplo las empresas, hacen ofertas al mejor conjunto que no contenga trabajadores que lo hayan rechazado en alguna etapa anterior. Los trabajadores que han
recibido alguna oferta eligen la mejor de ellas y rechazan las otras. El algoritmo se
detiene cuando ningn trabajador rechaza una oferta. La asignacin que construye
este algoritmo adems de ser estable, es la que todas las empresas unnimemente
prefieren entre todas las asignaciones estables, a la que se la denomina asignacin
estable ptima para las empresas. Anlogamente, si los trabajadores hacen las ofertas en el Algoritmo de Aceptacin Diferida y las empresas eligen se construye la
asignacin estable ptima para los trabajadores. Gale y Shapley (1962) y Roth (1984)
demostraron que la asignacin estable ptima de las empresas (trabajadores) es la
peor de las asignaciones estables para los trabajadores (empresas).
El International Journal of Game Theory en el ao 2008 dedic los nmeros 3 y 4 del volumen 36 a
David Gale (13/12/1921 -7/3/2008) en ocasin de cumplir 85 aos.
aaep_11:aaep_11
62
21/9/11
11:09
Pgina 62
Roth (1982) mostr en el modelo uno-a-uno que no existe una asignacin

individualmente racional que todos los trabajadores (empresas) unnimemente prefieran a la asignacin estable ptima de los trabajadores (empresas). Este resultado slo puede ser parcialmente generalizado al modelo uno-a-muchos ya que es
vlido para los trabajadores cuando las preferencias de las empresas son q-responsivas, Roth (1985b), y cuando son sustituibles y q-separables, Martnez, Mass Neme y Oviedo (2004b).
McVitie y Wilson (1970) demostraron que los hombres y mujeres que quedan
solteros, es decir, la asignacin no les asocia nadie, son los mismos en las dos asignaciones estables ptimas del modelo de matrimonio. Esta propiedad vale para cualquier asignacin estable sea o no ptima. En el modelo uno-a-muchos, los trabajadores que quedan desocupados siempre son los mismos en cualquier asignacin estable,
mientras que si una empresa no llena la cuota (mximo nmero de vacantes que ofrece) en una asignacin estable entonces en cualquier otra asignacin estable se le asigna el mismo conjunto de trabajadores. Este resultado se conoce como problema de
los hospitales rurales, Roth (1986) y Martnez, Mass Neme y Oviedo (2000).
Hay algoritmos para construir todas las asignaciones estables en el modelo unoa-uno, Irving y Leather (1986), McVitie y Wilson (1971), y en el caso del modelo muchos-a-muchos, Martnez, Mass, Neme y Oviedo (2004a).
Otro problema que ha sido estudiado es el comportamiento estratgico de los
agentes en los modelos de asignacin. Hay ejemplos de mercados de trabajo donde hay un ente que recibe la preferencia declarada por los agentes y usando un
mecanismo propone una solucin, por ejemplo aplica el Algoritmo de Aceptacin
Diferida y ste da como solucin la asignacin estable ptima de los trabajadores
(empresas). Esta solucin depende de la preferencia declarada por cada agente.
En general, el agente antes de declarar su preferencia ante el ente central se puede hacer la siguiente pregunta: qu preferencia me conviene declarar para obtener una mejor asignacin?, o dicho de otra forma, me conviene elegir una preferencia diferente a mi verdadera para obtener una mejor asignacin? Esta pregunta
involucra dos clases de preferencias: por un lado est la verdadera preferencia, y
por otra la que declara al ente. El teorema de imposibilidad de Roth (1982) demuestra que la respuesta a esa pregunta es afirmativa. Dubins y Freedman (1981), Roth
(1982), Martnez, Mass, Neme y Oviedo (2004b), Hatfield y Milgrom (2005) estudiaron la manipulacin por parte de los trabajadores (empresas) del mecanismo
estable ptimo de los trabajadores (empresas).
Los modelos de asignacin bilateral han sido extendidos a mercados donde
participan trabajadores y parejas de trabajadores. Aldershof y Carducci (1996),
aaep_11:aaep_11
21/9/11
11:09
Pgina 63
63
Dutta y Mass (1997), Roth y Peranson (1999), Cantala (2004), Klaus y Klijn
(2005). Tambin se han estudiado el modelo de asignacin trilateral, conocido
como problema de asignacin hombre-mujer-hijo, Alkan (1988) y Danilov (2003),
y el problema del compaero de cuarto (roommate problem), Gale y Shapley
(1962), Gusfield (1988) Irving (1985), Tan (1991).
En la seccin siguiente se describe la evolucin histrica del problema de mdicos residentes en Estados Unidos. En la seccin 3 se introduce las definiciones bsicas del modelo de asignacin, preferencias y sus relaciones y en la seccin 4 se
dan resultados de existencia para los distintos modelos de asignacin bilateral, optimalidad, el Algoritmo de Aceptacin Diferida y se muestran propiedades estratgicas. En la seccin 5 se dan algunas extensiones del modelo. En este artculo se
enuncian los resultados sin demostracin y se dan ejemplos para ayudar a entender la teora.
2. El Problema de Mdicos Residentes en Estados Unidos

Lo siguiente es tomado de Roth (1984) y describe el problema de asignacin de
mdicos residentes a hospitales.
A principio del siglo XX los hospitales crearon una nueva forma de realizar el
postgrado que consista en realizar una especialidad por los mdicos internos, luego se los llam residentes. Desde el comienzo el mercado se caracteriz por la
intensa competencia entre los hospitales, debido a la escasa oferta de mdicos
internos. Cada hospital haca ofertas de designaciones a sus aspirantes en forma
independiente. El efecto de esta competencia fue que todo el proceso se degener en una carrera entre los hospitales, adelantando la fecha en la cual ellos finalizaban la contratacin de los aspirantes, en un intento de tomar ventaja sobre
sus competidores. Esta tendencia se aceler al punto que en 1944 las ofertas se
hicieron dos aos antes que los mdicos finalizaran sus estudios en la universidad, esta situacin fue bastante catica para todas las partes involucradas.
Para combatir esta tendencia, se acord que ninguna universidad dara informacin acerca de los estudiantes hasta una fecha fija, as que antes de esa
fecha los hospitales no tenan informacin para hacer ofertas. Esto tuvo el
efecto deseado ya que las fechas entre la contratacin y el comienzo de la residencia se acercaron.
Ya que los hospitales continuaron haciendo las ofertas independientemente y
algunos aspirantes probablemente recibieran varias ofertas fue necesario que cada
oferta se acompaase con una fecha lmite para la aceptacin. Un aspirante que
aaep_11:aaep_11
64
21/9/11
11:09
Pgina 64
reciba una oferta de un hospital poda esperar hasta ltimo momento antes de
aceptarla, con la esperanza de recibir una mejor oferta, es claro que si aceptaba la primera oferta se perjudicara si luego reciba una mejor. Tambin los
hospitales se perjudicaban si reciban un rechazo a ltimo momento, porque podan perder algn candidato alternativo, porque si bien ste poda haber aceptado una oferta, hubiese preferido ser contratado por ese hospital. Por tal razn
fue que la fecha lmite para la aceptacin fue gradualmente acercndose a la
fecha de la oferta llegndose en 1949 a solo doce horas -del 15 de noviembre. Sin embargo esta compresin del tiempo de espera no resolvi el problema bsico, un sistema competitivo como ste conduca a una asignacin inestable. Finalmente, en 1950 se acord en cambiar del mercado competitivo a un sistema
centralizado por la Asociacin de Colegios Mdicos Americanos (AAMC,
http://www.aamc.org) que involucr la cooperacin voluntaria entre los hospitales, en la cual cada aspirante deba enviar una lista ordenada de preferencias
de hospitales y cada hospital deba enviar una lista de preferencias de sus aspirantes. Con estas listas, de preferencias, la asociacin produca una asignacin
de mdicos a hospitales. Sin embargo, el primer algoritmo que us la AAMC en
1951, tuvo errores porque en algunas casos poda no producir una asignacin
estable, adems algn mdico poda beneficiarse si cambiaba su lista de preferencias de hospitales. Mullin y Stalnaker (1952) propusieron un algoritmo llamado Programa Nacional de Mdicos Residentes (NRMP) el cual produca una
asignacin estable. Este algoritmo se sigue usando con algunos cambios realizados en 1999. La participacin en este esquema centralizado es voluntaria y
los aspirantes son libres de arreglar un contrato independientemente con algn
hospital, pero desde el comienzo, la utilizacin del algoritmo fue del 95% de los
20.000 aspirantes. Debido a que el nmero de parejas de aspirantes que empezaron a participar del esquema centralizado fue creciendo, este porcentaje disminuy al 85%. En 1999 se modific el algoritmo donde se permite que participen como parejas de mdicos residentes, actualmente el 98% usan el resultado
del algoritmo NRMP (http://www.nrmp.org).
3. Definiciones Bsicas del Modelo de Asignacin

El modelo de asignacin consta de dos conjuntos finitos y disjuntos de agentes.
El conjunto de instituciones F={f1,...,fn}, por ejemplo: empresas, hospitales,
colegios, etc. y un conjunto de individuos W={w1,...,wm} por ejemplo: trabajadores, mdicos, estudiantes, etc. Usaremos el lenguaje de mercado de trabajo y
aaep_11:aaep_11
21/9/11
11:09
Pgina 65
65
nos referiremos de ahora en adelante a empresas y trabajadores o colegios y estudiantes.

Cada agente a F W, tiene una relacin de preferencia, sobre 2W si a F
y sobre 2F si a W. Por ejemplo, Pf :{w1,w3}Pf {w2} Pf {w1} Pf Pf {w3} Pf ,
denota la preferencia de la empresa f, y dice que prefiere en primer lugar al conjunto {w1,w3}, luego a {w2}, y en tercer lugar {w1}, mientras que el conjunto
formado por el trabajador w3 no es aceptable. En forma reducida slo escribiremos los conjuntos aceptables (preferidos al ). En el ejemplo, Pf :{w1,w3},
{w2}, {w1} denota la preferencia de f. En el caso que cada agente ordene slo
conjuntos de cardinalidad uno,3 es el modelo de asignacin uno-a-uno. Si slo
los trabajadores deben ordenar conjuntos de cardinalidad uno, es el modelo de
asignacin uno-a-muchos. En el caso que no hay restriccin es el modelo muchosa-muchos.
Denotaremos por:
P=(Pf1,...,Pfn,Pw1,...,Pwm), al vector o perfil de preferencias para los agentes.

(F,W,P), al modelo de asignacin (uno-a-uno, uno-a-muchos o muchos-a-muchos).
R, al perfil de preferencias dbil inducida por P.
La definicin siguiente es de asignacin en el mercado bilateral uno-a-muchos.
Definicin 1. Una asignacin (matching) es una funcin : F
W2F W, tal que
1. (f) W.
2. (w)= o (w) F y |(w)|=1.
3. (w)=f 4 si y slo si w (f).
La primera parte indica que a cada empresa se le asigna un subconjunto de trabajadores, que eventualmente puede ser vaco. La segunda parte indica que a cada
trabajador que no est desempleado se le asigna una nica empresa. La tercera indica la bilateralidad de la asignacin.
Haciendo abuso de notacin omitiremos las llaves de los conjuntos, y escribiremos Pw:f1, f3, en
lugar de Pw:{f1},{f3}.
4
Haciendo abuso de notacin omitiremos las llaves para denotar un conjunto con un nico elemento.
Por ejemplo escribiremos (w)=f en lugar de (w)={f}.
aaep_11:aaep_11
21/9/11
66
11:09
Pgina 66
En el caso que en la Definicin cambiemos 1. por 1. (f)= o (f) W y

|(f)|=1, tenemos el modelo uno-a-uno. Mientras que si cambiamos 2. por 2.
(w) F, tenemos el modelo muchos-a-muchos.
Veamos un ejemplo:
Ejemplo 1 Sean los conjuntos F={f1, f2, f3} y W={w1, w2, w3, w4}
f1
f2
f3
{w1,w2}
{w3}
{w4}
La asignacin asigna a las empresas f1 y f2, los conjuntos {w1,w2} y {w3}

respectivamente, mientras que a f3 no se le asigna ningn trabajador y w4 queda
desocupado.
Ahora estudiaremos asignaciones que son inmunes a posibles desviaciones de
los agentes.
Un agente a F W bloquea a cuando prefiere un subconjunto estricto de
(a) al asignado. Formalmente, f bloquea a cuando (f)Ch((f),Pf) donde Ch(S,Pf)
denota el conjunto de eleccin (choice set) para cualquier S W, definido por
Ch(S, Pf ) = max {T S : TR f S} .
Pf
Por ejemplo, si Pf : {w1, w3},{w2},{w1}, entonces Ch({w1, w2},Pf)={w2}.

En el caso que los agentes de un lado del mercado slo ordenan conjuntos de
cardinalidad uno, se tiene que w bloquea a si Pw (w), es decir, la asignacin
le asocia una empresa no aceptable al trabajador, por lo tanto l prefiere rechazar
la empresa que le asocia la asignacin y quedarse desempleado.
Una asignacin es individualmente racional si no est bloqueada por ningn
agente a F W. IR(P) denota el conjunto de las asignaciones individualmente
racionales.
Sea (w,f) un par trabajador-empresa tal que w (f), diremos que en el modelo uno-a-muchos, (w,f) bloquea a si:
i) f Pw (w) 5
ii) w Ch((f)
{w}, Pf) 6
En el modelo muchos-a-muchos hay que cambiar esta condicin por f Ch((w)
En el modelo uno-a-uno hay que cambiar esta condicin por wPf (f).
{f}, Pw).
aaep_11:aaep_11
21/9/11
11:09
Pgina 67
67
Esto dice que tanto el trabajador w como la empresa f se prefieren mutuamente a lo que le asocia la asignacin y el emparejamiento entre ellos se puede llevar a cabo con el mutuo acuerdo de las partes.
Definicin 2 Una asignacin es estable si es individualmente racional y no est
bloqueada por ningn par de trabajador-empresa (w,f).
Denotaremos por S(P) al conjunto de asignaciones estables. Gale y Shapley
(1962) mostraron que S(P) es no vaco en el modelo uno-a-uno y tambin en una
clase de modelos uno-a-muchos.
Teorema 1 (Gale y Shapley, 1962) En el modelo de admisin a los colegios7 y en
el modelo de uno-a-uno siempre existen asignaciones estables.
El siguiente ejemplo, de modelo uno-a-muchos, muestra que S(P) puede ser
vaco.
Ejemplo 2 (S(P)=, de Martnez, Mass, Neme y Oviedo, 2001) Sea F={f1, f2}
y W={w1, w2, w3, w4} las empresas y trabajadores, respectivamente y el perfil de
preferencias P definido por
Pf1:
Pf2:
Pw1:
Pw2:
Pw3:
Pw4:
{w3,w4},{w2,w4},{w1,w2},{w1,w3},{w2,w3},{w1,w4},{w1},{w2},{w3},{w4}
{w3},{w4}
F1
f1
f1, f2
f2, f1.
Por ejemplo la asignacin (f1)={w2,w4}, (f2)={w3}, est bloqueada por

(w3,f1), ya que f1Pw3f2=(w3) y w3 Ch({w2,w4} {w3},Pf1)={w3,w4}. Similarmente se puede demostrar que cualquier asignacin individualmente racional
tiene un par, trabajador-empresa, que la bloquea.
Una asignacin esta bloqueada por una coalicin W F si existe una asignacin tal que W F W F y para cada (w,f) W F, se cumple
Modelo uno-a-muchos con preferencias q-separables (Ver definicin 5).
aaep_11:aaep_11
68
21/9/11
11:09
Pgina 68
que: (w) F y (f) W (factibilidad), (w) Rw (w), (f)Rf (f) y existe a W F tal que (a) P(a) (a). Esto dice que todos los miembros de la
coalicin, reasignndose entre ellos, mejoran dbilmente y al menos uno mejora estrictamente.
Definicin 3 El ncleo (core) es el conjunto de asignaciones que no estn bloqueadas por ninguna coalicin WF.
C(P) denota el conjunto de asignaciones que estn en el ncleo y es un subconjunto de S(P), ya que si una asignacin no est bloqueada por ninguna coalicin no estar bloqueada por un par empresa-trabajador ni por ningn agente.
Observacin 1 De las Definiciones 2 y 3 se sigue que C(P)
S(P).
3.1 Preferencias
Debido que puede ocurrir que no existan asignaciones estables en el modelo unoa-muchos, ver Ejemplo 2, se restringen las preferencias de las empresas dando condiciones suficientes para que el conjunto de asignaciones estables sea no vaco.
Denotamos con qa la cuota de un agente a F W. En el caso de una empresa f es el mximo nmero de vacantes que tiene para ofrecer a los trabajadores,
este cupo puede ser dado por limitaciones tecnolgicas, legales, presupuestarias,
etc. As, cualquier conjunto de trabajadores que supere la cuota qf, no es aceptable para la empresa. En el caso que para cada agente a F W, qa=1, es el modelo uno-a-uno o modelo de matrimonio, resultando ste un caso particular del modelo uno-a-muchos y ste del modelo muchos-a-muchos.
Definiremos preferencias q-separables, q-responsivas y sustituibles. Una empresa tiene preferencias Pf, q-separables cuando prefiere agregar, a cualquier conjunto de trabajadores, uno aceptable; mientras que obtiene un conjunto peor (menos
preferido) cuando agrega un trabajador no aceptable. Formalmente
Definicin 4 Pf es qf -separable si para todo S
S {w}Pf S, cuando {w}Pf .
W con |S|<qf y para todo w W,
Una preferencia q-separable es q-responsiva (q-responsive), si responde a su

orden individual, en el sentido que dos conjuntos que difieran en un trabajador, prefiere al (conjunto) que contiene al mejor (trabajador) de ellos. Formalmente
aaep_11:aaep_11
21/9/11
11:09
Pgina 69
69
Definicin 5 Pf es qf -responsiva si es qf-separable y (a) para todo S W con

|S|<qf, y w1,w2 S, S {w1}Pf S {w2} cuando {w1}Pf {w2}, (b) Pf S para
todo S tal que |S|>qf.
Los colegios en el modelo de admisin a los colegios (Gale y Shapley (1962))
y los hospitales en NRMP tienen preferencias q-responsivas.
Por ltimo, definimos preferencia sustituible para una empresa f que dice que
los trabajadores no son complementarios, es decir, si un trabajador est en el conjunto de eleccin de un conjunto seguir estando en el conjunto de eleccin de cualquier subconjunto. Formalmente
Definicin 6 Pf es sustituible si para todo S
w Ch(S,Pf) entonces w Ch(S \{w},Pf).
W que contiene a w y w (ww), si
El siguiente ejemplo muestra una preferencia no sustituible.

Ejemplo 3 (Preferencia no sustituible) Pf={w1,w2},{w2},{w3},{w1}. Tenemos que
w1 Ch({w1,w2,w3},Pf)={w1,w2}, pero w1 Ch({w1,w3},Pf)={w3}. Note que
el trabajador w1 es complementario de w2, ya que si ste no est disponible para
la empresa, sta no quiere seguir contratando a w1.
3.2 Relaciones entre Preferencias
En esta seccin daremos relaciones entre las preferencias definidas anteriormente.
Observacin 2 De la definicin tenemos que si Pf es q-responsiva entonces es qseparable.
El ejemplo siguiente muestra una preferencia q-separable pero no q-responsiva.
Ejemplo 4 (q-separable no implica q-responsiva): Sea
Pf :{w2,w3},{w1,w2},{w1,w3},{w1},{w2},{w3}.
Pf, es 2-separable pero no 2-responsiva ya que {w2}Pf {w3} pero {w1,w3}Pf {w1,w2}
aaep_11:aaep_11
21/9/11
70
11:09
Pgina 70
Proposicin 2 (Roth y Sotomayor, 1990) Si Pf es q-responsiva entonces es sustituible.

El siguiente ejemplo muestra que q-separable no implica sustituible.
Ejemplo 5 (q-separable no implica sustituible) Sea
Pf :{w1,w2},{w3,w4},{w1,w3},{w2,w3},{w2,w4},{w1},{w2},{w3},{w4}.
Pf, es 2-separable pero no es sustituible porque
w1 Ch({w1,w2}
{w3,w4},Pf)={w1,w2}
y
w1 Ch({w1,w3,w4},Pf)={w3,w4}.
4. Resultados
4.1 Existencia de Asignaciones Estables
El modelo de uno-a-muchos con preferencias q-responsivas se le puede asociar
un modelo uno-a-uno para estudiar las asignaciones estables. Para esto, cada posicin de las qf que tiene la empresa f, se la considera como una subempresa con
cuota uno. La preferencia de cada subempresa coincide con el orden individual de
la empresa f. Cada trabajador ordena las subempresas manteniendo el orden de las
empresas. El siguiente ejemplo muestra esta descomposicin.
Teorema 3 (Roth, 1985) Una asignacin es estable en el modelo uno-a-muchos
con preferencias q-responsivas si y slo si las correspondientes asignaciones del
modelo uno-a-uno son estables.
El ejemplo siguiente muestra la construccin anterior.
Ejemplo 6 Sean F={f1,f2} y W={w1,w2,w3} las empresas y trabajadores, respectivamente con cuotas qf1=2 y qf2=1. El perfil de preferencias P est definido por:
aaep_11:aaep_11
21/9/11
11:09
Pgina 71
Pf1:
Pf2:
Pw1:
Pw2:
Pw3:
71
{w1,w2},{w1,w3},{w2,w3},{w1},{w2},{w3},
{w1},{w3}
f1, f2
f2, f1 y
f1, f2.
La nica asignacin estable es
f1
f2
{w1,w2}
{w3}.
Como qf1=2, f1 se divide en dos subempresas, f11 y f12 y tenemos el modelo

asociado uno-a-uno ({f11,f12,f2}{w1,w2,w3},P) donde P viene dado por
Pf11=Pf12:
Pf2:
Pw1:
Pw2:
Pw3:
{w1},{w2},{w3},
{w1},{w3}
f11,f12,f2
f2,f11,f12 y
f11,f12,f2.
La nica asignacin estable es
f11
f12
f2
{w1}
{w2}
{w3}.
As tenemos que la asignacin estable del modelo asociado uno-a-uno es

equivalente a la asignacin estable del modelo uno-a-muchos.
El Teorema de Gale y Shapley no se puede extender al modelo uno-a-muchos
con preferencias q-separable (Ver Ejemplo 2) pero es verdadero cuando las preferencias son sustituibles.
Teorema 4 (Kelso y Crawford, 1982) Sea (F,W,P) un modelo uno-a-muchos con
P sustituible. Entonces S(P) .
Tambin demostraron que el ncleo es equivalente al conjunto de asignaciones estables.
aaep_11:aaep_11
21/9/11
72
11:09
Pgina 72
Teorema 4 (Kelso y Crawford, 1982) Si P es sustituible entonces C(P)=S(P).

Ambos teoremas de existencia se pueden demostrar usando el Algoritmo de
Aceptacin Diferida.
Algoritmo de Aceptacin Diferida
Describiremos el algoritmo cuando las empresas hacen las ofertas y los trabajadores eligen.8 Sea (F,W,P) un modelo uno-a-muchos con preferencias sustituibles.
Etapa 1. (a) Cada empresa hace oferta al conjunto de trabajadores ms preferido.
(b) Cada trabajador que ha recibido alguna oferta, acepta la mejor de las
empresas aceptables y rechaza las otras ofertas.
Etapa k. (a) Cada empresa hace una oferta al conjunto de trabajadores ms preferido que no contenga ninguno que lo haya rechazado en alguna etapa
anterior.
(b) Cada trabajador acepta la mejor de las empresas aceptables y rechaza las otras.
El algoritmo termina en una etapa donde no hay ningn rechazo por
parte de algn trabajador.
En cada etapa los trabajadores aceptan a lo ms una empresa y el algoritmo
construye una asignacin individualmente racional, pues cada empresa hace oferta en cada etapa a un conjunto de trabajadores que no lo han rechazado y cada trabajador elige a una empresa aceptable.
Cuando se detiene el algoritmo se puede mostrar que la asignacin resultante
es estable.
Ejemplo 7 (Algoritmo de Aceptacin Diferida) Las empresas hacen las ofertas y
los trabajadores eligen. F={f1,f2,f3} y W={w1,w2,w3,w4}.
Pf1 : {w1,w2},{w2,w3},{w1,w3},{w2},{w3},{w1},
Pf2 : {w1,w2},{w2,w4},{w1},{w2},{w4},
8 En forma simtrica se puede describir el algoritmo donde los trabajadores hacen las ofertas y las empre-
sas eligen.
aaep_11:aaep_11
21/9/11
11:09
Pgina 73
73
Pf3 : {w1,w3},{w2,w3},{w1,w4},{w1}},{w2},{w3},{w4},
Pw1 : f3,f2,f1,
Pw2 : f2,f1,f3,
Pw3 : f1,f3, y
Pw4 : f3,f2.
Etapa 1 (a)
Etapa 1 (b)
Etapa 2 (a)
Etapa 2 (b)
Etapa 3 (a)
Etapa 3 (b)
Etapa 4 (a)
Etapa 4 (b), F:
f1
f2
f3
{w1,w2}
{w3}
{w3}
{w3}
{w3}
{w3}
{w3}
{w1,w2}
{w2}
{w2,w4}
{w2,w4}
{w2,w4}
{w2}
{w2}
{w2}
{w1,w3}
{w1,w3}
{w1,w3}
{w1}
{w1,w4}
{w1,w4}
{w1,w4}
{w1,w4}
En la Etapa 1 (a), f1 y f2 hacen ofertas a {w1,w2} mientras que f3 a {w1,w3}.

As tenemos que w1 recibe ofertas de f1, f2 y f3, w2 recibe ofertas de f1 y f2 y w3
slo recibe la oferta de f3. En la Etapa 1 (b) el trabajador w1 elige f3, porque f3
Pw1f2 Pw1f, w2, elige f2 porque f2 Pw2 f1, y w3 elige f3 porque es aceptable.
En la Etapa 2 (a), f1 hace oferta {w3} porque es el primer conjunto que no
contiene a w1 o w2 (trabajadores que lo rechazaron en etapa 1) y f2 ofrece a {w2,w4}
conjunto que no contiene a w1. f3 no hace ofertas porque no fue rechazada ninguna oferta de la etapa anterior. En Etapa 2 (b) slo w3 tiene 2 ofertas f1 y f3, se queda con f1, mientras que w1, w2 y w4 aceptan la oferta que recibieron porque son
empresas aceptables para ellos.
En la Etapa 4 no hay ms rechazos, el algoritmo se detiene y F denota la
asignacin construida por el Algoritmo de Aceptacin Diferida cuando las empresas hacen las ofertas. Anlogamente, si se aplica este algoritmo cuando las ofertas las hacen los trabajadores y las empresas eligen, se obtiene la asignacin que
se denota con W, y ambas asignaciones son estables. En general tenemos que
F W, por lo tanto |S(P)|1. Se puede demostrar que NRMP es distinto9 al
Algoritmo de Aceptacin Diferida pero construye la asignacin F.
Ver Roth y Sotomayor (1990) pginas 134-137.
aaep_11:aaep_11
74
21/9/11
11:09
Pgina 74
4.2. Optimalidad y Competencia. Mejor-Peor Asignacin Estable

Gale y Shapley (1962) adems de demostrar la existencia de una asignacin estable tambin probaron que en el modelo de Admisin a los Colegios la asignacin
(construida por el Algoritmo de Acepcin Diferida) F (W) es ptima para las
empresas (trabajadores). Posteriormente Roth (1984) extendi este resultado al
modelo uno-a-muchos donde las empresas tienen preferencias sustituibles y demostr que F (W) es la menos preferida de todas las asignaciones estables por los
trabajadores (empresas). A cada una de las asignaciones F y W se las denomina
asignaciones estables ptimas para las empresas y trabajadores, respectivamente.
Si bien todas las empresas (trabajadores) compiten entre ellas por los trabajadores
(las empresas), este resultado muestra la coincidencia de inters entre las empresas (los trabajadores) ya que todas coinciden que F (W) es la mejor de las asignaciones estables para ellas (ellos). Tambin demuestra que la polarizacin de
intereses es con los agentes del otro lado del mercado. El modelo de asignacin
es una clase de mercados bilaterales que tienen esta propiedad de coincidencia,
polaridad y optimalidad. Formalmente:
Teorema 5 (Gale y Shapley, 1962 y Roth 1984) Sea (F,W,P) un modelo uno-amuchos, P sustituible. Entonces para todo S(P):
W(w)Rw (w)Rw F(w) w W

F(f)Rf (f)Rf W(f) f F
Se pueden comparar las asignaciones estables ptimas con asignaciones individualmente racionales y no estables, se demuestra que las asignaciones estables
ptimas son dbilmente Pareto ptima entre las asignaciones individualmente racionales. Formalmente
Teorema 6 (Roth, 1982) Sea (F,W,P) un modelo uno-a-uno. Entonces no existe
una asignacin individualmente racional tal que:
(w)Pw W(w) para todo w W.

Se tiene el resultado anlogo para la asignacin ptima de las empresas F.
Este resultado dice que la asignacin W, es dbilmente Pareto ptima para los
trabajadores en el conjunto de asignaciones individualmente racionales.
aaep_11:aaep_11
21/9/11
11:09
Pgina 75
75
Roth (1985b) pudo generalizar parcialmente este resultado al modelo uno-amuchos con preferencias q-separables y demostr que el resultado es verdadero
para los trabajadores mientras que es falso para las instituciones.
Teorema 7 (Roth, 1985b) Sea (F,W,P), un modelo de admisin a los colegios, es
decir un modelo uno-a-muchos con preferencias q-responsivas. Entonces no existe una asignacin individualmente racional tal que para todo w W.
(w)PwW(w)
El ejemplo siguiente muestra que el anlogo para las empresas es falso.
Ejemplo 8 (Roth, 1985b) Sean F={f1,f2,f3} y W={w1,w2,w3,w4} los conjuntos
de agentes y P, definida por
Pf1 : {w1,w2},{w1,w3},{w2,w3},{w1,w4},{w2,w4},{w3,w4},{w1},{w2},{w3},{w4},
Pf2 : {w1},{w2},{w3},{w4},
Pf3 : {w3},{w1},{w2},{w4},
Pw1 : f3,f1,f2,
Pw2 : f2,f1,f3,
Pw3 : f1,f3,f2, y
Pw4 : f1,f2,f3.
Se puede verificar que P es (2,1,1)-responsiva.
F:
:
f1
f2
f3
{w3,w4}
{w2,w4}
{w2}
{w1}
{w1}
{w3}
Note que las tres empresas prefieren los conjuntos de trabajadores que asigna
que la de F.
El siguiente ejemplo muestra que el teorema anterior de Roth para los estudiantes no se puede generalizar al modelo uno-a-muchos con preferencias sustituibles.
Ejemplo 9 (Martnez, Mass, Neme y Oviedo, 2004b). Sean F={f1,f2,f3} y
W={w1,w2,w3,w4} los conjuntos de agentes y P, definida por
aaep_11:aaep_11
21/9/11
76
11:09
Pgina 76
Pf1 : {w1,w2},{w2},{w1},{w4},
Pf2 : {w3},{w2,w4},{w1,w2},{w4},{w1},{w2}
Pf3 : {w4},{w1},{w3},
Pw1 : f2,f3,f1,
Pw2 : f2,f1,
Pw3 : f3,f2, y
Pw4 : f2,f1,f3.
Se puede verificar que P es sustituible.
W:
:
f1
f2
f3
{w1,w2}
{w4}
{w3}
{w1,w2}
{w4}
{w3}
Note que los cuatro trabajadores prefieren la asignacin de a la de W.

El siguiente teorema muestra que el resultado es vlido para los trabajadores
en el modelo uno-a-muchos con preferencias sustituibles y q-separables.
Teorema 8 (Martnez, Mass, Neme y Oviedo, 2004b) Si P es sustituible y qseparable. Entonces no existe una asignacin individualmente racional tal que,
para todo w W
(w)Pw W(w).
4.3. Single o Problema de Hospitales Rurales
El primer Teorema enunciado en esta seccin dice que si un trabajador esta desocupado en una asignacin estable siempre lo estar en cualquier asignacin estable. La versin para el modelo uno-a-uno fue demostrada por McVitie y Wilson
(1970). La segunda parte del teorema fue demostrada por Roth (1986) y dice
que una empresa con preferencias q-responsivas, en un modelo uno-a-muchos,
si no llena la cuota en una asignacin estable entonces siempre le corresponder el mismo conjunto de trabajadores en cualquier asignacin estable. Los hospitales rurales a menudo no llenan la cuota, de acuerdo al resultado mencionado siempre obtendrn el mismo conjunto de trabajadores en cualquier asignacin
estable.
aaep_11:aaep_11
21/9/11
11:09
Pgina 77
77
Teorema 9 (McVitie y Wilson, 1970 y Roth, 1986) Sea (F,W,P) un modelo unoa-muchos con P q-separable. Entonces
1. Si F(w)=, entonces para todo S(P), (w)=.
2. Si existe una asignacin estable tal que |(f)|<q, entonces para todo
S(P), (f)=(f).10
El siguiente ejemplo, de Martnez, Mass, Neme y Oviedo (2000), muestra
que el teorema es falso en el modelo uno-a-muchos con P sustituible.
Ejemplo 10 Sean F={f1,f2} y W={w1,w2,w3,w4} los conjuntos de agentes y P,
definida por
P(f1): {w1,w2},{w1,w3},{w2,w4},{w3,w4},{w1},{w2},{w3},{w4}
P(f2): {w3},{w1,w2},{w1},{w2}{w4},
P(w1): f2,f1,
P(w2): f2,f1,
P(w3): f1,f2, y
P(w4): f1,f2.
Se puede verificar que P es sustituible. Las asignaciones estables ptimas son:
F:
W:
f1
f2
{w1,w2}
{w3,w4}
{w3}
{w1,w2}
{w4}
Tenemos que F(w4)=, mientras que W(w4)=f1.

El teorema anterior es vlido para el modelo uno-a-muchos con preferencias
sustituibles y q-separables.
Teorema 10 (Martnez, Mass, Neme y Oviedo, 2000) Sea (F,W,P) un modelo unoa-muchos con P sustituible y q-separable.
1. Si F(w)=, entonces para todo S(P), (w)=.
2. Si existe una asignacin estable tal que |(f)|<q, entonces para todo
S(P), (f)=(f).
10
Cuando q=1 esta condicin se convierte en la anterior.
aaep_11:aaep_11
78
21/9/11
11:09
Pgina 78
4.4. Algoritmos para Construir (todo) S(P)

Los siguientes teoremas dicen que existen algoritmos para construir todas las
asignaciones estables. Irving y Leather, (1986), usando ciclos de unas preferencias reducidas, mejoraron el algoritmo dado por McVitie y Wilson (1971).
Teorema 11 (McVitie y Wilson, 1971 e Irving y Leather, 1986) Sea (F,W,P) el
modelo de Admisin a los Colegios y S(P), existe un algoritmo para construir .
El siguiente teorema es una generalizacin del resultado anterior.
Teorema 12 (Martnez, Mass Neme y Oviedo, 2004a) Sea (F,W,P) un modelo
muchos-a-muchos, si P es sustituible existe un algoritmo para construir cualquier
S(P).
4.5. Incentivos o Propiedades Estratgicas
Como fue notado en el problema de los mdicos residentes en Estados Unidos,
algunos de los mdicos podan beneficiarse si declaraban una preferencia que no
era la verdadera. Por lo tanto, los agentes pueden comportarse estratgicamente,
ya que la asignacin que cada uno de ellos logre depender de la preferencia que
declararon. Por esto, cada agente quiere declarar una preferencia que maximice la
asignacin que le da el mecanismo estable. Introducimos las siguientes notaciones para enunciar los resultados de la seccin:
S es el conjunto de preferencias de cada empresa sobre 2W.

T es el conjunto de preferencias de los trabajadores sobre F {}.
P=SnTm es el conjunto de perfiles de preferencias, donde n=|F| y m=|W|.
es el conjunto de asignaciones.
h: SnTm es un mecanismo que asigna a cada P SnTm una asignacin
y h(P)(w) es la empresa asignada a w por el mecanismo segn el perfil de preferencia que declararon los agentes, mientras que h(P)(f) es el conjunto de trabajadores que le asocia a f.
Para cada subconjunto T W F, denotamos por PT al subperfil de preferencia de los agentes de T y P-T al subperfil de preferencia de los que no estn en T.
aaep_11:aaep_11
21/9/11
11:09
Pgina 79
79
Decimos que un mecanismo es a prueba de estrategia si no existe ningn agente que pueda beneficiarse si no declara su verdadera preferencia. Formalmente
Definicin 7 Un mecanismo h:SnTm es a prueba de estrategia o no manipulable, si para todo perfil de preferencia P SnTm, todo agente a W F, y todo
Pa
h(P)(a) Ra h(Pa,P-{a})(a).
Decimos que hW: SnTm es el mecanismo estable ptimo para los trabajadores si para todo P , hW(P)=W(P). En forma anloga hF es el mecanismo
estable ptimo para las empresas.
El resultado siguiente, que se conoce como teorema de imposibilidad, dice
que los agentes pueden manipular las preferencias para obtener un mejor resultado cuando se aplica un mecanismo estable.
Teorema 13 (Roth, 1982) No existe un mecanismo estable que sea a prueba de
estrategia para cada agente en el modelo uno-a-uno.
Este resultado se puede mostrar con el siguiente ejemplo.
Ejemplo 11 (Roth, 1982) Sean F={f1,f2} y W={w1,w2} los conjuntos de agentes
y P, definida por
Pf1 : w1,w2,
Pf2 : w2,w1,
Pw1 : f2,f1 y,
Pw2 : f1,f2.
Se puede verificar que hay dos asignaciones estables:
F:
W:
f1
f2
w1
w2
w2
w1
por lo tanto, para cualquier mecanismo estable h, tenemos que h(P)=F o W. Supongamos que h(P)=F, (un argumento simtrico se usa si h(P)=W). Si w1 declara
aaep_11:aaep_11
80
21/9/11
11:09
Pgina 80
que f1, es inaceptable, es decir, declara Pw1 : f2, y si los otros agentes no cambian
su declaracin P tenemos el perfil de preferencias P=(Pf1,Pf2,Pw1,Pw2) que tiene
una nica asignacin estable que coincide con W. Por lo tanto, cualquier mecanismo estable debe cumplir que h(P)=W. De esta forma w1 se beneficia si cambia su preferencia ya que
f2=h(P)(w1)Pw1h(P)(w1)=f1.
En este ejemplo se nota que el trabajador w1 manipula el mecanismo estable
ptimo de las empresas. Ahora analizaremos si algn trabajador (empresa) puede
manipular el mecanismo estable ptimo de los trabajadores (las empresas).
Teorema 14 (Dubins y Freedman, 1981, Roth, 1982) Sea (F,W,P) un modelo unoa-muchos con preferencias q-responsivas. Entonces el mecanismo estable ptimo
para los trabajadores hW, es a prueba de estrategia o no manipulable por los trabajadores.
El teorema anterior es vlido para los dos lados del mercado en el caso del
modelo uno-a-uno, mientras que no es vlido para las empresas en el modelo de
admisin a los colegios.
Teorema 15 (Roth, 1985b) Sea (F,W,P) el modelo de admisin a los colegios. El
mecanismo estable ptimo para las empresas hF es manipulable o no es a prueba
de estrategia para las empresas.
La demostracin se basa en el ejemplo siguiente.
Ejemplo 8 continuacin (Roth, 1985b) Considere que la empresa f1, en lugar de
declarar su verdadera preferencia Pf1 : {w1,w2},{w1,w3},{w2,w3},{w1,w4},{w2,w4},
{w3,w4},{w1},{w2},{w3},{w4}, declara Pf1 : {w2,w4},{w2},{w4}. Si los otros agentes declaran P as tenemos el perfil de preferencias P=(Pf1, Pf2, Pf3, Pw1, Pw2, Pw3,
Pw4,). Luego h(P)=. De esta forma f1 se beneficia si cambia su preferencia ya
que
{w2,w4}=h(P)(f1)Pf1h(P)(f1)={w3,w4}.
El teorema anterior se puede generalizar al modelo uno-a-muchos.
aaep_11:aaep_11
21/9/11
11:09
Pgina 81
81
Teorema 16 (Martnez, Mass, Neme y Oviedo, 2004b) Si para cada n, S es sustituible y q-separable, entonces el mecanismo estable ptimo para los trabajadores hW es a prueba de estrategia o no manipulable por los trabajadores.
La hiptesis de sustituible se necesita para la existencia de la asignacin estable ptima para los trabajadores. La hiptesis de q-separable no puede eliminarse, el siguiente ejemplo muestra que si las preferencias son slo sustituibles el mecanismo ptimo de los trabajadores no es a prueba de estrategia
Ejemplo 12 (Martnez, Mass, Neme y Oviedo, 2004b, Hatfield y Milgron 2005)
Sean F={f1, f2, f3} y W={w1, w2, w3, w4} los conjuntos de agentes y P, definida
por
Pf1 : {w1,w2},{w2},{w1},{w4}
Pf2 : {w3},{w2,w4},{w1,w2},{w4},{w1},{w2},
Pf3 : {w4},{w1},{w3},
Pw1 : f2,f3,f1,
Pw2 : f2,f1,
Pw3 : f3,f2, y
Pw4 : f2,f1,f3.
Se puede verificar que P es sustituible y la nica asignacin estable es:
W:
f1
f2
f3
{w1,w2}
{w3}
{w4}
por lo tanto, cualquier mecanismo estable h, tenemos que h W (P)=W. Entonces si

w4 declara que f2 es inaceptable, es decir, declara Pw4 : f1,f3 y si los otros agentes
declaran P as tenemos el perfil de preferencias P=(Pf1, Pf2, Pf3, Pw1, Pw2, Pw3,Pw4).
Luego h(P)=W, la asignacin estable ptima para los trabajadores es:
W:
f1
f2
f3
{w4}
{w1,w2}
{w3}
de esta forma w4 se beneficia si cambia su preferencia ya que

f1=h(P)(w4)Pw4h(P)(w4)=f3.
aaep_11:aaep_11
21/9/11
82
11:09
Pgina 82
5. Extensiones
Para finalizar, damos algunas extensiones y/o generalizaciones del modelo de
asignacin bilateral. Estos modelos han sido menos estudiados, por lo tanto falta
conocer si los resultados del modelo de asignacin bilateral siguen valiendo en
estas extensiones. Las extensiones que se consideran aqu son las que se denomina sin dinero. A partir del trabajo de Hatfield y Milgrom (2005) donde se introduce modelos con contratos, se ha retomado el estudio del modelo de asignacin
bilateral con dinero, introducido por Kelso y Crawford (1982).
5.1. Mercados con Parejas
En el NRMP en Estados Unidos empez a crecer el nmero de parejas que iban
al mercado de trabajo. El inconveniente que apareci, fue que ste poda asignar hospitales ubicados en distintas ciudades a los miembros de una pareja
(haba casos que a uno le tocaba en la costa este mientras que a su pareja en la
costa oeste). As uno o ambos miembros de la pareja decidan no aceptar el
resultado propuesto. Roth y Peranson (1999) disearon una modificacin del
NRMP, donde la solucin consideraba la preferencia de una pareja como un par
o vector de preferencia. En el caso que no haya parejas de mdicos, el algoritmo modificado produce el mismo resultado que el NRMP. Si bien ste no siempre produce una asignacin estable (cuando hay parejas de mdicos), encuentra
una potencial lista de mdicos que estn en pareja que pueden bloquear a la
asignacin. Estos mdicos son reasignados usando un algoritmo de Roth y Vande Vate (1990). Si bien no hay una demostracin formal que este mecanismo
produce una asignacin estable, desde 1998 es usado por NRMP y por otros
mercados de trabajo centralizados, Roth (2008). Formalmente el modelo de
asignacin bilateral con parejas fue introducido por Roth (1984) El conjunto de
trabajadores se divide en los que estn en pareja y los que no. Los trabajadores
que estn en pareja tienen preferencias sobre pares de empresas, por ejemplo el
par (w1,w2) prefiere (f1,f2) a (f3,f4), y los trabajadores, que no estn en pareja,
tienen preferencias sobre las empresas. Por otro lado, las empresas tienen preferencias sobre los conjuntos de trabajadores. Al igual que en el modelo de asignacin bilateral se generalizan los conceptos de asignacin estable y ncleo. El
primer problema es que este conjunto puede ser vaco. Dutta y Mass (1997)
dieron condiciones suficientes sobre las preferencias de las parejas y un algoritmo para encontrar asignaciones en el ncleo. Klaus y Klijn (2005) dieron con-
aaep_11:aaep_11
21/9/11
11:09
Pgina 83
83
diciones suficientes sobre las preferencias de las parejas para la existencia de

asignaciones estables. Echenique y Yenmez (2007) dieron un algoritmo para
encontrar asignaciones en ncleo (cuando ste es no vaco)
5.2. Mercados Unilaterales
Gale y Shapley (1962) introdujeron el modelo de asignacin unilateral al que
denominaron problema de compaero de habitacin (roommate problem). En este
problema, la universidad tiene que distribuir habitaciones que son compartidos
por dos estudiantes. Cada estudiante tiene preferencia sobre los posibles compaeros, es decir sobre los otros estudiantes. Formalmente el modelo de asignacin
unilateral tiene un solo conjunto de agentes. Cada agente tiene un orden de preferencia sobre los otros agentes. Una asignacin no es estable si hay un par de agentes, que no estn asignados entre ellos pero que se prefieran mutuamente. Ellos
dieron un ejemplo donde el conjunto de asignaciones estable puede ser vaco. Irving
(1985) y Gusfield (1988) dieron algoritmos para construir asignaciones estables.
Tan (1991) dio una condicin necesaria y suficiente en las preferencias de los agentes para la existencia de asignaciones estables.
Un modelo de asignacin bilateral uno-a-uno (F,W,P) se puede considerar como
un modelo de asignacin unilateral (N,P), donde N=F W. Una excelente referencia que estudia este modelo es el libro de Gusfield e Irving (1989).
5.3. Mercados Trilaterales
Un modelo de asignacin trilateral uno-a-uno, tambin llamado problema de
familia, contiene tres conjuntos disjuntos de agentes, por ejemplo hombre, mujer
e hijo. Cada agente tiene preferencia sobre pares de los otros agentes. Por ejemplo, un hombre prefiere (w1,c1) a (w2,c2). La triupla (m,w,c) indica que los
agentes m, w, y c estn emparejados por la asignacin . En forma anloga al modelo bilateral, (m,w,c) bloquea a la asignacin , si m prefiere (w,c) a (m), w prefiere (m,c) a (w), c prefiere (m,w) a (c). Alkan (1988) adems de introducir este
modelo dio un ejemplo donde el conjunto de asignaciones estables es no vaco.
Danilov (2003) dio una condicin suficiente sobre las preferencias de los agentes
para la existencia de asignaciones estables.
aaep_11:aaep_11
21/9/11
84
11:09
Pgina 84
Referencias
Abdulkadirolu, A., P. Pathak y A. E. Roth (2005): The New York City High School Match, American
Economic Review Papers and Proceedings, 95, 364-367.
Abdulkadirolu, A., P. Pathak y A. E. Roth (2009): Strategy-proofness versus efficency in matching
with indifferences: redesigning the NYC High School Match, American Economic Review, 99,
1954-1978.
Abdulkadirolu, A., P. Pathak, A. E. Roth y T. Snmez (2005): The Boston Public School Match,
American Economic Review Papers and Proceedings, 95, 368-372.
Abdulkadirolu, A., P. Pathak, A. E. Roth y T. Snmez (2006): Changing the Boston School Choice
Mechanism, NBER Working Papers 11965.
Abdulkadirolu, A. y T. Snmez (2003): School Choice: A Mechanism Design Approach, American
Economic Review, 93, 729-747.
Aldershof, B. y O. Carducci (1996): Stable matchings with couples, Discrete Applied Mathematics,
68, 203-207
Alkan, A. (1988): Non existence of stable threesome matchings, Mathematical Social Sciences 16,
207-209.
Cantala, D. (2004): Matching Markets: the Particular Case of Couples, Economics Bulletin 3, 1-11.
Danilov, V.I. (2003): Existence of stable matchings in some three-sided systems, Mathematical Social
Sciences 46, 145-148.
Dubins, L. y D. Freedman (1981): Machiavelli and the Gale-Shapley Algorithm, American Mathematical Monthly, 88, 485-494.
Dutta, B. y J. Mass (1997): Stability of Matchings When Individuals Have Preferences over
Colleagues, Journal of Economic Theory, 75, 464-475.
Echenique, F. y J. Oviedo (2006): A Theory of Stability in Many-to-Many Matching Markets,
Theoretical Economics, 1, 233-273.
Echenique, F. y M. B. Yenmez (2007): A Solution to Matching with Preferences over Colleagues,
Games and Economic Behavior, 59, 4671.
Gale, D. y L. Shapley (1962): College Admissions and Stability of Marriage, American Mathematical
Monthly, 69, 9-15.
Gusfield, D. (1988): The structure of the stable roommate problem: Efficient representation and
enumeration of all stable assignments, SIAM Journal on Computing, 17, 742-769
Gusfield, D. y R. W. Irving (1989): The Stable Marriage Problem: Structure and Algorithms, MIT
Press, Cambridge, MA,.
Hatfield, J. y P. Milgron (2005). Matching with Contracts, American Economic Review, 95, 913-935.
Irving, R. W. (1985): An efficient algorithm for the stable roommates problem, Journal of Algorithms,
6, 577-595.
Irving, R. W. y P. Leather (1986): The Complexity of Counting Stable Marriages, SIAM Journal of
Computing, 15, 655-667.
Kelso, A. y V. Crawford (1982): Job Matching, Coalition Formation, and Gross Substitutes, Econometrica, 50, 1483-1504.
Klaus, B. y F. Klijn (2005): Stable Matchings and Preferences of Couples, Journal of Economic
Theory, 121, 75-106.
Martnez, R., J. Mass, A. Neme y J. Oviedo (2000): Single Agents and the Set of Many-to-one Stable
Matchings, Journal of Economic Theory, 91, 91-105.
Martnez, R., J. Mass, A. Neme y J. Oviedo (2001): On the lattice structure of the set of stable
matchings, Optimization, 50, 439-457.
aaep_11:aaep_11
21/9/11
11:09
Pgina 85
85
Martnez, R., J. Mass, A. Neme y J. Oviedo (2004a): An algorithm to compute the set of many-tomany stable matchings, Mathematical Social Science, 47, 187-210.
Martnez, R., J. Mass, A. Neme y J. Oviedo (2004b): On Group Strategy-proof Mechanisms for a
Many-to-one Matching Model, International Journal of Game Theory 33, 115-128.
McVitie, D. y L. Wilson (1970): Stable Marriage Assignments for unequal sets, BIT 10, 295-309.
McVitie, D. y L. Wilson (1971): The Stable Marriage Problem, Communications of the ACM, 14,
486-493.
Mullin, F. J. y J. M. Stalnaker (1952): The matching plan for internship placement: a report of the
first years experience, Journal of Medical Education, 27, 193-200.
Roth, A. E. (1982): The Economics of Matching: Stability and Incentives, Mathematics of Operations
Research, 7, 617-628.
Roth, A. E. (1984): Stability and Polarization of Interests in Job Matching, Econometrica, 52, 4757.
Roth, A. E. (1985a): Conflict and Coincidence of Interest in Job Matching: Some New Results and
Open Questions, Mathematics of Operations Research, 10, 379-389.
Roth, A. E. (1985b): The College Admissions Problem Is Not Equivalent to the Marriage Problem,
Journal of Economic Theory, 36, 277-288.
Roth, A. E. (1986): On the Allocation of Residents to Rural Hospitals: A General Property of TwoSided Matching Markets, Econometrica, 54, 425-427.
Roth, A. E. (2008): Deferred acceptance algorithms: history, theory, practice, and open questions,
International Journal of Game Theory, 36, 537-569.
Roth, A. E. y E. Peranson (1999): The Redesign of the Matching Market for American Physicians:
Some Engineering Aspects of Economic Design, American Economic Review, 89, 748-780.
Roth, A. E. y M. Sotomayor (1990): Two-sided Matching: A study in Game-theoretic Modelling and
Analysis, Econometric Society Monographs, Cambridge University Press.
Roth, A. E. y J. H. Vande Vate (1990): Random paths to stability in two-sided matching, Econometrica, 58: 1475-1480
Sotomayor, M. (1999): Three Remarks on the Many-to-Many Stable Matching Problem, Mathematical
Social Sciences, 38, 55-70.
Tan, J. J. M. (1991): A necessary and sufficient condition for the existence of a complete stable matching, Journal of Algorithms, 12, 154-178.
aaep_11:aaep_11
21/9/11
11:09
Pgina 86
aaep_11:aaep_11
21/9/11
11:09
Pgina 87
Consideraciones Epistmicas en Juegos: Nociones de Solucin y Conocimiento
87
CONSIDERACIONES EPISTMICAS EN JUEGOS:

NOCIONES DE SOLUCIN Y CONOCIMIENTO
Fernando Tohm
IIESS (UNS-CONICET) Departamento de Economa,
Universidad Nacional del Sur
1. Introduccin
La Teora de Juegos, desde su inicio, incorpor en el anlisis de los resultados el
papel crucial del conocimiento y las creencias de los agentes. De hecho, este tema
fue central en las discusiones iniciales entre John von Neumann y Oskar Morgenstern. Este ltimo, en su anlisis de los ciclos econmicos de 1928, us la
lucha de ingenios entre Sherlock Holmes y el Profesor Moriarty como metfora
de la forma en que las creencias dan lugar a resultados econmicos. En la historia La muerte de Holmes, Conan Doyle relataba cmo, en su carrera hacia el final
de ambos en las cataratas de Reichenbach, Holmes y Moriarty iban elaborando conjeturas sobre conjeturas acerca del comportamiento del otro y, fundamentalmente, acerca de lo que el otro poda pensar acerca de lo que l pensaba.
Lamentablemente, y aunque von Neumann reconoca la importancia de este
anlisis, el nfasis en juegos de suma cero los llev a reducir la determinacin de
la solucin de juegos a una simple computacin. La introduccin, en 1950, de la
nocin de equilibrio de Nash abri la puerta para consideraciones acerca de lo que
los jugadores pueden pensar a la hora de tomar una decisin. Sin embargo esto en
general qued slo como una componente de la interpretacin de los equilibrios,
es decir de la historia que se elaboraba para justificarlos, y no de la nocin misma
de equilibrio.
Robert Aumann fue fundamental para la incorporacin del conocimiento de
los agentes como componente del resultado. En su trabajo de 1976 provey un
modelo de conocimiento comn de naturaleza semntica, que permiti caracterizar la forma en que se puede llegar a acuerdos entre las partes aun cuando existen
desacuerdos en cuanto a cmo ven la situacin. Esto fue aplicado a la interpretacin de qu condiciones llevan a transacciones (trade) en mercados especulativos
aaep_11:aaep_11
21/9/11
88
11:09
Pgina 88
(Milgrom-Stokey 1982). Pero la consecuencia tal vez ms importante del trabajo

de Aumann fue proveer un esquema lgico en el que las consideraciones epistmicas se pueden incorporar a las soluciones de juegos.
Mertens y Zamir (1985) formalizaron el argumento que Harsanyi (1967) plante para reducir informacin incompleta a imperfecta. La nocin de tipo, bsica en
el razonamiento bayesiano en juegos, se identific con una estructura jerrquica de
creencias. Esta idea, desarrollada posteriormente por Brandenburger y Dekel (1993)
entre otros, condujo a la forma cannica de caracterizacin epistmica de juegos.
Es imposible en este breve espacio hacer un recuento exhaustivo de la literatura que se gener a partir de estos ltimos desarrollos. Vamos a restringirnos a
presentar el anlisis para juegos bipersonales en forma estratgica y fundamentalmente concentrado en describir las condiciones epistmicas para distintas nociones de solucin. Veremos cmo la teora epistmica de juegos puede, en determinadas circunstancias, dar cuenta de resultados experimentales que para algunos
autores invalidan la relevancia de la teora de juegos.
En la seccin 2 haremos un rpido repaso de las nociones tradicionales de
solucin en juegos en forma estratgica de dos personas. En la seccin 3 introduciremos algunos conceptos que permiten describir la situacin de conocimiento y
las creencias de los jugadores. En la seccin 4 veremos las condiciones sobre el
conocimiento y las creencias de los agentes que sustentan las soluciones tradicionales. En la seccin 5 extendemos esto a una nueva nocin de solucin, (m+1)
IA. Finalmente, en la ltima seccin discutimos brevemente tpicos que quedaron fuera del artculo.
2. Conceptos de solucin tradicionales

Consideremos un juego estratgico simple como la Batalla de los Sexos. En l,
dos jugadores E y E (esposo y esposa) eligen por separado un espectculo
para asistir juntos, Box o Ballet, sin una negociacin previa. Si E elige filas y E
columnas, la diagonal principal de la siguiente matriz representa la eleccin del
mismo espectculo, mientras que la diagonal menor la no coordinacin en las
decisiones:
E / E
Box
Ballet
Box
2,1
0
Ballet
0
1,2
aaep_11:aaep_11
21/9/11
11:09
Pgina 89
89
Dado cualquiera de los dos jugadores, i su mejor respuesta viene dada por un
operador BRi que dada una accin del otro, i, arroja la mejor decisin para i. En
este caso:
BRi ( Box ) = Box
BRi ( Ballet ) = Ballet
para i = E, E
Un par de acciones si, si para i y i es un equilibrio de Nash si s i BR i ( si )
y si BRi ( s i ) . En el caso de la Batalla de los Sexos, hay dos equilibrios de Nash,
Box, Box y Ballet, Ballet.
En vez de considerar acciones tales como ir al Box o a Ballet, pueden contemplarse distribuciones de probabilidad sobre las mismas. Estas estrategias mixtas
se convierten en objetos de eleccin en s mismos. Si Si es el conjunto de acciones del jugador i, Si es el espacio de distribuciones de probabilidad sobre las
mismas. Los agentes racionales eligen distribuciones que maximicen sus pagos
esperados. Esto permite extender trivialmente la nocin de operador de mejor respuesta de BRi : S i Si a BRi :S i Si .
Un equilibrio de Nash en estrategias mixtas es entonces un par de estrategias mixtas i, i tal que i BR i ( i ) y i BRi ( i ). En el caso de la Batalla de los
Sexos, hay tres equilibrios de Nash en estrategias mixtas: 1,1, 0,0 y (2/3),(1/3)
donde p,1 p denota la distribucin que da a Box y Ballet probabilidades p y 1-p,
respectivamente. Notemos que los dos primeros equilibrios son equivalentes a Box,
Box y Ballet, Ballet, los equilibrios de Nash en estrategias puras.
Una estrategia si se dice racionalizable si existen subconjuntos de acciones Zi
Si y Zi Si tales que (Osborne y Rubinstein, 1994):
si Zi,
para k = i,i, cada sk Zk es tal que sk BRk ( k ) donde k es una distribucin de probabilidad con soporte Zk.
Para entender el alcance del concepto de racionalizabilidad conviene introducir la nocin de estrategia estrictamente dominada. Una accin si Si est estrictamente dominada si existe una estrategia mixta i tal que el pago esperado para i
de i, si es estrictamente mayor que el pago de si, si cualquiera sea si Si.
Un procedimiento iterativo permite a los agentes ir descartando estrategias
estrictamente dominadas. As, el jugador i comienza eliminando de consideracin
aaep_11:aaep_11
90
21/9/11
11:09
Pgina 90
sus estrategias estrictamente dominadas. i, tomando en cuenta las estrategias

eliminadas por i, elimina las estrategias que ahora son estrictamente dominadas
para l. Despus i hace lo propio tomando en cuenta las eliminaciones de la etapa anterior, seguido por i, etc. Cuando el proceso finaliza, las estrategias que sobreviven (al menos una para cada jugador) constituyen los conjuntos IUi y IUi.
Un resultado fcil de ver es que Zk = IUk para k = i,i.1 En la Batalla de los Sexos
esto significa que todas las acciones son racionalizables, dado que no hay estrategias estrictamente dominadas.
3. El modelo epistmico de un juego

Para cada nocin de solucin que vimos (equilibrio de Nash en estrategias puras,
equilibrio de Nash en estrategias mixtas y racionalizabilidad), su prediccin debera
estar justificada por el conocimiento y las creencias de los agentes. Para analizar esto
formalmente debemos considerar los modelos epistmicos de los juegos analizados.
Consideremos la siguiente variante simple de juego de coordinacin (Brandenburger, 2007):
A
B
I
2,2
0
D
0
1,1
Las acciones del jugador 1 (que elige filas) forman el conjunto S1 = {A, B},
mientras que las de 2 son S2 = {I, D}. Para analizar el juego, ampliamos su descripcin mediante:
un conjunto de tipos Ti para cada i,

una funcin i, que a cada tipo de i, ti, le asigna una distribucin de probabilidades sobre Si Ti denotada i (ti).
Notemos que para cada i, i en conjuncin con i indica que el tipo ti se identifica con una probabilidad sobre Si Ti, lo que arroja probabilidades sobre Si
(Si Ti), lo que a su vez da probabilidades sobre Si (Si (Si Ti)), etc.
1 Esto es cierto para la extensin a n jugadores, si no exigimos que, para cada jugador k, las elecciones de los otros jugadores no sean independientes entre s. Es decir, permitiendo que los jugadores k
se correlacionen.
aaep_11:aaep_11
21/9/11
11:09
Pgina 91
91
Un estado del juego es (si,ti;si,ti), donde ti y ti son los tipos de ambos jugadores mientras que si y si son las acciones elegidas por ellos.
Supongamos que los posibles tipos de 1 y 2 son T1 = {t, u} y T2 = {tb, ub} mientras que 1 y 2 vienen dados por:
1 (t):
T2 / S2
ub
tb
I
0
0
D
0
A
0
0
B
0
1 (u):
T2 / S2
ub
tb
2 (tb):
T1 / S1
ua
ta
2 (ub):
T1 / S1
ua
ta
Veamos qu ocurre en el estado (B, ta ; D, tb):
La respuesta de 1 es correcta, dado que asigna a D una probabilidad + .

Es decir, dado que 1 cree que 2 va a elegir D con certeza, lo mejor que puede
hacer es elegir B.
La respuesta de 2 tambin es correcta, dado que asigna a B probabilidad 1 y
por lo tanto su mejor respuesta es D.
aaep_11:aaep_11
92
21/9/11
11:09
Pgina 92
Sin embargo notemos que:
1 piensa que es posible que 2 est equivocado acerca de lo que l va a decidir:

1 asigna al tipo ub una probabilidad y ub asigna una probabilidad a que 1
juegue A en vez de B.
2 piensa que 1 puede estar equivocado acerca de su eleccin. Asigna una probabilidad al tipo ua, que a su vez asigna una probabilidad a que 1 juegue
I en vez de D.
En conclusin: 1 y 2 son racionales, dado que maximizan sus pagos dadas sus
creencias. Pero por otro lado 1 piensa que es posible que 2 sea irracional dado que
asigna una probabilidad a (D, ub), mientras que si fuera realmente de tipo ub, 2
obtendra mayor pago con I que con D. Del mismo modo, 2 piensa que es posible
que 1 sea irracional dado que asigna una probabilidad a (B, ua), siendo que si
fuese de tipo ua, 1 obtendra mayor pago con A que con B.
Este ejemplo muestra que el modelo epistmico del juego permite hablar de
lo que los agentes saben y de lo que creen en cualquier estado. Ms precisamente, consideremos un estado , perteneciente a un conjunto de estados , donde
= (si,ti;si,ti).
Sea el conjunto de los estados que i concibe como posibles cuando est en el
estado . Suponemos que esta relacin de indistinguibilidad entre estados es una
equivalencia. Por lo tanto Pi determina una particin de .
La accin elegida por i en el estado se denota si () mientras que i () es
la distribucin de probabilidades (creencia) de i acerca de las posibles acciones
de i.
Entonces decimos que:
Un evento E es conocimiento mutuo en el estado si Pi () E, para

i = 1,2.
Un evento F es auto-evidente si para todo F, Pi () F para i = 1,2.
Un evento E es conocimiento comn en el estado si hay un evento
auto-evidente F tal que F E para i = 1,2.
En base a estos conceptos podemos ahora hablar de las condiciones suficientes para las distintas nociones de solucin presentadas antes y de paso discutir algunas nuevas.
aaep_11:aaep_11
21/9/11
11:09
Pgina 93
93
4. Conocimiento y soluciones
Consideremos un par de acciones s1(),s2() en un estado . Constituyen un
equilibrio de Nash si cada i es tal que (Aumann y Brandenburger, 1995):
conoce las estrategias elegidas por el otro: Pi ( ) { : s i ( ) = s i ( )},

su creencia es consistente con su conocimiento: el soporte i () est incluido
en {s i ( ): Pi ( )},
es racional: si ( ) BRi ( i ( )).
En palabras, los estados que i no puede distinguir cuando el estado es deben

ser tales que en todos ellos la accin elegida por i es la misma. Por otro lado, las
creencias de i deben dar probabilidad positiva nicamente a las acciones de i que
constituyen los estados indistinguibles de . Finalmente, i tiene que elegir su mejor
accin dada su creencia. Si todas estas condiciones se cumplen, entonces las
acciones elegidas constituyen un equilibrio de Nash. Desde luego, estas condiciones son suficientes, pero no necesarias. Equilibrios de Nash pueden obtenerse sin
que se den estas condiciones.
Del mismo modo, el par de distribuciones de probabilidades 1 ( ), 2 ( )
constituye un equilibrio de Nash en estrategias mixtas en un estado si:
cada i conoce las creencias del otro: P ( ) { : i ( ) = i ( )} ,

la creencia de cada i es consistente con su conocimiento: el soporte de i ()
est incluido en {s i ( ): Pi ( )} ,
cada i sabe que i es racional: para cualquier Pi ( ), s i ( ) BR i ( i ( )).
Aqu el punto fundamental es el conocimiento de las creencias del otro jugador porque esas creencias son las que constituyen la estrategia mixta a ser jugada.
Esto provee una interpretacin de las estrategias mixtas en equilibrio, distinta a la
ms directa basada en la aleatorizacin de acciones.2
Este resultado no se extiende a ms de dos jugadores. Las condiciones epistmicas para un equilibrio de Nash en estrategias mixtas cuando n > 2, incluyen que los jugadores empiecen con un mismo
prior (de modo que puedan concluir ambos en que es posible que estn en ), que en la racionalidad de ambos sea conocimiento mutuo y, ms restrictivo an, que i () y i () sean conocimiento
comn.
aaep_11:aaep_11
94
21/9/11
11:09
Pgina 94
Finalmente, para que un par de acciones s1(),s2() en un estado constituya un equilibrio en estrategias racionalizables es suficiente que exista un evento auto-evidente F, tal que F y para todo en F y cada i:
el soporte de i () sea un subconjunto de {s i ( ): Pi ( )} ,

si ( ) BRi ( i ( )) .
En palabras: debe ser conocimiento comn entre los agentes que las acciones
elegidas sern mejores respuestas a las creencias acerca de las acciones concebibles de los otros agentes.
En este ltimo caso, el de la racionalizabilidad, es ms evidente que las condiciones epistmicas son una reescritura de la definicin de la nocin de solucin.
Para los equilibrios de Nash esto resulta algo ms difcil de ver, sin embargo ese
es tambin el caso. Tanto es as que el propio Aumann reconoce que durante aos
(y esto se refleja en su entrada sobre Teora de Juegos en el New Palgrave Dictionary of Economics) concibi a las condiciones epistmicas como externas a las
soluciones de juego. Es un desarrollo reciente que se las vea como parte inherente de las mismas.
5. Nuevas soluciones
Dado que el componente epistmico es inherente a las nociones de solucin tradicionales, cabe preguntarse si se pueden concebir soluciones a partir de consideraciones acerca de lo que conocen los agentes en un juego. Esto se vuelve particularmente interesante a la luz de la evidencia arrojada por el estudio del Dilema
del Viajero (Travelers Dilemma) (Basu, 1994). Este problema, puesto en trminos simples, involucra a dos agentes que en forma independiente tienen que declarar un nmero entre p > 0 y N > p. El pago de cada agente i = 1,2 cuando declara ni es:
ni, si la declaracin de i es ni = ni
ni p, si ni > ni
ni p, si ni < ni
La presencia del premio p para el que declara la cifra menor (y castigo para el
que declara el mayor valor) lleva a que el nico equilibrio de Nash sea p, p. Ms
an, la nica solucin racionalizable es tambin p, p. Esto va contra la experien-
aaep_11:aaep_11
21/9/11
11:09
Pgina 95
95
cia que indica que en experimentos, los individuos tienden en su gran mayora a
elegir la opcin N cuando p es relativamente pequeo.
Una alternativa es definir una nocin de solucin que admita comportamientos no racionalizables. Un primer paso consiste en considerar estrategias
dbilmente dominadas. Esto es, si Si est dbilmente dominada si existe una
estrategia mixta i definida sobre Si tal que el pago esperado de la combinacin
i, si es mayor o igual que el pago de si, si cualquiera sea si Si, y existe algn si tal que el pago esperado de i, si es estrictamente mayor que el
pago de si, si.
Decimos que una estrategia dbilmente dominada es inadmisible. Las estrategias que sobreviven la eliminacin iterada de estrategias inadmisibles se denominan admisibles iteradas (IA). En el caso del Dilema del Viajero, el conjunto de
estrategias racionalizables y el de aquellas que son admisibles iteradas coinciden,
dando por solucin IA al juego otra vez a p, p.
Por lo tanto, para poder capturar otros resultados en el Dilema del Viajero hacen
falta otras nociones de solucin. Una alternativa consiste en recortar las posibilidades de iteracin en la eliminacin de estrategias inadmisibles. Esto nos lleva a
la nocin m IA, el conjunto de estrategias que permanece despus de m rondas
de admisibilidad iterada. La nocin m IA puede arrojar, en principio, combinaciones de acciones que no sean racionalizables.
En el Dilema del Viajero, cuando los pagos estn entre p y N los conjuntos de
declaraciones que son soluciones para distintos valores de m son:
0 IA :{ p,..., N }
1 IA :{ p,..., N 1}
(N p ) IA :{ p}
Veamos unas definiciones previas a presentar las condiciones epistmicas para

m IA (Brandenburger, 2007):
Racionalidad: en el modelo epistmico de un juego, si y ti son racionales si si

arroja el mximo pago esperado con respecto a la distribucin de probabilidades correspondiente a ti.
aaep_11:aaep_11
96
21/9/11
11:09
Pgina 96
Suposicin (Assumption): un evento E es una suposicin si para cualquier

par de estados 1 E y 2 E, 1 es infinitamente ms probable que 2.3
Entonces, para un tipo ti del jugador i, el evento i es racional, que constituye un subconjunto de Si Ti, es una suposicin si tiene probabilidad
i (ti )[i es racional] = 1.

Denotamos con Supi [E] al conjunto de tipos para los que E es supuesto. La
suposicin de racionalidad de i es:
Supi [i es racional] = {ti Ti : i (ti )[i es racional] = 1}.
Esto permite definir la m-suposicin de racionalidad inductivamente:
Ri0 [i es racional] = Si Supi [i es racional] ,
Rim [i es racional] = Rim 1 Si Supi Rmi1 .
Podemos proponer una condicin de racionalidad y m-suposicin de racionalidad, RmAR (Rationality and m-th order Assumption of Rationality). Esto es, se
consideran slo los estados (si,ti;si,ti) en que valga que el tipo tj arroja que la accin
sj maximiza el pago esperado de tj, para j = i, i y valga que ( si , ti ; s i , t i ) Rim Rmi .
Finalmente, la condicin de completitud indica que cada espacio de tipos Tj ,
j = i, i, contiene todos los tipos posibles. Esto es, no puede haber ninguna posible creencia acerca del juego que no est resumida en un tj.
Se prueba que RmAR junto con completitud implican que la solucin del juego va a ser (m + 1) IA. Esto es, el resultado de m rondas de eliminacin de estrategias inadmisibles. Obviamente esta solucin se diferencia de IA slo si m es
menor que el nmero de acciones disponibles para cualquiera de los jugadores.
Esto se define formalmente en un sistema en el que las probabilidades se asignan lexicogrficamente. Esto es, la probabilidad es muy alta para una opcin e infinitesimalmente pequea para la que le
sigue en plausibilidad.
aaep_11:aaep_11
21/9/11
11:09
Pgina 97
97
En el caso del Dilema del Viajero, un m pequeo indicara que los jugadores,
en la solucin declararan un valor cercano a N, en forma consistente con la evidencia de los experimentos.
6. OTROS PROBLEMAS
Un tpico importante y que no hemos mencionado hasta aqu es la distincin
entre informacin y conocimiento. Si bien en el discurso informal muchas veces
son utilizados en forma indistinta, son diferentes en varios sentidos. El ms importante, tal vez, es que un agente con conocimiento es conciente (aware) de las
posibilidades que enfrenta y por lo tanto puede razonar acerca de las mismas. Las
conclusiones que obtiene forman parte de su cuerpo de conocimiento. Por lo tanto, el conocimiento es autorreferente, lo que permite iterarlo.
El awareness del conocimiento es una condicin que hasta cierto punto puede
relajarse. Por ejemplo, no es necesario que un agente sepa lo que desconoce.
Todos los modelos epistmicos discutidos hasta ese punto suponen que un agente
conoce lo que no conoce. Una literatura muy importante y ligada con la de racionalidad acotada deja de lado este supuesto (Modica y Rustichini 1999).
Otro problema para los modelos epistmicos se ve claramente en la caracterizacin de la solucin (m + 1) IA. Aun siendo la ms laxa de todas las que hemos
visto, requiere la completitud de los espacios de tipos. Es decir, exige que todos
los sistemas de creencias sean posibles. Sin embargo es fcil pensar creencias que
no son posibles de codificar de modo consistente en forma de tipo (y por lo tanto
determinar una distribucin de probabilidades). Por ejemplo: A cree que B cree
que A cree que B est equivocado acerca de lo que A cree.
Hay varias formas de escapar a este problema. Una es suponer que las creencias
slo pueden estar representadas como probabilidades, lo que impedira una creencia
como la antedicha. Esta es la versin clsica, que permiti convertir a los juegos con
informacin incompleta en juegos bayesianos con informacin imperfecta (Bge y
Eisele, 1979, Mertens y Zamir, 1985). Se ha mostrado que utilizar otras representaciones (lenguaje lgico de primer orden) puede dar lugar a regresiones infinitas sin
punto lmite. Esto se resuelve apelando a una teora de conjuntos alternativa en lo
que toda una estructura de creencias acerca de creencias se convierte en una creencia en s. Pero para evitar enunciados autocontradictorios sigue siendo necesario restringir el tipo de creencias, por ejemplo impidiendo creencias negativas (Tohm, 2005).
Un resultado de inconsistencia se obtiene tambin cuando se intenta extender
la condicin RmAR para tratar de proveer una fundamentacin epistmica de IA.
aaep_11:aaep_11
21/9/11
98
11:09
Pgina 98
Sorprendentemente, la versin de RmAR para m infinito, RCAR, es inconsistente con completitud de tipos. Esto es, la racionalidad y la suposicin de racionalidad
de orden infinito puede llevar a un conjunto vaco de estados (Brandenburger et al.,
2008).
Finalmente, cabe preguntarse cmo extender el anlisis epistmico a juegos en
forma extensiva. Si nos restringimos a juegos con informacin perfecta, la discusin se centra en el status epistmico de la solucin de backward induction (Battigalli y Siniscalchi, 1999). Para evitar las inconsistencias en el anlisis, las conclusiones acerca del conocimiento de los agentes en la versin extendida deberan
mantenerse en su forma reducida estratgica (Kohlberg-Mertens 1986). Esta condicin de invariancia permite conclur que backward induction arroja el mismo
resultado que (m + 1) IA, para m suficientemente grande (Marx y Swinkels, 1997).
Obviamente hay otros tpicos que ni siquiera podemos comenzar a mencionar, pero el rea de teora de juegos epistmica ha adquirido una gran vitalidad en
las ltimas dcadas y promete convertirse en una fundamentacin de juegos de
importancia comparable a la evolutiva. Creemos adems que, excepto para economas grandes, es ms relevante para el anlisis del comportamiento econmico.
Referencias
Aumann, R. (1976): Agreeing to Disagree, Annals of Statistics, 4, 1236-1239.
Aumann, R. (1987): Game Theory en New Palgrave Dictionary of Economics, Vol. 2: 473, Macmillan
NY.
Aumann, R. y A. Brandenburger (1995): Epistemic Conditions for Nash Equilibrium, Econometrica,
63, 1161-1180.
Battigalli, P. y M. Siniscalchi (1999): Hierarchies of Conditional Beliefs and Interactive Epistemology
in Dynamic Games, Journal of Economic Theory, 88, 188-230.
Basu, K. (1994): The Travelers Dilemma: Paradoxes of Rationality in Game Theory, American
Economic Review, 84, 391-395.
Bge, W. y T.H. Eisele (1979): On the Solutions of Bayesian Games, International Journal of Game
Theory, 8, 193-215.
Brandenburger, A. (2007): The Power of Paradox: Some Recent Developments in Interactive
Epistemology, International Journal of Game Theory, 35, 465-492.
Brandenburger, A. y E. Dekel (1993): Hierarchies of Beliefs and Common Knowledge, Journal of
Economic Theory, 59, 189-198.
Brandenburger, A., A. Friedenberg y J. Keisler (2008): Admissibility in Games, Econometrica, 76,
307-352.
Harsanyi, J., (1967): Games with Incomplete Information Played by Bayesian Players, Part I. The
Basic Model, Management Science, 14, 159-182.
Kohlberg, E. y J.-F. Mertens (1986) : On the Strategic Stability of Equilibria, Econometrica, 54, 10031037.
aaep_11:aaep_11
21/9/11
11:09
Pgina 99
99
Marx, L. y J. Swinkels (1997): Order Independence for Iterated Weak Dominance, Games and
Mertens, J.-F. y S. Zamir (1985): Formulation of Bayesian Analysis for Games with Incomplete
Information, International Journal of Game Theory, 14, 1-29.
Milgrom, P. y N. Stokey (1982): Information, Trade and Common Knowledge, Journal of Economic
Theory, 26, 17-27.
Modica, S. y A. Rustichini (1999): Unawareness and Partitional Information Structures, Games and
Morgenstern, O. (1928): Wirtschaftsprognose: Eine Untersuchung ihrer Voraussetzungen und Mglichkeiten.
Osborne, M. y A. Rubinstein (1994): A Course in Game Theory, MIT Press, Cambridge MA.
Tohm, F. (2005): Existence and Definability of States of the World, Mathematical Social Science,
49, 81-100.

Teoria Juegos

Cargado por

Copyright:

Formatos disponibles

Teoria Juegos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoria Juegos

Cargado por

Copyright:

Formatos disponibles

aaep_11:aaep_11

Serie Progresos en Economa

Fecha de catalogacin: 05/10/2011

Breve historia de la AAEP

Consejo Directivo de la Asociacin Argentina de Economa Poltica

Sobre los autores

2. Bienes Privados: Reglas no Manipulables

3. Modelos de Asignacin en Mercados Bilaterales

4. Consideraciones Epistmicas en Juegos: Nociones de Solucin

BREVE HISTORIA DE LA AAEP

Progresos en Teora de los Juegos y sus Aplicaciones

Mantel (1984/86), Luisa Montuschi (1986/88), Alfredo M. Navarro (1988/90),

Qu es la Asociacin Argentina de Economa Poltica

Breve historia de la AAEP

SOBRE LOS AUTORES

Leandro Arozamena es Licenciado en Economa de la Universidad Nacional del

Progresos en Teora de los Juegos y sus Aplicaciones

Fernando Tohm es investigador independiente de Conicet y profesor titular del

Un juego es una situacin en la que un conjunto de individuos (o jugadores)

Progresos en Teora de los Juegos y sus Aplicaciones

no se hayan aplicado o se apliquen el marco conceptual y las herramientas que la

Una de las principales y ms exitosas aplicaciones de la teora de los juegos se

Progresos en Teora de los Juegos y sus Aplicaciones

una asignacin que los beneficie ms acordando exclusivamente entre ellos) y

Dikit, A. y S. Skeath (1999): Games of Strategy, W.W. Norton, Nueva York.

* Agradecemos el apoyo del FONCyT, PICT 2255.

Progresos en Teora de los Juegos y sus Aplicaciones

Como veremos ms adelante, el favoritismo no es la nica justificacin posible para el empleo de

Progresos en Teora de los Juegos y sus Aplicaciones

Como se mencion arriba, el nmero de participantes se endogeneizar en la seccin 6.

3. La subasta ptima sin favoritismo

Progresos en Teora de los Juegos y sus Aplicaciones

se ve simplificada por lo que en el anlisis del diseo de mecanismos se conoce

Anlogamente, pi(vi) es el precio esperado que pagar. La utilidad esperada que

pi (vi ) fi (vi )dvi

El segundo conjunto de restricciones, de participacin, refleja que no puede

De ello se deriva que, para todo i, vi,

pi (vi ) = hi (vi )vi hi ( s )ds

Progresos en Teora de los Juegos y sus Aplicaciones

El ingreso del vendedor depende exclusivamente de la regla de asignacin. Una

h (v )v vih ( s )ds f (v )dv

Integrando por partes, surge

maxN Ev1 ,..., vN H i (v1 ,..., vN ) J i (vi )

La solucin de este problema es directa

Consideremos un caso con N = 2 para simplificar. Que Fi domine a Fj de la

Progresos en Teora de los Juegos y sus Aplicaciones

Si esta desigualdad es estricta para algn v, entonces cuando ambos oferentes

4. La subasta ptima con favoritismo

un caso especfico: el vendedor desea maximizar la suma de su ingreso esperado

pi (vi ) fi (vi )dvi + U i (vi ) fi (vi )dvi

U i (vi ) = hi (vi )vi pi (vi ) = hi ( s )ds

Progresos en Teora de los Juegos y sus Aplicaciones

maxN Ev1 ,..., vN H i (v1 ,..., vN )vi + H i (v1 ,..., vN ) J i (vi )

La regla de asignacin que resuelve este problema es muy sencilla.12 Para i t,

En este caso, el objeto se vende con certeza, una consecuencia natural de la

5. Una forma prctica de favoritismo: el right of first refusal

Como veremos ms adelante, existen variantes alternativas para estas clusulas.

Progresos en Teora de los Juegos y sus Aplicaciones

un formato adecuado para reflejar situaciones en las que el vendedor carece de

#(B)es la cardinalidad del conjunto B.