Você está na página 1de 12

Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70

ISSN 1405-7743 FI-UNAM


(artículo arbitrado)

Análisis computacional de los problemas del vendedor viajero y


patrones de corte
A Computational Analysis of the Traveling Salesman and Cutting Stock Problems

Gracia María D.
Facultad de Ingeniería
Universidad Autónoma de Tamaulipas Laureano-Casanova Oscar
Correo: mgracia@uat.edu.mx
Facultad de Ingeniería
Mar-Ortiz Julio Universidad Autónoma de Tamaulipas
Correo: olaurean@uat.edu.mx
Facultad de Ingeniería
Universidad Autónoma de Tamaulipas
Correo: jmar@uat.edu.mx

Información del artículo: recibido: abril de 2013, reevaluado: mayo y septiembre de 2013, aceptado: diciembre de 2013

Resumen

En este artículo se presentan los resultados de un análisis computacional


que evalúa el impacto de las formulaciones y estrategias de solución sobre
Descriptores:
el desempeño algorítmico en dos problemas clásicos de optimización: el
problema del vendedor viajero y el problema de patrones de corte. Para ‡ SURJUDPDFLyQHQWHUD
analizar el desempeño algorítmico de las formulaciones en ambos proble- ‡ SUREOHPDYHQGHGRUYLDMHUR
mas, se usan tres variables dependientes: calidad de la solución, tiempo de ‡ SUREOHPDGHFRUWH
cómputo y número de iteraciones. Los resultados obtenidos sirven de base ‡ IRUPXODFLyQGHSUREOHPDV
™Š›ŠȱŽ•Ž’›ȱŽ•ȱŽ—˜šžŽȱŽȱœ˜•žŒ’à—ȱ™Š›ŠȱŒŠŠȱ™›˜‹•Ž–ŠȱŽœ™ŽŒÇꌘǯȱŠ›ŠȱŽ•ȱ ‡ RSWLPL]DFLyQ
STSP, los resultados demuestran que la formulación como un problema de
inserción multietapa es más eficiente que las formulaciones clásicas, al re-
solver 90.47% de las instancias en comparación a MTZ (76.19%) y DFJ
(14.28%). Los resultados para el CSP demuestran que la formulación exten-
’ŠȱŒ˜—ȱŸŠ›’Š‹•Žœȱ™˜›ȱ™Š›˜—ŽœȱŽœȱ–¤œȱŽęŒ’Ž—ŽȱšžŽȱ•Šȱ˜›–ž•ŠŒ’à—ȱŽœ¤—-
dar con desigualdades para romper simetría, cuando la función objetivo
modelada corresponde a minimizar la pérdida de material que se produce
al realizar el corte de los rollos.
Análisis computacional de los problemas del vendedor viajero y patrones de corte

Abstract

‘ŽȱŠ’–ȱ˜ȱ‘’œȱŠ›’Œ•Žȱ’œȱ˜ȱ™Ž›˜›–ȱŠȱŒ˜–™žŠ’˜—Š•ȱœž¢ȱ˜ȱŠ—Š•¢£Žȱ‘Žȱ’–™ŠŒȱ˜ȱ
˜›–ž•Š’˜—œǰȱŠ—ȱ‘Žȱœ˜•ž’˜—ȱœ›ŠŽ¢ȱ˜—ȱ‘ŽȱŠ•˜›’‘–’Œȱ™Ž›˜›–Š—ŒŽȱ˜ȱ ˜ȱŒ•Šœ-
Keywords:
œ’ŒŠ•ȱ˜™’–’£Š’˜—ȱ™›˜‹•Ž–œDZȱ‘Žȱ›ŠŸŽ•’—ȱœŠ•Žœ–Š—ȱ™›˜‹•Ž–ȱŠ—ȱ‘ŽȱŒžĴ’—ȱœ˜Œ”ȱ
™›˜‹•Ž–ǯȱ —ȱ˜›Ž›ȱ˜ȱŠœœŽœœȱ‘ŽȱŠ•˜›’‘–’Œȱ™Ž›˜›–Š—ŒŽȱ˜—ȱ‹˜‘ȱ™›˜‹•Ž–œȱ‘›ŽŽȱŽ- ‡ integer programming
™Ž—Ž—ȱŸŠ›’Š‹•Žœȱ Ž›ŽȱžœŽDZȱœ˜•ž’˜—ȱšžŠ•’¢ǰȱŒ˜–™ž’—ȱ’–ŽȱŠ—ȱ—ž–‹Ž›ȱ˜ȱ’Ž›Š- ‡ traveling salesman problem
’˜—œǯȱ ‘Žȱ ›Žœž•œȱ Š›Žȱ žœŽž•ȱ ˜›ȱ Œ‘˜˜œ’—ȱ ‘Žȱ œ˜•ž’˜—ȱ Š™™›˜ŠŒ‘ȱ ˜ȱ ŽŠŒ‘ȱ œ™ŽŒ’ęŒȱ ‡ cutting stock problem
™›˜‹•Ž–ǯȱ —ȱ‘Žȱǰȱ‘Žȱ›Žœž•œȱŽ–˜—œ›ŠŽȱ‘Šȱ‘Žȱ–ž•’œŠŽȱŽŒ’œ’˜—ȱ˜›–ž•Š- ‡ problem formulations
’˜—ȱ’œȱ‹ŽĴŽ›ȱ‘Š—ȱ‘ŽȱŒ˜—ŸŽ—’˜—Š•ȱ˜›–ž•Š’˜—œǰȱ‹¢ȱœ˜•Ÿ’—ȱşŖǯŚŝƖȱ˜ȱ‘Žȱ’—œŠ—Œ- ‡ optimization
Žœȱ Œ˜–™Š›Žȱ  ’‘ȱ ȱ ǻŝŜǯŗşƖǼȱ Š—ȱ  ȱ ǻŗŚǯŘŞƖǼǯȱ ‘Žȱ ›Žœž•œȱ ˜ȱ ‘Žȱ ȱ
Ž–˜—œ›ŠŽȱ‘Šȱ‘ŽȱŒžĴ’—ȱ™ŠĴŽ›—œȱ˜›–ž•Š’˜—ȱ’œȱ‹ŽĴŽ›ȱ‘Š—ȱ‘ŽȱœŠ—Š›ȱ˜›–ž-
•Š’˜—ȱ ’‘ȱœ¢––Ž›¢ȱ‹›ŽŠ”’—ȱ’—ŽšžŠ•’’Žœǰȱ ‘Ž—ȱ‘Žȱ˜‹“ŽŒ’ŸŽȱž—Œ’˜—ȱ’œȱ˜ȱ–’—’-
–’£Žȱ‘Žȱ•˜œœȱ˜ȱ›’–ȱ ‘Ž—ȱŒžĴ’—ȱ‘Žȱ›˜••œǯ

Introducción perdicio del corte. Observe que en esta instancia la so-


