Resolución Segura y Anidada de Subjuegos para Juegos de Información Imperfecta

En los juegos de información imperfecta, la estrategia óptima en un subjuego puede depender de la estrategia en otros subjuegos no alcanzados. Por lo tanto, un subjuego no puede resolverse de forma aislada y debe considerar la estrategia para el juego en su totalidad, a diferencia de los juegos de información perfecta. Sin embargo, es posible primero aproximar una solución para el juego completo y luego mejorarla resolviendo subjuegos individuales. Esto se conoce como resolución de subjuegos. Introducimos técnicas de resolución de subjuegos que superan a los métodos anteriores tanto en teoría como en práctica. También mostramos cómo adaptarlas, y las técnicas de resolución de subjuegos pasadas, para responder a las acciones del oponente que están fuera de la abstracción de acción original; esto supera significativamente el enfoque anterior de vanguardia, la traducción de acciones. Finalmente, demostramos que la resolución de subjuegos puede repetirse a medida que el juego avanza por el árbol del juego, lo que conduce a una explotabilidad mucho menor. Estas técnicas fueron un componente clave de Libratus, la primera IA en derrotar a los mejores humanos en el póker Texas hold'em sin límite cara a cara.