Barrapunto

De un postulado no, pero sí del uso de un algoritmo alfa-beta, ideado en primer lugar para explorar árboles de decisiones en juegos de tipo ajedrez.
La demostración implica el análisis de unos 1.500 patrones irreductibles generados por un árbol de decisión.
Se usan métodos de teoría de juegos en muchos campos que parecen alejados, por ejemplo para la inversión de matrices quasi-diagonales de gran tamaño. Los sistemas para escoger el elemento pivote suelen emplear un algoritmo derivado directemente del minimax.