lución óptima requiere solo dos rollos.
El problema de patrones de corte (CSP, ŒžĴ’—ȱ œ˜Œ”ȱ Desde un punto de vista práctico, ambos problemas
™›˜‹•Ž–) y el problema del vendedor viajero (TSP, ›Š- surgen en diversas aplicaciones industriales. Por ejem-
ŸŽ••’—ȱœŠ•Žœ–Š—ȱ™›˜‹•Ž–) son dos de los problemas de plo, en la manufactura, el problema de programación
optimización combinatoria más estudiados en la lite- de tareas en una máquina con cambio de herramental
ratura. La declaración de ambos problemas es muy puede formularse como un TSP (González y Ríos, 1999).
simple: En la logística, Mar-Ortiz ŽȱŠ•. (2011) utilizan TSP como
una subrutina incrustada dentro de un algoritmo meta-
ȊȱȱȱDZȱŠ˜ȱž—ȱŒ˜—“ž—˜ȱŽȱ— nodos y las distancias c’“ heurístico para resolver un problema complejo de dise-
para cada par de nodos, encuentre el recorrido de ño de rutas. Una de las mayores aplicaciones del CSP es
longitud mínima de manera que se visite cada nodo en la industria de producción en masa, donde grandes
Ž¡ŠŒŠ–Ž—Žȱž—Šȱœ˜•ŠȱŸŽ£ȱ¢ȱŠ•ȱꗊ•ȱœŽȱ›Ž›ŽœŽȱŠ•ȱ—˜˜ȱ hojas o rollos deben cortarse en trozos más pequeños.
inicial. Usualmente los rollos son de materiales como papel,
ȊȱȱȱDZȱŠŠȱž—Šȱ•’œŠȱŽȱ— órdenes (demandas), donde acero, vidrio, madera, plástico y textiles. Alp ŽȱŠ•. (2006)
cada orden ’ (’ȱ= 1,..., —) requiereȱ’ piezas de longitudȱ describen una aplicación del CSP en la industria de la
•’ a ser cortadas de rollos de longitud estándar L0, de- construcción. Se hace referencia a Applegate ŽȱŠ•. (2006)
termine el número mínimo de rollos a cortar, de for- para encontrar una descripción de diversas aplicacio-
ma que todas las órdenes queden satisfechas sin —ŽœȱŽ•ȱȱŽ—ȱ•Šȱ’—žœ›’Šȱ¢ȱŒ’Š–˜œȱŠȱ¢Œ”‘˜ěȱǻŗşşŖǼȱ
exceder el largo de cada rollo. que contiene un listado de aplicaciones del CSP en di-
versas industrias de producción en masa.
Desde un punto de vista algorítmico ambos problemas
son sumamente interesantes debido a su complejidad
intrínseca, por lo que el desarrollo de métodos de solu-
ción tanto exactos como heurísticos representa un área
œž–Š–Ž—Žȱ·›’•ȱ™Š›Šȱ•Šȱ’—ŸŽœ’ŠŒ’à—ǯȱ—ȱ•Šœȱꐞ›Šœȱŗȱ
y 2 se muestran posibles soluciones para una instancia
™Š›’Œž•Š›ȱ Žȱ ŒŠŠȱ ™›˜‹•Ž–Šǯȱ Šȱ ꐞ›Šȱ ŗȱ –žŽœ›Šȱ ž—ȱ
conjunto de soluciones para el recorrido con 5 ciudades
en el TSP. Observe que para el TSP simétrico, cuando el
número de nodos es igual a —, el número de recorridos
(tours) factibles está dado por ½(—ȱ Ȯȱ ŗǼǷǯȱ Šȱ ꐞ›Šȱ Řȱ
muestra dos soluciones factibles para el CSP conside-
rando rollos de longitud igual a 20 y piezas de longitu-
des 5, 6, 7 y 10 con demandas de 2, 1, 2 y 1 unidades, )LJXUD 5HSUHVHQWDFLyQGHXQFRQMXQWRGHSRVLEOHVVROXFLRQHV
respectivamente. La parte gris sólida representa el des- SDUDXQDLQVWDQFLDSDUWLFXODUGHO763

60 Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM
Gracia María D., Mar-Ortiz Julio, Laureano-Casanova Oscar

20 20 hnson (1954), de aquí en adelante referida como DFJ,


