inducción hacia atrás

La Inducción hacia atrás es el proceso de razonar atrás en el tiempo, desde el final de un problema o situación, para determinar una secuencia de acciones óptimas. Se procede, en primer lugar tomando en cuenta la última vez que se llevó a cabo una decisión y se elige qué hacer en ese momento. Con esta información, se puede entonces determinar lo que debería hacer en la penúltima decisión. Este proceso continúa atrás hasta que se ha determinado la mejor acción para cada situación posible (es decir, para cada posible conjunto de información) en cada punto en el tiempo. En el método matemático de optimización programación dinámica, la inducción atrás es uno de los principales métodos para resolver la ecuación de Bellman.​​ En la teoría de juegos, la inducción atrás es un método utilizado para calcular el equilibrio perfecto en subjuegos en los juegos secuenciales.​ La única diferencia es que la optimización implica un solo tomador de decisiones , que elige lo que debe hacer en cada momento del tiempo, mientras que la teoría de juegos analiza cómo las decisiones de varios jugadores interactúan. Es decir, mediante la previsión de lo que el último jugador que elige va a hacer en esa situación, es posible determinar que va a hacer el penúltimo jugador en elegir, y así sucesivamente. En los campos relacionados con la planificación automática y la programación automatizada y demostración automática de teoremas, el método se llama búsqueda atrás o . En el ajedrez se llama ajedrez retrospectivo. La inducción atrás se ha utilizado para resolver juegos desde que la teoría de juegos ha existido. John von Neumann y Oskar Morgenstern sugieren la solución de un juego de suma cero, juegos de dos personas por inducción atrás en su libro Teoría de Juegos y Comportamiento Económico (1944), el libro que estableció la teoría de juegos como un campo de estudio.​​ El concepto de inducción hacia atrás también está relacionado con el Premio Nobel de Economía Reinhard Selten, uno de los creadores del concepto de equilibrio perfecto en subjuegos, la noción de equilibrio de referencia para juegos secuenciales.