Optimitzaci Assignatura dEstadstica, UAB

Curs 2006/2007

LI !O " #art$ % Intr&duccin a LI !O

Una de las caractersticas ms potentes de LI !O, es el lenguaje de modelacin matemtica. Este lenguaje permite expresar el problema de una manera natural, similar a la notacin matemtica standard. Adems de poder ingresar cada trmino de cada restriccin explcitamente, LIN ! permite expresar una serie de restricciones similares en una sola sentencia compacta.

E'$mp(& % Una "brica #ue tiene dos plantas locali$adas en las ciudades A % &, necesita suministrar un determinado producto a tres almacenes situados en las ciudades ', ( % E. Las plantas A % & pueden suministrar semanalmente )* % +* unidades del producto, respecti,amente. Los almacenes necesitan semanalmente -*, .* % )* unidades del producto para satis"acer su demanda. Los costes de transporte por unidad de producto se recogen en la tabla siguiente/ Ciuda d A B ' ( E . 1 0 2 3

El problema consiste en determinar cuntas unidades del producto se debern transportar desde cada planta a cada almacn, de "orma #ue se minimice el coste total de transporte. (enotando por A', A(, AE las unidades en,iadas de la planta A 4acia los almacenes ', ( % E, respecti,amente, % por &', &(, &E las unidades en,iadas de la planta & 4acia los almacenes ', ( % E, respecti,amente, la "ormulacin del problema de programacin lineal asociado es la siguiente/ 5inimi$ar .A'60A(6-AE61&'62&(63&E 7ujeto a/ A'6A(6AE89 )* &'6&(6&E89+* A'6&':9-* A(6&(:9.* AE6&E:9)* A', A(, AE, &', &(, &E:9* Las dos primeras restricciones imponen #ue la cantidad suministrada en las plantas A % & no supere su disponibilidad semanal, mientras #ue las tres siguientes imponen #ue se cubra el re#uerimiento mnimo en los almacenes ', ( % E.

)&d$(& $n LI !O La escritura del modelo en LIN ! se basa en las siguientes reglas/ a< La "uncin objeti,o ,a precedida de *ma+,- o *min,- % "inali$a en *.- al igual #ue cada una de las restricciones. b< Las desigualdades pueden escribirse de "orma estricta, aun#ue LIN ! las interpreta siempre como <= o >=, seg=n el caso. c< No es necesario introducir las restricciones de no negati,idad, si las 4ubiera, %a #ue LIN ! las considera por de"ecto. d< Es necesario indicar el producto con */-0 e< LIN ! no distingue entre ma%=sculas % min=sculas, por lo #ue es lo mismo E7>A(I7>I'A #ue estadstica % #ue Es>A(sti'A. "< Los nombres de las ,ariables deben comen$ar con un carcter al"abtico ?A@A<, los siguientes caracteres pueden ser al"abticos, numricos o subra%ado ?B<. Los nombres pueden ser de 4asta 03 caracteres de longitud. E'$rcici& % Abra el editor del LIN ! % escriba el modelo matemtico del problema del ejemplo ;, teniendo en cuenta las reglas del LIN !. El modelo puede escribirse como sigue/ MIN = 5*AC+3*AD+4*AE+6*BC+7*BD+2*BE; AC+AD+AE<80; BC+BD+BE<90; AC+BC>40; AD+BD>50; AE+BE>80; Nota/ a< 'ada lnea en LIN ! "inali$a con un punto % coma. Los punto % coma son re#ueridos. El modelo no se resol,er si "alta alg=n punto % coma. b< Una expresin puede abarcar mas de una lnea, por ejemplo/ MIN = 5*AC+3*AD+4*AE +6*BC+7*BD+2*BE; 7e pueden introducir comentarios, #ue sern ignorados por LIN !, c&m$nzand& c&n un sign& d$ $+c(amacin 1 2 t$rminand& c&n un punt& 2 c&ma0 Los comentarios tambin pueden ocupar ,arias lneas. Cor ejemplo/ AC+AD+AE<80; 1 Est& $s Un c&m$ntari&. AC+AD 1 Est& $s un c&m$ntari& $n $( m$di& d$ una r$striccin. +AE<80 ;

Adems se puede asignar un nombre a cada restriccin, como en el LIN(!. Cor ejemplo, escribiendo 34%5 A'6A(6AE89 )* 3425 &'6&(6&E89+* La primera restriccin de nuestro ejemplo tiene %a el nombre D; % la segunda el nombre D3. El siguiente paso es pedirle a LIN ! #ue resuel,a el problema. Cara ello es su"iciente con 4acer clic sobre el botn 7ol,e ?el #ue tiene "orma de diana, como en el LIN(!<, o bien seleccionar esta opcin en la barra de men=s/

LINGO intentar primero compilar el modelo formulado (para determinar si est bien planteado o no) y, en el caso de que la formulaci n sea incorrecta (ya sea desde un punto de !ista matemtico o de sinta"is), nos de!ol!er una !entana con la si#uiente mensa$e% LINGO error message &

7i no 4a% errores en la "ormulacin del problema durante la etapa de compilacin, LIN ! in,ocar al mdulo de resolucin adecuado para buscar la solucin ptima. En la ,entana E7>A>U7F de LIN ! ?,entana de estado< se puede monitorear el proceso de resolucin % las dimensiones del modelo/

El recuadro 67aria8($sG muestra $( num$r& t&ta( d$ 9aria8($s del modelo, las ,ariables #ue son no lineales % las enteras. Una ,ariable es considerada no lineal si es parte de una restriccin no 0

lineal en el modelo. 5ientras mas ,ariables no lineales % enteras contenga el modelo, mas di"cil ser resol,erlo de "orma ptima en un tiempo ra$onable. Los modelos lineales puros sin ,ariables enteras tienden a resol,erse mas rpidamente. La cuenta de !ariables no incluye las que LINGO determina como de !alor fi$o, por e$emplo% dadas las restricciones ' ( )* ' + , ( -* LINGO determina por la primera restricci n que ' est fi$a en ), y, usando esta informaci n, deduce que , est fi$a en .& ' e , sern entonces e"cluidas del modelo& En el recuadro 6C&nstraintsG se muestra la cantidad t&ta( d$ r$stricci&n$s % el n=mero de stos #ue son no lineales. Una restriccin es considerada no lineal si una o mas ,ariables aparecen de "orma no lineal en la restriccin. El recuadro 6 &nz$r&sG muestra $( t&ta( d$ c&$:ici$nt$s distint&s d$ c$r& #ue aparecen en el modelo % el n=mero de estos #ue aparecen en ,ariables no lineales. El recuadro 6!$n$rat&r )$m&r2 Us$d6 muestra (a cantidad d$ m$m&ria ;u$ $st< uti(izand& LI !O para r$s&(9$r $( m&d$(&. El recuadro GE(aps$d 4untim$G muestra $( ti$mp& t&ta( uti(izad& para generar % resol,er el modelo. El recuadro 6Optiniz$r =tatus6 muestra $( $stad& actua( d$( &ptimizad&r/ Camp& 7tate >$scripcin Estado de la solucin actual, puede ser G lobal optimumG, GLocal optimumG, GHeesibleG, GUnboundedG, GInterruptedG, GUndeterminedG Numero de iteraciones 'antidad de ,eces #ue es ,iolada una restriccin Ialor actual de la "uncin objeti,o Ialor de la "uncin objeti,o de la mejor solucin entera encontrada ?solo en modelos de programacin entera< Lmite terico de la "uncin objeti,o para modelos de programacin entera.

Iterations In"easibilit% !bjeti,e &est IC IC &ound

'uando LIN ! termine de resol,er el modelo, crear una nue,a ,entana con el ttulo Solution Report (Informe de la solucin), conteniendo (&s d$ta(($s d$ (a s&(ucin?

Costo /educido% En el in"orme de la solucin se encuentra un ,alor de costo reducido para cada ,ariable. 'omo 4emos ,isto en LIN(!, 4a% dos interpretaciones ,lidas % e#ui,alentes para el costo reducido. a< Crimero se puede interpretar como el monto por el cual el coe"iciente objeti,o de la ,ariable se debera incrementar antes de 4acerse pro,ec4oso darle a la ,ariable en cuestin un ,alor positi,o en la solucin ptima. Cor ejemplo, si la ,ariable tu,iera un costo reducido de ;*, el coe"iciente objeti,o de esta ,ariable deber incrementarse en ;* unidades en un problema de maximi$acin o disminuirse en ;* unidades en un problema de minimi$acin para con,ertirse en una alternati,a atracti,a. Una ,ariable en la solucin ptima automticamente tiene un costo reducido de *. b< 7egundo, el costo reducido de una ,ariable se puede interpretar como el monto de penali$acin #ue 4abr #ue pagar por introducir una unidad de esa ,ariable en la solucin. 'omo antes, si la ,ariable tu,iera un costo reducido de ;*, 4abr #ue pagar una penali$acin de ;* unidades para introducir la ,ariable en la solucin. En otras palabras, el ,alor objeti,o caer en ;* unidades en un modelo de maximi$acin, o se incrementar ;* unidades en un problema de minimi$acin. Los costos reducidos son ,lidos slo dentro de un rango de ,alores.

0ol#ura o e"cedente La columna 1lac2 or 1urplus en el in"orme de la solucin de LIN ! ?como en LIN(!< muestra #ue tan cerca se est de satis"acer una restriccin como una igualdad. Esta cantidad, en restricciones de menor o igual, se denomina generalmente 4olgura. En restricciones de ma%or o igual se la llama excedente. 7i una restriccin es exactamente satis"ec4a como una igualdad, la 4olgura o excedente ,aldr cero. 7i una restriccin es ,iolada, este ,alor ser negati,o. Esto a%uda a encontrar las restricciones ,ioladas cuando en el modelo no existe un conjunto de ,alores para las ,ariables #ue satis"acen simultneamente todas las restricciones. 3recio 4ual& El in"orme de la solucin de LIN ! tambin da un ,alor de precio dual para cada restriccin. El precio dual se puede interpretar como el monto en #ue la "uncin objeti,o mejorar si el segundo miembro de la restriccin se incrementase una unidad. Al igual #ue los costos reducidos, los precios duales son ,lidos slo dentro de un rango de ,alores. 'omo puede obser,arse en la ,entana de estado del LIN !, para minimi$ar los costes de transporte 4an de en,iarse 0* unidades de la planta A al almacn ' % el resto, es decir .*, al almacn (. En la planta & se 4a de asignar ;* unidades al almacn ' % el resto ?)*< al E. El coste de transporte mnimo es .3*. 'omo puede obser,arse, todas las 4olguras son nulas.

An<(isis d$ s$nsi8i(idad Cara 4acer un anlisis de sensibilidad de nuestro ejemplo 4a% #ue seleccionar el comando /an#e del men= del LIN ! Aparece la ,entana siguiente/

7e puede obser,ar a< el rango de ,ariacin permitido de cada coe"iciente ?tolerancia< en la "uncin objeti,o ?Eobjecti,e coe""icient rangesF< para #ue, permaneciendo inalterados el resto de ellos, la solucin del problema primal no cambie. b< el rango de ,ariacin permitido ?tolerancia< en el trmino independiente de cada restricciones ?Erig4t4and side c4angesJ< para #ue, permaneciendo inalterados el resto, la solucin siga siendo la misma. Cor ejemplo, el coste unitario de transporte entre las ciudades A % ' puede ,ariar en el inter,alo K3,1L sin #ue la solucin del problema cambie. ?Cara la ,ariable A'9..* en el ptimo, EAlloMable 'oe""icient IncreaseF9;.* % EAlloMable 'oe""icient (ecreaseF 90.*< (e "orma similar, la produccin en la planta A puede ,ariar en el inter,alo K)*,+*L % los precios duales seguiran siendo los mismos. ?EDN7F ,alor en el lado derec4o de la primera restriccin9 )*, EAlloMable DN7 IncreaseF9;*.* % EAlloMable DN7 (ecreaseF 9*.*<

E'$rcici& 2 Una empresa de re"rescos produce dos tipos de bebidas con sabor de naranja/ de bajo contenido en a$=car % de contenido normal, denominadas naranjada ligera % naranjada extra, respecti,amente. Cara su "abricacin se emplean tres procesos producti,os ?designados como C;, C3 % C0< siendo, en cada uno de ellos, el n=mero de 4oras empleado por unidad de bebida producida los #ue "iguran en la tabla, en la cual se recogen tambin los bene"icios unitarios por unidad ,endida de re"resco. Croceso C; C3 C0 &ene"icio unitario Naranjada ligera Naranjada extra 1 . 1.. ) 0 )

Las caractersticas del proceso de produccin dan lugar a #ue por cada unidad de naranjada ligera se generen 0 unidades de residuo #ue deben eliminarse, con un coste unitario de *.3. euros. Anlogamente, por cada unidad de naranjada extra se obtienen ;.. unidades de cierto subproducto, #ue puede ,enderse con un bene"icio unitario de ;.. euros. 7in embargo, la cantidad sobrante de subproducto #ue no 4a%a podido colocarse en el mercado debe eliminarse, con un coste unitario de *.2. euro. La demanda pre,ista de subproducto es, como muc4o, de ;. unidades % #ue los tiempos de produccin disponibles son de 0.* 4oras para C;, 0** 4oras para C3 % 03* 4oras para C0. a< Hormular un problema lineal #ue proporcione el plan de produccin con mximo bene"icio. 7upongamos #ue NL / unidades de naranjada ligera #ue se ,an a "abricar NE / unidades de naranjada extra #ue se ,an a "abricar DE / unidades de residuo #ue se deben eliminar 7& / unidades de subproducto ?de naranjada extra< #ue se ,an a producir 7E / unidades de subproducto #ue no 4a%a podido colocarse en el mercado El bene"icio de la compaOa ?"uncin objeti,o< es 1..PNL6)PNE6;..P7& @*.3.PDE@*.2.P7E Q las restricciones del problema son/ 1PNL6)PNE890.* ?4oras disponibles para C;< -PNL60PNE890** ?4oras disponibles para C3< .PNL6-PNE8903* ?4oras disponibles para C0< 7&89;. ?demanda pre,ista de subproducto< DE90PNL ?por cada unidad de naranjada ligera se generen 0 unidades de residuo #ue deben eliminarse< 7&67E9;..PNE ?por cada unidad de naranjada extra se obtienen ;.. unidades de subproducto<

b< Escribir el problema en LIN ! c< Desol,er el problema usando LIN !. R 'ul es el mximo bene"icioS ?-5)&.6 euros< d< R'ules son los ,alores ptimos de las ,ariables NL, NE, DE, 7&, 7ES ?76, )8 , )-6, )6, 8< e< R'ules son las restricciones acti,as en el ptimoS (restricciones% de las 9oras disponibles para 3), de la demanda pre!ista de subproducto, y las dos i#ualdades< "< R'unto se debera bajar el coste unitario de la cantidad sobrante de subproducto #ue no 4a%a podido colocarse en el mercado % #ue debe eliminarseS ?precio dual de 1: apro"& 8&6euros)

No!iembre .885 ; <aria =a2ynt9ina2i