7 10 3 5 5 7 3 la formulación de Miller, Tucker y Zemlin (1960), de
aquí en adelante referida como MTZ, y la formula-
ción de Arthanari y Usha (2000) de aquí en adelante
Rollo 1 Rollo 2 referida como ART. Se compararán las tres formula-
20 ciones en términos de tamaño y tiempos de cómpu-
6 14
to, para derivar algunas conclusiones de interés. La
segunda parte del estudio profundiza brevemente
en el análisis de la formulación DFJ analizando tres
Rollo 3
D 8QDVROXFLyQIDFWLEOH estrategias para su implementación: 1) monolítica, 2)
cortes después de solución entera y 3) cortes en el
20 20 nodo raíz.
7 7 6 5 5 10 ȊȱȱȱŗȬȮȱ•ȱŠ•ŒŠ—ŒŽȱŽȱŽœŽȱŠ—¤•’œ’œȱŒ˜—œ’œŽȱŽ—ȱŒ˜–™Š-
rar tres formas de abordar el CSP unidimensional
con el objetivo de minimizar la pérdida de material:
Rollo 1 Rollo 2
1) formulación estándar con variables x’“, ¢“, 2) for-
E /DVROXFLyQySWLPD mulación estándar con desigualdades para romper
)LJXUD 5HSUHVHQWDFLyQGHOEHQHILFLRGHXQDVROXFLyQySWLPD simetrías y 3) formulación extendida (con variables
HQHO&63 por patrones), donde se generan variables solo en el
nodo raíz del árbol de ramificación y acotamiento
(‹›Š—Œ‘ȬŠ—Ȭ‹˜ž—).
En la literatura es común encontrar diferentes va-
riantes de ambos problemas. Este documento estudia El resto de este documento se organiza de la siguiente
un caso particular de cada problema: el TSP simétrico manera: la segunda sección describe los modelos mate-
(STSP, œ¢––Ž›’Œȱ›ŠŸŽ•ȱœŠ•Žœ–Š—ȱ™›˜‹•Ž–), y el CSP uni- máticos del STSP y 1-CSP, la tercera describe el estudio
dimensional (1-CSP, ˜—ŽȬ’–Ž—œ’˜—Š•ȱ ŒžĴ’—ȱ œ˜Œ”ȱ ™›˜- computacional y analiza los resultados, por último, la
‹•Ž–). Gutin y Punnen (2004) presentan un análisis del cuarta sección ofrece las conclusiones del estudio.
TSP y sus variantes, y Haessler y Sweeney (1991) dan
una descripción de las variantes del CSP y sus procedi-
Formulaciones matemáticas
mientos de solución.
Šȱ’ęŒž•ŠȱŒ˜–™žŠŒ’˜—Š•ȱŽ•ȱȱ•˜ȱ‘Šȱœ’žŠ˜ȱ 3UREOHPDVLPpWULFRGHOYHQGHGRUYLDMHUR
como una fuente para la enseñanza de modelos y algo-
ritmos de programación entera (Pataki, 2003; Lee y El problema simétrico del vendedor viajero (STSP,
ŠěŽ—œ™Ž›Ž›ǰȱ ŘŖŖŜǼȱ ¢ȱ Œ˜–‹’—Š˜›’Šǰȱ Ž‹’˜ȱ Š•ȱ ›Ž˜ȱ œ¢––Ž›’Œȱ›ŠŸŽ•’—ȱœŠ•Žœ–Š—ȱ™›˜‹•Ž–Ǽȱ›Žšž’Ž›Žȱ•ŠȱŽę—’-
pedagógico que implica enseñar a resolver el proble- ción de un grafo no dirigido G = (V, E), donde ȱ= {1,…,
ma. El TSP también da pie a la enseñanza de muchos —} es un conjunto de nodos y E = {(’, “Ǽȱȩȱŗȱǂȱ’ < “ȱǂȱ—} es
métodos de la investigación de operaciones, incluyen- un conjunto de aristas. Para cada arista (’, “)  ȱel cos-
do los planos de corte (ŒžĴ’—ȱ ™•Š—Žœ), algoritmos to de transitarla c’“ se conoce. El problema consiste en
aproximados, relajación lagrangeana y el método sub- encontrar el subconjunto de aristas que formen un re-
gradiente, así como diversos enfoques heurísticos corrido de mínima longitud. Un recorrido puede ser
(›ŽŽ¢ǰȱ ”Ȭ˜™) y metaheurísticos (Búsqueda Tabú, Al- denotado como una permutación ¢’1, ’2,..., ’—, ’1 ² de los
goritmos Genéticos). nodos en V.
El principal objetivo de esta investigación consiste En el TSP asimétrico se considera la existencia de la
en efectuar un estudio computacional para analizar el variable de decisión x’“ cuyo valor es 1 si se transita del
impacto de las formulaciones, y de la estrategia de solu- nodo ’ al nodo “ dentro de la solución, y 0 si no. Sin em-
ción sobre el desempeño algorítmico en los dos proble- bargo, para formular el TSP simétrico, se debe notar
mas contemplados. El alcance de este estudio para cada que la dirección viajada es indistinta (c’“ = c“’), debido a
problema se describe a continuación: que la dirección no tiene importancia al considerar un
grafo con arcos no dirigidos entre cada par de nodos.
ȊȱȱȱȮȱ•ȱŽœž’˜ȱŒ˜—œŠȱŽȱ˜œȱ™Š›ŽœǰȱŽ—ȱ•Šȱ™›’–Ž›Šȱ Así, sea x’“  {0, 1} la variable de decisión que indica si la
se comparan tres formulaciones diferentes para el arista (’, “)  E del grafo no dirigido se utiliza o no. La
DZȱ •Šȱ ˜›–ž•ŠŒ’à—ȱ Žȱ Š—ĵ’ǰȱ ž•”Ž›œ˜—ȱ ¢ȱ ˜- formulación DFJ está dada por:

Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM 61
Análisis computacional de los problemas del vendedor viajero y patrones de corte

se resuelve el problema entero, iterando como en la


Minimizar ¦
( ’ , “ )
c’“ ˜ x’“ (1) estrategia de cortes después de la solución entera.

A diferencia de la formulación anterior, la formulación


sujeta a MTZ requiere un número polinomial de restricciones
O(—2). Para ello se utiliza una variable de decisión conti-
¦ x’“  ¦ x “” 2 j  V (2) nua u’ȱǃȱŖȱšžŽȱŒ˜—Š‹’•’£ŠȱŽ•ȱ—ø–Ž›˜ȱŽȱ—˜˜œȱǻŒ’žŠ-
’ , “  “ ,”  des) visitadas después de visitar el nodo ’. Pese a que la
variable u’ȱŽœ¤ȱŽę—’ŠȱŒ˜–˜ȱŒ˜—’—žŠǰȱ•Šȱ˜›–ž•ŠŒ’à—ȱ
del problema la obliga a tomar valores enteros. La for-
¦
( ’ , “ )  : ’ , “
¡’ “ d   1    : 2 d  d —  1 (3) mulación de MTZ está dada por:

x’ “  ^0,1`  i, j  E (4)
Minimizar ¦
( ’ , “ ) 
c’ “ ˜ x’ “ (1)

sujeta a
La función objetivo (1) minimiza la distancia total reco-
rrida. La ecuación (2) establece las condiciones de gra-
do en los nodos. Esta restricción asegura que cada nodo
¦ x’“  ¦ x “” 2 j  V (2)
’ , “  “ ,” 
esté contenido en exactamente dos de las aristas selec-
cionadas. Dicha restricción reemplaza las restricciones ž’  ž“  —  1 ¡’ “ d —  2 i, j  V : i, j ! 1, i z j
de asignación en el TSP asimétrico. La ecuación (3) esta-
blece las condiciones de eliminación de subtours, don- (5)
de S se forma por todos los subconjuntos de V de
x’ “  ^0,1`  i, j  E (4)
cardinalidad mayor o igual que 2 nodos. En general
esta restricción asegura que dentro de cada subconjun-
(6)
to de nodos de cardinalidad |S| existan |S| – 1 aristas, 1 d ui d n  1 i  V , i ! 1
evitando así la formación de subtours.
Uno de los problemas con la formulación de DFJ es
que el número de desigualdades para eliminación de Las ecuaciones (1), (2) y (4) son las mismas que en el
subtours es exponencial. Dado un conjunto de — nodos, modelo DFJ. La ecuación (5) remplaza las restricciones
el número de desigualdades de eliminación de sub- de eliminación de subtours (ecuación 3) de la formula-
tours es del orden de O(2—–1). Por ello, en este documen- ción DFJ. La ecuación (6) establece las cotas para la va-
to se describen y comparan tres estrategias de solución riable u’. Se debe notar que ambas formulaciones, DFJ y
dada esta formulación: MTZ, requieren O(—2) variables binarias. Sin embargo,
la estructura poliédrica del modelo DFJ es más entendi-
1) Monolítica: en la cual se utilizan explícitamente to- ble, lo que resulta en una relajación lineal más fuerte. El
das las O(2—-1) restricciones de eliminación de sub- politopo dado por la relajación lineal de la formulación
tours. DFJ se llama el politopo de eliminación de subtours
2) Cortes después de solución entera: se inicia resol- (SEP, œž‹˜ž›ȱŽ•’–’—Š’˜—ȱ™˜•¢˜™Ž). El SEP se conoce por
viendo el problema entero solo con las restricciones ser un politopo más compacto en relación al obtenido
Žȱ›Š˜ȱŽ—ȱ•˜œȱ—˜˜œǰȱœŽȱŸŽ›’ęŒŠȱšžŽȱ•Šȱœ˜•žŒ’à—ȱœŽŠȱ por otras formulaciones, en el sentido de que se ajusta
un recorrido, es decir, que no existan subtours; si los estrechamente alrededor del politopo del TSP.
hay, se agrega a la formulación la restricción requeri- La formulación del STSP como un problema de in-
da y se vuelve a resolver. El procedimiento termina serción multietapa (Arthanari y Usha, 2000) es una for-
ŒžŠ—˜ȱœŽȱŸŽ›’ęŒŠȱšžŽȱ•Šȱœ˜•žŒ’à—ȱœŽŠȱž—ȱ›ŽŒ˜››’˜ǯ mulación más compacta que las anteriores. Más aún,
3) Cortes en el nodo raíz: esta estrategia consta de dos Arthanari y Usha (2000) demostraron que el politopo
etapas. La primera etapa inicia solo con las restriccio- dado por la relajación lineal de dicha formulación es un
nes de grado en los nodos, se resuelve la relajación subconjunto del SEP, cuando se proyecta dentro del es-
lineal del problema, agregando iterativamente las pacio de variables del DFJ. La formulación ART para el
restricciones de eliminación de subtours conforme se STSP considera (— – 3) etapas de inserción secuencial de
requieren, cuando ninguna restricción de subtour se nodos dentro del recorrido inicial T3 = ¢1, 2, 3, 1². Conti-
viola, termina la primera etapa. En la segunda etapa nuando con la nomenclatura anterior, dado un conjun-

62 Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM
Gracia María D., Mar-Ortiz Julio, Laureano-Casanova Oscar

to de nodos ȱ = {1,…, —}. Los nodos 4 a — se insertan T3 = ¢1, 2, 3, 1². La restricción (10) establece que un nodo
secuencialmente entre los nodos del recorrido inicial. será insertado dentro de una arista del subtour solo si
Sea x’“”  {0, 1} la variable de decisión que toma el valor esa arista se generó por inserciones previas y está dis-
1 si el nodo ” se inserta entre los nodos ’ y “ǰȱ™Š›Šȱŗȱǂȱ’ < ponible. La formulación ART requiere O(—3) variables
“ȱǂȱ”ȱȮȱŗǰȱŚǂȱ”ȱǂȱ— y cero en otro caso. Sea c’“ el costo de binarias y O(—2) restricciones.
transitar la arista (’, “)  E y sea ’“” = c’” + c“” – c’“. La for- La tabla 1 muestra una comparación del número de
mulación de ART está dada por: variables y restricciones de las tres formulaciones.
n
Minimizar ¦ ¦ C
k 4 1di  j d k 1
ijk ˜ xijk (7)
3UREOHPDXQLGLPHQVLRQDOGHSDWURQHVGHFRUWH
Considere — tipos de piezas que se van a cortar de rollos
sujeta a de longitud estándar L0. Para cada tipo ’ = 1,..., —, ’ de-
nota la demanda y •’ el largo de cada pieza tipo ’, donde
¦x ijk 1 4 d k d n (8) •’ȱǂȱL0 para cadaȱ’. Se supone que el número de rollos es
1di  j d k 1 ilimitado, sin embargo, basta considerar ”0
—
¦

’ 1 ’

n
rollos de largo estándar. Un caso especial en el cual solo
¦x
k 4
ijk d1 1 d i  j d 3 (9) una pieza de cada tipo de producto ’ se ordena, es decir,
’ = 1 ’, se conoce como el problema de empaqueta-
miento (BPP, ‹’—Ȭ™ŠŒ”’—ȱ™›˜‹•Ž–). Sea x’“ la variable de
i 1 j 1 n decisión que representa la cantidad de piezas tipo ’ (’ =
 ¦ xrij  ¦x isj  ¦x ijk d0 4 d j d n  1, 1 d i  j 1,…, —) obtenidas del rollo “ (“ = 1,…, ”0), y ¢’  {0, 1} la
