4
Forma Canónica y Estándar Investigación de Operaciones I FORMA CANONICA Y FORMA ESTANDAR Un problema de programación lineal puede ser establecido en diferentes formas equivalentes a través de manipulaciones apropiadas. Dos formas en particular serán de bastante utilidad. Estas son las formas Estándar y Canónica. Un problema lineal se dice que esta en la forma estándar si ; a) Todas las restricciones son igualdades b) Todas las variables son no-negativas c) Las limitaciones ( lado derecho de la restricción) son positivas El Método Simplex, esta diseñado para ser aplicado únicamente hasta que el problema se encuentre en la forma Estándar. La forma Canónica es también de bastante utilidad, especialmente en explorar la relación de Dualidad. Un problema de P.L. está en la forma canónica si para un problema de: Maximización, las variables son no-negativas y las restricciones son del tipo Minimización, las variables son no-negativas y las restricciones son del tipo Considere el siguiente problema de P.L. en forma canónica = = n j j j x c Z Minimice 1 Minimice Z=CX Sujeto a; Sujeto a; 0 ,... 2 , 1 , 1 = = j n j i j ij x m i b x a 0 X b Ax Donde : A= Matriz de coeficientes de las variables en el sistema de ecuaciones de (mxn) a ij = coeficiente de la variable j en la restricción i x=Vector solución (nx1) x j = Variable j b i = Lado derecho de la restricción i ( Limitación i ) C=Vector de costos o utilidades (1xn) c j = Coeficiente de la variable j en la función objetivo M.C. Héctor Martínez Rubin Celis 1

Forma Canonica y Forma Estandar

Embed Size (px)

Citation preview

Page 1: Forma Canonica y Forma Estandar

Forma Canónica y Estándar Investigación de Operaciones I

FORMA CANONICA Y FORMA ESTANDAR Un problema de programación lineal puede ser establecido en diferentes formas equivalentes a través de manipulaciones apropiadas. Dos formas en particular serán de bastante utilidad. Estas son las formas Estándar y Canónica. Un problema lineal se dice que esta en la forma estándar si ;

a) Todas las restricciones son igualdades b) Todas las variables son no-negativas c) Las limitaciones ( lado derecho de la restricción) son positivas

El Método Simplex, esta diseñado para ser aplicado únicamente hasta que el problema se encuentre en la forma Estándar. La forma Canónica es también de bastante utilidad, especialmente en explorar la relación de Dualidad. Un problema de P.L. está en la forma canónica si para un problema de: Maximización, las variables son no-negativas y las restricciones son del tipo ≤ Minimización, las variables son no-negativas y las restricciones son del tipo ≥ Considere el siguiente problema de P.L. en forma canónica

∑=

=n

jjj xcZMinimice

1

Minimice Z=CX

Sujeto a; Sujeto a;

0

,...2,1,1

=≥∑=

j

n

jijij

x

mibxa0≥≥

XbAx

Donde : A= Matriz de coeficientes de las variables en el sistema de ecuaciones de (mxn) aij= coeficiente de la variable j en la restricción i x=Vector solución (nx1) xj= Variable j bi= Lado derecho de la restricción i ( Limitación i ) C=Vector de costos o utilidades (1xn) cj= Coeficiente de la variable j en la función objetivo

M.C. Héctor Martínez Rubin Celis 1

Page 2: Forma Canonica y Forma Estandar

Forma Canónica y Estándar Investigación de Operaciones I

⎥⎥⎥⎥

⎢⎢⎢⎢

=

nx

xx

X.2

1

⎥⎥⎥⎥

⎢⎢⎢⎢

=

nb

bb

b.2

1

⎥⎥⎥⎥

⎢⎢⎢⎢

=

mnmm

n

n

aaa

aaaaaa

A

.....

.

.

21

22221

11211

Los motivos para que un problema no este en la forma estándar son:

1. Algunas restricciones son desigualdades 2. Algunas bi son negativas 3. Algunas variables de decisión xj pueden ser negativas

Igualdades y desigualdades en las restricciones Una desigualdad puede fácilmente ser transformada a una igualdad (ecuación ) a través del uso de las variables de holgura qué representan en caso de:

a) La desigualdad menor o igual (≤ ), la deficiencia de unidades para el lado izquierdo de la restricción iguale a lado derecho de la misma. Por lo que se agrega una variable de holgura con signo positivo en el lado izquierdo de la restricción..

b) La desigualdad menor o igual (≥ ),el exceso de unidades que tiene el lado izquierdo de la restricción con respecto al lado derecho de la misma. Por lo que se agrega una variable de holgura con signo negativo en el lado izquierdo de la restricción.

En el caso de una desigualdad mayor o igual

