La idea básica es que mucho esfuerzo computacional se puede evitar si se tiene una forma rápida de probar desigualdades.
Idea: probar si la desigualdad es verdadero y evaluar
sólo si es el caso, donde
es algún valor escogido para la
prueba (e.g., si
entonces se declara ganadora la
posición).
Eval(J) calcula el valor minimax de posiciones MAX evaluando el
sucesor de la izquieda y explora los sucesores siguientes de izquierda
a derecha para determinar (llamando a Prueba) si se cumple que
Si la desigualdad se cumple, se evalua el valor exactamente y se continua.