r 1 s i 1 k j 1 variable de decisión que indica si el rollo “ȱse usa o no.
(10) Si el objetivo del modelo fuera minimizar el número de
rollos usados, la función objetivo estaría dada por: mín
xijk  ^0,1` 1 d i  j d k  1, 4 d k d n
¦ ”“˜ 1 ¢ “ . Sin embargo, para el caso en el que se busca
minimizar la pérdida de material o desperdicios del
(11) corte, la formulación estándar (CSPm1) está dada por:
k0

La función objetivo (7) minimiza el costo total incre- Minimizar ¦R


j 1
j (12)
mental del recorrido obtenido mediante la inserción de
los nodos. Debido a que el costo del recorrido inicial (c12 sujeta a
+ c13 + c23) es el mismo para cualquier recorrido de una
instancia dada, no se incluye en la función objetivo de ”0

la formulación. La restricción en la ecuación (8) garanti- ¦¡


“ 1
’“
’ i 1,..., n (13)
za que cada nodo de 4 a — quede insertado en una aris-
ta. La restricción (9) asegura que como máximo un —
nodo sea insertado en cada una de las aristas de ¦• ˜¡
’ 1
’ ’“
 “ 0 ˜ ¢ “ j 1,..., k 0 (14)

7DEOD1~PHURGHYDULDEOHV\UHVWULFFLRQHVGHODVIRUPXODFLRQHV')-07=\$57
Variables
Formulación Restricciones Variables binarias continuas

 ȬȱŠ—ĵ’ǰȱž•”Ž›œ˜—ȱ¢ȱ ˜‘—œ˜—ȱ —(n  1)


2—ȭ1+—ȭ1
(1954) 2

—(n  1)
MTZ- Miller, Tucker y Zemlin (1960) —2ȭ—Ƹ2 (—ȭ1)
2

—(n  1) 1
ART- Arthanari y Usha (2000) 2 ˜ ¦ —” 4 ( ”  1)( ”  2)
2 2

Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM 63
Análisis computacional de los problemas del vendedor viajero y patrones de corte

¡’“    i 1,..., n j 1,..., k 0 (15) m


Minimizar ¦W
j 1
j ˜ xj (19)

y j  ^0,1` j 1,..., k 0 (16)

sujeta a
Rj t 0 j 1,..., k 0 (17)
–

¦Š
“ 1
’“
˜ ¡“ ’ ’ 1,..., — (20)
donde la variable de decisión continua “ȱǃȱŖȱ›Ž™›ŽœŽ—Šȱ
la parte sobrante (pérdida) del rollo “. La ecuación (13)
establece que toda la demanda de cada pieza tipo ’ debe xj  Z  “ 1,... , – (21)
satisfacerse. La ecuación (14) establece que la longitud
de cada rollo que se corta, no debe excederse en la ob- Es fácil ver que, en general, el número de patrones de
tención de las piezas. Esta formulación requiere O(—2) corte requeridos es muy grande, por lo que en lugar de
variables enteras y O(—) variables binarias. enumerar todos los posibles patrones de corte “, se pue-
El principal problema de esta formulación, además de comenzar con un pequeño conjunto de patrones ini-
de contar con una gran cantidad de variables enteras y ciales y resolver utilizando un enfoque de generación
binarias, consiste en que existen muchas formas de re- de columnas (Wolsey, 1998). Este conjunto inicial pue-
presentar una misma solución (”0!), resultando en un de crearse de dos formas: la más básica consiste en indi-
problema conocido como multiplicidad de soluciones, car que para cada pieza de largo •’ se requiere un rollo
–’œ–˜ȱšžŽȱŒ›ŽŠȱœ’–Ž›ÇŠœȱŽ—ȱŽ•ȱ¤›‹˜•ȱŽȱ›Š–’ęŒŠŒ’à—ȱ¢ȱ completo; por otro lado, un conjunto inicial más avan-
acotamiento (por ejemplo, múltiples nodos con la zado de patrones se forma indicando que de un rollo se
misma solución). Para romper simetrías basta con agre- obtienen ¬L0/•’¼ piezas de largo •’. En general, los patro-
gar a la formulación anterior una nueva restricción: nes de corte iniciales proveen una solución factible ini-
cial de baja calidad, la cual mejora conforme se
— — ŽœŠ››˜••Šȱ Ž•ȱ Š•˜›’–˜ǯȱ Š›Šȱ Ž“Ž–™•’ęŒŠ›ǰȱ Œ˜—œ’Ž›Žȱ
¦• ˜¡
’ 1
’ ’“
t ¦ •’ ˜ ¡’ , “ 1
’ 1
j 1,..., k 0  1 ( 18 ) una instancia con 4 tipos de piezas con •’ = [30 50 70 25]
y ’ = [1 2 2 1] y rollos de L0 = 100. Si inicialmente se
declaran los patrones: {<0, [1 0 0 0]> <1, [0 1 0 0]> <2,
la cual asegura que para cada rollo “, la cantidad de ma- [0 0 1 0]> <3, [0 0 0 1]>} (con 6“ W“ = 70 + 100 + 60 + 75
terial obtenido de dicho rollo debe ser mayor que lo ob- = 305). Se esperaría que el procedimiento generara al
tenido en el rollo “+1. El modelo resultante será iden- menos los siguientes patrones: {<4, [1 0 1 0]> <5, [0 2
’ęŒŠ˜ȱŒ˜–˜ȱ–Řǯ 0 0]> <6, [0 0 1 1]>} (con 6“ W“ = 0 + 0 + 5 = 5). Con lo
La formulación anterior aún puede mejorarse. Una cual se minimizaría el desperdicio total.
forma de hacerlo es acotar el conjunto de soluciones, Para encontrar un nuevo patrón que añadir al con-
Žę—’Ž—˜ȱM ={conjunto de todos los patrones de corte junto de columnas bajo consideración, se debe observar
factibles} (Gilmore y Gomory, 1961). Manteniendo la el costo reducido V“ de la columna x“. El subproblema
nomenclatura anterior, donde ’ es la demanda para las para encontrar el posible patrón de corte con el costo
piezas de largo •’, se supone que los rollos (de largo es- reducido más negativo está dado por:
tándar L0) se pueden cortar usando patrones “. Los posi-
bles patrones se denotan por Š’“, y representan el
­ n n
½
número de piezas de largo •’ que se obtienen al aplicar
el patrón “. El número de veces que el patrón “ se usa
mín ®1 
¯
¦ S i ˜ yi : ¦ li ˜ yi d L0 , yi  Z  ¾
i 1 i 1 ¿
(22)

está dado por x“ǯȱ ’ȱ œŽȱ Žę—Žȱ Œ˜–˜ȱ W“ el desperdicio


cuando se aplica el patrón “ en el rollo, tal que: En los últimos años, se han realizado esfuerzos para
atacar el 1-CSP por medio de programación lineal basa-
“ 0  ¦ —’ 1 Š’“ ˜ •’ ŠȱŽ—ȱŽ•ȱŠ•˜›’–˜ȱŽȱ›Š–’ęŒŠŒ’à—ȱ¢ȱ™›ŽŒ’˜ȱǻ‹›Š—Œ‘ȬŠ—Ȭ
™›’ŒŽǼǰȱšžŽȱŒ˜–‹’—ŠȱŽ•ȱŠ•˜›’–˜ȱŽȱ›Š–’ęŒŠŒ’à—ȱ¢ȱ™˜Šȱ
el CSP que utiliza patrones de corte con el objetivo de con generación de columnas; y mediante planos de cor-
–’—’–’£Š›ȱŽ•ȱŽœ™Ž›’Œ’˜ȱǻŠ•ȱŒžŠ•ȱœŽȱ›ŽęŽ›ŽȱŽȱŠšžÇȱŽ—ȱ te de propósito general del tipo Chvátal-Gomory. Belov
adelante como CSPm3) está dado por: y Scheithauer (2006) propusieron una combinación de

64 Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM
Gracia María D., Mar-Ortiz Julio, Laureano-Casanova Oscar

