En el algoritmo de benders, y en particular en la resolución de 8.3 se puede presentar la siguiente situación:
Para un x1 obtenido al resolver P1 se obtiene un P2 que no tiene puntos factibles
¿Cómo se resuelve?
En P1 hay que agregar un corte de factibilidad, que se construye con el resultado de D2, el dual de P2.
Como P2 no es factible, se puede ver que D2 es no acotado, o sea que hay una dirección u0 donde la
función objetivo del dual crece a más infinito, y se cumple (b2-A21x1)u0>0. Entonces, para que en la siguiente iteración eso no pase, basta agregar en P1 el nuevo corte (b2-A21x1)u0<=0.