TESIS-MAG-0201.pdf

Defmición 112 Restricción valuada.
Sea ,4(y)=(,e, Ø) una asociación de acuerdo a la defmición 3.3. Se defme la
operación de restricción valuada como =(7,é0 AO), donde O es una
condición sobre los valores que entrega la función de evaluación U.
Todo lo anterior, especifica una forma de manipular y evaluar las
asociaciones con lo cual concluye la defmición de la vecindad del problema, al
especificarse la tupla V(x).
Las operaciones definidas anteriormente que se utilizarán en la
implementación del lenguaje que utiliza la herramienta, poseen algunas propiedades
interesantes. La composición de la operación de restricción es conmutativa (Proposición
3.1), además dicha operación distribuye sobre la unión e intersección (Proposición 3.5).
Por otra parte las operaciones de unión e intersección son asociativas y conmutativas
(Proposición 3.2 y 3.3), mientras que el producto de asociaciones es sólo asociativo
(Proposición 3.4).
Las demostraciones de estas propiedades se encuentran en el anexo A.
3.2 Diseño del Algoritmo de Búsqueda
Teniendo ya una forma con la cual crear y manipular una lista de candidatos
es necesario defmir una estrategia de control que permita emplear dicha definición para
construir una heurística de búsqueda.
3.2.1 Conceptos previos
En el capítulo N°1, se mostraron varias estructuras de control para
heurísticas de búsqueda local. Simulated annealing, tabu search y threshold accepting
son algoritmos que se concentran en la estrategia de cómo producir el siguiente estado
56