ambos enfoques donde cada nodo del árbol de Del análisis de la tabla 2 se derivan las siguientes
ramificación y precio se refuerza mediante cortes Chvá- conclusiones: la formulación MTZ fue capaz de encon-
tal-Gomory y cortes MIP de Gomory. trar la solución óptima en 16 de las 21 instancias utiliza-
das (76.19%), en un tiempo promedio de 46.87 segundos.
Para los casos en los que no se logró la solución óptima,
Estudio computacional
el DEV promedio alcanzó 0.80%. Pese a que en la ins-
En esta sección presentamos los resultados experimen- tancia más grande rat99 (— = 99) se llegó a la solución
tales obtenidos. Las formulaciones y estrategias de so- óptima, la instancia pr76 (— = 76) obtuvo un DEV de
lución se implementaron en IDE OPL Studio, y ILOG 2.10%. La formulación DFJ solo fue factible para 3 de las
CPLEX v.12.2 se utilizó como el motor de optimización. 21 instancias con (— d 17), en los tres casos se alcanzó la
Todos los experimentos se realizaron en una PC Acer solución óptima en un tiempo promedio de 14.33 se-
Aspire 5530 con procesador AMD Athlon X2 Dual Core gundos. La formulación ART fue capaz de encontrar la
de 1.9 GHz y 2 GB de memoria RAM. Para el estudio solución óptima en 19 de las 21 instancias utilizadas
computacional del STSP se utilizaron 21 de las instan- (90.47%), en un tiempo promedio de 42.71 segundos.
cias geométricas del TSPLIB1. Por su parte, para el Cuando ART no logró la solución óptima, el DEV pro-
1-CSP se utilizaron 188 instancias agrupadas en tres medio fue 1.60%. Por lo que la formulación ART sobre-
conjuntos: sDAT0, sDAT1 y hard282. Para todos los ex- sale sobre las otras dos formulaciones en términos de
perimentos se estableció un tiempo límite de 1 hora, calidad de la solución y tiempo de cómputo.
reportando la mejor solución encontrada hasta el mo- ¡™Ž›’–Ž—˜ȱŘȮȱ˜–™Š›ŠŒ’à—ȱŽȱ›ŽœȱŽœ›ŠŽ’Šœȱ™Š›Šȱ›Ž-
–Ž—˜ǯȱŠ›ŠȱŒ˜–™Š›Š›ȱ•ŠȱŽęŒ’Ž—Œ’ŠȱŽȱ•Šœȱ˜›–ž•ŠŒ’˜—Žœȱ œ˜•ŸŽ›ȱ ǯ La estrategia –˜—˜•Ç’ŒŠ ya se implementó en
y estrategias utilizadas, para cada instancia se calculó la el experimento anterior. Sin embargo, sus resultados se
desviación (DEV) respecto a la mejor solución encon- comparan con los obtenidos mediante las estrategias de
trada (BEST): ȱ= (( – )/ ) u 100, la cual cortes después de la solución entera y cortes en el nodo
estima la calidad de la solución, se analiza el tiempo de raíz. La tabla 3 muestra los resultados obtenidos en am-
cómputo y número de iteraciones. bas estrategias. Las columnas 3, 4 y 5 muestran respec-
tivamente el número de iteraciones requeridas, el
tiempo para alcanzar la solución y la solución obtenida
Estudio del STSP
al implementar la estrategia de Œ˜›ŽœȱŽœ™ž·œȱŽȱœ˜•žŒ’à—ȱ
¡™Ž›’–Ž—˜ȱ ŗȮȱ ˜–™Š›ŠŒ’à—ȱ ǰȱ  ȱ ¢ȱ. En este Ž—Ž›Š. Por su parte, las columnas 6, 7 y 8 hacen lo co-
primer experimento, se comparan las formulaciones rrespondiente para la estrategia de Œ˜›ŽœȱŽ—ȱŽ•ȱ—˜˜ȱ›ŠÇ£.
DFJ, MTZ y ART. La tabla 2 muestra los resultados ob- —ȱ —Ž›’Šœȱ œŽȱ ’Ž—’ęŒŠȱ •Šȱ –Ž“˜›ȱ œ˜•žŒ’à—ȱ Ž—Œ˜—›ŠŠȱ
tenidos al comparar las tres formulaciones en 21 de las hasta el momento. Cuando esta corresponde a la solu-
instancias geométricas del TSPLIB. La columna 2 indica Œ’à—ȱà™’–ŠǰȱœŽȱ’Ž—’ęŒŠȱŒ˜—ȱž—ȱǻȘǼǯȱžŠ—˜ȱ•ŠȱŒ˜–™ž-
el nombre de la instancia conforme a la nomenclatura tadora se quedó sin memoria tanto el tiempo como la
del TSPLIB, la columna 3 indica el número de ciudades œ˜•žŒ’à—ȱ œŽȱ ’Ž—’ęŒŠ—ȱ ™˜›ȱ ž—ȱ ž’à—ȱ ȃȯȃǯȱ žŠ—˜ȱ Š•ȱ
contempladas en la instancia (—), mientras que la co- terminar el tiempo límite, la estrategia de cortes en el
lumna 4 indica para cada instancia la mejor solución nodo raíz, aún está iterando en la relajación lineal, la
reportada (BEST) en el TSPLIB. De las columnas 5 a 7 se solución reportada corresponde al de la última iteración
encuentran el número de restricciones, variables bina- y se identifica como (r).
rias y solución encontradas con la formulación MTZ. El Del análisis conjunto de ambos experimentos se ob-
resto de las columnas indican lo propio para las formu- tienen las siguientes conclusiones: la estrategia de cor-
laciones DFJ y ART, respectivamente. En negritas se tes después de la solución entera parece ser la mejor
’Ž—’ęŒŠȱ •Šȱ –Ž“˜›ȱ œ˜•žŒ’à—ȱ Ž—Œ˜—›ŠŠȱ ‘ŠœŠȱ Ž•ȱ –˜- forma de atacar los problemas del STSP, al ser capaz de
mento. Cuando esta corresponde a la solución óptima, alcanzar la solución óptima en 19 de las 21 instancias
œŽȱ’Ž—’ęŒŠȱŒ˜—ȱž—ȱǻȘǼǯȱžŠ—˜ȱŽ—ȱŽ•ȱ’Ž–™˜ȱŽœŠ‹•ŽŒ’- consideradas (90.47%), en un tiempo promedio de 99
do de computo no fue posible encontrar una solución segundos. Pese a que la estrategia de cortes en el nodo
factible, en la casilla correspondiente se observa un ›ŠÇ£ȱ—˜ȱŒ˜››’àȱŽ•ȱ’Ž–™˜ȱœžęŒ’Ž—ŽȱŽ—ȱ˜˜œȱ•Šœȱ’—œŠ—-
guión “—“. cias, esta fue capaz de encontrar la solución óptima
para dos de las instancias en que el MTZ no pudo. En
'LVSRQLEOHHQKWWSFRPRSWL¿XQLKHLGHOEHUJGHVRIWZDUH algunas instancias como la brazil58, gr17 ó hk48, la es-
TSPLIB95
trategia de cortes en el nodo raíz, llegó a la solución
'LVSRQLEOHHQKWWSZZZPDWKWXGUHVGHQGHaFDSDGFSG
ti.html óptima en menos tiempo que cualquier otra estrategia.

Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM 65
Análisis computacional de los problemas del vendedor viajero y patrones de corte

7DEOD&RPSDUDFLyQGHODVIRUPXODFLRQHV')-07=\$57HQUHODFLyQDOQ~PHURGHUHVWULFFLRQHVQ~PHURGHYDULDEOHV
ELQDULDV\VROXFLyQHQFRQWUDGD
MTZ DFJ ART
# Instancia n BEST # Rest. # vars Sol. # Rest. # vars Sol. # Rest. # vars Sol.

1 2 3 4 5 6 7 8 9 10 11 12 13

1 burma14 14 řřŘřȘ 210 91 řřŘřȘ 8192 91 řřŘřȘ 89 363 řřŘřȘ

2 bayg29 29 ŗŜŗŖȘ 870 406 ŗŜŗŖȘ 268435456 406 — 404 3653 ŗŜŗŖȘ

3 bays29 29 ŘŖŘŖȘ 870 406 ŘŖŘŖȘ 268435456 406 — 404 3653 ŘŖŘŖȘ

