Obsérvese que estas cotas son más grandes que Z* = 9, así que la prueba de sondeo 1 fracasa en ambos casos. La prueba 2 también fracasa, ya que ambas solturas de PL tienen soluciones factibles (como lo indica la existencia de una solución óptima). La prueba 3 también fracasa, porque ambas soluciones óptimas incluyen variables con valores no enteros.
La figura 13.5 muestra el árbol de solución resultante en este punto. La falta de una S a la derecha de cualquiera de los nuevos nodos indica que ambos quedan sin sondear.
No hay comentarios.:
Publicar un comentario