∑=

≥n

jijij bxa

1Se agrega una variable con signo negativo xn+1, como se muestra a continuación

∑=

++ ≥=−n

jninjij xdondebxxa

111 0

En el caso de una desigualdad menor o igual

∑=

≤n

jijij bxa

1Se agrega una variable con signo positivo xn+1, como se muestra a continuación

∑=

++ ≥=+n

jninjij xdondebxxa

111 0

Así mismo, la ecuación de la forma

M.C. Héctor Martínez Rubin Celis 2

Page 3: Forma Canonica y Forma Estandar

Forma Canónica y Estándar Investigación de Operaciones I

∑=

=n

jijij bxa

1

Pude ser transformada en dos desigualdades y ∑ ≤j bxa=

n

iij1

∑=

≥n

jijij bxa

1 j

Para la mayoría de los problemas prácticos, las variables representan cantidades físicas y por lo tanto no pueden ser negativas. El Método Simplex, que se cubrirá más adelante, esta diseñado para resolver problemas lineales donde las variables deben ser no-negativas. Si una variable xn no tiene restricción en signo, entonces esta puede ser reemplazada por: xj ´ y xj+1´´ , donde ambas son ≥ 0 y xj ´ representa la parte positiva de la variable xj y xj+1´´ representa la parte negativa de la variable xj . Una vez resuelto el problema, en el caso de que la variable xj este en solución, únicamente podrá tener valor una de las variables xj ´ y xj+1´´ y la otra deberá tener valor de cero, es decir que solamente podrá estar en solución una de las dos variables (pero no necesariamente esta variable xj estará en solución). Ejemplo: Minimizar Z= -x1 - 3x2 Sujeto a; x1 – x2 ≤ 6 -x1 + 2x2 ≥ 8 x1,x2≥ 0 Transformando a l forma estándar tenemos: Minimizar Z= -x1 - 3x2 Sujeto a; x1 – x2 + x3 = 6 -x1 + 2x2 + x4 = 8 x´s≥ 0 x3, y x4 son variables de holgura. Si ahora consideramos que x1 no esta restringida en signo, el problema se puede plantear de la forma siguiente; Minimizar Z= -(x1´ - x1´´ ) - 3x2 Sujeto a; (x1´ - x1´´ ) – x2 + x3 = 6 -(x1´ - x1´´ ) + 2x2 + x4 = 8 x´s≥ 0 donde x1=-(x1´ - x1´´ ) , x1 no esta restringida en signo y x2 ≥ 0

M.C. Héctor Martínez Rubin Celis 3

Page 4: Forma Canonica y Forma Estandar

Forma Canónica y Estándar Investigación de Operaciones I

Para efectos de resolver este problema por el método Simplex, se modifican los subíndices de las variables; Minimizar Z= -x1 – x2 - 3x3 Sujeto a; x1 - x2 + x3 + x4 = 6 -x1 + x2 + 2x3 + x5 = 8 x´s≥ 0 donde x1= x1´ y x2 = x1´´ y se recorren los subíndices delas variables restantes. Una vez que se resuelva este problema, las variables retoman sus subíndices iniciales. No-negatividad de las limitaciones biCuando el problema se desea representar en forma estándar y alguna de las bi es negativa, se multiplica la restricción que corresponda a esta limitación por (-1) y así se hace positiva. Ejemplo: Minimizar Z= -x1 - 3x2 Sujeto a; x1 – x2 + x3 = 6 -x1 + 2x2 + x4 = -8 x´s≥ 0 x3, y x4 son variables de holgura. Se multiplica la segunda restricción por (-1), resultando; Minimizar Z= -x1 - 3x2 Sujeto a; x1 – x2 + x3 = 6 x1 - 2x2 - x4 = 8 x´s≥ 0 .

VALOR DE LA FUNCIÓN OBJETIVO

TIPO DE RESTRICCIONES

MAXIMIZACION

MINIMIZACION

1.- Desigualdad ≤, añadir una variable de Holgura de Déficit (con signo + ).

Coeficiente de la variable de Holgura igual a cero.

Coeficiente de la variable de Holgura igual a cero.

2.- Desigualdad ≥, añadir una variable de Holgura de Exceso (con signo - ) y una variable Artificial (con signo + ).

Coeficiente de la variable de Holgura igual a cero y de la variable Artificial igual a -M.

Coeficiente de la variable de Holgura igual a cero y de la variable Artificial igual a +M.

3.- Igualdad =, añadir una variable Artificial ( con signo +)

Coeficiente de la variable Artificial igual a -M.

Coeficiente de la variable Artificial igual a -M.

M.C. Héctor Martínez Rubin Celis 4