4 berlin52 52 ŝśŚŘȘ 2756 1326 ŝśŚŘȘ 2.2518E+15 1326 — 1324 22099 ŝśŚŘȘ

5 brazil58 58 ŘśřşśȘ 3422 1653 25400 1.4412E+17 1653 — 1651 30855 ŘśřşśȘ

6 eil51 51 ŚŘŜȘ 2652 1275 ŚŘŜȘ 1.1259E+15 1275 — 1273 20824 ŚŘŜȘ

7 eil76 76 śřŞȘ 5852 2850 śřŞȘ 3.7779E+22 2850 — 2848 70299 śřŞȘ

8 fri26 26 şřŝȘ 702 325 şřŝȘ 33554432 325 — 323 2599 şřŝȘ

9 gr17 17 ŘŖŞśȘ 306 136 ŘŖŞśȘ 65536 136 ŘŖŞśȘ 134 679 ŘŖŞśȘ

10 gr21 21 ŘŝŖŝȘ 462 210 ŘŝŖŝȘ 1048576 210 — 208 1329 ŘŝŖŝȘ

11 gr24 24 ŗŘŝŘȘ 600 276 ŗŘŝŘȘ 8388608 276 — 274 2023 ŗŘŝŘȘ

12 gr48 48 śŖŚŜȘ 2352 1128 śŖŚŜȘ 1.4074E+14 1128 — 1126 17295 śŖŚŜȘ

13 gr96 96 55209 9312 4560 56178 3.9614E+28 4560 — 4558 142879 55937

14 hk48 48 ŗŗŚŜŗȘ 2352 1128 ŗŗŚŜŗȘ 1.4074E+14 1128 — 1126 17295 ŗŗŚŜŗȘ

15 pr76 76 108159 5852 2850 110437 3.7779E+22 2850 — 2848 70299 109975

16 rat99 99 ŗŘŗŗȘ 9900 4851 ŗŘŗŗȘ 3.1691E+29 4851 — 4849 156848 ŗŘŗŗȘ

17 st70 70 ŜŝśȘ 4970 2415 676 5.903E+20 2415 — 2413 54739 ŜŝśȘ

18 Swiss42 42 ŗŘŝřȘ 1806 861 ŗŘŝřȘ 2.199E+12 861 — 859 11479 ŗŘŝřȘ

19 ulysses16 16 ŜŞśşȘ 272 120 ŜŞśşȘ 32768 120 ŜŞśşȘ 118 559 ŜŞśşȘ

20 ulysses22 22 ŝŖŗřȘ 506 231 ŝŖŗřȘ 2097152 231 — 229 1539 ŝŖŗřȘ

21 Š—ĵ’—ŚŘ 42 ŜşşȘ 1806 861 ŜşşȘ 2.199E+12 861 — 859 11479 ŜşşȘ

Por ello, en ciertos casos puede ser una estrategia suma- dos, es decir, al número de restricciones de eliminación
–Ž—ŽȱŽęŒ’Ž—Žȱœ’ȱœŽȱŽ“ŠȱŒ˜››Ž›ȱ™˜›ȱž—ȱ’Ž–™˜ȱœžęŒ’Ž—- de subtours efectivamente requeridas.
temente largo. Debido a que ambas formulaciones
(MTZ y DFJ) requieren el mismo número de variables (VWXGLRGHO&63
binarias (vea formulaciones en la sección del problema
simétrico del vendedor viajero), la complejidad del pro- Para el estudio del 1-CSP se comparan los tres modelos
blema está en relación con el número de restricciones. CSPm1, CSPm2 y CSPm3 en términos de calidad de las
Sin embargo, se debe notar que para la estrategia de soluciones y tiempo necesario para resolver las instan-
cortes después de solución entera, el número de itera- cias de los tres conjuntos. Por cuestiones de espacio, la
ciones corresponde al número de cortes implementa- tabla 4 muestra los resultados obtenidos al comparar

66 Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM
Gracia María D., Mar-Ortiz Julio, Laureano-Casanova Oscar

7DEOD5HVXOWDGRVGHODVHVWUDWHJLDVFRUWHGHVSXpVGHVROXFLyQHQWHUD\FRUWHVHQHOQRGRUDt]
Cortes después de solución entera Cortes en el nodo raíz
# Instancia # Iteraciones Tiempo Sol. # Iteraciones Tiempo Sol.
1 2 3 4 5 6 7 8
1 burma14 56 00:00:06:13 řřŘřȘ 5757 01:00:00:00 3108(r)

2 bayg29 69 00:00:01:13 ŗŜŗŖȘ 69 00:00:02:94 ŗŜŗŖȘ

3 bays29 157 00:00:01:79 ŘŖŘŖȘ 88 00:00:02:09 ŘŖŘŖȘ

4 berlin52 107 00:00:00:98 ŝśŚŘȘ 107 00:00:01:63 ŝśŚŘȘ

5 brazil58 32276 00:04:40:84 ŘśřşśȘ 32276 00:03:39:14 ŘśřşśȘ

6 eil51 117 00:00:03:53 ŚŘŜȘ 117 00:00:04:61 ŚŘŜȘ

7 eil76 145 00:00:04:51 śřŞȘ 145 00:00:05:56 śřŞȘ

8 fri26 58 00:00:00:84 şřŝȘ 58 00:00:01:52 şřŝȘ

9 gr17 107 00:00:07:05 ŘŖŞśȘ 136 00:00:05:52 ŘŖŞśȘ

10 gr21 1 00:00:00:25 ŘŝŖŝȘ 1 00:00:00:42 ŘŝŖŝȘ

11 gr24 41 00:00:00:30 ŗŘŝŘȘ 55 00:00:01:62 1326

12 gr48 12625 00:01:15:23 śŖŚŜȘ 2757 00:02:34:48 5078

13 gr96 97409 01:00:00:00 55219 ---- ---- ----

14 hk48 156 00:00:17:47 ŗŗŚŜŗȘ 156 00:00:06:61 ŗŗŚŜŗȘ

15 pr76 46142 00:05:16:65 ŗŖŞŗśşȘ 2213 01:00:00:00 99345(r)

16 rat99 488 00:00:26:92 ŗŘŗŗȘ 1460 01:00:00:00 1201(r)

17 st70 3591 00:01:12:15 ŜŝśȘ 3591 00:01:40:72 ŜŝśȘ

18 Swiss42 79 00:00:01:82 ŗŘŝřȘ 80 00:00:01:82 ŗŘŝřȘ

19 ulysses16 209 00:00:07:70 ŜŞśşȘ 4089 01:00:00:00 6276(r)

20 ulysses22 54 00:48:17:59 6890 229 01:00:00:00 6836(r)

21 Š—ĵ’—ŚŘ 190 00:00:15:87 ŜşşȘ 2907 01:00:00:00 644(r)

las tres formulaciones en las primeros 17 instancias del poco más de tiempo 1021.15, pero el gap promedio bajó
conjunto sDAT0. La columna 2 indica el nombre de la 16.5%. El conjunto sDAT1 parece ser el más difícil de los
instancia, la columna 3 indica el número de tipos de tres conjuntos de instancias, donde el número de piezas
piezas en la instancia (—), las columnas 4, 5, 6 y 7 indican va desde 231 a 246. En las instancias sDAT1 y hard28 el
para cada instancia la solución alcanzada, el tiempo re- –Řȱ™Š›ŽŒŽȱŽ—›Ž—Š›ȱ’ęŒž•ŠŽœǰȱ™žŽœȱŽ—ȱŠ•ž—˜œȱ
querido para tal solución, la mejor cota encontrada y el ŽȱŽ••˜œȱ•˜œȱřŜŖŖȱœŽž—˜œȱ—˜ȱœ˜—ȱœžęŒ’Ž—Žœȱ™Š›ŠȱŽ—-
gap porcentual para CSPm1. El resto de las columnas contrar una solución factible. El CSPm3 utiliza patrones
hacen lo propio para CSPm2 y CSPm3. de corte, pero debido a que el número de estos puede
Del análisis experimental en los tres conjuntos de ser muy grande, se utiliza la estrategia de iniciar con un
instancias se derivan las siguientes conclusiones: el mo- subconjunto de estos patrones, y posteriormente gene-
delo CSPm1 requirió un tiempo promedio de 569.13 rar patrones de corte más adecuados en el nodo raíz del
segundos y la exploración de 300,170 nodos en el árbol ¤›‹˜•ȱ Žȱ ›Š–’’ŒŠŒ’à—ȱ ¢ȱ ŠŒ˜Š–’Ž—˜ǰȱ ™Š›Šȱ ꗊ•–Ž—Žȱ
Žȱ›Š–’ęŒŠŒ’à—ȱ¢ȱŠŒ˜Š–’Ž—˜ȱŽ—ȱ™›˜–Ž’˜ǰȱŽ•ȱŠ™ȱ™›˜- resolver el problema como un modelo entero.
medio fue 22.14%. El CSPm2 requirió (en promedio) un

Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM 67
Análisis computacional de los problemas del vendedor viajero y patrones de corte

