Algoritmo de ramificación y acotamiento para programación entera mixta (V)

El cuarto (y último) cambio al algoritmo de PEB para obtener el algoritmo de PEM se refiere a la prueba de sondeo 3. Antes, con un problema de PE pura, la prueba consistia en que la solución a la soltura de PL del subproblema fuera entera, puesto que esto aseguraba una solución factible y por lo tanto óptima para el subproblema. Ahora, on un problema de PE mixta, la prueba requiere que nada más las variables restringidas a enteras tengan valores enteras en la solución óptima de la soltura de PL del subproblema, ya que esto es suficiente para asegurar que la solución es factible y por lo tanto óptima para el subproblema.

La incorporación de estos cuatro cambios  al resumen que se presentó en la sección anterior del algoritmo de programación entera binaria lleva al siguiente resumen del nuevo algoritmo de programación entera mixta.