1.1 Definicion Desarrollo y Modelos Investigacion de Operaciones(I.O) 1.2 Fases Estudio Investigacion de Operaciones 1.

3 Principales Aplicaciones Investigacion de Operaciones 1.4 Formulacion Problemas Lineales 1.5 Formulacion de problemas mas comunes Por ejemplo: Dieta, Inversion, Transporte, Mezcla, Recorte,Asignacion, Reemplazo, Ru ta mas corta Unidad 2 El metodo Simplex 2.1 Solucion Grafica Problema Lineal 2.2 Teoria Metodo Simplex 2.3 Forma Tabular Metodo Simplex 2.4 El Metodo de Dos Fases 2.5 El Metodo Simplex Revisado 2.6 Casos Especiales Metodo Simplex Unidad 3 Teoria de la dualidad y Analisis de sensibilidad 3.1 Formulacion Problema Dual 3.2 Relacion Primal Dual 3.3 Interpretacion Economica del Dual 3.4 Condiciones Khun Tucker 3.5 Dual Simplex 3.6 Cambios en Vector Costos Cj A) cuando Xj de Cj es basica, B) cuando Xj de Cj es no basica 3.7 Cambio en Bi de las Restricciones 3.8 Cambio en Coeficientes Aij

A) cuando Xj de a es basica, b) cuando Xj de a es no basica 3.9 Adicion de Nueva Variable 3.10 Adicion de Nueva Restriccion Unidad 4 Transporte y asignacin 4.1 Definicin Problema de Transporte 4.2 Mtodo Aproximacin de Vogel 4.3 Mtodo Modi 4.4 Procedimiento de Optimizacin 4.5 Definicin Problema de Asignacin 4.6 El Mtodo Hngaro de Asignacin Unidad 5 Programacin Entera Introduccin y casos de aplicacin 5.2 Definicin y Modelos de Programacin Entera 5.3 Mtodo Ramificar y Acotar 5.4 Mtodo Planos Cortantes 5.5 Algoritmo Aditivo de Balas 5.6 Programacin Dinmica

1.1Definicin Desarrollo y Modelos Investigacin de Operaciones

La investigacin de operaciones es la aplicacin, por grupos interdisciplinarios , del mtodo cientfico a problemas relacionados con el control de las organizaciones o sistemas, a fin de que se produzcan soluciones que mejor sirvan a los objetivos de la organizacin. El origen de esta materia se remonta a la segunda guerra mundial, cuando el coronel Sanders, junto con un dedicado grupo de cientficos, se propusieron encontrar la cuadratura del crculo, para de esta forma simplificar el horario militar y que le permitiese al Teniente G. Dann ganar la guerra en un rpido ataque en contra de los aliados. La investigacin de operaciones es la aplicacin de la metodologa cientfica a travs de modelos matemticos, primero para representar al problemay l u e g o p a r a r e s o l v e r l o L a c o m p l e j i d a d d e l o s p r o b l e m a s q u e s e p r e s e n t a n e n l a s organizaciones ya no encajan en una sola disciplina del conocimiento, se han convertido en multidisciplinario por lo cual para su anlisis y solucin se requieren grupos compuestos por especialistas de diferentes reas del conocimiento que logran comunicar se con un lenguaje comn. Modelos de la Investigacin de Operaciones .La forma convencional en que la investigacin de operaciones realiza esto es construyendo un modelo matemtico que represente la esencia del problema. U n m o d e l o s i e m p r e d e b e s e r m e n o s c o m p l e j o q u e e l p r o b l e m a r e a l , e s u n a a p r o x i m a c i n abstracta de la realidad con consideraciones y simplificaciones que hacen ms manejable el problema y permiten evaluar eficientemente las alternativas de solucin. Resolver un modelo consiste en encontrar los valores de las variables dependientes, asociadas a las componentes controlables del sistema con el propsito de optimizar, si es posible, o cuando menos mejorar la eficiencia o la efectividad del sistema dentro del marco de referencia que fijan los objetivos y las restricciones del problema. La seleccin del mtodo de solucin depende de las caracterst i c a s d e l m o d e l o . L o s procedimientos de solucin pueden ser clasificados en tres tipos: a) analticos, que utilizan procesos de deduccin matemtica b) numricos, que son de carcter inductivo y funcionan en base a operaciones de prueba y error c) simulacin, que utiliza mtodos que imitan o, emulan al sistema real, en base a un modelo.

http://es.scribd.com/doc/65422292/1/Definicion-Desarrollo-y-Modelos-Investigacion-deOperaciones
Tipos de Modelos de Investigacin de Operaciones. Modelo Matemtico: Se emplea cuando la funcin objetivo y las restricciones del modelo se pueden expresar en forma cuantitativa o matemtica como funciones de las variables de decisin. Modelo de Simulacin: Los modelos de simulacin difieren de los matemticos en que las relacin entre la entrada y la salida no se indican en forma explcita. En cambio, un modelo de simulacin divide el sistema representado en mdulos bsicos o elementales que despus se enlazan entre si va relaciones lgicas bien definidas. Por lo tanto, las operaciones de clculos pasaran de un mdulo a otro hasta que se obtenga un resultado de salida. Los modelos de simulacin cuando se comparan con modelos matemticos; ofrecen mayor flexibilidad al representar sistemas complejos, pero esta flexibilidad no est libre de inconvenientes. La elaboracin de este modelo suele ser costoso en tiempo y recursos. Por otra parte, los modelos matemticos ptimos suelen poder manejarse en trminos de clculos. Modelos de Investigacin de Operaciones de la ciencia de la administracin: Los cientficos de la administracin trabajan con modelos cuantitativos de decisiones. Modelos Formales: Se usan para resolver problemas cuantitativos de decisin en el mundo real. Algunos modelos en la ciencia de la administracin son llamados modelos deterministicos. Esto significa que todos los datos relevantes (es decir, los datos que los modelos utilizarn o evaluarn) se dan por conocidos. En los modelos probabilsticos (o estocsticos), alguno de los datos importantes se consideran inciertos, aunque debe especificarse la probabilidad de tales datos.

http://alesnoopy.wordpress.com/2011/09/09/1-1-definicion-desarrollo-y-tipos-de-modelosde-investigacion-de-operaciones-2/