Tabla 4.3DUWHGHOFRQMXQWRGHLQVWDQFLDVV'$7SDUDHO&63
CSPm1 CSPm2 CSPm3

Mejor Mejor
# Nombre — Sol. Tiempo (s) Cota Gap (%) Sol. Tiempo (s) Cota Gap (%) Sol. Tiempo (s)

1 2 3 4 5 6 7 8 9 10 11 12 13

1 bpp1 19 686 38.30 686 0.00 686 57.21 686 0.00 686 0.02

2 bpp2 20 1287 3600.00 297 77.70 1287 3599.97 287 77.7 1287 0.02

3 bpp3 18 1187 1812.61 644 84.25 1187 341.07 432 63.56 1187 0.02

4 bpp4 20 1159 3823.76 159 86.28 1156 3600.10 159 86.28 1577 0.02

5 bpp5 20 903 207.36 47 94.80 903 2574.33 903 0.00 903 0.00

6 bpp6 20 3249 4.12 0 0.00 4249 3599.97 3249 23.53 3249 0.02

7 bpp7 19 1720 10.11 720 58.14 1720 247.86 1720 0.00 1720 0.00

8 bpp8 20 1629 1.84 1629 0.00 1629 160.98 1629 0.00 1629 0.00

9 bpp9 20 3070 0.84 3070 0.00 3070 14.57 3070 0.00 3070 0.01

10 bpp10 20 3904 1.12 3904 0.00 3904 72.41 3904 0.00 3904 0.01

11 bpp11 20 344 101.51 344 0.00 344 463.59 344 0.00 344 0.02

12 bpp12 19 435 2.29 435 0.00 435 38.41 435 0.00 435 0.02

13 bpp13 19 484 3600.00 0 100.00 1484 3600.10 1484 67.39 484 0.08

14 bpp14 19 513 1.61 513 0.00 513 110.92 513 0.00 513 0.00

15 bpp15 20 890 1.39 890 0.00 890 251.80 890 0.00 890 0.00

16 bpp16 19 885 1.64 885 0.00 885 4.77 590 33.33 885 0.00

17 bpp17 20 825 64.94 825 0.00 1825 64.70 825 54.73 825 0.00

Conclusiones Para el STSP se analizaron tres formulaciones: DFJ,


MTZ y ART. La formulación ART sobresale ante las
Para un mismo problema pueden existir diversas for- otras dos formulaciones en términos de calidad de la
–ž•ŠŒ’˜—Žœǯȱ ˜—ȱ ›ŽŒžŽ—Œ’Šǰȱ ŽœŠœȱ ˜›–ž•ŠŒ’˜—Žœȱ ’ęŽ- solución, tiempo de cómputo y número de iteraciones.
ren en términos de su conjunto de variables y res- Por otro lado, la formulación DFJ es estrictamente me-
tricciones. Esto implica que si una formulación resulta jor que las otras dos formulaciones, en el sentido de que
compleja computacionalmente hablando, puede refor- se ajusta estrechamente alrededor del politopo del TSP.
mularse utilizando un conjunto diferente de variables. La formulación DFJ requiere un número exponencial
Ž–¤œǰȱŠŠȱž—Šȱ˜›–ž•ŠŒ’à—ǰȱœŽȱ™žŽŽ—ȱ’Ž—’ęŒŠ›ȱ de restricciones, por lo que solo es factible para instan-
varias estrategias de solución como las descritas para la cias pequeñas (—ȱǂȱŗŝǼǯȱ’—ȱŽ–‹Š›˜ǰȱœŽȱ‘ŠȱŽ–˜œ›Š˜ȱ
formulación DFJ. En este artículo se presentan los resul- que se requiere solo un número polinomial de estas res-
tados de un análisis computacional que evalúa el im- tricciones en cualquier caso; por lo que se analizaron
pacto de las formulaciones y estrategias de solución dos estrategias más, en las cuales iterativamente se van
sobre el desempeño algorítmico en dos problemas clá- añadiendo las restricciones conforme se necesitan: cor-
sicos de optimización: el problema simétrico del vende- tes después de solución entera y cortes en el nodo raíz.
dor viajero y el problema unidimensional de patrones El estudio computacional demuestra que la estrategia
de corte. Para analizar el desempeño algorítmico de las de cortes después de solución entera ofrece mejores re-
formulaciones, se utilizan tres variables dependientes: sultados en relación con los tres métodos y aún mejores
calidad de la solución, tiempo de cómputo y número de que la formulación MTZ y ART.
iteraciones.

68 Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM
Gracia María D., Mar-Ortiz Julio, Laureano-Casanova Oscar

Para el 1-CSP la función objetivo modelada fue mi-  ˜ȬŠŽȱ žĴ’—ǯȱ ž›˜™ŽŠ—ȱ ˜ž›—Š•ȱ ˜ȱ ™Ž›Š’˜—Š•ȱ ŽœŽŠ›Œ‘ǰ
nimizar la pérdida de material que se produce al reali- volumen 171 (número 1), mayo 2006: 85-106.
zar el corte de los rollos. Se analizaron tres formu- Š—ĵ’ȱ ǯǯǰȱž•”Ž›œ˜—ȱǯǯǰȱ ˜‘—œ˜—ȱǯǯȱ˜•ž’˜—ȱ˜ȱŠȱŠ›ŽȬ
laciones: la formulación estándar con variables xij y yj scale Traveling Salesman Problem. ™Ž›Š’˜—œȱŽœŽŠ›Œ‘, volu-
(CSPm1), la formulación estándar con desigualdades men 2 (número 4), noviembre 1954: 393-410.
para romper simetría (CSPm2) y la formulación exten- ¢Œ”‘˜ěȱ
ǯȱȱ¢™˜•˜¢ȱ˜ȱžĴ’—ȱŠ—ȱŠŒ”’—ȱ›˜‹•Ž–œǯȱž›˜-
dida con variables por patrones (CSPm3). El CSPm1 es ™ŽŠ—ȱ ˜ž›—Š•ȱ ˜ȱ ™Ž›Š’˜—Š•ȱ ŽœŽŠ›Œ‘, volumen 44 (número 2),
’—ŽęŒ’Ž—ŽȱŽ—ȱŽ•ȱœŽ—’˜ȱŽȱŒ˜—Š›ȱŒ˜—ȱ–žŒ‘ŠœȱŸŠ›’Š- enero 1990: 145-159.
bles enteras y binarias, y de contener muchas solucio- Gilmore P.C., Gomory R.E. A Linear Programming Approach to
nes simétricas, lo cual provoca que el problema sea ‘Žȱ žĴ’—Ȭ˜Œ”ȱ ›˜‹•Ž–ǯȱ ™Ž›Š’˜—œȱ ŽœŽŠ›Œ‘, volumen 9
extremadamente difícil de resolver por medio de algo- (número 6), noviembre-diciembre 1961: 849-859.
›’–˜œȱŽȱ’™˜ȱ›Š–’ęŒŠŒ’à—ȱ¢ȱŠŒ˜Š–’Ž—˜ǯȱŽȱ•ŠœȱŗŞŞȱ González-Velarde J.L., Ríos-Mercado R.Z. Aplicación del TSP en
instancias analizadas fue posible resolver 172 (91%), problemas de manufactura y logísticaǯȱ —Ž—’Ž›ÇŠœ, volumen 2
estableciendo un tiempo de cómputo límite de 1 hora. (número 4), mayo-agosto 1999: 19-20.
La formulación CSPm2 resuelve el problema causado Gutin G., Punnen A. ‘Žȱ›ŠŸŽ•’—ȱŠ•Žœ–Š—ȱ›˜‹•Ž–ȱŠ—ȱ’œȱŠ›’Š-
por la simetría, alcanzando a resolver todos las instan- ’˜—œ, 1a ed., Boston, Kluwer Academic Publishers, 2004, pp.
cias del conjunto sDAT0, pero encontrando problemas 1-28.
al resolver los conjuntos sDAT1 y hard28. Finalmente
ŠŽœœ•Ž›ȱǯǯǰȱ ŽŽ—Ž¢ȱǯǯȱžĴ’—ȱ˜Œ”ȱ›˜‹•Ž–œȱŠ—ȱ˜•ž’˜—ȱ
CSPm3 fue capaz de correr sin problemas en los tres Procedures. ž›˜™ŽŠ—ȱ ˜ž›—Š•ȱ˜ȱ™Ž›Š’˜—Š•ȱŽœŽŠ›Œ‘, volumen
conjuntos de datos. 54 (número 2), septiembre 1991: 141-150.
ŽŽȱ ǯǰȱŠěŽ—œ™Ž›Ž›ȱ ǯǯȱœ’—ȱȱ˜›ȱŽŠŒ‘’—ȱ‘Žȱǯȱ -
ȱ›Š—œŠŒ’˜—œȱ˜—ȱžŒŠ’˜—, volumen 7 (número 1), sep-
Referencias
tiembre 2006: 37-69.
•™ȱǯǰȱ›Ž”ȱ ǯǰȱ’›‹’•ȱǯ ǯȱ™™•’ŒŠ’˜—œȱ˜ȱ‘ŽȱžĴ’—ȱ˜Œ”ȱ›˜- Mar-Ortiz J., González-Velarde J.L., Adenso-Díaz B. Designing
blem to a Construction Company: A Case Study, en: Interna- Routes for WEEE Collection: the Vehicle Routing Problem
tional Symposium on Intelligent Manufacturing Systems, 5to, with Split Loads and Date Windows. ˜ž›—Š•ȱ˜ȱ
Žž›’œ’Œœ, vo-
Sakarya, Turquia, 2006. lumen 19 (número 2), abril 2013: 103-127.
Applegate D.L., Bixby R.E., Chvátal V., Cook W.J. ‘Žȱ ›ŠŸŽ- Miller C.E., Tucker A.W., Zemlin R.A. Integer Programming For-
•’—ȱ Š•Žœ–Š—ȱ ›˜‹•Ž–DZȱȱ ˜–™žŠ’˜—Š•ȱ ž¢, 1a ed., Nueva mulations and Traveling Salesman Problems. ˜ž›—Š•ȱ ˜ȱ ‘Žȱ
Jersey, Princeton University Press, 2006, pp. 59-78. , volumen 7 (número 4), octubre 1960: 326-329.
Arthanari T.S. y Usha M. An Alternate Formulation of the Symmetric Pataki G. Teaching Integer Programming Formulations Using the
Travelling Salesman Problem and its Properties. ’œŒ›ŽŽȱ™™•’Žȱ Traveling Salesman Problem.  ȱŽŸ’Ž , volumen 45 (nú-
Š‘Ž–Š’Œœ, volumen 98 (número 3), enero 2000: 173-190. mero 1), febrero 2003: 116-123.
Belov G., Scheithauer G. A Branch-and-Cut-and-Price Algorithm Wolsey L.A. —ŽŽ›ȱ™›˜›Š––’—, 1a ed., Nueva York, John Wiley
˜›ȱ —ŽȬ’–Ž—œ’˜—Š•ȱ ˜Œ”ȱ žĴ’—ȱ Š—ȱ  ˜Ȭ’–Ž—œ’˜—Š•ȱ & Sons, 1998, pp. 185-202.

Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM 69
Análisis computacional de los problemas del vendedor viajero y patrones de corte

Este artículo se cita:


Citación estilo Chicago
*UDFLD0DUtD'-XOLR0DU2UWL]2VFDU/DXUHDQR&DVDQRYD$Qi
OLVLVFRPSXWDFLRQDOGHORVSUREOHPDVGHOYHQGHGRUYLDMHUR\SDWUR
QHVGHFRUWHIngenierta Investigaciyn y Tecnologta;9,  


Citación estilo ISO 690


*UDFLD0'0DU2UWL]-/DXUHDQR&DVDQRYD2$QiOLVLVFRPSX
WDFLRQDOGHORVSUREOHPDVGHOYHQGHGRUYLDMHUR\SDWURQHVGHFRU
WHIngenierta Investigaciyn y TecnologtaYROXPHQ;9, Q~PHUR 
HQHURPDU]R

