La teoría de juegos es un área de la matemática aplicada que utiliza modelos para estudiar interacciones en estructuras formalizadas de incentivos (los llamados juegos) y llevar a cabo procesos de decisión. Sus investigadores estudian las estrategias óptimas así como el comportamiento previsto y observado de individuos en juegos. Tipos de interacción aparentemente distintos pueden, en realidad, presentar estructura de incentivo similar y, por lo tanto, se puede representar mil veces conjuntamente un mismo juego. Desarrollada en sus comienzos como una herramienta para entender el comportamiento de la economía, la teoría de juegos se usa actualmente en muchos campos, como en la biología, sociología, psicología y filosofía. Experimentó un crecimiento sustancial y se formalizó por primera vez a partir de los trabajos de John von Neumann y Oskar Morgenstern, antes y durante la Guerra Fría, debido sobre todo a su aplicación a la estrategia militar —en particular a causa del concepto de destrucción mutua garantizada. Desde los setenta, la teoría de juegos se ha aplicado a la conducta animal, incluyendo el desarrollo de las especies por la selección natural. A raíz de juegos como el dilema del prisionero, en los que el egoísmo generalizado perjudica a los jugadores, la teoría de juegos se ha usado en economía, ciencias políticas, ética y filosofía. Finalmente, ha atraído también la atención de los investigadores en informática, usándose en inteligencia artificial y cibernética.
Aunque tiene algunos puntos en común con la teoría de la decisión, la teoría de juegos estudia decisiones realizadas en entornos donde interaccionan. En otras palabras, estudia la elección de la conducta óptima cuando los costes y los beneficios de cada opción no están fijados de antemano, sino que dependen de las elecciones de otros individuos. Un ejemplo muy conocido de la aplicación de la teoría de juegos a la vida real es el dilema del prisionero, popularizado por el matemático Albert W. Tucker, el cual tiene muchas implicaciones para comprender la naturaleza de la cooperación humana. La teoría psicológica de juegos, que se arraiga en la escuela psicoanalítica del análisis transaccional, es enteramente distinta. Los analistas de juegos utilizan asiduamente otras áreas de la matemática, en particular las probabilidades, las estadísticas y la programación lineal, en conjunto con la teoría de juegos. Además de su interés académico, la teoría de juegos ha recibido la atención de la cultura popular. La vida del matemático teórico John Forbes Nash, desarrollador del Equilibrio de Nash y que recibió un premio Nobel , fue el tema de la biografía escrita por Sylvia Nasar, Una mente brillante (1998), y de la película del mismo nombre (2001). Varios programas de televisión han explorado situaciones de teoría de juegos, como el concurso de la televisión de Cataluña (TV3) Sis a traïció (seis a traición), el programa de la televisión estadounidense Friend or foe? (¿Amigo o enemigo?) y, hasta cierto punto, el concurso Supervivientes.
La primera discusión conocida de la teoría de juegos aparece en una carta escrita por James Waldegrave en 1713. En esta carta, Waldegrave proporciona una solución mínima de estrategia mixta a una versión para dos personas del juego de cartas le Her. Sin embargo no se publicó un análisis teórico de teoría de juegos en general hasta la publicación de Recherches sur les príncipes mathématiques de la théorie des richesses, de Antoine Augustin Cournot en 1838. En este trabajo, Cournot considera un duopolio y presenta una solución que es una versión restringida del equilibrio de Nash. Aunque el análisis de Cournot es más general que el de Waldegrave, la teoría de juegos realmente no existió como campo de estudio aparte hasta que John von Neumann publicó una serie de artículos en 1928. Estos resultados fueron ampliados más tarde en su libro de 1944, The Theory of Games and Economic Behavior, escrito junto con Oskar Morgenstern. Este trabajo contiene un método para encontrar soluciones óptimas para juegos de suma cero de dos personas. Durante este período, el trabajo sobre teoría de juegos se centró, sobre todo, en teoría de juegos cooperativos. Este tipo de teoría de juegos analiza las estrategias óptimas para grupos de individuos, asumiendo que pueden establecer acuerdos entre sí acerca de las estrategias más apropiadas. En 1950, aparecieron las primeras discusiones del dilema del prisionero, y se emprendió un experimento acerca de este juego en la corporación RAND. Alrededor de esta misma época, John Nash desarrolló una definición de una estrategia óptima para juegos de múltiples jugadores donde el óptimo no se había definido previamente, conocido como equilibrio de Nash. Este equilibrio es suficientemente general, permitiendo el análisis de juegos no cooperativos además de los juegos cooperativos.
La teoría de juegos experimentó una notable actividad en la década de 1950, momento en el cual los conceptos base, el juego de forma extensiva, el juego ficticio, los juegos repetitivos, y el valor de Shapley fueron desarrollados. Además, en ese tiempo, aparecieron las primeras aplicaciones de la teoría de juegos en la filosofía y las ciencias políticas. En la década de 1970 la teoría de juegos se aplicó extensamente a la biología, en gran parte como resultado del trabajo de John Maynard Smith y su concepto estrategia estable evolutiva. Además, los conceptos del equilibrio correlacionado, la perfección del temblor de la mano, y del conocimiento común fueron introducidos y analizados
Economía y negocios
Los economistas han usado la teoría de juegos para analizar un amplio abanico de problemas económicos, incluyendo subastas, duopolios, oligopolios, la formación de redes sociales, y sistemas de votaciones. Estas investigaciones normalmente están enfocadas a conjuntos particulares de estrategias conocidos como conceptos de solución. Estos conceptos de solución están basados normalmente en lo requerido por las normas de racionalidad perfecta. El más famoso es el equilibrio de Nash. Un conjunto de estrategias es un equilibrio de Nash si cada una representa la mejor respuesta a otras estrategias. De esta forma, si todos los jugadores están aplicando las estrategias en un equilibrio de Nash, no tienen ningún incentivo para cambiar de conducta, pues su estrategia es la mejor que pueden aplicar dadas las estrategias de los demás. Las recompensas de los juegos normalmente representan la utilidad de los jugadores individuales. A menudo las recompensas representan dinero, que se presume corresponden a la utilidad de un individuo. Esta presunción, sin embargo, puede no ser correcta Biología
A diferencia del uso de la teoría de juegos en la economía, las recompensas de los juegos en biología se interpretan frecuentemente como adaptación. Además, su estudio se ha enfocado menos en el equilibrio que corresponde a la noción de racionalidad, centrándose en el equilibrio mantenido por las fuerzas evolutivas. El equilibrio mejor conocido en biología se conoce como estrategia evolutivamente estable, y fue introducido por primera vez por John Maynard Smith. Aunque su motivación inicial no comportaba los requisitos mentales del equilibrio de Nash, toda estrategia evolutivamente estable es un equilibrio de Nash. Informática y lógica
La teoría de juegos ha empezado a desempeñar un papel importante en la lógica y la informática. Muchas teorías lógicas se asientan en la semántica de juegos. Además, los investigadores de informática han usado juegos para modelar programas que interactúan entre sí.
Filosofía
La teoría de juegos ha demostrado tener muchos usos en filosofía. A partir de dos trabajos de W.V.O. Quine publicados en 1960 y 1967, David Lewis (1969) usó la teoría de juegos para desarrollar el concepto filosófico de convención. De esta forma, proporcionó el primer análisis del conocimiento común y lo empleó en analizar juegos de coordinación. Además, fue el primero en sugerir que se podía entender el significado en términos de juegos de señales. Esta sugerencia se ha seguido por muchos filósofos desde el trabajo de Lewis.[4]
Leon Henkin, Paul Lorenzen y Jaakko Hintikka iniciaron una aproximación a la semántica de los lenguajes formales que explica con conceptos de teoría de juegos los conceptos de verdad lógica, validez y similares. En esta aproximación los "jugadores" compiten proponiendo cuantificaciones e instancias de oraciones abiertas; las reglas del juego son las reglas de interpretación de las sentencias en un modelo, y las estrategias de cada jugador tienen propiedades de las que trata la teoría semántica (ser dominante si y sólo si las oraciones con que se juega cumplen determinadas condiciones, etc.).