1.2 Fases Estudio Investigacin de Operaciones Nacida durante la Segunda Guerra Mundial, la investigacin de operaciones es una ciencia que modela problemas complejos haciendo uso de las matemticas y la lgica. La investigacin de operaciones permite el anlisis de la toma de decisiones teniendo en cuenta la escasez de recursos, para determinar cmo se pueden maximizar o minimizar los recursos. El mtodo ms popular es el smplex (George Dantzing, 1947) dentro de la rama de programacin lineal. El algoritmo smplex ha sido elegido como uno de los diez de mayor influencia en el desarrollo y la prctica de la ciencia y la ingeniera en el siglo XX. Entre algunos de los mtodos utilizados tenemos el mtodo de la ruta crtica y a la tcnica de revisin y evaluacin de programas.E n l a c i e n c i a d e l a a d m i n i s t r a c i n l a c u a l t a m b i n e s c o n o c i d a c o m o i n v e s t i g a c i n d e operaciones, los administradores utiliz a n l a s m a t e m t i c a s y l a s c o m p u t a d o r a s p a r a t o m a r decisiones racionales en la resolucin de problemas. Aunque estos administradores pueden resolver algunos problemas con su experiencia pero en el complejo mundo en que vivimos muchos problemas no pueden ser resueltos basados en experiencia. Las tcnicas de la administracin se aplican a dos categoras bsicas de problemas, las cuales son las siguientes: Problemas Deterministicos: son en los que la informacin necesaria para obtener una solucinse conoce con certeza.P r o b l e m a s E s t o c s t i c o s : s o n l o s q u e p a r t e d e l a i n f o r m a c i n n e c e s a r i a n o s e c o n o c e c o n certeza como es el caso de los deterministicos, sino que ms bien se comporta de una maneraprobabilstica.La investigacin operacio nal (conocida tambin como teora de la toma de decisiones, o programacin matemtica. El objetivo y finalidad de la Investigacin operacional es la de encontrar la solucin ptimap a r a u n d e t e r m i n a d o p r o b l e m a ( m i l i t a r , e c o n m i c o , d e i n f r a e s t r u c t ura, logstico, etc. Estaconstituida por un acercamiento cientfico a la s olucin de problemas complejos, tienecaractersticas intrnsecamente m u l t i d i s c i p l i n a r e s y u t i l i z a u n c o n j u n t o d i v e r s i f i c a d o d e instrumentos, prevalentemente matemticos, para la modelizacin, la optimizacin y el control de sistemas estructurales. En el caso particular de problemas de carcter econmico, la funcin objetivo puede ser el mximo rendimiento o el menor costo. La investigacin operacional tiene un rol importante en los problemas de toma de decisin es porque permite tomar las mejores decisiones para alcanzar un determinado objetivo respetan dolos vnculos externos, no controlables por quien debe tomar la decisin. La elaboracin del problema esta subdividida en fases obligatorias, las principales son:-Examen de la situacin real y recoleccin de la informacin- F o r m u l a c i n d e l p r o b l e m a , i d e n t i f i c a c i n d e l a s v a r i a b l e s c o n t r o l a b l e s y l a s e x t e r n a s ( n o controlables) y la eleccin de la funcin objetivo, a ser maximizada o minimizada-Construccin del modelo matemtico, destinado a dar una buena representacin del problema;debe ser fcil de usar; representar el problema, dando toda la informacin para poder tomar una decisin lo ms idnea posible, tal es el caso del modelo matemtico EUE-Resolucin del modelo (mediante diferentes modalidades), modalidad de abierto-cerrado-Anlisis y verificacin de las soluciones obtenidas: se controla si la funcin objetivo ofrece lasventajas esperadas; se verifica la representatibilidad del modelo y, se efectan anlisis desensibilidad de la solucin obtenida 1.3 Principales Aplicaciones Investigacin de Operaciones La mayor parte de los problemas prcticos con los que se enfrenta el equipo IO estn descritosinicialmente de una manera vaga.Por consiguiente, la primera actividad que se debe realizar es el estudio del sistema relevante yel desarrollo de un resumen bien definido del problema que se va a analizar.Esto incluye determinar los objetivos apropiados, las restricciones sobre lo que se puede hacer,las interrelaciones del rea bajo estudio con otras reas de la organizacin, los diferentes cursos de accin posibles, los lmites de tiempo para tomar una decisin, etc. Este proceso ded e f i n i r e l p r o b l e m a e s c r u c i a l y a q u e a f e c t a r e n f o r m a s i g n i f i c a t i v a l a r e l e v a n c i a d e l a s conclusiones del estudio. Es difcil extra er una respuesta correcta a partir de un problema equivocado! Algunas personas se veran tentadas a aplicar mtodos matemticos a cuanto problema sepresente, pero es que Acaso siempre es necesario llegar al ptimo? Podra ser ms caro el modelar y el llegar al ptimo que a la larga no nos d un margen de ganancias muy superior alque ya tenemos. Tmese el siguiente ejemplo: La empresa EMX aplica I.O. y gasta por elestudio y el

desarrollo de la aplicacin $100 pero luego de aplicar el modelo observa que la mejora no es muy diferente a la que actualmente tenemos. Luego, podramos indicar que la investigacin de operaciones slo se aplicar en los problemas para los cuales el buen sentido se revela impotente: En el dominio combinatorio, muchas veces la enumeracin es imposible. Por ejemplo, si tenemos 200 trabajos por realizar, los que toman tiempos distintos y solo cuatro personas que pueden hacerlo, enumerar cada una de las combinaciones podra ser ineficiente (aparte de des animante). Luego los mtodos de secuenciacin sern los ms apropiados para este tipo de problemas. De igual manera, la I.O. es til cuando en los fenmenos estudiados interviene el azar. La nocin de esperanza matemtica y la teora de procesos estocsticos suministran la herramienta necesaria para construir el cuadro en el cual se optimizar l a f u n c i n econmica. Dentro de este tipo de fenmenos se encuentran las lneas de espera, los inventarios con demanda probabilstica. Con mayor motivo, la investigacin de operaciones se muestra como un conjunto de instrumentos precioso cuando se presentas situaciones de concurrencia. La teora de juegos no permite siempre resolverlos formalmente, pero aporta un marco de reflexin que ayude a la toma de decisiones. Cuando observamos que los mtodos cientficos resultan engorrosos para nuestro conjunto de datos, tenemos una opcin adicional, simular tanto el comportamiento actual as como las propuestas y ver si hay mejoras sustanciales. Las simulaciones son experiencias artificiales. Finalmente debe ponerse la mxima atencin en no considerar la investigacin de operacionesc o m o u n a c o l e c c i n d e r e c e t a s h e t e r o g n e a s y a p l i c a b l e s s i s t e m t i c a m e n t e e n u n a s situaciones determinadas. Si se cae en este error, ser muy difcil captar en condiciones reales los problemas que puedan deducirse de los mltiples aspectos de esta disciplina. 1.4 Formulacin Problemas Lineales La programacin lineal son modelos destinados a la asignacin e f i c i e n t e d e l o s r e c u r s o s limitados en actividades conocidas con el objetivo de satisfacer las metas deseadas (maximizar beneficios o minimizar costos).La caracterstica distintiva de los modelos es que las funciones que represen tan el objetivo y las restricciones son lineales. (No se permite multiplicacin de variables ni variables elevadas a potencias). Algunas de las siguientes restricciones no se pueden emplear en un modelo de programacin lineal. Un modelo de programacin lineal se define usualmente como sigue: Maximizar o minimizar Sujeto a: EJEMPLO 1.Un fabricante de muebles tiene 6 unidades de maderas y 28 horas disponibles, durante las cuales fabricar biombos decorativos. Con anterioridad, se han vendido bien 2 modelos, d e manera que se limitar a producir estos 2 tipos. Estima que el modelo uno requiere 2 unidades de madera y 7 horas de tiempo disponible, mientras que el modelo 2 requiere una unidad de m a d e r a y 8 h o r a s . L o s p r e c i o s d e l o s m o d e l o s s o n 1 2 0 d l s . y 8 0 d l s . , r e s p e c t i v a m e n t e . Cuntos biombos de cada modelo debe fabricar si desea maximizar su ingreso en la venta? OBJETIVO: Maximizar el ingreso por ventas RESTRICCIONES: Unidades de madera Tiempo disponible VARIABLE DE DECISION: X1 = Cantidad de biombos tipo I a fabricar X2 = Cantidad de biombos tipo II a fabricar

1.5Formulacin de problemas ms comunes Por ejemplo: Dieta, Inversin, Transporte,Mezcla, Recorte, Asignacin, Reemplazo, Ruta mas corta Problema Una firma de contadores pblicos especializados en preparar li q u i d a c i o n e s y p a g o d e impuestos y tambin auditoras en empresas pequeas. El inters es saber cuntas auditoras y liquidaciones pueden realizar m e n s u a l m e n t e , d e t a l m a n e r a q u e o b t e n g a n l o s m x i m o s ingresos. Se dispone de 800 horas para trabajo directo y direccin y 320 horas para revisin. Una auditora en promedio requiere de 40 horas de trabajo directo y direccin y 10 horas de revisin, adems aporta un ingreso de 300 dls. Una liquidacin de impuestos requiere de 8horas de trabajo directo y direccin y 5 horas de revisin y produce un ingreso de 100 dls. Se pueden realizar tantas auditoras como se desee, pero el mximo de liquidaciones mensuales disponibles es de 60. OBJETIVO: Maximizar los ingresos totales VARIABLE DE DECISION: X1 = Cantidad de auditoras X2 = Cantidad de liquidaciones RESTRICCIONES: Tiempo disponible para trabajo directo Tiempo disponible para trabajo de revisin Nmero mximo de liquidaciones Maximizar PROBLEMA Una empresa manufacturera est considerando dedicar su capacidad a fabricar 3 productos; llammoslos productos 1, 2 y 3. La capacidad disponible de las mquinas que podra limitar la produccin se resume en la siguiente tabla: Tipo de Mquina Tiempo Disponible (horas mquina) Fresadora 500 Torno 350 Rectificadora 150 El nmero de horas requeridas por cada unidad de los productos respectivos es: Tipo de Mquina Producto 1 Producto 2 Producto 3 El departamento de ventas indica que el potencial de ventas para los productos 1 y 2 es mayor que la tasa de produccin mxima y que el potencial de ventas para el producto 3 es de 20unidades por semana. La utilidad unitaria sera de 30, 12 y 15 dls., respectivamente, para los productos 1, 2 y 3. Formlese el modelo de programacin lineal para determinar cunto debe producir la empresa de cada producto para maximizar la utilidad. OBJETIVO: Maximizar la utilidad VARIABLE DE DECISION: Cantidad a fabricar del producto 1. (X1). Cantidad a fabricar del producto 2. (X2). Cantidad a fabricar del producto 3. (X3). RESTRICCIONES: Capacidad disponible para produccin de cada mquina (3 restricciones) Potencial de ventas para el producto 3. (1 restriccin) Maximizar

Unidad 2 El mtodo Simplex

2.1Solucin Grafica Problema Lineal Muchos problemas de administracin y economa estn relacionados con la optimizacin(ma x i m i z a c i n o m i n i m i z a c i n ) d e u n a f u n c i n s u j e t a a u n s i s t e m a d e i g u a l d a d e s o desigualdades. La funcin por optimizar es la funcin objetivo. Las funciones de ganancia y de costo son ejemplos de funciones objetivo. El sistema de igualdades o desigualdades a las que est sujeta la funcin objetivo reflejan las restricciones (por ejemplo, las limitaciones sobre recursos como materiales y mano de obra) impuestas a la solucin (o soluciones) del problema. Los problemas de esta naturaleza se llaman Problemas de programacin matemtica. E n p a r t i c u l a r , a q u e l l a s d o n d e l a f u n c i n o b j e t i v o y l a s restricciones se expresan como ecuaciones o desigualdades lineales se llaman problemas de programacin lineal Un problema de programacin lineal consta de una funcin objetivo lineal por maximizar ominimizar, sujeta a ciertas restricciones en la forma de igualdades o desigualdades lineales. Solucin Grfica Los problemas de programacin lineal en dos variables tienen interpretaciones geomtricas r e l a t i v a m e n t e s e n c i l l a s ; p o r e j e m p l o , e l s i s t e m a d e r e s t r i c c i o n e s l i n e a l e s a s o c i a d o c o n u n problema de programacin lineal bidimensional- si no es inconsistente- define una regin plan a c u y a f r o n t e r a e s t formada por segmentos de recta o semirrectas, por lo tanto es posible analizar tales problemas en forma grfica. Si consideremos el problema del granjero Lpez, es decir, de maximizar P = 40x+ 30 y Sujeta a 2x+y<800 x+y<480 x>0, y>0 (7)

El sistema de desigualdades (7) define la regin plana S que aparece en la figura 5. Cada punto de S es un candidato para resolver este problema y se conoce como

Solucin factible. El conjunto S s e c o n o c e c o m o conjunto factible. E l o b j e t i v o e s encontrar entre todos los puntos del conjunto S - e l p u n t o o l o s p u n t o s q u e o p t i m i c e n l a funcin objetivo P. Tal solucin factible es una solucin ptima y constituyen la solucin del problema de programacin lineal en cuestin.

Como ya se ha observado, cada punto P(x,y) en S es un candidato para la solucin ptima del problema en cuestin, por ejemplo, es fcil ver que el punto (200, 150) est en S y, por lo tanto, entra en la competencia. El valor de la funcin objetivo P en el punto (200,150) est dado por P=40(200)+30(150)=12.500. Ahora si se pudiera calcular el valor de P correspondiente a cada punto de S, entonces el punto (o los puntos) en S que proporcione el valor mximo de P f o r m a r e l c o n j u n t o s o l u c i n b u s c a d o . P o r d e s g r a c i a , e n l a m a y o r a d e l o s p r o b l e m a s , l a cantidad de candidatos es demasiado grande o, como en este problema, es infinita. As este mtodo no es adecuado. Es mejor cambiar de punto de vista: en vez de buscar el valor de la funcin objetivo P en un punto factible, se asignar un valor a la funcin P y se buscarn los puntos factibles que correspondieran a un valor dado de P. P a r a e s t o s u p n g a s e q u e s e asigna a P el valor 6000. Entonces la funcin objetivo se convierte en 40x+ 30y = 6.000, una ecuacin lineal en x e y; por lo tanto, tiene como grfica una lnea recta L1 en el plano. Est claro que a cada punto del segmento de recta dado por la interseccin de la lnea recta L1 y el conjunto factible S corresponde el valor dado 6000 de P. Al repetir el proceso, pero ahora asignando a P el valor de 12.000, se obtiene la ecuacin 40x+ 30y =12.000 y la recta L2 Lo cual sugiere que existen puntos factibles que corresponden a u n v a l o r m a y o r d e P. Obsrvese que la recta L2 es paralela a L1, pues ambas tienen una pendiente igual a 4/3. Esto se comprueba con facilidad escribiendo las ecuaciones en explcita de la recta. En general, a la signar diversos valores a la funcin objetivo, se obtiene una familia de rectas paralelas, cada una con pendiente igual a 4/3. Adems, una recta correspondiente a un valor mayor de P. Est ms alejada del origen que una recta con un valor menor de P. El significado es claro. Para obtener las soluciones ptimas de este problema, se encuentra la recta perteneciente a esta familia que se encuentra ms lejos del origen y que interseque al conjunto factible S. La recta requerida es aquella que pasa por el punto P(320,160) (Fig. 6), de modo que la solucin de este problema est dado por x=320, y=160 ( es decir que el granjero Lpez deber sembrar un determinado nmero de lo que 3 2 0 h e c t r e a s d e maz y 160 hectreas de trigo), lo que produce el valor mximo P=40(320)+30(160)=17.600. No es casualidad que la solucin ptima de este problema aparezca como vrtice del conjunto factible S. De hecho, el resultado es consecuencia del siguiente teorema bsico de la programacin lineal, que se enuncia sin demostracin.

Teorema 1 Si en problema de programacin lineal tiene una solucin, entonces sta debe aparecer en un vrtice, o esquina, del conjunto factible S asociado con el problema. Adems, si la funcin objetivo P se optimiza en dos vrtices adyacente de S, entonces se optimiza en todos los puntos del segmento de recta que une estos vrtices, en cuyo caso existe una infinidad de soluciones al problema En nuestro ejemplo el nico vrtice del conjunto factible S son los puntos coordenados:(0,0); (400,0); (320,160); (0,480), llamados tambin puntos esquinas (Fig. 6).

Un ejemplo en el que tendramos infinitas soluciones, es: Vrtice P=40x+40y (0.0) 0 (0.480) 19.200 (320.160) 19.200 (400.0) 16.000 Supngase que la utilidad por hectreas es de $40 para ambos, maz y trigo. La tabla para este caso muestra la misma utilidad total en los vrtices (0,480) y (320,160). Esto significa que la lnea de utilidad en movimiento abandona la regin sombreada por el lado determinado por esos vrtices (adyacentes), as todo punto en ese lado da una utilidad mxima. Todava es vlido, sin embargo, que la utilidad mxima ocurre en un vrtice. El teorema 1 dice que la bsqueda de las soluciones a un problema de programacin lineal se puede restringir al examen del conjunto de vrtices del conjunto factible S relacionado con el problema. Como un conjunto factible S tiene un nmero finito de vrtices, el teorema sugiere que las soluciones a un problema de programacin lineal se puedan hallar inspeccionando los valores de la funcin objetivo P en los vrtices. Aunque el teorema 1 arroja un poco de luz acerca de la naturaleza de l a s o l u c i n d e u n problema de programacin lineal, no indica cundo tiene solucin. El siguiente teorema establece ciertas condiciones que garantizan la existencia de la solucin de un problema de programacin lineal. Teorema 2: Existencia de una solucin Supngase un problema de programacin lineal con un conjunto factible S y una funcin objetivo P = a x + b y. 1. Si S est acotado, entonces P tiene u valor mximo y n valor mnimo en S. 2. Si S no est acotado y tanto a como b son no negativos, entonces P tiene un valor mnimo en S, si las restricciones que definen a S incluyen las desigualdades x 0 e y 0. 3. Si S es el conjunto vaco, entonces el problema de programacin lineal no tiene solucin; es decir, P no tiene un valor mximo ni uno mnimo. El mtodo utilizado para resolver el problema del granjero Lpez recibe el nombre de cada uno de los mtodos ms relacionados son los que de mtodod e l a s e s q u i n a s . E s t e m t o d o s i g u e u n p r o c e d i m i e n t o m u y s e n c i l l o p a r a r e s o l v e r l o s problemas de programacin lineal basado en el teorema1.

2.2 Teora Mtodo Simplex EL METODO SIMPLEX PARA SOLUCIN DE PROBLEMAS DE PROGRAMACIN LINEAL Es un procedimiento iterativo que permite ir mejorando la solucin a cada paso. El proceso concluye cuando no es posible seguir mejorando ms dicha solucin. Partiendo del valor de la funcin objetivo en un v rtice cualquiera, el mtodo consiste en buscar sucesivamente otro vrtice que mejore al anterior. La bsqueda se hace siempre a travs de los lados del polgono(o de las aristas del poliedro, si el nmero de variables es mayor). Cmo el nmero de vrtices (y de aristas) es finito, siempre se podr encontrar la solucin. El mtodo del simplex se basa en la siguiente propiedad: si la funcin objetivo, f, no toma su valor mximo en el vrtice A, entonces hay una arista que parte de A, a lo largo de la cual f aumenta. El mtodo del simplex fue creado en 1947 por el matemtico George Dantzig. El mtodo del simplex se utiliza, sobre todo, para resolver problemas de programacin lineal en los que intervienen tres o ms variables.

El lgebra matricial y el proceso de eliminacin de Gauss-Jordan para resolver un sistema de ecuaciones lineales constituyen la base del mtodo simplex. Con miras a conocer la metodologa que se aplica en el Mtodo SIMPLEX, vamos a resolver el siguiente problema: Maximizar Z= f(x,y)= 3x + 2y sujeto a: 2x + y 18 2x + 3y 423x + y24 x0 , y 0 Se consideran las siguientes fases: 1. Convertir las desigualdades en igualdades Se introduce una variable de holgura por cada una de las restricciones, para convertirlas en igualdades, resultando el sistema de ecuaciones lineales: 2x + y + h = 18 2x + 3y + s = 42 3x +y + d = 24 2. Igualar la funcin objetivo a cero -3x - 2y + Z = 0 3. Escribir la tabla inicial simplex En las columnas aparecern todas las variables del problema y, en las filas, los coeficientes de las igualdades obtenidas, una fila para cada restriccin y la ltima fila con los coeficientes de la funcin objetivo: Tabla I. Iteracin n 1 Base Variable de decisin Variable de holgura Valores solucin xyhsd h 2 1 1 0 0 18 s 2 3 0 1 0 42 d 3 1 0 0 1 24 Z 3 2 0 0 0 0 4. Encontrar la variable de decisin que entra en la base y la variable de holgura que sale de lavase Para escoger la variable de decisin que entra en la base, nos fijamos en la ltima fila, la de los coeficientes de la funcin objetivo y escogemos la variable con el coeficiente negativo mayor (en valor absoluto). En nuestro caso, la variable x de coeficiente 3. Si existiesen dos o ms coeficientes iguales que cumplan la condicin anterior, entonces se elige uno cualquiera de ellos. Si en la ltima fila no existiese ningn coeficiente negativo, significa que se ha alcanzado la solucin ptima. Por tanto, lo que va a determinar el final del proceso de aplicacin del mtodo del simplex, es que en la ltima fila no haya elementos negativos. La columna de la variable que entra en la base se llama columna pivote (En color azulado). Para encontrar la variable de holgura que tiene que salir de la base, se divide cada trmino de la ltima columna (valores solucin) por el trmino correspondiente de l a c o l u m n a p i v o t e , siempre que estos ltimos sean mayores que cero. En nuestro caso: 18/2 [=9] , 42/2 [=21] y 24/3 [=8] Si hubiese algn elemento menor o igual que cero no se hace dicho cociente. En el caso de que todos los elementos fuesen menores o iguales a cero, entonces tendramos una solucin no acotada y no se puede seguir.

El trmino de la columna pivote que en la divisin anterior d lugar al menor cociente positivo, el 3, ya 8 es el menor, indica la fila de la variable de holgura que sale de la base, d. Esta fila se llama fila pivote (En color azulado). Si al calcular los cocientes, dos o ms son iguales, indica que c u a l q u i e r a d e l a s v a r i a b l e s correspondientes pueden salir de la base. En la interseccin de la fila pivote y columna pivote tenemos el elemento pivote operacional, 3. 5. Encontrar los coeficientes de la nueva tabla. Los nuevos coeficientes de x se obtienen dividiendo todos los coeficientes de la fila d por el pivote operacional, 3, que es el que hay que convertir en 1. A continuacin mediante la reduccin gaussiana hacemos ceros los restantes trminos de su columna, con lo que obtenemos los nuevos coeficientes de las otras filas incluyendo los de la funcin objetivo Z. Tambin se puede hacer utilizando el siguiente esquema: Fila del pivote: Nueva fila del pivote= (Vieja fila del pivote) : (Pivote) Resto de las filas: Nueva fila= (Vieja fila) - (Coeficiente de la vieja fila en la columna de la variable entrante) X(Nueva fila del pivote) Vemoslo con un ejemplo una vez calculada la fila del pivote (fila de x en la Tabla II) Vieja fila de s 2 3 0 1 0 42 - - - - - Coeficiente 2 2 2 2 2 2 xxxxxx Nueva fila pivote 1 1/3 0 0 1/3 8 ====== Nueva fila de s 0 7/3 0 1 2/3 26 Tabla II. Iteracin n 2 Base Variable de decisin Variable de holgura Valores solucin xyhsd h 0 1/3 1 0 2/3 2 s 0 7/3 0 1 2/3 26 x 1 1/3 0 0 1/3 8 Z 0 1 0 0 1 24 Como en los elementos de la ltima fila hay uno negativo, 1, significa que no hemos llegado todava a la solucin ptima. Hay que repetir el proceso: La variable que entra en la base es y, por ser la variable que corresponde al coeficiente 1 P a r a c a l c u l a r l a v a r i a b l e q u e s a l e , d i v i d i m o s l o s t r m i n o s d e l a l t i m a c o l u m n a e n t r e l o s trminos correspondientes de la nueva columna pivote: 2:1/3 [=6] , 26:7/3 [=78/7] y 8:1/3 [=8] y como el menor cociente positivo es 6, tenemos que la variable de holgura que sale es h. El elemento pivote, que ahora hay que hacer 1, es 1/3. Operando de forma anloga a la anterior obtenemos la tabla: Tabla III . Iteracin n 3 Base Variable de decisin Variable de holgura Valores solucin xyhsd y 0 1 3 0 2 6 s 0 0 7 0 4 12 x 1 0 1 0 1 6 Z 0 0 3 0 1 30 Como en los elementos de la ltima fila hay uno negativo, 1, significa que no hemos llegado todava a la solucin ptima. Hay que repetir el proceso: La variable que entra en la base es d, por ser la variable que corresponde al coeficiente 1 P a r a c a l c u l a r l a v a r i a b l e q u e s a l e , d i v i d i m o s l o s t r m i n o s d e l a l t i m a c o l u m n a e n t r e l o s trminos correspondientes de la nueva columna pivote: 6/(2) [=3] , 12/4 [=3], y 6:1 [=6] y como el menor cociente positivo es 3, tenemos que la variable de holgura que sale es s. El elemento pivote, que ahora hay que hacer 1, es 4. Obtenemos la tabla: Tabla IV . Final del proceso Base Variable de decisin Variable de holgura Valores solucin

xyhsd y 0 1 1/2 0 0 12 d 0 0 7/4 0 1 3 x 1 0 3/4 0 0 3 Z 0 0 5/4 0 0 33 Como todos los coeficientes de la fila de la funcin objetivo son positivos, hemos llegado a la solucin ptima. Los solucin ptima viene dada por el valor de Z en la columna de los valores solucin, en n u e s t r o c a s o : 3 3 . E n l a m i s m a c o l u m n a s e p u e d e o b s e r v a r e l v r t i c e d o n d e s e a l c a n z a , observando las filas correspondientes a las variables de decisin que han entrado en la base: D(3,12) Si en el problema de maximizar apareciesen como restricciones inecuaciones de la forma: ax + by c; multiplicndolas por - 1 se transforman en inecuaciones de la forma -ax by - c y estamos en el caso anterior Si en lugar de maximizar se trata de un pro blema de minimizar se s i g u e e l m i s m o proceso, pero cambiando el sentido del criterio, es decir, para entrar en la base se elige la variable cuyo valor, en la fila de la funcin objetivo, sea el mayor de los positivos y se finalizan las iteraciones cuando t odos los coeficientes de la fila de la funcin objetivo son negativos. Interpretacin geomtrica del mtodo del simplex Las sucesivas tablas que hemos construido van proporcionando el valor de la funcin objetivo en los distintos vrtices, ajustndose, a la vez, los coeficientes de las variables inciales y de holgura. En la primera iteracin (Tabla I) han permanecido todos los coeficiente s i g u a l e s , s e h a calculado el valor de la funcin objetivo en el vrtice A(0,0), siendo este 0. A continuacin se desplaza por la arista AB, calculando el valor de f , hasta llegar a B. Este paso aporta la Tabla I I . E n e s t a s e g u n d a i t e r a c i n s e h a c a l c u l a d o e l v a l o r q u e c o r r e s p o n d e a l v r t i c e B ( 8 , 0 ) : Z=f(8,0) = 24 . Sigue por la arista BC, hasta llegar a C, donde se para y despliega los datos de la Tabla III. En esta tercera iteracin se ha calculado el valor que corresponde al vrtice C(6,6) :Z=f(6,6)=30. Contina haciendo clculos a travs de la arista CD, hasta llegar al vrtice D. Los datos que se reflejan son los de la Tabla IV. Concluye con esta tabla, advirtiendo que ha terminado (antes ha comprobado que la solucin no mejora al desplazarse por la arista DE) El valor mximo de la funcin objetivo es 33, y corresponde a x = 3 e y = 12 (vrtice D). Si calculas el valor de la funcin objetivo en el vrtice E(0,14), su valor no supera el valor 33. 2.3Forma Tabular Mtodo Simplex EL METODO SIMPLEX El mtodo del simplex fue creado en 1947 por el matemtico George D a n t z i g . E l m t o d o d e l s i m p l e x s e u t i l i z a , s o b r e t o d o , p a r a r e s o l v e r p r o b l e m a s d e programacin lineal en los que intervienen tres o ms variables. El lgebra matricial y el proceso de eliminacin de Gauss-Jordan para resolver un sistema de ecuaciones lineales constituyen la base del mtodo simplex. Es un procedimiento iterativo que permite ir mejorando la solucin a cada paso. El proceso concluye cuando no es posible seguir mejorando ms dicha solucin. Partiendo del valor de la funcin objetivo en un vrtice cualquiera, el mtodo consiste en buscar sucesivamente otro vrtice que mejore al anterior. La bsqueda se hace siempre a travs de los lados del polgono(o de las aristas del poliedro, si el nmero de variables es mayor). Cmo el nmero de vrtices (y de aristas) es finito, siempre se podr encontrar la solucin.

El mtodo del simplex se basa en la siguiente propiedad: si la funcin objetivo, f, no toma su valor mximo en el vrtice A, entonces hay una arista que parte de A, a lo largo de la cual f aumenta. Con miras a conocer la metodologa que se aplica en el Mtodo SIMPLEX, vamos a resolver el siguiente problema: Maximizar Z= f(x,y)= 3x + 2y sujeto a: 2x + y 18 2x + 3y 423x + y 24x 0 , y 0 Se consideran las siguientes fases: 1. Convertir las desigualdades en igualdades Se introduce una variable de holgura por cada una de las restricciones, para convertirlas en igualdades, resultando el sistema de ecuaciones lineales: 2x + y + h = 18 2x + 3y + s = 42 3x +y + d = 24 2. Igualar la funcin objetivo a cero - 3x - 2y + Z = 0 3. Escribir la tabla inicial simplex En las columnas aparecern todas las variables del problema y, en las filas, los coeficientes de las igualdades obtenidas, una fila para cada restriccin y la ltima fila con los coeficientes de la funcin objetivo: Tabla I . Iteracin n 1 . Base Variable de decisin Variable de holgura Valores solucin X y h s d h 2 1 1 0 0 18 s 2 3 0 1 0 42 d 3 1 0 0 1 24 Z 3 2 0 0 0 0 4. Encontrar la variable de decisin que entra en la base y la variable de holgura que sale de la base A. Para escoger la variable de decisin que entra en la base, nos fijamos en la ltima fila, la delos coeficientes de la funcin objetivo y escogemos la variable con el coeficiente negativo mayor (en valor absoluto). En nuestro caso, la variable x de coeficiente - 3. Si existiesen dos o ms coeficientes iguales que cumplan la condicin anterior, entonces se e l i g e u n o c u a l q u i e r a d e e l l o s . S i e n l a l t i m a f i l a n o e x i s t i e s e n i n g n c o e f i c i e n t e n e g a t i v o , significa que se ha alcanzado la solucin ptima. Por tanto, lo que va a determinar el final del p r o c e s o d e aplicacin del m todo del sim plex, es que en la ltim a f ila no haya e l e m e n t o s negativos. La columna de la variable que entra en la base se llama columna pivote (En color azulado). B. Para encontrar la variable de holgura que tiene que salir de la base, se divide cada trmino de la ltima columna (valores solucin) por el trmino correspondiente de la columna pivote, siempre que estos ltimos sean mayores que cero. En nuestro caso: 18/2 [=9] , 42/2 [=21] y 24/3 [=8] Si hubiese algn elemento menor o igual que cero no se hace dicho cociente. En el caso de que todos los elementos fuesen menores o iguales a cero, entonces tendramos una solucin no acotada y no se puede seguir. El trmino de la columna pivote que en la divisin anterior d lugar al menor cociente positivo, el 3, ya 8 es el menor, indica la fila de la variable de holgura q u e s a l e d e l a b a s e , d . E s t a f i l a s e l l a m a f i l a p i v o t e ( E n c o l o r a z u l a d o ) . S i a l c a l c u l a r l o s cocientes, dos o ms son iguales, indica que cualquiera de las variables correspondientes pueden

salir de la base. C. En la interseccin de la fila pivote y columna pivote tenemos el elemento pivote operacional, 3. 5. Encontrar los coeficientes de la nueva tabla. Los nuevos coeficientes de x se obtienen dividiendo todos los coeficientes de la fila d por el pivote operacional, 3, que es el que hay que convertir en 1. A continuacin mediante la reduccin gaussiana hacemos ceros los restantes trminos de su columna, con lo que obtenemos los nuevos coeficientes de las otras filas incluyendo los de la funcin objetivo Z. Tambin se puede hacer utilizando el siguiente esquema: Fila del pivote: Nueva fila del pivote= (Vieja fila del pivote) : (Pivote) Resto de las filas: Nueva fila= (Vieja fila) - (Coeficiente de la vieja fila en la columna de la variable entrante) X(Nueva fila del pivote) Vemoslo con un ejemplo una vez calculada la fila del pivote (fila de x en la Tabla II): Vieja fila de s 2 3 0 1 0 42 Coeficiente 2 2 2 2 2 2 X x x x x x Nueva fila pivote 1 1/3 0 0 1/38 = = = = = = Nueva fila de s 0 7/3 0 1 2/3 26 Tabla II. Iteracin n 2 Base Variable de decisin Variable de holgura Valores solucin X y h s d h 0 1/3 1 0 2/3 2 s 0 7/3 0 1 2/3 26 x 1 1/3 0 0 1/3 8 Z 0 1 0 0 1 24 Y Como en los elementos de la ltima fila hay uno negativo, 1, significa que no hemos lle Z 0 0 3 0 1 30 gado todava a la solucin ptima. Hay que repetir el proceso: A. La variable que entra en la base es y, por ser la variable que corresponde al coeficiente 1 B. Para calcular la variable que sale, dividimos los trminos de la ltima columna entre los trminos correspondientes de la nueva columna pivote: 2:1/3 [=6] , 26:7/3 [=78/7] y 8:1/3 [=8] como el menor cociente positivo es 6, tenemos que la variable de holgura que sale es h. C. El elemento pivote, que ahora hay que hacer 1, es 1/3. Operando de forma anloga a la anterior obtenemos la tabla: Tabla III . Iteracin n 3 Base Variable de decisin Variable de holgura Valores solucin X y h s d y 0 1 3 0 2 6 s 0 0 7 0 4 12 x 1 0 1 0 1 6 Como en los elementos de la ltima fila hay uno negativo, 1, significa que no hemos llegado todava a la solucin ptima. Hay que repetir el proceso: A. La variable que entra en la base es d, por ser la variable que corresponde al coeficiente 1 B. Para calcular la variable que sale, dividimos los trminos de la ltima columna entre los trminos correspondientes de la nueva columna pivote: 6/(2) [=3] , 12/4 [=3], y 6:1 [=6] y como el menor cociente positivo es 3, tenemos que la variable de holgura que sale es s. C. El elemento pivote, que ahora hay que hacer 1, es 4.

Obtenemos la tabla: Tabla IV. Final del proceso Base Variable de decisin Variable de holgura Valores solucin X y 0 1 1/2 0 0 12 d 0 0 7/4 0 1 3 x 1 0 3/4 0 0 3 Z 0 0 5/4 0 0 33 Como todos los coeficientes de la fila de la funcin objetivo son positivos, hemos llegado a la solucin ptima. Las solucin ptima viene dada por el valor de Z en la columna de los valores solucin, en nuestro caso: 33. En la misma columna se puede observar el vrtice donde se alcanza, observando las filas correspondientes a las variables de decisin que han entrado en la base: D (3,12). 2.4 El Mtodo de Dos Fases ste mtodo difiere del Simplex en que primero hay que resolver un problema auxiliar que trata de minimizar la suma de las variables artificiales. Una vez resuelto este primer problema y r e o r g a n i z a r l a t a b l a f i n a l , p a s a m o s a l a s e g u n d a f a s e , q u e c o n s i s t e e n r e a l i z a r e l m t o d o Simplex normal. FASE 1 En esta primera fase, se realiza todo de igual manera que en el mtodo S i m p l e x n o r m a l , excepto la construccin de la primera tabla, la condicin de parada y la preparacin de la tabla que pasar a la fase 2. - Construccin de la primera tabla: Se hace de la misma forma que la tabla inicial del mtodo Simplex, pero con algunas diferencias. La fila de la funcin objetivo cambia para la primera f a s e , y a q u e c a m b i a l a f u n c i n o b j e t i v o , p o r l o t a n t o a p a r e c e r n t o d o s l o s t r m i n o s a c e r o excepto aquellos que sean variables artificiales, que tendrn valor - 1 debido a que se est minimizando la suma de dichas variables (recuerde que minimizar F es igual que maximizar F(1)). La otra diferencia para la primera tabla radica en la forma de calcular la fila Z. Ahora tendremos que hacer el clculo de la siguiente forma: Se sumarn los productos CbPj para todas las filas y al resultado se le restar el valor que aparezca (segn la columna que se ste haciendo) en la fila de la funcin objetivo. Tabla C0 C1 C2 Cn-k Cn Base Cb P0 P1 P2 Pn - k Pn Pi1 Ci1 bi1 a11 a12 a1n - k a1n Pi2 Ci2 bi2 a21 a22 a2n - k a2n Pim Cim bim am1 am2 amn -k amn Z Z0 Z1 Z2 Z2 Zn Siendo Zj = (CbPj) - Cj y los Cj = 0 para todo j comprendido entre 0 y n-k (variables de decisin, holgura y exceso), y Cj = 1 para todo j c o m p r e n d i d o e n t r e n - k y n ( v a r i a b l e s artificiales). - Condicin de parada: La condicin de parada es la misma que en el mtodo Simplex normal. La diferencia estriba en que pueden ocurrir dos casos cuando se produce la parada: la funcin toma un valor 0, que significa que el problema original tiene solucin, o que tome un valor distinto, indicando que nuestro modelo no tiene solucin. y h s d

- Eliminar Columna de variables artificiales: Si hemos llegado a la conclusin de lo mejor que les poda haber pasado era que el problema original tiene solucin, debemos preparar nuestra tabla para l a s e g u n d a f a s e . Deberemos eliminar las columnas de las variables artificiales, modificar la fila de la funcin objetivo por la original, y calcular la fila Z de la misma forma que en la primera tabla de la fase1. FASE 1. Formule un nuevo problema reemplazando la funcin objetivo por la suma de las variables artificiales. La nueva funcin objetivo se m i n i m i z a s u j e t a a l a s r e s t r i c c i o n e s d e l problema original. Si el problema tiene un espacio factible el valor mnimo de la funcin objetivo ptimo ser cero, lo cual indica que todas las variables artificiales son cero. En este momento pasamos a la fase 2. FASE 2. Utilice la solucin ptima de la fase 1 como solucin de inicio p a r a e l p r o b l e m a original. En este caso, la funcin objetivo original se expresa en trminos de las variables no bsicas utilizando las eliminaciones usuales GaussJordan. 2.5 El Mtodo Simplex Revisado METODO SIMPLEX REVISADO (FORMA MATRICIAL) El m todo del sim plex expuesto, que se denom ina bsico, se desarrolla a t r a v s d e c a d a iteracin transformando completamente una sucesin de tableros al ir cambiando de base. Teniendo en cuenta que muchos de estos clculos no hacen falta para la determinacin de c a d a n u e v a b a s e y b a s a d o s e n e l a l g o r i t m o d e l s i m p l e s r e v i s a d o , e l c u a l e s r e a l m e n t e u n esquema de ordenacin de los clculos que se llevan a cabo con el mtodo del simplex bsico, prescindiendo y evitando aquellos que sean innecesarios en relacin con la solucin final del problema. El inconveniente de este mtodo es que por la forma en que se lleva a cabo induce ms fcilmente a errores en los clculos a mano que el simplex bsi c o , a s p e c t o q u e evidentemente no ocurre si est implementado en computador. En el mtodo del simplex revisado partimos como en el bsico, del problema lineal en forma estndar: MAX Z = c x Sujeta a: A x = b x 0 Dada la base factible B, hay que evaluar si alguna variable no bsica Xj puede entrar a la base para mejorar la funcin objetivo; para ello utilizamos el costo reducido: Zj Cj =CBB aj Cj El vector CB est formado por los coeficientes de la funcin objetivo d e l a s v a r i a b l e s y B a j representa el vector aj en trminos de la actual base. El mtodo del simplex revisado no cambia los vectores y j en cada tabla como el bsico, sino que utiliza siempre el vector aj inicial con los multiplicadores del simples: S= CBB que si cambian con la base. Es claro que se alcanza una solucin ptima cuando: S aJ-CJ 0 para todo j La seleccin de la variable de salida se hace con el mismo criterio que en el simplex bsico: si Xk es la variable seleccionada para entrar a la base, la columna pivote es B ak y los valores actuales de las variables bsicas B b. Se aplica la regla de la mnima razn a estos elementos, que dando as determinada la variable Xr que sale d e la base. Finalmente, la nueva matriz bsica se obtiene sustituyendo la columna ar por la ak en la anterior matriz B. Ejemplo: MAX Z = 2 X1 + X2 + 3 X3

Con sus restricciones: 1. 3 x1+2 x2+ x3 7 2. X1+3 x2+2 x3 8 X1.x2.x3 0 Resolver el anterior problema de Programacin Lineal aplicando el Mtodo Simplex Revisado. Solucin analtica: Agregamos variables de holgura X4 y X5 a cada restriccin con coeficientes cero (0) en la funcin objetivo para tener el problema en la forma estndar; la base inicial B y el vector CB son:

Z1 C1 = 2; Z2 C2 = 1; Z3 C3 = 3 El valor que ms se aleja de cero (0) por la izquierda es Z3 C3: X3 es la variable que entra ala base; la razn mnima es 8/2, luego S2 es la variable que sale de la base. Las variables bsicas son ahora (S1, X3) con matriz bsica (sustituyendo a5 por a3):

C B = ( 0 3 ) ; S = ( 0 , 3 / 2 ) y l o s i n d i c a d o r e s d e l a s v a r i a b l e s n o b s i c a s s o n : Z1 C1 = 3/2 2 = 1/2; Z2 C2 = 9/2 1 = 7/2; Z3 C3 = 3/2 0 = 3/2 y X1 es la variable q u e entra a la base; para determinar la variable de salida calculamos: B b = ( 3 , 4 ) y B a 1 = (5/2,1/2); la razn mnima es 6/5, luego X4 es la variable que sale de la base. Las variables bsicas son ahora (X1, X3) y la nueva matriz bsica (reemplazando en la anterior a4 por a1) es:

C B = ( 2 3 ) ; S = ( 1 / 5 , 7 / 5 ) y l o s i n d i c a d o r e s d e l a s v a r i a b l e s n o b s i c a s s o n : Z2 C2 = 23/5 1 = 18/5; Z 4 C 4 = 1 / 5 0 = 1 / 5 ; Z 5 C 5 = 7 / 5 0 = 7 / 5 y a l s e r t o d o s positivos se ha alcanzado la optimalidad. La solucin ptima es: XB = ( X1, X3 ) = B b = ( 1.2, 3.4) Solucin ptima nica: X*1= 1,2; X*2= 0; X*3= 3,4; S*1 = 0; S*2 = 0; Z* = 12,6. 2.6 Casos Especiales Mtodo Simplex El Mtodo simplex es un procedimiento iterativo que permite ir mejorando la solucin a cada p a s o . E l p r o c e s o c o n c l u y e c u a n d o n o e s p o s i b l e s e g u i r m e j o r a n d o m s d i c h a s o l u c i n o cuando esta es ptima. Este mtodo, permite analizar cada variable del problema planteado, sus variaciones, para determinar cul es la decisin ms acertada a tomar en cualquiera quesea el rea de la empresa sobre la cual se presente la incertidumbre. Existen casos especiales de solucin de problemas por medio del simplex, tales como: Soluciones Mltiples Solucin Degenerada Solucin Infactible Sin Solucin A continuacin se presenta un anlisis detallado de cada caso especial de solucin con un ejemplo prctico. CASO DE SOLUCIONES MLTIPLES Cuando la funcin objetivo es paralela a una restriccin que se satisface en el sentido de la igualdad a travs de la solucin ptima, la funcin objetivo tomar el mismo valor ptimo en ms de un punto de la solucin. Por esta razn reciben el nombre de Mltiples alternativas ptimas. CASO DE SOLUCIN DEGENERADA La degeneracin ocurre cuando en alguna iteracin del mtodo simplex existe un empate en la seleccin de la variable que sale. Este empate se rompe arbitrariamente. En este caso decimos que la nueva solucin es degenerada. Sin embargo, cuando suceda esto una o ms veces de las variables bsicas, ser necesariamente igual a cero en la siguiente iteracin. En el mtodo simplex, la presencia de una variable bsica igual a cero, no requiere ninguna accin especial; en todo caso, es necesario no descuidar las condiciones de degeneraci n. En trminosg e o m t r i c o s , l a d e g e n e r a c i n o c u r r e c u a n d o u n v r t i c e e s t d e f i n i d o p o r d e m a s i a d a s restricciones. CASO DE SOLUCIN INFACTIBLE En un modelo de Programacin Lineal, cuando las restricciones no se pueden satisfacer en f o r m a s i m u l t n e a , s e d i c e q u e e s t e n o t i e n e s o l u c i n f a c t i b l e . E s t a s i t u a c i n n u n c a p u e d e ocurrir si todas las restricciones son del tipo MENOR O IGUAL ( ), esto, suponiendo valores p o s i t i v o s e n e l s e g u n d o m i e m b r o , y a q u e l a s v a r i a b l e s d e h o l g u r a p r o d u c e n s i e m p r e u n a solucin factible. Sin embargo, cuando empleamos los otros tipos de restricciones, recurrimos al uso de variables artificiales, que por su mismo diseo no ofrecen una solucin factible al modelo original. Aunque se hacen provisiones (a travs del uso de penalizaciones) para

hacer que estas variables artificiales sean cero en el nivel ptimo, esto slo puede ocurrir si el modelo tiene una espacio factible. Si no lo tiene, cuando menos una variable artificial ser positiva en la iteracin ptima. Desde el punto de vista prctico, un espacio infactible, apunta a la posibilidad de que el modelo no se haya formulado correctamente, en virtud de que las restricciones estn en conflicto. Tambin es posible que las restricciones no estn destinadas a cumplirse en forma simultnea. En este caso, quizs se necesite una estructura del modelo totalmente diferente que no admita todas las restricciones al mismo tiempo. CASO DE NO SOLUCIN En algunos modelos de Programacin Lineal, los valores de las variables, se pueden aumentar en forma indefinida sin violar ninguna de las restricciones, lo que significa que el espacio es sin solucin cuando menos en una direccin. Como resultado, el valor de la funcin objetivo puede crecer (Maximizacin) o decrecer (Minimizacin) en forma indefinida. En este caso, decimos que el espacio en el cual se espera sea resuelto el modelo, y el valor ptimo de la funcin objetivo no tiene solucin. La falta de explicacin de un modelo puede sealar solo una cosa, que este se encuentra mal construido. Evidentemente resulta irracional hacer que un modelo produzca una ganancia infinita. Las irregularidades ms probables en este modelo son: 1. No se toman en cuenta una o ms restricciones redundantes. 2. No se determinan adecuadamente los parmetros (constantes) de alguna restriccin.

Unidad 3Teora de la dualidad y Anlisis de sensibilidad

Todo problema de Programacin Lineal tiene asociado un segundo problema, conocido como su problema Dual. Ambos estn relacionados estrechamente, hasta el punto de que el modelo de uno puede obtenerse a partir del modelo del otro y la solucin ptima del modelo del primero proporciona informacin completa acerca de la solucin ptima del segundo. Una de las ventajas de la existencia del problema dual es la posibilidad de reducir el esfuerzo computacional al resolver ciertos modelos de Programacin Lineal. Pero ms importante ane s l a r e l a c i n q u e e x i s t e e n t r e l a d u a l i d a d y e l a n l i s i s d e s e n s i b i l i d a d , t e m a d e l p r x i m o capitulo, el cual estudia el efecto que las variaciones en los parmetros de un modelo tienen en l a s o l u c i n p t i m a d e e s t e . A d e m s , l o s v a l o r e s p t i m o s d e l a s v a r i a b l e s d e l m o d e l o d u a l suministran informacin econmica muy importante acerca del valor implcito de los recursos que se utilizan en el problema que se esta resolviendo. El matemtico norteamericano John Von Neumann fue el primero en destacar la existencia dela dualidad en la programacin lineal y a partir de all el concepto se ha usado en una granvariedad de reas tericas y prcticas de la misma. Para comprender el concepto de dualidadanalicemos los dos casos siguientes. CONCEPTUALIZACION DE LA DUALIDAD - CASO 1 Una compaa produce dos tipos de artculo; la unidad del tipo 1 se vende a $106 y la del tipo 2a $144. Para el presente mes la empresa cuenta con 2000 minuto s de mano de obra en eldepartamento de ensamble, 1800 en el departamento de revisin y con 1000 en el Departamento de empaque.

El nmero de minutos requeridos en cada departamento para la fabricacin de una unidad de cada uno de los artculos se da en la siguiente tabla: Tipo de producto Operacin Ensamble Revisin Empaque Tipo 1 3 2 1 Tipo 2 2 3 2 El pago por minuto es de $10 a los trabajadores del departamento de ensamble, $8 a los de revisin y de $20 a los del departamento de empaque. El administrador de la empresa desea determinar cul es el programa d e p r o d u c c i n q u e maximiza la utilidad total en el mes. Construccin del modelo Definamos a Xi como el nmero de artculos de tipo i que se deben producir mensualmente. Para plantear la funcin del objetivo calculemos primero la utilidad unitaria de cada tipo de artculo, as: Tipo de producto T i p o 1 T i p o 2 Precio de venta 106 144 -Costo de produccion 66 84 Costo de ensamble 3(10)=30 2(10)=20 Costo de revisin 2(8)=16 3(8)=24 Costo de empaque 1(20)=20 2(20) 66 84 Utilidad Unitaria $40 $60de manera que el modelo de programacin lineal para este problema es: Maximizar Utilidad = 40X1 + 60X2 Sujeto a : 3X1 +2X2 < 2000 (Minuto de ensamble) 2x1 +3x2 < 1800 (minuto de revisin) 1x1 +2x2 < 1000 (minutos de empaque) Con x1,x2 0 Si utilizamos el winqsb para resolver el modelo obtenemos el siguiente reporte combinado lo cual indica que el programa ptimo consiste en producir mensualmente 500 unidades del producto tipo 1 y 250 del producto tipo 2, obteniendo una ganancia de $35 000 mensuales. Observamos que hay 50 minutos de holgura en la operacin de revisin (slack = 50), mientras que no hay sobrante en los minutos disponibles para las otras o p e r a c i o n e s , y a q u e l a s variables de holgura de las restricciones correspondientes valen cero; por lo cual concluimos q u e e n e s t e p r o g r a m a d e produccin se consumen todos los minutos de ensamble y en empaque que tiene disponibles la empresa. Precisamente el agotamiento de los m i n u t o s disponibles en esas operaciones es el que impide que las variables X1 y X2 puedan tomar un valor superior, para maximizar an mas el valor de la funcin del objetivo. Efectuando el balance entre los ingresos por ventas y los costos de produccin, podemos verificar que la utilidad obtenida es efectivamente de $35 000: Ingresos por ventas 500(106) + 250(144) = 89.000 - Costos de produccin 2000(10) + 1750(8) +1000(20) =54.000=

Utilidad =35.000 Como se acaba de decir no se pueden fabricar ms artculos ya que se agotaron los recursos, pero aparece entonces la inquietud de que si fuera posible disponer de minutos adicionales en alguno de los departamentos del proceso, se pudieran fabricar ms artculos aumentando as las utilidades del periodo. Con el fin de conocer cmo vara la utilidad (y la solucin) al aumentar la disponibilidad de cadar e c u r s o , v a m o s a e f e c t u a r c l c u l o s p a r a t r e s s i t u a c i o n e s d i f e r e n t e s . P r i m e r a , c u a n d o consideramos que se aumenta en un minuto la capacidad de ensamble mientras los minutos de revisin y de empaque permanecen constantes, segunda cuando aumentamos en un minuto la capacidad de empaque, pero mantenemos invariable la capacidad de revisin y de ensamble y finalmente cuando aumentamos en uno los minutos de revisin, dejando invariable la cantidad de minutos de ensamble y de empaque. Aumento en la capacidad de ensamble Al aumentar en un minuto la capacidad de ensamble, el modelo queda: Maximizar Utilidad = 40X1 + 60X2 Sujeto a : 3X1 +2X2 < 2001 2x1 +3x2 < 1800 1x1 +2x2 < 1000 El reporte combinado del winqsb es La cual corresponde a una utilidad de $35 005 pesos, que es superior e n $ 5 a l a o b t e n i d a anteriormente. El aumento que tiene la funcin objetivo (ac se llama utilidad) cuando se incrementa en una unidad un determinado recurso, es lo que se conoce en economa como la utilidad marginal del recurso. Entonces la utilidad marginal de los minutos adicionales de ensamble es de 5 ($/minuto). Notamos que se aument la produccin de los artculos tipo 1 en media unidad ( X1 = 550.50),mientras que se disminuy la de los artculos tipo 2 en un cuarto de unidad. (X2 = 249.75).A d e m s , e l s o b r a n t e d e m i n u t o s e n r e v i s i n e s a h o r a d e 4 9 . 7 5 o s e a q u e s e r e b a j e n u n cuarto de minuto. De nuevo se estn utilizando totalmente los minutos disponibles en ensamble y en empaque. Estos nuevos valores de las variables bsicas los aprenderemos a calcular en forma rpida al estudiar ms adelante el tema de anlisis de sensibilidad. Calculemos ahora las utilidades marginales de los minutos de terminado y de revisin. Aumento en la capacidad de terminado Si los minutos disponibles en terminado se aumentan en uno, el modelo es Maximizar Utilidad = 40X1 + 60X2 Sujeto a : 3X1 +2X2 < 2000 2x1 +3x2 < 1800 1x1 +2x2 < 1001

Cuyo reporte combinado del winqsb es Ahora la utilidad es de $30025, que resulta ser superior en $25 a la obtenida con la cantidad i n i c i a l d e r e c u r s o s . A s p u e s l a u t i l i d a d m a r g i n a l d e l o s m i n u t o s d e e m p a q u e e s d e 2 5 ($/minuto). Observamos que se disminuy en meda unidad el nmero de artculos de tipo 1( X1 = 299.50) mientras que se aument en tres cuartos el nmero de unidades de tipo 2 ( X2 =250.75) y el sobrante en la operacin de revisin se rebaj en 1.25 minutos. De nuevo se estn c o n s u m i e n d o todos los minutos disponibles en ensamble y en empaque. Aumento en l a capacidad de revisin. Si los minutos disponibles en revisin se aumentan en uno, el modelo es

Maximizar Utilidad = 40X1 + 60X2 3x1 +2 x2 < 2000 2x1 +3x2 < 1801 1x1 +2x2 < 1000 Cuyo reporte combinado del winqsb es Observamos que la utilidad conserva el valor de $35 000, as pues la utilidad marginal de los minutos de revisin es de $0 ($/minuto). Notamos tambin que las cantidades producidas de l o s a r t c u l o s c o n s e r v a n s u v a l o r ( X 1 = 5 0 0 , X 2 = 2 5 0 ) , u t i l i z a n d o l a t o t a l i d a d d e m i n u t o s disponibles en ensamble y en empaque, pero ahora el sobrante de minutos en la operacin de revisin aument de 50 a 51. Los resultados obtenidos en este ltimo cambio son de esperarse, puesto que en la solucin p t i m a d e l m o d e l o i n i c i a l t e n e m o s q u e h a y u n s o b r a n t e d e 5 0 m i n u t o s d e r e v i s i n , y s i aumentamos en uno la disponibilidad, es lgico que lo nico que ocurra es que el sobrante de ese recurso se aumente en uno, sin producir cambios en el programa ptimo de produccin y p o r c o n s i g u i e n t e t a m p o c o e n l a u t i l i d a d . P o r e l l o l a u t i l i d a d m a r g i n a l e s c e r o . T a l c o m o l o hicimos con el modelo inicial, verifiquemos mediante un balance de ingresos y costos que las utilidades totales y marginales estn correctamente calculadas en cada caso. Cuando hay aumento de un minuto en ensamble Ingreso por ventas (500.5)(106) + (249.75)(144) = 89 017 - costo de produccin (2001)(10) + (1750.25)(8) + (1000)(20) = 54 012 =utilidad 35 005 -utilidad anterior 35 000 =utilidad marginal $5 *Cuando hay aumento de un minuto en terminado Ingreso por ventas (499.5)(106) + (250.75)(144) = 89 055 - costo de produccin (2000)(10) + (1751.25)(8) + (1001)(20) = 54 030 =utilidad 35 025 -utilidad anterior 35 000 =utilidad marginal $25* Cuando hay aumento de un minuto en revisin Ingreso por ventas (500)(106) + (250)(144) = 89 000 - costo de produccion (2000)(10) + (1750)(8) + (1000)(20) = 54 000 =utilidad 35 000 -utilidad anterior 35 000 =utilidad marginal $0* En el clculo de los costos se destacan en negrilla (2001)(10), para los minutos de ensamble,(1001)(20), para los minutos de terminado, y (1750)(8), para minutos de revisin; para llamar la a t e n c i n s o b r e e l h e c h o d e q u e s e e s t n - v a l o r a n d o t o d o s l a s 2 0 0 1 m i n u t o s u t i l i z a d o s e n ensamble a $10, lo cual supone que el minuto adicional vali los mismos $10 que costaban l o s 2 0 0 0 u t i l i z a d o s inicialmente. Similarmente sucede con los 1001 minutos de empaque, valorados a $20, con lo cual se toma que el minuto adicional tambin se paga a $20, y con los1750 minutos de revisin valorados a $8. Pero veamos qu pasa por, ejemplo, si el precio que hay que pagar por un minuto extra en ensamble es de $12 ($$2 de recargo sobre el precio normal de $10). El costo de produccin se incrementara en $2, con lo cual la utilidad marginal neta de ese minuto extra de ensamble sera apenas de $3. Algo similar sucede cuando debemos pagar dinero extra por el minuto adicional en empaque. Si por ejemplo pagamos $28 (un 40% de recargo sobre $20) por un minuto extra, los costos se aumentan en $8 y la utilidad marginal neta se rebaja a $17 hora. Naturalmente que si podemos adquirir los minutos extras de ensamble al mismo precio de los inicial es, obtendremos una utilidad marginal adicional de $5, pero si debemos pagar algn recargo por ellos, la utilidad adicional se ver reducida en la misma cantidad. Podemos concluir fcilmente que el mximo recargo que estaremos dispuestos a pagar por un minuto adicional en ensamble es el equivalente a la utilidad

marginal de ese minuto extra, o sea los $5. Ntese q u e s i e l p r e c i o d e l m i n u t o e x t r a f u e r a p o r e j e m p l o $ 1 6 , e s t a r e m o s p e r d i e n d o $ 1 p o r c a d a minuto adicional adquirido. Para el tercer recurso, minutos del departamento de empaque, podemos efectuar una discusin similar, as: Si conseguimos los minutos extras al precio original, la utilidad marginal es de $25,pero si pagamos un recargo disminuye la utilidad, por lo cual deducimos que el mximo recargo que podemos pagar es igual a los $25 de la utilidad marginal de ese recurso. O sea que el mximo precio que estaremos dispuestos a pagar (obteniendo utilidad marginal neta de $0) es$45. Al pagar menos de $45 tendremos utilidad marginal y al pagar ms obtendremos una perdida marginal. Para el departamento de revisin, en el cual tenemos una capacidad no utilizada de 50minutos, es obvio que no desearamos ampliar la c a p a c i d a d y p o r e l c o n t r a r i o e s t a r a m o s interesados en vender este recurso sobrante. Su mnimo precio de venta sera $8, es decir no b u s c a r a m o s u t i l i d a d en la venta de estas unidades, pues basta con recibir el precio que pagamos por ellas para recuperar su costo Podemos concluir que el clculo de la utilidad marginal de los recursos es de gran importancia para decidir la negociacin de cada uno de los utilizados donde unidadesadicionales de esos recursos cuando ellos estn agotados (util i z a d o s e l m x i m o ) e n u n programa ptimo de produccin. Pero debemos saber que la utilidad marginal de un recurso agotado no se mantiene constante al incrementar la disponibilidad de este, sino que disminuye a partir de cierto valor, relacionado con el nivel de disponibilidad que conduzca a que el recurso ya empiece a sobrar por ser otro recurso diferente el que se est utilizado al mximo. Precisamente, el recurso sobrante de minutos de revisin puede disminuirse hasta un valor tal que ya empiece a escasear (Para nuestro problema este valor es de 1750 que es el uso real) y a partir de ese valor el recurso deber tener utilidad marginal positiva, pues estara agotado y ya seria alguno de los otros recursos el que tendra sobrante. El fenmeno mencionado se conoce en Economa como el concepto de los rendimientos decrecientes, tema que estudiaremos en detalle en el captulo dedicado al anlisis de la sensibilidad, tambin llamado anlisis de las soluciones post ptimas. OTRO ENFOQUE DEL MISMO PROBLEMA Reflexionemos un poco sobre la situacin hipottica de vender los minutos disponibles en los tres departamentos, en lugar de utilizarlos para producir unidades de los productos. Nuestra inters se centrar en la determinacin del precio al cual debemos vender un minuto de cada operacin para obtener la misma ganancia que obtenemos en el proceso productivo, o ms exactamente estaremos interesados en hallar la utilidad unitaria que debo fijar a cada recurso, para ganarme igual dinero que utilizndolos en el proceso de produccin. Naturalmente que debemos aspirar a unas utilidades razonables para que el precio del recurso sea competitivo en el mercado, o sea que debemos determinar el mnimo valor de la utilidad al vender o arrendar los recursos disponibles. Construyamos un modelo de Programacin lineal para este problema. Sean Yi = utilidad unitaria que debo fijar en el precio de venta del recurso i Como estamos dispuestos a vender toda la cantidad disponible de los recursos (minutos de ensamble, de revisin y de empaque), el objetivo ser minimizar la siguiente funcin Utilidad = 2000Y1 + 1800Y2 + 1000Y3 En el proceso productivo se utilizan 3 minutos de ensamble, 2 de revisin y uno de empaque, para fabricar una unidad del producto tipo 1,que da utilidad de $40, por lo cual es lgico pensar q u e l a v e n t a c o m b i n a d a d e e s a s c a n t i d a d e s d e l o s

r e c u r s o s d e b e a r r o j a r a l m e n o s i g u a l utilidad. La consideracin anterior da lugar a la siguiente restriccin en el modelo: 3Y1 + 2Y2 + 1Y3 = 40 ($) Utilidad unitaria del artculo tipo uno. Haciendo una reflexin similar para las unidades de tipo 2, notemos que la venta de 2 minutos de ensamble, mas 3 de revisin, mas 2 de empaque deben aportar una utilidad mnima de $60,que es la que se obtiene actualmente fabricando con esos recursos una unidad del artculo 2. La restriccin derivada de este anlisis es: 2Y1 + 3Y2 + 2Y3 = 60 ($) Utilidad unitaria del artculo tipo dos. Si a todo lo anterior le agregamos el detalle de que los valores de las variables Y1, Y2, Y3d e b e n s e r m a y o r e s o i g u a l e s q u e c e r o ( l a m n i m a u t i l i d a d n e t a p u e d e s e r c e r o ) , p o d e m o s plantear el siguiente modelo de programacin lineal, para el problema en estudio: Minimizar Utilidad = 2000Y1 + 1800Y2 + 1000Y3 Sujeto a : 3Y1 + 2Y2 + 1Y3 2000 $/unidad del P1 2y1 3y2 + 2 y3 1800 $/unidad de P2 Con y1,y2,y3 0 Al resolver este modelo utilizando el winqsb, obtenemos el siguiente reporte combinado: Hemos obtenido que la utilidad mnima que debe obtenerse al vender un minuto de ensamble es de $5, al vender un minuto de revisin debe ser de $0, y al vender un minuto de empaque debe ser de $25, para as obtener una utilidad de $35 000. El valor de la utilidad mnima no debe asombrarnos, ya que el planteamiento del problema lo sugera, pero s son novedad los valores ptimos de las variables de este nuevo modelo, puesto que coinciden con los valoresde las utilidades marginales de los recursos del problema de mezcla de produccin, analizadoen primera instancia. El administrador de la empresa sabe ahora que si otro empresario d e s e a c o m p r a r l e s u s recursos, lo mnimo que debe cobrarle es $15 por cada minuto de ensamble (= 10 + 5; suma delo que debe pagar a sus operarios y lo que debe obtener de utilidad), $45 por cada minuto de empaque (= 20 + 25). En cambio, por cada minuto de revisin solo debe cobrar los mismos $8(= 8 + 0; suma de lo que debe pagar a sus operarios y lo que debe obtener de utilidad). Pero recordemos que estos precios solo son vlidos para cierto intervalo, que conoceremos en el prximo captulo, por fuera del cual cambia la mezcla ptima de productos y tambin el valor del as utilidades marginales. (Una vez obtenidos estos nuevos valores, tanto de las variables bsicas, como de las utilidades marginales, se puede hacer un balance de ingresos y costos similar al que hicimos para el problema presentado como ejemplo. Para la situacin actual, si los precios en el mercado son inferiores a $15, a $45, o a $8, no es conveniente vender los recursos, pero tericamente cuando son superiores, resultara ms rentable venderlos a otro que utilizarlos en el proceso productivo. EL MODELO DUAL Consideremos conjuntamente los modelos correspondientes a los dos enfoques del problema que estamos analizando. El primero busca determinar cuntas unidades producir de cada tipo de artculo para maximizar la ganancia al utilizar unos recursos: Maximizar Utilidad = 40X1 + 60X2 Sujeto a : 3X1 +2X2 < 2000 2x1 +3x2 < 1x1 +2x2 < Con x1,x2

1800 1000 0

El segundo pretende hallar la ganancia mnima que debo fijar por unidad de cada recurso, para obtener la mnima ganancia total que sea aceptable en lugar de p r o d u c i r a r t c u l o s c o n l o s recursos. Minimizar Utilidad = 2000Y1 + 1800Y2 + 1000Y3 Sujeto a : 3Y1 + 2Y2 + 1Y3 40 $/unidad del P1 2y1 3y2 + 2 y3 60 $/unidad de P2 Con y1,y2,y3 0 Hemos observado que ambos problemas tienen soluciones ptimas que producen igual valor de la funcin objetivo. Adems mientras que uno enfoca el problema desde el punto de vista delos artculos (variables de decisin Xi), el otro lo analiza desde el punto de vista de los recursos(variables de decisin Y). Adems la solucin ptima del segundo coincide con las utilidades marginales de los recursos calculadas en el punto ptimo del primero. El primer enfoque da lugar al llamado modelo primo, mientras el segundo origina el modelo c o n o c i d o c o m o m o d e l o d u a l . E n t r e e s t o s m o d e l o s e x i s t e n m l t i p l e s r e l a c i o n e s q u e n o s permiten, por ejemplo, plantear uno de ellos a partir del otro u obtener la solucin ptima de u n o c o n o c i e n d o l a s o l u c i n optima del otro. Pero como se mencion antes, quizs lo ms importante es el significado econmico de las variables del problema d u a l , c u y o s v a l o r e s ptimos representan las utilidades marginales de los recursos del problema primal. Relaciones entre las modelos PRIMO y DUAL Observando la estructura de ambos modelos podemos citar las siguientes relaciones entre ellos. 1. Los coeficientes objetivo de uno son los coeficientes recurso del otro. 2. Los coeficientes recurso de uno son los coeficientes objetivo del otro. 3. La matriz de coeficientes tecnolgicos de uno es la transpuesta de la matriz de coeficientes tecnolgicos del otro. 4. Am bos problemas estn en formato cannico, como lo com prueban m s e n d e t a l l e l a s siguientes caractersticas 4.1 El objetivo del primo es maximizar en cambio el objetivo del dual es minimizar. 4.2 Las restricciones del Primo son del tipo = , mientras que las del dual son del tipo =. 4.3 Las variables de ambos problemas estn restringidas a ser mayores o iguales que cero CONCEPTUALIZACION DE LA DUALIDAD - CASO 2 Cierta dietista necesita preparar una comida que contenga determinados nutrientes, al menos en las cantidades que se indican en la siguiente tabla. Dispone de tres ingredientes cuyos costos y contenidos de cada nutriente (unidades por gramo de ingrediente) se dan en la misma tabla.

3.1Formulacin Problema Dual

Hemos visto como la programacin lineal puede ser usada para resolver una extensa variedad de problemas propios de los negocios, ya sea para maximizar utilidades o minimizar costos. Las variables de decisin en tales problemas fueron, por ejemplo, el nmero de productos a producir, la cantidad de pesos a emplear, etc. En cada caso la solucin ptima no explic cmo podran ser asignados los recursos (ejemplo: materia prima, capacidad de las mquinas, el d i n e r o , e t c . ) p a r a o b t e n e r u n o b j e t i v o e s t a b l e c i d o . E n e s t e c a p t u l o v e r e m o s q u e a c a d a problema de programacin lineal se le asocia otro problema de programacin lineal, llamado el p r o b l e m a de programacin dual. La solucin ptima del problema de p r o g r a m a c i n d u a l , proporciona la siguiente informacin respecto del problema de programacin original: 1. La solucin ptima del problema dual proporciona los precios

en el mercado o los beneficios de los recursos escasos asignados en el problema original. 2. La solucin ptima del problema dual a p o r t a l a s o l u c i n p t i m a d e l p r o b l e m a o r i g i n a l y v i c e v e r s a . N o r m a l m e n t e l l a m a m o s a l problema de programacin lineal original el problema de programacin primal.

3.2Relacin Primal Dual

Relacin de la solucin ptima del problema dual con la solucin ptima del problema primo. La relacin principal entre ellos es que tanto el problema primal como el dual buscan el valor ptimo del sistema.

DUALIDAD
El dual es un problema de PL que se obtiene matemticamente de un modelo primal de PL dado. Los problemas dual y primal estn relacionados a tal grado, que la solucin simplex ptima de cualquiera de los dos problemas conduce en forma automtica a la solucin ptima del otro. El mtodo simplex adems de resolver un problema de PL llegando a una solucin p t i m a n o s o f r e c e m s y m e j o r e s e l e m e n t o s p a r a l a t o m a d e d e c i s i o n e s . L a d u a l i d a d y e l anlisis de sensibilidad son potencialidades de ste mtodo. En la mayora del procedimiento de PL, el dual se define para varias formas del primal, dependiendo de los tipos de restricciones, de los signos de las variables y del sentido de la optimizacin. La experiencia nos indica que en ocasiones, los principiantes se confunden con l o s d e t a l l e s d e e s a s d e f i n i c i o n e s . M s i m p o r t a n t e a n e s q u e e l u s o d e e s a s d e f i n i c i o n e s mltiples puede conducir a interpretaciones inconsistentes de los datos en la tabla simplex, sobre todo en lo que respecta a los signos de las variables. El concepto de dualidad indica que para cada problema de PL hay una asociacin y una relacin muy importante con otro problema de programacin lineal, llamado precisamente dual. La relacin entre el problema dual y su asociado, es decir el problema original llamado primal, presenta varias utilidades: Aporta elementos que aumentan sustancialmente la compresin de la PL. El anlisis de dualidad es una herramienta til en l a solucin de problemas de PL, por ejemplo: ms restricciones que variables. El problema dual tiene interpretaciones e informaciones importantes que muestran que los anlisis marginales estn siempre involucrados implcitamente al buscar la solucin ptima a un problema de PL.

La forma estndar general del primal se defina como; para maximizar o minimizar

Sujeto a

Cmo convertir un problema primal a dual? Un problema dual se formula de un problema primal de la siguiente forma: 1.Si el primal es un problema de maximizacin su dual ser un problema de minimizacin y viceversa. 2.Los coeficientes de la funcin objetivo del problema primal s e c o n v i e r t e n e n l o s coeficientes del vector de la disponibilidad en el problema dual. 3.Los coeficientes del vector de disponibilidad del problema original se convierten en los coeficientes de la funcin objetivo (vector de costo o precio) en el problema dual. 4.Los coeficientes de las restricciones en e l p r o b l e m a p r i m a l , s e r l a m a t r i z d e l o s coeficientes tecnolgicos en el dual. 5.Los signos de desigualdad del problema dual son contrarios a los del primal. 6.Cada restriccin en un problema corresponde a una variable en el otro problema. Si el primal tiene m restricciones y n variables, el dual tendr n restricciones y m variables. As, las variables Xn del primal se convierte en nuevas variables Ym en el dual.

3.3Interpretacion Econmica del Dual

Precio Sombra.- Se define como la proporcin con que mejora el valor de la funcin objetivo a partir de la i - sima restriccin, dependiendo si se trata de maximizacin tiende a aumentar y a disminuir cuando es de minimizacin. La interpretacin econmica de la dualidad se basa directamente en la interpretacin ms frecuente del problema primal ( 16 ). Interpretacin del problema dual. Para ver cmo la interpretacin d e l p r o b l e m a p r i m a l c o n d u c e a u n a interpretacin econmica del problema dual. Note se el valor de Z como: Z = W 1b1 + W 2b2 +W3b3 + + Wmbm donde cada bi Wi puede interpretarse como la contribucin a la ganancia por disponer de bi unidades del recurso i. Wi se interpreta como la contribucin a la ganancia por unidad del recurso i ( i = 1 , 2, . . . ,m), cuando se usa el conjunto actual de variables bsicas para obtener la solucin primal. Si le preguntram os a un contador - uno que no tenga ni la menor idea de PLque a partir de la solucin al problema del enunciado I nos respondiera cual es el costo unitario de producir (y vender) el bien 1 y el 2 muy probablemente nos mirara primero con cierta desconfianza pero si no hay precio de los insumos!!! - para luego, mas cautamente contestarnos que el costo 1, dado que se requiere una unidad del insumo A y una de B el costo unitario (cua) se calculara como Pa + Pb mientras que el costo unitario (cub) del bien 2 se calculara como 2Pa+ Pb, toda vez que se requieren dos unidades de A y una de B por unidad de 2. Eso si se c o n o c i e r a n l o s p r e c i o s d e l o s i n s u m o s A y B cosa que se desconoce. Con la misma desconfianza nos respondera a que el costo total de producir ambos bienes seria igual a: APa + BPb ( es decir 150Pa + 100Pb). Si finalmente le preguntamos si puede obtener esos precios de los insumo si se asume que producir y vender 1 y 2 son actividades competitivas en las cuales o bien no hay beneficio alguno o bien si hubiere perdidas no se

producira el bien, la respuesta que dara seria : los precios que resuelven el siguiente conjunto de ecuaciones y V el costo total resultante 1 = Pa + Pb 1,6 = 2Pa + Pb V = 150Pa + 100Pb Hecho esto , nuestro contador nos dira que lo que acaba de hacer no e s o t r a c o s a q u e imputar precios a los factores productivos , lo que determina que el costo total V sea igual al ingreso total Z. Resolviendo el sistema anterior obtendra Pa = 0,6 , Pb = 0,4 y V = 130 Si ahora formulamos el problema dual del enunciado I de referencia obtendremos : min V = 150Pa + 100Pb sujeto a 1 <= Pa + Pb 1,6<= 2Pa + Pb y Pa,Pb>=0 Reconocemos inmediatamente que este problema es el problema de minimizacin No 1 cuya r e s p u e s t a e n c o n t r a m o s a r r i b a y e s P a = 0 , 6 , P b = 0 , 4 y V = 1 3 0 . Teniendo en cuenta los comentarios de nuestro contador arriba, l a i n t e r p r e t a c i n a n u e s t r o p r o b l e m a d u a l e s l a siguiente: Lo que se busca es minimizar el valor imputado a los insumo sujeto a que el costo (unitario) de produccin de cada bien sea igual o mayor al precio unitario del mismo. Y aqu nos apresuramos a sacar a relucir el Teorema de Dualidad II para sealar que si el costo excediera al ingreso de cualquiera de los bienes este no sera producido. Si le hubiramos preguntado a un economista, en cambio, acerca del costo de producir los bienes 1 y 2, este nos hubiera contestado algo como sigue: " El costo de oportunidad de una unidad del factor A - o su precio sombra - en la empresa de referencia se obtiene averiguando cual es el mejor uso para una unidad adicional de dicho insumo; en este caso , si dejramos de p r o d u c i r u n a u n i d a d d e l b i e n 1 , s e l i b e r a r a n 1 u n i d a d d e l f a c t o r A y o t r a d e B c o n l o q u e sumados a la unidad de A adicionada se podra producir una unidad del bien 2. O sea que en trminos de valor se pierde $1 por un lado pero se adiciona $ 1,6 por el o t r o , e s d e c i r s e adicionan $ 0,6 neto como resultado de adicionar una unidad de A - y ajustar ptimamente la produccin-. Este sera el costo o beneficio de oportunidad del insumo A. En trminos anlogos se razonara para establecer el costo de oportunidad - precio sombra -de una unidad del factor B. Si se deja de producir una unidad del bien dos - y en consecuencia se liberan 2 unidades de A y una de B - al adicionar una unidad de B es posible producir 2 unidades del bien 1. En trminos de valor se pierden $ 1,6 -por la prdida de la unidad del bien 2 -pero se ganan $ 2 -p o r la produccin de dos unidades del bien 1- o sea se obtiene un n e t o d e $ 0 , 4 p o r l a incorporacin de una unidad adicional de B .El costo de oportunidad de B seria pues $ 0,4." Comparando los precios sombra de los insumos obtenidos por el economista y los precios i m p u t a d o s p o r e l c o n t a d o r v e m o s q u e e s t a m o s d e s c r i b i e n d o e l m i s m o f e n m e n o p e r o d e ngulos diferentes. Notemos en este problema que si alguno de los factores no constituyera r e s t r i c c i n a l a p r o d u c c i n - p o r ejemplo si B fuera igual a 400- la adicin - o para el caso sustraccin de una unidad de dicho insumo- no modificara en absoluto el nivel o p t i m o d e produccin- por lo que no adicionara o sustraera valor a la actividad desde el punto de vista del economista o sea que el valor de este insumo pasara a ser 0. Bajo estas circunstancias -exceso o superabundancia de B si se prefiere-, el mximo ingreso se obtiene produciendo s o l a m e n t e e l b i e n 2 - c o n l o q u e s e o b t i e n e n $ 1 5 0 - . D e s d e l a p e r s p e c t i v a d e l a P L s i l a restriccin 2da - la que

corresponde a B - se cumple con desigualdad, de acuerdo al Teorema IIde Dualidad , la segunda variable del dual ser igual a 0 , esto es el precio de B - tal como lo habra previsto el razonamiento econmico. En cuanto a nuestro c o n t a d o r , a l s o l a m e n t e producirse el bien 1, ante igual interrogante que el efectuado arriba, este concluira tambin que Pb resultara igual a 0 por cuanto el costo sin beneficios de la actividad 1, la no obtencin de beneficios en las actividades restantes y la imputacin de todo el costo al ingreso generado implicara: Pa + pb = 1 , 2Pa + Pb >= 1,6 y 150Pa +400Pb = 150 El nico conjunto de precios -no negativos- de los insumos que imputa correctamente- es decir c u m p l e c o n l a s t r e s c o n d i c i o n e s a n t e r i o r e s e s P a = 1 y P b = 0 , e l m i s m o r e s u l t a d o d e l economista y del programador lineal.

3.4 Condiciones Khun Tucker

Para identificar puntos estacionarios de un problema restringido no lineal sujeto a restricciones de desigualdad. Estas condiciones tambin son suficientes bajo ciertas reglas. Una condicin necesaria para lao p t i m i z a c i n e s q u e s e a n o n e g a t i v a ( n o p o s i t i v a ) p a r a p r o b l e m a s d e m a x i m i z a c i n (minimizacin). Esto se justifica como sigue. Considere el caso de maximizacin. Como m i d e l a t a z a d e variacin de F con respecto a g.

3.5 Dual Simplex

En el algoritmo dual smplex, el problema empieza ptimo y no factible. L a s i t e r a c i o n e s sucesivas estn diseadas para avanzar hacia la factibilidad, sin violar la optimalidad. En iteracin, cuando se restaura la factibilidad, el algoritmo termina. El mtodo dual simplex contrasta con el mtodo regular (primal simplex), en el sentido de quelas iteraciones empiezan factibles y no optimas y no continan siendo factibles hasta que se logra la factibilidad. En el mtodo dual simplex, el cuadro simplex inicial debe tener un rengln objetivo optimo por l o m e n o s c o n u n a v a r i a b l e b s i c a n o f a c t i b l e ( < 0 ) . P a r a m a n t e n e r l a o p t i m a l i d a d y , simultneamente, avanzar hacia la factibilidad en cada nueva iteracin, se emplearan las dos condiciones siguientes: Condicin Dual de Factibilidad: La variable de salida, x, es la variable bsica que tiene el valor ms negativo, con empates que se rompen arbitrariamente. Si todas las variables bsicas son no negativas, el algoritmo termina. Condicin Dual de Optimalidad : La variable de entrada est determinada entre las variables no bsicas como la correspondiente a min {zj - cj , rj < 0} no bsicas rj Donde rj es el coeficiente de restriccin de la tabla simplex asociada con el rengln de la variable de salida x, y la columna de la variable de entrada Xj. Los empates se rompen arbitrariamente. Ejemplo: Minimice z = 31 + 22 Sujeta a 31 + x2 3 41 + 32 6 x1 + x2 3 x1, x2 0 La tabla simplex inicial para el problema se da como Solucin bsica factible X1 X2 X3 X4 X5 Solucin z 3 2 0 0 0 0 X3 3 1 1 0 0 3 X4 4 3 0 1 0 6 X5 1 1 0 0 1 3 Las variables X3 y X4 son supervit, mientras que X5, es una holgura.

3.6 Cambios en Vector Costos Cj

Fundamentalmente cuando se trabaja en Programacin Lineal es import a n t e r e a l i z a r u n anlisis de postoptimalidad para observar por medio de simulacin si los cambios que le vamos a introducir al modelo original, en qu aspectos nos benefician o nos afectan en las variables y/o parmetros. Es importante tener en cuenta que los cambios que se realizan en el modelo original deben ser factibles y deben responder a situaciones reales que la empresa puede llegar a vivir en un momento determinado. Los cambios en los vectores b, c y en la matriz A p u e d e n suceder en forma discreta o continua; el cambio discreto indica que una o variasc o m p o n e n t e s o r i g i n a l e s d e l o s v e c t o r e s o d e l a m a t r i z s o n r e e m p l a z a d o s p o r n u e v a s cantidades; el cambio continuo en los vectores aj, b y c se da cuando se presentan cambios as:

donde b, c y aj son vectores respectivamente con las mismas dimensiones que los vectores b, c, aj; .,y son escalares que pueden t o m a r c u a l q u i e r v a l o r r e a l . E l a n l i s i s d e sensibilidad que estudia los cambios continuos se denomina Programacin Paramtrica. Para observar las variaciones que ocurren o no, vamos a ilustrar las diversas situaciones con el siguiente ejemplo: MAX Z = 50 X1+ 120 X2 Sujeta a:

Cambio en un Cj cuando Xj es no bsica: Va a cambiar un nmero en la fila de Zj - Cj, desde Z*j - Cj hasta Z*j hasta C'j; la nueva s o l u c i n s i g u e siendo factible y a q u e n o s e h a n c a m b i a d o l a s r e s t r i c c i o n e s , n i l o s recursos. Cuando hay un cambio en un Cj del primal, solamente cambia el lado derecho de la j-sima restriccin del dual; puede ocurrir que la solucin ya no sea factible (una de las variables bsicas ser menor que cero).La funcin objetivo va a asegurar una solucin ptima, porque los recursos del primal no se han cambiado. Ejemplo: Se cambia la funcin objetivo de: MAX Z = 50 X1+ 120 X2a: MAX Z = 80 X1+ 120 X2

El cambio en la funcin objetivo en la variable X1 es 50 por 80. Este cambio tiene un efecto sobre el valor de Z*j - Cj en el ptimo actual Primal: X*1 = 0; X*2 = 20; S*1 = 0; S*2 = 40; Z*= 2400 Dual: Y*1 = 30; Y*2 = 0; S*1= 10; S*2 = 0; W* = 2400, valores que se pueden convertir en: Si el valor actualizado de Z*j - Cj > 0 , la solucin ptima permanece igual a la del problema inicial y en el problema dual solo cambia el valor de la variable de holgura S*1. Si el nuevo valor d e Z * j - C j = 0 , l a s o l u c i n ptima permanece igual a la del problema inicial cuando se presentan soluciones mltiples y en el problema dual solo cambia el valor de la variable de holgura S*1 cuyo valor ser cero (0). Si el valor actualizado de Z*j - Cj < 0 la solucin deja de ser ptima por lo cual se requiere la utilizacin del simplex, tomando X1 como la variable que se convertir en variable bsica.

La solucin ptima actual es: Primal: X*1 = 16; X*2 = 12; S*1 = 0; S*2 = 0; Z*= 2720 Dual: Y*1 = 28; Y*2 = 8; S*1= 0; S*2 = 0; W* = 2720 Para que se mantenga la solucin actual ptima y factible basta con plantear y resolver la ecuacin que re calcula el valor de Z1 -C1, sabiendo que en el tablero ptimo el valor de C1 d e b e c u m p l i r c o n l a c o n d i c i n q u e Z 1 C1 0, por lo cual - C1 60. Cambio en un Cj cuando Xj es bsica: Si Xj es bsica Z*j - Cj = 0 y Z*j - C'j 0, con lo cual se debe modificar la fila de Z -C en el ltimo tablero y en algunos casos se debe variar toda la tabla, si la solucin del primal dej de ser la ptima. En algunos casos cuando Z*j - C'j > 0, la solucin es an ptima. La nueva solucin en el ptimo debe ser ptima o mejorar, pero en algunos casos puede no ser factible. Ejemplo: Cambiando la funcin objetivo de: MAX Z = 50 X1+ 120 X2a: MAX Z = 50 X1+40 X2 El nuevo valor de Z*j - Cj corresponde a una variable bsica, cuyo valor ser cero (0). La solucin Optima es: Primal: X*1 = 16; X*2 = 12; S*1 = 0; S*2 = 0; Z*= 1280 Dual: Y*1 = 7; Y*2 = 12; S*1= 0; S*2 = 0; W* = 2720 Para que permanezca la solucin ac tual ptima y factible basta con p l a n t e a r y r e s o l v e r l a ecuacin que re calcula el valor de Z*j - Cj de cada una de las variables no bsicas, sabiendo que en el tablero ptimo el valor de C1 debe cumplir con la condicin que Z*j - Cj 0, por lo c u a l 4 C 2 + . .

3.7 Cambio en Bi de las Restricciones

Cambio en un bi (recurso): Los nicos cambios posibles son en los lados derechos de las restricciones, porque estos lados dan los valores de las variables de la base y stas se pueden volver negativas; cuando no hay cambios en los Z*j - Cj, la solucin encontrada sigue siendo ptima. En el caso en que un bi se vuelva negativo se debe emplear el dual simplex para solucionar el primal. Adems es posible en el problema dual encontrar e interpretar el precio sombra (marginal) y los costos reducidos. Ejemplo:

Cambiando la segunda restriccin de: 3 X1+X2 60 a: 3 X1+X2 50 La solucin ptima actual es: Primal: X*1 = 0; X*2 = 20; S*1 = 0; S*2 = 30; Z*= 2400 Dual: Y*1 = 30; Y*2 = 0; S*1= 10; S*2 = 0; W* = 2400 Para que se mantenga la solucin actual factible basta con plantear y resolver las ecuaciones para encontrar los valores de los nuevos bi, de tal manera que las variables bsicas sean 0, por lo cual -70 b1 170 y 20 b2 +

3.8 Cambio en Coeficientes Xj

Cambio en aij cuando Xj es no bsica: En estos casos cambian los coeficientes de Xj en todas las filas del tablero; como Xj no es bsica, si la fila Z -C > 0, la solucin sigue siendo ptima. Es ms fcil investigar si la solucin anterior es todava ptima con el dual, ya que el nico cambio es en la j-sim a restriccin: , porque los valores ptimos de las variables o r i g i n a l e s Y*1 = Zx+1 no cambian; la solucin anterior es factible y an ptima si la n u e v a restriccin no se viola. Ejemplo: Cambiando la segunda restriccin de: 3 X1+X2 60 a: X1+X2 60 La solucin actual es: Primal: X*1 = 0; X*2 = 20; S*1 = 0; S*2 = 40; Z*= 2400 Dual: Y*1 = 30; Y*2 = 0; S*1= 10; S*2 = 0; W* = 2400 Para que permanezca la solucin actual ptima basta con plantear y resolver la ecuacin quiere calcula el valor de Z1 - C1 con la condicin que Z1 - C1 0, por lo cual.

3.9 Adicin de Nueva Variable

Muchas veces es necesario analizar la sensibilidad de la solucin ptima, cuando se agrega al modelo una restriccin que no se considero inicialmente, ya sea por olvido o por decisin de quien plante el modelo. El primer paso en el anlisis de los cambios que sufre la solucin ptima actual al considerar una nueva restriccin, es determinar si esta se cumple para la solucin ptima. Para ello deben reemplazarse los valores ptimos de las variables en la nueva restriccin y determinar si se cumple la condicin expresada. En caso afirmativo concluimos que la solucin actual no se altera, pues la nueva restriccin tambin se cumple para ella. Tal caso ocurre en situaciones como la que podemos

observar en la grafica 1, en donde la nueva restriccin A no altera la regin de factibilidad. Otra situacin del mismo caso es la que se muestra en la grfica 2 para la nueva restriccin B, que s altera la regin de factibilidad, pero sin modificar el punto ptimo.

Pero cuando los valores ptimos no satisfacen la nueva restriccin, concluimos que la solucin ptima actual es infactible. La grfica 3 nos permite entender como lo que ocurri fue que la nueva restriccin afect la regin de factibilidad del problema, eliminando de ella el sector que incluye la solucin ptima actual. Debemos entonces encontrar la nueva solucin ptima que corresponda a la nueva regin factible. Efectuemos un anlisis del efecto. Supngase que agregamos al modelo la restriccin am+1,1X1+ am+1,2X2+ ... + am+1,nXn<bm+1 Para simplificar, definamos el vector fila Tm+1 que contenga todos los coeficientes tecnolgicos a m+1,j de la restriccin m+1 y escribamos la nueva restriccin como el siguiente producto escalar Tm+1< X bm+1 Separando los coeficientes de las variables bsicas y de las no bsicas y agrupndolos en dos vectores que las contengan, podemos expresar la restriccin como: T BXB+ TNXN+ Hn+1= bm+1 Ya que XN= 0, despejando a Hn+1llegamos a que:

Hn+1= bm+1-TBXB C u a n d o b m+1>TBXB, t e n d r e m o s q u e H n+1 s e r n o n e g a t i v a l o c u a l i m p l i c a q u e l a n u e v a restriccin se cumple en el punto ptimo y la actual solucin no cambia. Pero cuando bm+1< aBXB, tendremos que Hn+1 toma valor negativo,, implicando que la restriccin no se satisface en el ptimo y por ello la solucin ptima actual es infactible y debemos hallar la nueva solucin ptima, que cumpla la restriccin adicional. El procedimiento para determinar la nueva solucin ptima es: 1.Escribir la nueva restriccin al final de la tabla ptima. C o n s i d e r a n d o a H n + 1 c o m o variable bsica. 2. Efectuar los ajustes necesarios para que los de sustitucin de las variables bsicas sean vectores unitarios. Al lograr lo anterior se obtiene un valor negativo para la variable de holgura que se acaba de adicionar como nueva variable bsica, lo cual significa que la solucin actual es infactible, al considerar la restriccin adicional 3.Utilizar el algoritmo Dual Simplex, para intercambiar la v a r i a b l e b s i c a n e g a t i v a p o r una positiva y obtener as una solucin ptima factible para el modelo aumentado con la nueva restriccin.

3.10 Adicin de Nueva Restriccin

El ltimo caso es aquel en el que debe introducirse al modelo una nueva restriccin despus de que ya se ha resuelto. Este caso puede ocurrir porque se pas por alto la restriccin en un principio o porque surgieron nuevas consideraciones despus de la formulacin original. Otra p o s i b i l i d a d e s q u e a p r o p s i t o s e h a y a e l i m i n a d o l a r e s t r i c c i n p a r a d i s m i n u i r e l e s f u e r z o computacional por parecer menos restrictiva que otras ya planteadas en el modelo, pero ahora es necesario verificar esta impresin con la solucin ptima que se obtuvo. Para ver si la nueva r e s t r i c c i n a f e c t a a la solucin ptima actual, todo lo que tiene que hacerse es v e r i f i c a r directamente si esa solucin ptima satisface la restriccin. Si es as, todava sera la mejor s o l u c i n b s i c a f a c t i b l e ( e s d e c i r , sera la s o l u c i n p t i m a ) , a u n c u a n d o s e a g r e g a r a l a restriccin al modelo. La razn es que una nueva restriccin slo puede eliminar algunas de las soluciones factibles anteriores sin agregar ninguna. Si la nueva restriccin elimina la solucin ptima actual, y si se quiere encontrar la nueva solucin, se introduce esta restriccin a la tabla simplex final (como un rengln adicional) como si fuera la tabla inicial, en la que se designa la variable usual (de holgura o artificial) como la variable bsica que corresponde a este nuevo rengln. Como ste tal vez tenga coeficientes distintos de cero para algunas otras variables bsicas, se debe aplicar la conversin a la forma apropiada de eliminacin de Gauss y despus c l r e s t o d e l p r o c e d i m i e n t o g e n e r a l . I g u a l q u e p a r a a l g u n o s d e l o s c a s o s a n t e r i o r e s , e s t e procedimiento para el caso de una adicin de una nueva restriccin es una versin simplificada del procedimiento general resumido anteriormente. La nica pregunta que hay que hacerse en este caso es si la solucin ptima anterior es todava factible as que la prueba de optimalidad se ha eliminado. La prueba de factibilidad se ha reemplazado por una prueba de factibilidad m u c h o ms rpida (la solucin ptima anterior satisface la nueva r e s t r i c c i n ? ) q u e d e b e realizarse justo despus de la revisin del modelo. Slo cuando la respuesta a esta prueba es negativa y se quiere re optimizar, se usan los siguientes pasos; revisin de la tabla simplex final, conversin a la forma apropiada de eliminacin de Gauss, y re optimizacin. EJEMPLO. Como ejemplo de este caso, supngase que se introduce la nueva restriccin,

21 + 32 24, Al modelo dado en la tabla 20. El efecto grfico se muestra en la figura 5. La solucin ptima anterior (0, 9) viola la nueva restriccin, por lo que la solucin ptima cambia a (0, 8). Para analizar este ejemplo algebraicamente, obsrvese que (0, 9) lleva a que 21 + 32 = 27 > 24, entonces esta solucin ptima anterior ya no es factible. Para encontrar la nueva solucin ptima, se agrega esta restriccin a la tabla simplex final actual, tal como se describi, con la variable de holgura x6 como su variable bsica inicial. Esto lleva a la primera tabla que se muestra en la tabla 23. El paso de conversin a la forma apropiada de eliminacin de Gauss requiere restar el rengln 2 multiplicado por 3 del nuevo rengln, con lo que se identifica la solucin bsica actual: x3 = 4, x2 = 9, x4 = 6, x6 = 3 (xl = 0, x5 = 0), como se muestra en la s e g u n d a t a b l a . C u a n d o s e a p l i c a e l m t o d o d u a l s i m p l e x s e o b t i e n e e n u n a s o l a i t e r a c i n (algunas veces se necesitan ms) la nueva solucin ptima en la tabla final de la tabla |23. Figura 5 Regin factible Tabla23 Procedimiento de anlisis de sensibilidad

Unidad 4 Transporte y asignacin 4.1Definicion Problema de Transporte

Problema del transporte

Una empresa dedicada a la fabricacin de componentes de ordenador tiene dos fbricas que producen, espectivamente, 8 0 0 y 1 5 0 0 p i e z a s m e n s u a l e s . E s t a s p i e z a s h a n d e s e r transportadas a tres tiendas que necesitan 1000, 700 y 600 piezas, respectivamente. Los costes de transporte, en pesetas por pieza son los que aparecen en la tabla adjunta. Cmo debe organizarse el transporte para que el coste sea mnimo? Tienda a Tienda b Tienda c Fabrica I 3 7 1 Fabrica II 2 2 6 En este tipo de problemas se exige que toda la produccin sea distribuida a los centros de ventas en las cantidades que precisa cada uno; por tanto, no pueden generarse inventario del producto ni en las fbricas ni en los centros de ventas. En consecuencia, los 800 artculos producidos en la fbrica I deben d i s t r i b u i r s e e n l a s cantidades x , y , z a A , B y C , d e m a n e r a q u e x + y + z = 800. Pero, adems, si desde I se envan x unidades a A, el resto, hasta las 1000 necesarias en A, deben ser enviadas desde la f b r i c a I I ; e s t o e s , 1 0 0 0 - x u n i d a d e s s e r n e n v i a d a s d e s d e I I A . Del mismo modo, si desde I a B se envan y, el resto necesario, 700 - y, deben enviarse desde II. Y lo mismo para C, que recibir z desde I y 600 -z desde II. En la siguiente tabla de distribucin se resume lo dicho: Envos A la tienda A (1000) A la tienda B (700) Desde la fabrica I (800) x y Desde la fabrica II (1500) 1000-x 700-y

A la tienda c (600) 800 x -y X+y-200

La ultima columna la hemos obtenido de la siguiente forma:

Como x + y + z= 800 , se tiene que z= 800 - x - y, de donde, 600 - z= 600 - (800 - x - y) =x +y200. Ahora bien, todas las cantidades anteriores deben ser mayores o iguales que cero. Por tanto, se obtienen las siguientes desigualdades: x 0 ; 1000 - x0 ; y 0; 700 y 0 ; 800 - x y 0 ; x + y - 200 0 Simplificando las desigualdades anteriores, se obtienen las siguientes inecuaciones: 1000 x 0 ; 700 y 0 ; 800 x + y 0 Recordemos que nuestro objetivo es abaratar al mximo los costes de transporte. Estos costes se hallan multiplicando las cantidades enviadas a desde cada fbrica a cada tienda por los respectivos costes de transporte unitario, Se obtiene:
Z = f( x,y ) = 3 x + 2(1000 -x ) + 7 y + 2(700 -y)+ (800- x - y ) + 6( x + y - 200) = 6 x + 10y + 3000

En definitiva, el programa lineal a resolver es: Minimizar: Z= 6 x + 10 y+ 3000 sujeto a:1000 x 0 700 y 0 800 x + y 0 La regin factible se da en la imagen del margen Sus vrtices son A(200,0) ; B(800,0) ; C(100,700) ; D(0,700) y E(0,200). El coste, el valor de Z en cada uno de esos puntos, es: en A, 4200 en B, 7800 en C, 10600 en D, 10000 en E, 5000 El mnimo se da en A , cuando x = 200 e y = 0. Luego, las cantidades a distribuir son:

Envos
Des la fabrica I (800) Desde la fabrica II (1500)

En la tienda A (1000) 200 800

En la tienda B (700) 0 700

En la tienda C (600) 600 0

4.2 Metodo de Aproximacin de Vogel

Mtodo de Aproximacin de Vogel: para cada rengln y columna q u e q u e d a b a j o consideracin, se calcula su diferencia, que se define como la diferencia aritmtica entre el costo unitario ms pequeo (cIj ) y el que le sigue, de los que quedan en ese rengln o columna.(Si se tiene un empate para el costo ms pequeo de los restantes de un rengln o columna, n entonces la diferencia es 0). En el rengln o columna que tiene la mayor diferencia se elige la variable que tiene el menor costo unitario que queda. (Los empates para la mayor de estas diferencias se pueden romper de manera arbitraria).Para hacer ms concreta esta descripcin, se ilustrar el procedimiento general, utilizando el mtodo de aproximacin de Vogel para resolver el ejemplo presentado anteriormente y que fue resuelto por la regla de la esquina noroeste: Iniciamos el mtodo calculando las primeras diferencias para cada rengln y columna. De las diferencias que obtuvimos nos fijamos en la mayor (Por qu?), que resulta ser para la tercera columna. En esa columna encontramos el costo unitario (cij) m e n o r y e n e s a c e l d a realizamos la primera asignacin:

Nota: Marcaremos a la mayor de las diferencias seleccionada encerrndola en un crculo y escribindole como superndice el nmero que le corresponda en la s e c u e n c i a d e seleccin. Observemos en la figura anterior que nicamente eliminamos el segundo rengln ya que la tercera columna nos servir despus para hacer la asignacin de una variable bsica degenerada. Continuando con la aplicacin del mtodo, tenemos que calcular nuevamente las diferencias de las columnas ya que hemos eliminado un rengln y esto puede ocasionar que las diferencias aritmticas entre el costo unitario ms pequeo y el que le sigue ya no sean las mismas:

Como siguiente paso deberamos calcular las nuevas diferencias de columnas, pero ya que solamente queda un rengln dentro de las posibilidades (esto no significa que solamente un rengln quede bajo consideracin ya que podemos observar que ninguna de las cuatro c o l u m n a s ( d e s t i n o s ) h a s i d o e l i m i n a d a y t o d a s q u e d a n t o d a v a b a j o c o n s i d e r a c i n ) , n o e s posible encontrar la diferencia aritmtica entre el costo menor y el que le sigue, por lo tanto vamos tomando una a una las celdas que quedan comenzando con la de menor costo unitario hasta que todas hayan sido asignadas.

La solucin inicial bsica factible es x 11= 3 , x 12= 1 , x 13=0 (variable bsica degenerada), x14= 1 , x 23= 2 y x 32= 3 y e l c o s t o t o t a l d e transporte a s o c i a d o a e s t a p r i m e r a P o l t i c a d e Transporte factible es de:

Es necesario aclarar que sta puede o no ser la solucin final del p r o b l e m a , e s necesario aplicar a esta primera solucin factible la prueba de optimalidad ya que puede existir una mejor poltica de transporte que minimice todava ms el costo total.

4.3 Metodo de Modi

Este mtodo reproduce exactamente las mismas iteraciones del mtodo d e b a n q u i l l o . L a principal diferencia ocurre en la forma en que las variables no bsicas se evalan en cada iteracin. Asociados a cada rengln i de la tabla existen multiplicadores U i similarmente sea socia un multiplicador V ja c a d a c o l u m n a d e l a t a b l a j . P a r a c a d a v a r i a b l e b s i c a X ij d e l a s o l u c i n a c t u a l , s e e s c r i b e l a e c u a c i n U i+V j= Cij. Esas ecuaciones proporcionan m+n-1relaciones con m+n incgnitas. Los valores de los multiplicadores pueden ser determinados a partir d e l a s e c u a c i o n e s suponiendo un valor arbitrario para cualquiera de los multiplicadores (usualmente se establece U1=0) y resolviendo el sistema de ecuaciones para encontrar los multiplicadores desconocidos. Una vez que se hace esto, la evaluacin de cada variable no bsica Xpq est dada como: El criterio que se utiliza para seleccionar la variable que entra es el mismo que el mtodo de banquillo (la mayor negativa). Ejemplo: Una compaa est considerando una demanda de 5 clientes utilizando artculos que tienen d i s p o n i b l e s en 2 almacenes. Los almacenes cuentan con 800 y 1000 unidades respectivamente. Los clientes necesitan 200, 150, 200, 180 y 500 unidades respectivamente. Los costos de embarque por artculo de los almacenes de los clientes son:

Resuelva el modelo de transporte empleando. a) Una solucin inicial por el mtodo de aproximacin de vogel. b) La solucin ptima por el mtodo de multiplicadores.

DESTINO FICTICIO = 570 ARTCULOS

4.4Procedimiento de Optimizacin
Una solucin BF es optima si y solo si Cij-Ui-Vj=>0 para toda (ij)tal que Xij es no bsica. Es la reduccin de costos. Pasos para la optimizacion:1.- se determina la variable bsica entrante; se elige la variable no bsica Xij que tiene el valor negativo mas grande(en trminos absolutos)para Cij-Ui-Vj.2.- se determina la variable bsica que sale: se identifica la reaccin en cadena que se necesita para conservar la factibilidad cuando aumenta el valor de la variable bsica entrante. Entre las celdas donadoras se selecciona la variable bsica que tiene el menor valor.3.- se determina la nueva solucin BF; se suma el valor de la variable bsica que sale a las asignaciones de las celdas receptoras y se resta a las asignaciones de las celdas donadoras.

4.5Definicin Problema de Asignacin

Definicin del problema. Sean un conjunto de fragmentos F= {F1, F2, ..., Fn} y una red formada por el conjunto de sitios S= {S1, S2, ..., Sm} en la cual un conjunto de aplicaciones Q= {q1, q2, ..., qq} se ejecutan. El problema de la asignacin implica encontrar la distribucin ptima de F sobre S. Uno de los problemas ms importantes que necesita discusin es el significado de distribucin ptima. La distribucin ptima puede definirse con respecto a dos medidas: 1. Coste mnimo . La funcin de coste consiste en el coste de almacenamiento de cada Fi e n u n s i t i o Sj, e l c o s t e d e p r a c t i c a r u n a c o n s u l t a e n Fi e n e l s i t i o Sj, e l c o s t e d e actualizar Fi en todos los sitios donde se almacene y el coste de las comunicaciones de d a t o s . E l p r o b l e m a d e l a a s i g n a c i n , e n t o n c e s , i n t e n t a e n c o n t r a r u n e s q u e m a d e asignacin tal que minimice esta funcin de coste combinado.

2.

Rendimiento. La estrategia de asignacin se disea para mantener una medida del rendimiento. Dos medidas habituales de este rendimiento son el tiempo de respuesta y l a s a l i d a d e l s i s t e m a e n c a d a s i t i o . E v i d e n t e m e n t e , s e d e b e i n t e n t a r m i n i m i z a r l a primera y maximizar la segunda.

Se han propuesto modelos de asignacin que enfocan el concepto de d i s t r i b u c i n p t i m a desde diferentes puntos de vista. Sin embargo, no resulta descabellado pensar en la inclusin, tanto del rendimiento como de los factores de coste, dentro del concepto. En otras palabras, d e b e r a m o s b u s c a r u n esquema de asignacin tal que, por ejemplo, la respuesta a las consultas de los usuarios se realizase en el menor tiempo posible mientras que el coste de p r o c e s a m i e n t o fuese mnimo. Una afirmacin s i m i l a r p o d r a h a c e r s e r e s p e c t o a l a maximizacin de la salida del sistema. Consideremos ahora una formulacin del problema muy simple. Definamos F y S como se hizoa n t e r i o r m e n t e . P o r e l m o m e n t o , c o n s i d e r a r e m o s n i c a m e n t e u n f r a g m e n t o s e n c i l l o , Fk .Daremos un nmero de definiciones que nos permitan modelar el problema de la asignacin. 1. Asumiremos que Q puede modificarse de tal manera que sea posible identificar las c o n s u l t a s d e a c t u a l i z a c i n d e l a s d e l e c t u r a , y d e f i n i r e m o s l o s i g u i e n t e p a r a e s e fragmento simple Fk :

Donde ti es el trfico de lectura que se genera en el sitio Si para Fk , y

donde ui es el trfico de actualizacin que se genera en el sitio Si para Fk 2. Asumiremos que el coste de comunicaciones entre un par de sitios Si y Sj es fijo para una unidad de transmisin. Adems, asumiremos que ste e s d i f e r e n t e p a r a actualizaciones y para lecturas, por lo que definimos:

donde cij es el coste de la unidad de comunicacin para las peticiones de lectura entre los sitios Si y Sj y c'ij es el coste de la unidad de comunicacin para las peticiones de lectura entre los sitios Si y Sj. 3. Sea di el coste de almacenar el fragmento en el sitio Si. Entonces definimos D = {d1,d2, ..., dm} como el coste de almacenar Fk en todos los sitios. Asumiremos que no existen restricciones de capacidad en los sitios o en los enlaces de comunicaciones.

4.

Entonces el problema de asignacin puede especificarse como un problema de minimizacin de costes por el cual se intenta encontrar el conjunto I S que especifique el lugar donde han de ubicarse las copias de los fragmentos. La expresin matemtica hace uso de la variable de decisin para la ubicacin xj es,

Xj= 1 si el fragmento Fk se asigna al sitio Fj Xj = 0 en otro caso entonces, definida xj,

El segundo trmino de la funcin calcula el coste total de alma c e n a r t o d a s l a s c o p i a s duplicadas del fragmento. El primer trmino co rresponde al coste de transmisin de lasactualizaciones a todos los sitios que mantienen rplicas de un fragmento y al coste de ejecucin de las peticiones de lectura en el sitio, lo cual resultar un coste m n i m o d e transmisin de datos. Esta es una formulacin muy simple que no es vlida para el diseo de bases de datos distribuidas. Pero en el caso que lo fuera, existira un problema. Para un gran n m e r o d e f r a g m e n t o s y d e sitios, obtener soluciones ptimas resultara probablementetotalmente inviable. Las investigaciones, por tanto, deben girar en torno a la b s q u e d a d e buenos heursticos que proporciones soluciones parcialmente ptimas.

Hay un nmero de razones del porqu de formulaciones tan simples que no sirven para al d i s e o d e b a s e s d e d a t o s d i s t r i b u i d a s . G e n e r a l m e n t e , s e h e r e d a n d e l o s m o d e l o s d e asignacin de archivos para redes, pero No se pueden tratar los fragmentos como archivos individuales q u e s e a s i g n e n aisladamente. La ubicacin de un fragmento generalmente tiene influencia sobre las decisiones de asignacin de los otros fragmentos, a los cuales se acceden a la vez, puesto que el coste de acceso de los fragmentos restantes puede variar. Por tanto, las relaciones entre fragmentos deben tenerse en consideracin. 2. El acceso de las aplicaciones a los datos se modela muy s e n c i l l a m e n t e . U n a p e t i c i n de usuario se resuelve en un sitio y todos los datos necesarios se transfieren a ese sitio. En los sistemas de bases de datos distribuidos, el acceso a los datos es ms complicado que el simple acceso a archivos remotos. Por tanto, la relacin entre la asignacin y el procesamiento de consultas debera tambin tenerse en cuenta. 3. Estos modelos no tienen en cuenta el coste de mantenimiento de la i n t e g r i d a d , a n localizando dos fragmentos implicados con las mismas restricciones de integridad en dos sitios diferentes podra resultar costoso dicho mantenimiento. 4. Igualmente, el coste derivado del control de concurrencia debera tenerse en cuenta. En resumen, debemos distinguir entre el problema tradicional de asignacin de archivos de la asignacin de fragmentos en los sistemas de bases de datos distribuidos. No existen modelos heursticos generales que tomen como entrada un conjunto de fragmentos y produzcan una asignacin cercana a lo ptimo que adems est influenciada por los tipos de restricciones d e s c r i t a s a n t e s . L o s m o d e l o s d e s a r r o l l a d o s r e a l i z a n u n a s e r i e d e s i m p l e s s u p o s i c i o n e s y pueden aplicarse a ciertas formulaciones especficas. Por tanto, presentaremos un modelo general y discutiremos una serie de posibles heursticos que puedan emplearse para resolver el problema. Posteriormente, describiremos un algoritmo concreto de asignacin.

informacin necesaria. En esta etapa de la asignacin, necesitaremos datos cuantitativos sobre la base de datos, las a p l i c a c i o n e s q u e f u n c i o n a n s o b r e e l l a , l a r e d d e comunicaciones, las caractersticas de proceso, y el lmite de almacenamiento de cada sitio de la red. Procederemos a discutirlos en detalle. Informacin de la base de datos. Para desarrollar la fragmentacin horizontal, definimosl a s e l e c t i v i d a d d e l o s m i n t r m i n o s . A h o r a , n e c e s i t a m o s e x t e n d e r e s t a d e f i n i c i n a l o s fragmentos y definir la selectividad de un fragmento Fj con respecto a una consulta qi. E s e l nmero de tu p las de Fj a las que se necesita acceder para procesar qi. Este valor lo notaremos como se li(Fj). Otro elemento informativo de los fragmentos de la base de datos es su tamao. El tamao de un fragmento Fj viene dado por tamao (Fj) = card(Fj)*long(Fj), donde long(Fj) esla longitud (en octetos) de una tu p la del fragmento Fj. Informacin de las aplicaciones. Mucha de la informacin relativa a las aplicaciones se recoge durante el proceso de fragmentacin, pero se necesita un poco ms p a r a e l m o d e l o d e asignacin. Las dos medidas ms importantes son el nmero de accesos de lectura que una consulta qi realiza sobre un fragmento Fj durante su ejecucin (llamada RRij), y el nmero de a c c e s o s d e a c t u a l i z a c i n q u e u n a c o n s u l t a qi r e a l i z a s o b r e u n f r a g m e n t o F j d u r a n t e s u ejecucin (llamada URij). Tambin necesitamos definir dos matrices UM y RM, con elementos uij y rij, respectivamente, que se especifican como sigue: uij = 1 si la consulta qi actualiza el fragmento Fj uij = 0 en otro caso rij = 1 si la consulta qi lee del fragmento Fj rij = 0 en otro caso Tambin debe definirse un vector O de valores o (i ), donde o (i ) especifica el sitio origen de la consultan qi. Finalmente, especificaremos las restricciones i m p u e s t a s p o r e l t i e m p o d e respuesta, asignando a cada aplicacin el mximo tiempo de respuesta permitido. Informacin de los sitios . Sobre cada ordenador necesitamos conocer sus capacidades de procesamiento y almacenamiento. Obviamente, estos valores pueden calcularse a travs defunciones elaboradas o por simples estimaciones. La unidad de coste de almacenar datos en el sitio Sk ser denotada como UCAk. As mismo, especificaremos como medida de coste UPTk al coste de procesar una unidad de trabajo en el sitio Sk. La unidad de trabajo debera ser idntica a aquella utilizada en las medidas RR y UR. Informacin sobre la red. En nuestro modelo asumiremos la existencia de una red simple donde el coste de comunicaciones se define respecto a una trama de datos. Entonces Gij nota el coste de comunicacin por trama entre los sitios Si y Sj. Para permitir el clculo del nmero de mensajes, usaremos ftamao como el tamao (en octetos) de una trama. Es evidente que existen modelos de red mucho ms elaborados que toman en cuenta las capacidades del canal, las distancias entre sitios, las caractersticas del protocolo, etc. Sin embargo, se cree que la derivacin de estas ecuaciones se sale fuera de este documento.

4.6 El Mtodo Hngaro de Asignacin

Este algoritmo se usa para resolver problemas de minimizacin, ya que es ms eficaz que el e m p l e a d o p a r a r e s o l v e r e l p r o b l e m a d e l t r a n s p o r t e p o r e l alto grado de degeneracin que pueden presentar los problemas de a s i g n a c i n . L a s f a s e s p a r a l a a p l i c a c i n d e l m t o d o Hngaro son: Paso 1: Encontrar primero el elemento ms pequeo en cada fila de la matriz de costos m*m; s e d e b e c o n s t r u i r u n a n u e v a m a t r i z a l r e s t a r d e c a d a c o s t o e l c o s t o m n i m o d e c a d a f i l a ; encontrar para esta nueva matriz, el costo mnimo en cada columna. A continuacin se debe construir una nueva matriz

(denominada matriz de costos reducidos) al restar de cada costo el costo mnimo de su columna. Paso 2: (En algunos pocos textos este paso se atribuye a Flood) .Consiste en trazar el nmero mnimo de lneas (horizontales o verticales o ambas nicamente d e e s a s m a n e r a s ) que se requieren para cubrir todos los ceros en la matriz de c o s t o s reducidos; si se necesitan m lneas para cubrir todos los ceros, se tiene una solucin ptima entre los ceros cubiertos de la matriz. Si se requieren menos de m lneas para cubrir todos los ceros, se debe continuar con el paso 3. El nmero de lneas para cubrir los ceros es igual a la cantidad de asignaciones que hasta ese momento se pueden realizar. Paso 3: Encontrar el menor elemento diferente de cero (llamado k) en la matriz de costos reducidos, que no est c u b i e r t o p o r l a s l n e a s d i b u j a d a s e n e l p a s o 2 ; a c o n t i n u a c i n s e d e b e r e s t a r k d e c a d a elemento no cubierto de la matriz de costos reducidos y sumar k a cada elemento de la matriz de costos reducidos cubierto por dos lneas (intersecciones). Por ltimo se debe regresar al paso 2. Notas: 1. Para resolver un problema de asignacin en el cual la meta es maximizar la funcin objetivo, se debe multiplicar la matriz de ganancias por menos uno (1) y resolver el problema como uno de minimizacin. 2. Si el nmero de filas y de columnas en la matriz de costos son diferentes, el problema dea s i g n a c i n e s t d e s b a l a n c e a d o . E l m t o d o H n g a r o p u e d e p r o p o r c i o n a r u n a s o l u c i n incorrecta si el problema no est balanceado; debido a lo anterior, se debe balancear primero cualquier problema de asignacin (aadiendo filas o columnas ficticias) antes de resolverlo mediante el mtodo Hngaro. 3. En un problema grande, puede resultar difcil obtener el mnimo nmero de filas necesarias para cubrir todos los ceros en la matriz de costos actual. Se puede d e m o s t r a r q u e s i s e necesitan j lneas para cubrir todos los ceros, entonces se pueden asignar solamente j trabajosa un costo cero en la matriz actual; esto explica porqu termina cuando se necesitan m lneas.

Unidad 5Programacin Entera Introduccin y casos de aplicacin 5.2Definicin y Modelos de Programacin Entera
Programacin Entera es un termino general para los modelos de programacin matemtica quep r e s e n t a n c o n d i c i o n e s d e i n t e g r i d a d ( c o n d i c i o n e s q u e e s t i p u l a n q u e a l g u n a s o t o d a s l a s variables de decisin deben tener valores enteros). Ya hemos apuntado que los modelos de programacin lineal entera son modelos de programacin lineal que tienen la caracterstica adicional de que algunas de las variables de decisin deben tener valores enteros. Existen diversas clasificaciones de esta categora de modelos. Programas Enteros Puros Un modelo entero puro (PLE) es, como su nombre lo indica, un problema en el que se exige que todas las variables de decisin tengan valores enteros. Por ejemplo Min 61 + 52 + 43 s.a. 1081 + 922 + 583 >= 576 71 + 182 + 223 >= 83

x1, x2, x3 ><0 y enteros Es un modelo entero puro. Sin las restricciones adicionales de que x1, x2, x3 sean enteros (o sea las condiciones de integralidad) sera un problema de programacin lineal Programas Enteros Mixtos Un problema en el que solo se requieren que algunas variables tengan v a l o r e s e n t e r o s mientras que otras pueden asumir cualquier numero no negativo (es decir, cualquier valor continuo) se llama programacin lineal entera mixta (PLEM). Por ejemplo, supngase que en el problema anterior solo x1 y x2 deben ser enteros y x3 no. El problema resultante es: Min 61 + 52 + 43 s.a. 1081 + 922 + 583 >= 576 71 - 182 + 223 >= 83 x1, x2, x3 >=0; x1 y x2 enteros Programas Enteros 01 En algunos problemas se restringe el valor de las variables a 0 o 1. D i c h o s p r o b l e m a s s e llaman binarios o programas lineales enteros 0 1. Son de particular inters debido a que se pueden usar las variables 0 1 para representar decisiones dicotmicas (s o no). Diversos problemas de asignacin, ubicacin de plantas, planes de produccin y elaboracin de cartera, son de programacin lineal entera 01. Existen dos mtodos para generar las restricciones especiales que fuercen la solucin ptima del problema, hacia la solucin ptima entera deseada: - Mtodo de ramificar y acotar. - Mtodo de planos de corte. En ambos mtodos las restricciones agregadas eliminan partes del espacio de soluciones, pero nunca alguno de los puntos enteros factibles. Desafortunadamente, n i n g u n o d e l o s d o s mtodos es efectivo en la solucin de problemas de programacin lineal entera. No obstante los mtodos de ramificar y acotar son mucho mejores en cuanto al clculo se refiere que los mtodos de plano de corte. Por esta razn, la mayora de los cdigos comerciales se basan en el procedimiento de ramificar y acotar.

5.3 Mtodo Ramificar y Acotar

En este momento ser ms conveniente explicar los fundamentos del algoritmo de ramificar y acotar (R y A), por medio de un ejemplo numrico: Consideremos el siguiente problema de Programacin lineal Entera: Max z = 51 + 42 Sujeto a x1 + x2 <=5 101 + 62 <=45 x1, x2 >= 0 y entero En la siguiente figura se muestra el espacio de soluciones de la programacin lineal entera representado por los puntos. El espacio de s o l u c i o n e s d e p r o g r a m a c i n l i n e a l a s o c i a d o , programacin lineal ptima, se define por cancelacin de las restricciones enteras. La solucin programacin lineal ptima se da como x1 = 3,75, x2 = 1,25 y z = 23,75. El procedimiento de Ramificar y Acotar se basa en tratar solo con el problema programacin l i n e a l . C o m o l a s o l u c i n p t i m a ( x 1 = 3 , 7 5 , x 2 =

1 , 2 5 y z = 2 3 , 7 5 ) p e r o n o s a t i s f a c e l a necesidad de valores enteros, el algoritmo de R y A exige modificar el espacio de soluciones lineales de forma tal que nos permita identificar, finalmente, para conseguir la solucin ptima entera. Primero seleccionaremos una de las variables cuyo valor corriente en la solucin ptima no cumple el requisito de valor entero. Seleccionando x1=3,75 arbitrariamente, observamos que la r e g i n ( 3 < x 1 < 4 ) d e l e s p a c i o d e s o l u c i o n e s l i n e a l e s , no puede incluir ninguna espacio solucin factible entera. Entonces podemos modificar el espacio de soluciones lineales eliminando esta regin no prometedora, lo que, en realidad, es equivalente a reemplazar el espacio original por dos espacios los PL1 y PL2, definidos de la manera siguiente: 1. Espacio PL1 = espacio PLO + (x1 <= 3)2. 2. Espacio PL2 = espacio PLO + (x1 >= 4)

Esta figura muestra los espacios PL1 y PL2 en forma grafica. Se ve que l o s d o s e s p a c i o s contienen los mismos puntos enteros factibles del modelo PLE. Esto significa que, desde el punto de vista del problema original de PLE, tratar con PL1 y PL2 es igual que tratar con elo r i g i n a l P L O . L a d i f e r e n c i a p r i n c i p a l e s q u e l a s e l e c c i n d e l a s n u e v a s r e s t r i c c i o n e s e acotamiento ( x1 >= 3 y x1 <= 4 ) mejoraran la oportunidad de forzar a los puntos extremos ptimos de PL1 y PL2 hacia la satisfaccin del requisito de valor entero. Adems el hecho quelas restricciones de acotamiento estn en la vecindad inmediata del optimo continuo del PLO, incrementara las posibilidades de producir buenas soluciones enteras. Las nuevas restricciones x1 >= 3 y x1 <= 4 son mutuamente excluyentes, PL1 y PL2 deben t r a t a r s e c o m o d o s p r o g r a m a s l i n e a l e s s e p a r a d o s . E s t a d i c o t o m a d a l u g a r a l c o n c e p t o d e ramificacin en el algoritmo de R y A. En efecto, ramificar significa subdividir un espacio de soluciones corrientes en sub espacios mutuamente excluyentes. Aqu vemos las ramas PL1 y PL2 y x1 llamada variable de ramificacin Sabemos que la solucin ptima entera debe encontrarse en PL1 o PL2. S i n e m b a r g o , e n ausencia del espacio grafico de soluciones, no tenemos manera de determinar dnde puede encontrarse la solucin ptima, por lo que nuestra nica opcin es investigar ambos problemas. Hacemos esto trabajando con un problema a la vez (PL1 o PL2). Supongamos que escogemos a PL1 asociado con x1 <= 3. En efecto, debemos resolver el siguiente problema: Max z = 51 + 42 Sujeto a x1 + x2 <=5 101 + 62 <=45 x1 <=3 x1, x2 >= 0 Como se indico antes PL1 es el mismo que el PLO con la restriccin adicional de acotamiento superior, x1 <= 3. as podemos aplicar el algoritmo primal de a c o t a m i e n t o s u p e r i o r p a r a resolver el problema. Esto da la nueva solucin ptima. X1 = 3, x2 = 2 y z = 23 Como esta solucin satisface el requisito de valor entero, se dice que el PL1 est agotado, v a c i , l o q u e s i g n i f i c a q u e e l P L 1 n o p u e d e p r o d u c i r n i n g u n a s o l u c i n m e j o r y n o n e c e s i t a investigarse ms a fondo.

Determinar una solucin factible entera en una etapa temprana de los clculos es crucial para incrementar la eficiencia del algoritmo R y A. Tal solucin fija una cota inferior al valor objetivo ptimo, que a su vez se puede usar para descartar automticamente cualquier sub problema no explorado (como el PL2) que no dan mejor solucin entera. En este ejemplo el PL1 produce la cota inferior z = 23. Esto significa que cualquier solucin entera mejorada debe tener el valor de z mayor 23. Sin embargo, como la solucin ptima del problema PLO tiene z = 23,75 y como todos los coeficientes de la funcin objetivo son enteros, se infiere que ningn sub problema que proceda del PLO puede producir un valor de z mejor que 23. En consecuencia, podemos descartar al PL2 porque no puede dar una mejor solucin entera. Del anlisis anterior vemos que un sub problema est agotado si no s a t i s f a c e u n a d e l a s siguientes condiciones: 1. El sub problema da una solucin factible entera 2. El sub problema no puede dar una mejor solucin que la mejor cota inferior disponible (valor z) del problema (Un caso especial de esta condicin es que el sub problema no tendr ninguna solucin factible en absoluto) Pero si en nuestro ejemplo decidimos investigar PL2 primero la solucin resultante ser: x1 = 4,x 2 = 0 , 8 3 3 3 , z = 2 3 , 3 3 3 3 . C o m o x 2 n o e s e n t e r o e l P L 2 d e b e i n v e s t i g a r s e m a s a f o n d o crendose el PL3 y PL4 y usando las respectivas ramas x2 >=0 y x2 >=1. Esto significa que Espacio PL3 = espacio PLO + (x1 >= 4) + (x2 <=0) Espacio PL4 = espacio PLO + (x1 >= 4) + (x2 >=1) En este momento para escoger tres sub problemas, el PL1, PL3 y PL4. (Observe nuevamente que estos tres sub problemas incluyen todas las soluciones enteras factibles del problema original PLE.) Si seleccionamos arbitrariamente el PL4, descubrimos que no tiene solucin factible y por ello esta agotado. A continuacin seleccionamos el PL3 para investigarlo. Su s o l u c i n l a d a x 1 = 4 , 5 , x 2 = 0 y z = 22,5. Como x1 = 4,5 no es entero, creamos doss u b p r o b l e m a s, e l P L 5 y P L 6 d e l P L 4 , u s a n d o l a s r e s t r i c c i o n e s x 1 < = 4 y x 1 > = 5 respectivamente. Obtenemos entonces: Espacio PL5 = espacio PLO + (x1 >= 4) + (x2 <=0) + (x1 <= 4) Espacio PL6 = espacio PLO + (x1 >= 4) + (x2 <=0) + (x1 >= 5) Escogemos ahora el PL6, para investigarlo. Como el PL6 no tiene solucin factible, est agotado. A continuacin escogem os el PL5 cuya s o l u c i n p t i m a ( x 1 = 4 , x 2 = 0 , z = 2 0 ) satisface el requisito de valor entero. Finalmente, hemos encontrado una solucin entera que fija una cota inferior (z = 20) a la solucin entra ptima. Desafortunadamente, esta cota inferior e s m u y d b i l y muy tarda para ser til. El nico nodo restante, PL1, queda a g o t a d o a continuacin con z = 23, lo que fija una nueva cota inferior. Como no quedan ya sub problemas por investigar, la ltima cota inferior asocia la solucin ptima del PLE con PL1. La pero secuencia posible de solucin, mostrada en al figura siguiente, s e h a e s c o g i d o intencionalmente para evidenciar una de las principales debilidades del algoritmo de R y A. Esto es, un sub problema especifico, cmo seleccionamos a la variable de ramificacin? Y, de entre todos los sub problemas no explorados, Cul debe investigarse a continuacin? Observe que en la figura, encontramos una buena solucin en el primer sub problema PL1, lo que nos permiti declarar agotado al PL2 sin ninguna investigacin posterior. Bsicamente, el problema PLE se resolvi investigando solo un sub problema. En el siguiente caso tuvimos que resolver seis sub problemas antes de alcanzar la optimidad. Este caso no es raro y puede encontrarse situaciones reales. Aunque existen muchos mtodos para aumentar l habilidad del algoritmo de R y A de ver adelante y hacer una buena conjetura, respecto a s una rama dada conducir a una solucin mejorada del PLE, no existe una

teora consistente que produzca resultados concretos uniformes para la solucin del problema general de PLE. Resumiremos ahora los pasos del algoritmo de R y A. Suponien d o u n p r o b l e m a d e maximizacin, definiremos z como la cota inferior de la solucin entera ptima del problema. Hacemos inicialmente z = - e i = 0. Paso 1: Agotamiento y ramificacin. Seleccione PLi como el prximo su b p r o b l e m a p o r investigarse. Resolvemos el PLi y trataremos de agotarlo usando las condiciones apropiadas.(a) Si el PLi se declara agotado (solucin inferior, infactible o entera), ponga al da la cota i n f e r i o r z s i s e e n c u e n t r a u n a m e j o r s o l u c i n d e l P L E ; s i n o e s a s , s e l e c c i o n e u n n u e v o sub problema i y repita el paso 1. Si todos los sub problemas se han investigado, la solucin ptima del PLE est asociada con la ultima cota inferior z en caso de que exista, si no es as (b) Si el PLi no est agotado, siga con el paso 2 para efectuar la ramificacin del PLi. Paso 2: Ramificacin. Seleccione una de las variables xj cuyo valor ptimo en la solucin del PLi no satisfaga la restriccin del valor entero. Elimine la regin creando dos sub problemas PL que correspondan a las dos siguientes restricciones mutuamente excluyentes, vuelva al paso 1.

5.5Algoritmo Aditivo de Balas METODO ADITIVO (ENUMERACION) DE EGON BALAS

Este mtodo es un procedimiento de enumeracin que encuentra el p t i m o e n f o r m a m s rpida; en el mtodo de Balas, la eficacia consiste en la evaluacin solo de unas soluciones. El m t o d o e m p i e z a p o n i e n d o t o d a s l a s v a r i a b l e s i g u a l e s a c e r o y l u e g o p o r m e d i o d e u n procedimiento sistemtico de forma consecutiva se asigna a una por una de las variables el valor 1. Luego se reemplaza en cada una de las restricciones y se averigua la infactibilidad. Por esta razn el mtodo es algunas veces llamado el algoritmo aditivo. Para describir el algoritmo, se considera la forma general siguiente de u n p r o b l e m a d e Programacin Lineal con variables cero uno: Paso 1. La funcin objetivo debe ser del tipo minimizacin, con todos l o s c o e f i c i e n t e s n o negativos. Paso 2. Todas las restricciones deben ser del tipo , con los lados derechos negativos de ser n e c e s a r i o . L u e g o , e s t a s r e s t r i c c i o n e s s e c o n v i e r t e n a e c u a c i o n e s , u s a n d o l a s v a r i a b l e s auxiliares en el lado izquierdo de las restricciones. Ejemplo: MAX Z = 3 Y1 + 2 Y2 5 Y3 2 Y4 + 3 Y5 Sujeta a: MIN W = 3 Y1 2 Y2 + 5 Y3 + 2 Y4 3 Y5 Con sus restricciones: Reemplazamos: Y1 = 1 X1; Y2 = 1 X2; Y3 = X3; Y4 = X4; Y5 = 1 X5 MIN W = 3 X1 + 2 X2 + 5 X3 + 2 X4 + 3 X5 8

Sujeta a: Sustituimos W + 8 = W MIN W = 3 X1 + 2 X2 + 5 X3 + 2 X4 + 3 X5 Con sus restricciones: Siempre el problema nuevo a resolver consiste en la minimizacin de la f u n c i n o b j e t i v o , teniendo en cuenta la medida de la no factibilidad de la holgura. Cuando la infactibilidad da el menor valor, continuamos con el siguiente paso; en el caso de una infactibilidad cero, stac o r r e s p o n d e a l a s o l u c i n p t i m a ; s i e n c o n t r a m o s v a r i a s i n f a c t i b i l i d a d e s i g u a l e s a c e r o , reemplazamos en la funcin objetivo y la respuesta ser la que haga esta funcin mnima. o X1 = 0; X2 = 0; X3 = 0; X4 = 0; X5 = 0 0 1; 0 2; 0 1; Infactibilidad 3 o X1 = 0; X2 = 0; X3 =0; X4 = 0; X5 = 0 0 2; 0 5; 0 12; Infactibilidad 12 o X1 = 0; X2 = 0; X3 = 0; X4 = 0; X5 = 0 0 2;0 2; 0 5; Infactibilidad 2 o X1 = 0; X2 = 0; X3 = 0; X4 = 0; X5 = 0 0 0; 0 5; 0 1; Infactibilidad6 o X1 = 0; X2 = 0; X3 = 0; X4 = 0; X5 = 0 0 1; 0 2; 0 2; Infactibilidad 1 o X1 = 0; X2 = 0; X3 =0; X4 = 0; X5 = 0 0 2; 0 1; 0 2; Infactibilidad 0 Solucin Optima nica: X*1 = 0; X*2 = 0; X*3 = 0; X*4 = 0; X*5 = 1; W* = 3 Solucin Optima nica para el problema original: Y*1 = 1; Y*2 = 1; Y*3 = 0; Y*4 = 0; Y*5 = 0; Z* = 5 Algunos autores emplean el algoritmo de Balas modificado, el cual consiste en introducirle al modelo una restriccin denominada de filtro, la cual no es otra que la funcin objetivo con una cota inferior del valor ptimo. Histricamente es muy importante, ya que ha demostrado que algoritmos eficaces de programacin en nmeros enteros podran emplear la enumeracin implcita

5.6 Programacin Dinmica

La programacin dinmica es un enfoque general para la solucin de problemas en los que es necesario tomar decisiones en etapas sucesivas. Las decisiones tomadas en una etapa condicionan la evolucin futura del sistema, afectando a las situaciones en las que el sistemas e encontrar en el futuro (denominadas estados), y a las decisiones que se plantearn en el futuro. Conviene resaltar que a diferencia de la programacin lineal, el modelado de problemas de programacin dinmica no sigue una forma estndar. As, para cada problema ser necesario e s p e c i f i c a r c a d a u n o d e l o s c o m p o n e n t e s q u e c a r a c t e r i z a n u n p r o b l e m a d e p r o g r a m a c i n dinmica. El procedimiento general de resolucin de estas situaciones se divide en el anlisis recursivo de cada una de las etapas del problema, en orden inverso, es decir comenzando por la ltima y pasando en cada iteracin a la etapa antecesora. El anlisis de la primera etapa finaliza con la obtencin del ptimo del problema. 10.1 MODELOS DE PROGRAMACIN DINMICA Existen tres modelos diferentes manejados por WINQSB