Semblanzas de los autores


Š›ÇŠȱǯȱ ›ŠŒ’Šǯ Ingeniero industrial y de sistemas por la Universidad Autónoma de
Tamaulipas. Maestra en ciencias con especialidad en sistemas de calidad y produc-
tividad por el Tecnológico de Monterrey. Actualmente cursa el doctorado en cien-
cias de ingeniería en la Universidad de Santiago de Chile. Es profesor de tiempo
completo en la Facultad de Ingeniería de la Universidad Autónoma de Tamaulipas,
donde imparte cursos de logística, cadenas de suministro, y gestión de operacio-
nes. Ha participado en varios congresos internacionales de especialidad como po-
nente y es coautora de 2 capítulos de libro relacionados con œž™™•¢ȱŒ‘Š’—ȱ–Š—ŠŽ–Ž—,
ŽŒ’œ’˜—ȱœž™™˜›ȱœ¢œŽ–œ, optimización y simulación.
ž•’˜ȱŠ›Ȭ›’£. Profesor de tiempo completo en la Facultad de Ingeniería de la Univer-
sidad Autónoma de Tamaulipas, México. Líder del grupo disciplinar en producti-
vidad y optimización, y asesor facultativo del capítulo estudiantil 970 del IIE. Es
doctor en ingeniería industrial con especialidad en investigación de operaciones, y
maestro en ciencias con especialidad en sistemas de calidad y productividad.
’Ž–‹›˜ȱŽ•ȱ’œŽ–ŠȱŠŒ’˜—Š•ȱŽȱ —ŸŽœ’Š˜›ŽœȱŠȱ—’ŸŽ•ȱŒŠ—’Š˜ǰȱ¢ȱ™Ž›ę•ȱ-
ǯȱžœȱ’—ŸŽœ’ŠŒ’˜—Žœȱ‘Š—ȱœ’˜ȱ™ž‹•’ŒŠŠœȱŽ—ȱ›ŽŸ’œŠœȱŒ’Ž—ÇꌊœȱŒ˜–˜DZȱŽ•ȱ ˜ž›Ȭ
—Š•ȱ ˜ȱ ‘Žȱ ™Ž›Š’˜—Š•ȱ ŽœŽŠ›Œ‘ȱ ˜Œ’Ž¢, ˜ž›—Š•ȱ ˜ȱ
Žž›’œ’Œœ, ž›˜™ŽŠ—ȱ ˜ž›—Š•ȱ ˜ȱ
—žœ›’Š•ȱ—’—ŽŽ›’—, ˜–™žŠŒ’à—ȱ¢ȱ’œŽ–Šœ.
œŒŠ›ȱŠž›ŽŠ—˜ȬŠœŠ—˜ŸŠǯ Profesor de tiempo completo en la Facultad de Ingeniería de
la Universidad Autónoma de Tamaulipas, México. Integrante del grupo disciplinar
en productividad y optimización. Doctor en ingeniería de procesos y sistemas por
la Universidad de Valladolid, España. Miembro de la IAENG. Sus investigaciones
han sido publicadas en: el ŽŒž›Žȱ˜Žœȱ’—ȱ—’—ŽŽ›’—ȱŠ—ȱ˜–™žŽ›ȱŒ’Ž—ŒŽ. Actual-
mente es coordinador de la maestría en administración industrial, en el departa-
mento de Posgrado e Investigación de la Facultad de Ingeniería.

70 Ingeniería Investigación y Tecnología, volumen XVI (número 1), enero-marzo 2015: 59-70 ISSN 1405-7743 FI-UNAM

Você também pode gostar