TESIS-MAG-0201.pdf

102
El Teorema 5.1 establece que desde cualquier solución factible es posible
llegar a un óptimo global del problema. Esto establece la propiedad de conectividad
necesaria para definir una heurística de búsqueda tal como se señaló en el capítulo N°1.
Gracias a los resultados de convergencia asintótica en probabilidad que se muestran en
[van Laarhoven 92] es posible establecer gracias al teorema 5.1 que existe un algoritmo
que converge al óptimo global del problema.
5.1.3 Estrategia de control
Tabu search ha sido una estrategia que ha demostrado excelentes resultados
para JmIICm, tal como se demuestra en [Dell Amico 93] y [Taillard 941. Por lo tanto,
se especificó un algoritmo de este tipo para Jmr,d3JwTj.
a) Funcionalidad necesaria en la representación
Gracias a lo conceptos establecidos en la sección anterior se defmió un
objeto en C++ que implementa el grafo disyuntivo. Dicha estructura provee los métodos
necesarios para computar el cluster para el problema, calcular la función objetivo,
perturbar la solución utilizando una movida y codificar una solución tal como exige la
interfaz de conexión que defme el lenguaje LS-1.
El cluster corresponde al conjunto de arcos críticos de una solución dada, tal
como se defmió anteriormente, por lo que debiera ser calculado cada vez que una
solución se modifica. La función objetivo se calcula en 0(N) modificando levemente el
algoritmo que calcula el makespan en el grafo que representa .JmjIC,,,. El algoritmo
realiza una búsqueda dfs (ver capítulo N°1) del grafo comenzando con el nodo fuente y
actualizando el inicio de cada operación de acuerdo a las identidades 5.2 y 5.3. El
mismo algoritmo puede utilizarse para calcular las fechas de entrega relativas de cada
operación, pero esta vez comenzando de los nodos sumideros de cada trabajos y
recorriendo el grafo "hacia atrás".