Casos Especiales de Programacin Lineal

1. Problemas Degenerados:

Dado el siguiente Problema Lineal Max(z)= 10x1 + 6x2 s.a: 8x1 + 4x2 24 8x1 + 2x2 20 2x1 + 2x2 8 x1 , x2 0 Si analizamos su solucin grafica:

Funcion objetivo

Podemos observar que el vrtice optimo esta formado por la interseccin de 3 restricciones (esta sobredefinido). Esto hace que en dicho punto se anulan mas de n-m variables y por lo tanto que la solucin sea degenerada Numero de variables de este problema: n= 5 Numero de restricciones: m: 3

En el punto A: x1= 2 x2 = 2 S1 = 0 S2 = 0 S2 = 0
2. Infinitas Soluciones:

n-m=2 Existen mas de 2 variables nulas.

Para el siguiente Problema Lineal Max(z)= 8x1 + 4x2 s.a: 7x1 + 7x2 49 10x1 + 5x2 50 x1 , x2 0 Si analizamos su solucin grafica

Z optimo

En este problema podemos observar que la funcin objetivo (curva de isoutilidad), es paralela a una de las restricciones limitantes del problema, por lo que esto hace que existan dos vrtices de la regin factible que son ptimos, el A y el B, al tener estas dos soluciones factibles, podemos realizar combinaciones lineales convexas y obtener los restantes puntos que forman el segmento. Obteniendo infinitas soluciones que le dan a la funcin objetivo el valor optimo.

3. Problemas no acotados:

Para el siguiente Problema Lineal Max(z)= 8x1 + 2x2 s.a: 4x1 + x2 60 2x1 40 x1 , x2 0

Z crece indefinidamente

En este caso el polgono de solucin es abierto, y Z crece indefinidamente dirigindose hacia la zona no acotada sin llegar nunca al ptimo
4. Problemas Inconsistentes:

Dado el siguiente Problema Lineal Max(z)= 20x1 + 30x2 s.a:

10x1 + 5x2 150 5x1 + 6x2 100 x2 100 x1 , x2 0 Grficamente:

Podemos observar que no se ha podido formar la regin factible, por lo que el sistema de restricciones es incompatible.

EN TABLAS DE SIMPLEX PROBLEMAS DEGENERADOS

La degeneracin puede ocurrir en el Mtodo Simplex durante el proceso de pivoteo cuando se tiene un empate al determinar la variable que debe salir de la base, es decir cuando se produce un empate en el valor de (theta).

Esto significa que al pasar a la tabla siguiente se anularn ms de una variable por lo que en la base existir una variable con valor nulo y por lo tanto la solucin tendr ms de (n-m) valores de las variables nulos y la solucin ser posible bsica degenerada. Cabe aclarar que la solucin que corresponde a la tabla en la que se verifica el empate, no es degenerada, sino que lo ser la siguiente. Esta situacin no impide que se llegue a la solucin ptima. cj Base
x1

cb 5 0 0

Solucin 30 200 50 Z0 130 cj - z j

5 x1 1 0 0 5 0

8 x2 1,5 10 2 7,5 0,5

0 x3 2 1 0 10 - 10

0 x4 0 1 0 0 0

0 x5 0 0 1 0 0 * empate

30/1,5=20* 200/10=20* 50/2=25

x4 x5 Zj

Al existir el empate, arbitrariamente se elige la variable que sale de la base. La tabla siguiente ser Cb 5 8 0 cj Base
x1

Solucin 0 20 10 z0 160 cj - z j

5 x1 1 0 0 5 0

8 x2 0 1 0 8 0

0 x3 1,85 0,1 -0,2 10,05 -10,05

0 x4 -0,15 0,1 -0,2 0,05 -0,05

0 x5 0 0 1 0 0

x2 x5 Zj

Esta solucin es bsica degenerada porque tiene ms de (n-m) valores de las variables nulos. x1 x2 x3 x4 x5 = 0 20 0 0 10

INFINITAS SOLUCIONES
Se produce cuando las contribuciones marginales netas de una solucin posible bsica son iguales a cero para las variables bsicas y de las no bsicas, slo queda como alternativa posible una que es igual a cero. cj Base
x1

Cb 10 20 0

Solucin 8 14 5 z0 360 cj - z j

10 x1 1 0 0 10 0

20 x2 0 1 0 20 0

0 s1 40 -20 -3 0 0

0 s2 -20 20 1 200 -200

0 S3 0 0 1 0 0

x2 s3 Zj

La contribucin marginal neta de s 1 es igual a cero, lo que significa que por producir una unidad de esta variable (en realidad generar una unidad excedente de recurso, porque es una variable de holgura), el beneficio no vara pero s cambia la solucin. Esto significa que podemos incorporarla a la base, obtenemos una solucin distinta a la anterior que le da a Z el mismo valor y sabemos por el Teorema II, que la combinacin lineal convexa de las mismas dar a Z el mismo valor, por lo tanto el problema tiene infinitas soluciones. Grficamente se visualiza cuando la recta de la funcin objetivo es paralela a una arista del polgono de solucin.

PROBLEMAS NO ACOTADOS
Se presenta cuando los ij del vector columna de la variable que entra a la base son negativos y/o nulos, por lo que al hacer el cociente para determinar la variable que sale de la base (procedimiento para calcular (theta)), ste es infinito. Como vimos en el teorema fundamental del Simplex, en casos como estos la funcin objetivo puede aumentar sin cota y esta situacin no es realista en la prctica, en este caso se debe parar el proceso y el problema no tiene solucin.

cb 3 1

cj Base x1 x2 Zj

Solucin 1 2 z0 5 cj - z j

3 x1 1 0 3 0

1 x2 0 1 1 0

0 x3 -1 0 -3 3

0 x4 0 -1 -1 1

No se plantea el cociente

2/0 =

Debemos recordar que para calcular (theta) los valores negativos de ij no son tenidos en cuenta porque las variables no pueden ser negativas ya que (theta) en definitiva es el valor al cual ingresa la variable no bsica a la base.

PROBLEMAS INCONSISTENTES
En la tabla del simples un problema inconsistente se identifica cuando, en el cuadro optimo ha quedado en la base una variable artificial con un valor distinto de cero. Por ejemplo para el siguiente problema de mnimo: cj Base X3 A1 X2 Zj 4 x1 -1,5 -4 0 6-4M -2+4M 6 x2 0 0 1 6 0 0 s1 1 0 0 0 0 0 s2 0 -1 0 -M M M A1 0 1 0 M 0

Cb 10 M 0

Solucin 5,5 42 5 30+42M cj - z j

Estamos en el cuadro optimo ya que todos los cj-zj son mayores o iguales a cero y en la bese nos queda una A1 con un valor de 42