Supongn que estamos en el nodo donde x; = 13 = 1. Para comprotars este nod tiene una terminacign factible, investigariamos six) = 1,12 ~ 1.35 = 0,4 — O,x5 = Osatisface (49) (si lo hace), Lunego podiansos ver six = Ayia = Lots = 1a te = Oy = 0 (50) (i loves), En esta situdciOn, tas prcas de ifactibiidad burdss nos indican que este nodo ¢s to fac- tible, No-obstante, observe que como x =; = |, la nica manera de satsfacer (49) es se- Jeccionando 1; = 14 = x = 0, per esta terminacisn del noda.r; =r; = 1 mo satisface ($0). Por lo tanto, et nodo con x, = xz = 1 no tener terminacién factible, Con el tiempo, ‘nuestra prueba burda de infactibitidad habia indicado este hecho. pero habriamos esto cbligados a examinar michos ms nodos antes de encontrar que el. nosio sony = a2 = 1 ‘no tenia terminaciin factible. En un prablema mas complejo, una prueba mds sul de in- factiblidud que combinara informacisn de ambas restricciones, nos podria haber posibili- tudo examinr menos nodes. Naturalmente una pruela més sul de infactibiidad requeriia mas eflculos, asi que lo mejor no vale a pena. Un anlisis de restrscciones submogadas se cencucetra en Salkin (1975), Taha (1975) y Nemhauser y Wolsey (1984). ‘Al igual que con el algoritmo de ramificacién y acotamiento, muchas elecciones arbi- trariasdeterminan la eficacia det algoritmo de enumeracisn implicita. Vease Salkin, Teh y Nemhauser y Wolsey si desea vet un aniliss mis profundo de las téenins ce a enue racidn implicita, PROBLEMAS Grupo A Ress lor ules PE OL mate cuneate -TaBLA a pee as jai Tasca mer tnt ttn ts tromaa Sips aon rere ! . uae : i 2 ace Dyn i ; : ttn : 3 2 L=001 3. Fico planea invertiren cinco projects. Cada uno de ellos requiere una sida de efestivo on cl tiempo. y rine tn VNA segin se describe en la tabla 2 (ted en millones se délares) En el tempo 0, 10 millones de dolar estin ds ponibles pia invert: Los proyectos 1 y 2 sun soutuainente cexclusinos (cs decir, Fineo no pucde emprender ambos), También fos proyectos 3 y 4 som mutuamente exclusives Adem, el proyecto 2 no poole smprenderse a menos que ‘umibién se inicie el provocta 3. Aplique la enumeracion im leita para determunae cuiles proyectos deberian empren sderse para miimizar el VNA, 4 Apligie a eswnssesct implicit pars epscenes lo se ‘ign pia para el ejemplo 5 (el problema de recubrimien- to de conju. ‘5. Aplique fe cmumoraciém implicita para resolver el pro ema fe bs secciéa 9.2 Grupo B 8 Por qué son inioos los valores: de ny. ay 9.8 El algoritmo del plano de corte® En parte terior de este capinilo se deseribid con algunos detalles cme se puden apli- ‘car Jos métodos de ramificacién y acotamiento para resolver PE_ En esta seccién se trata ‘tt método, el aigoritma del plano de carte. Este akgoritmo se ilustra mediate la resol» ‘ifn del problema de Telfa Corporation (¢jemplo-9). Segim la secciin 9.3, el problema era esta seechin se tatan tema que se padran ens ere acorn rt pa dct 545Tamia 83 Toda igh pr jc el PL. Te za ae Ti boo 0 (Aas 412s o 9 4 2250-025 225 ee mans Bx + Sp samt m ey, + Sn SAS sd iat, © 0 ty, setters Después de sumar las-variables de holgura 5, y 2, 88 encuentra que eb tableau épeimia ‘ara ki relajacid del PL del ejemplo de Telfa es como el que a eivesra en ki tabla $3, ‘Para aplicar el métndo del plano de corte, se empicza por clegir cualquicr reatriccion.en cl tableau Sptimo de ta relajacién del PL en la cual una variable bdsica ex fraccionaria, Se ‘lige de modo arbitrario ta segunda restriccifin, que ex ay — 128g + 028s, = 1.75 co) pvida se detine que [x] sea el emiero mis grande que ¢ igual sx. Por ejemplo, (3.75) = 3 y[-125] = —2. Cualquier nimero 36 puede escribir en ta forma fx} + f; donde 0 = # © 1. Se considera que /es ta parte fraceionaria dé x. Por ejemplo, 3.75 = 3 + 0.75, y -1.28 = —2 + 075. Encl tablean éptimo de\(51) se escriben ahora lon cocficientes de Jas variables y et lado derecho de las restricciones en ta forma {x} +, donde 0 = /'< 1. Abra (52) 6 podkia expresar como sigue ay — Bay + 0758s, + On + 025s, = 3 + 0.75 o Si todos los términos con coeficientes enteros se scomodan en el lado izquicedo-y todon Jos términos con coefieientes Fracefonaries en el lado derecho se tiene X= sy + Oy — = 07S ~ 0.785 ~ 0.255, 0 [EL algorime det plano de corte reconuienda entonces sumar las Festricciones sigurentes ai ‘tableau éptima de Ia retajacidn det PL: Lado derecho de (5a) = 0 bien, 0.75 — 0.755, — 0.253; 5 0 ) Esta resivicciOn se Mari (pot radones due pronta s€ coniprenderdin) un éarte: Enseiraida vse demuestra que un corte generaido por exte mtoda tiene dos propiedades. 1 Cunlquier posto factible para ef PE satisface el corte 2 La solucin dptima actuat para la rlajacién del PL 20 satisface el corte, Por lotanto, un corte “timita tn sotucién actual optima para tx relajacion se! PL pero 90 1 las soluciones factibles para el PE. Cuando se suma cl corte para fa relajacién det PL, hay nespecanca de obtener una sofucidn donde todas las variables sean valores eateros, Si east, se ha encontrado la solucion Optima para ef PE original. Si la nueva solucion opti- sma (para la celajacin del PL. mis el corte) tiene algunas variables con valores fracciens- rigs, entonces se ejecuta otra corte y continia el proceso. Gomory (1988) demastn’ que cesle proceso generari: una soluckén éptima para el PE despaés de un nimom finito de core tes Antes de encoarar la solocigi dpsima para el PE (31) s¢ demuestra por got el corte (35) satisface lay propiedades I y 2, eeinour 9 Pegramai nace oy rialFiguRA a3 ‘Femplo de piano de corte -Abora se demuestra que cualquier solucién factible paral PE ($1) cumplirk.con el ear- te (55). Considere cualquier punto que es factble para el PE. Para tal punto, x; yx) asue men valores enteros, y el punto debe ser factible en la relajaciin del PL de (51), Como (54) €5 justo un reacomodo de la segunda restricci del tableau éptimo, cualquier punto facti= ble para el PE debe saiisfacer (54). Cualquier solucin facible pars ol PE debe tener) = Oy-s2 = 0, Puesto que 0.75 < 1, cualquier golusién factible para el PE hard que et tudo derecho ste (54) sea menor que |. Tambien observe que para cualquier punto que es facti- ble para el PE. lado fzquierdo de ¢54) sed un entero. Por lo tanto, para cualquier punto actble para el PE, ef lado derecho debe ser un entero menor que 1. De aqui se infete que Ccunlguer punto que-es tactile para eI ME satsface (55), jpor e30 cf corte mo deja tera de sconsideracién ningiin punto entero factibte! En sequida se muestra que la solucién dptima actual para la relajacin del PL no pue~ 4d satisficer el corts ($5), La solucién dptima actual pura la relajacion del PL. tiene + = 0, Por lo tanto, no puede satisfacer (55), Este razonantiento funciona porgue 0.7S (la pte fraccionara del lado derecho de ta segunda restricetda} es mayor que 0. Por consi ‘Euiente, si escogi¢ramos cualquier resriccién cuye lado derecho en el tableau Sptimo es Fraesionario, podriamos limitar la soluciém Optima de la relajacion del PL, El efecto del corte (55) se puede ver en fa figura 33; todos los puntos fuctibles park el PE (51) satisfacen el corte (35), pero no fa solucién dpéima. neta para la relajacién det PL (4) = 3.35 y xg = 2.25). Pua obtener la grifica del cone, se emmplaza s, por 6 = xy = x3 y.53 por4$ — Sry ~ Sx. Esto nos posibilita a reescribir cl corte como 3iy + 2x3 = 1S. ‘Ahora se suma (55) al tableau Gptimo de la retajacin del PL, y mesiante ed simplex pa- 1m cl dual se resucve el PL resultante, El corte (55) se podtin escribir como —0.75sy ~ 0.2552 = ~0.75, Después de sumar una variable de holgura sy esia resirioidn, se ob- tiene el tableau de la figura 84. pt bai PE il te eel PL TABLA 64 ‘ee pact puts wma cr (55) ee a = “ 10 0 tt) os ata Oo 0 4b 238 025 0 228 2 1 0 hes oas og 315 o 0 0 9281-078 ©. flay ft pane te coe 547