TESIS-MAG-0201.pdf

Defmición 4.2 : Operadores de valuación.
Se defme como operador máximo al operador max(J,k,,1) equivalente
ay f0 (.4). donde 0(v) =maxk(v) entrega verdadero si r pertenece a los k mayores
valores que entrega la función j(v). Del mismo modo, el operador mínimo
min( , k,.4) equivale a y (.4), donde 0(v) =mink(v) entrega verdadero si r pertenece a
los k menores valores. Si k(v ) es un valor aleatorio con una distribución uniforme en
[1 , ], entonces se define el operador random(k4) como max( ,- , k,4)•.
En esta sección para mayor claridad en la exposición, se simplificó un poco
la sintaxis de los operadores de lista, pues ellos son de la forma:
op_Iista(2,a in A, b in B, . . .z in Z)
Donde A, B, . . .,Z corresponden al nombre de una asociación definida
anteriormente en otro bloque de vecindad. Las variables a,b, . . ., z son listas de
argumentos pertenecientes a las asociaciones anteriores que permiten defmir la
condición A. El bloque de asociación tiene la forma:
asociación.
nombre_asoc := op_vaI(fk(op_Iista(2, a in A, b in B, . .z in Z)))
De esta manera, nombre_asoc puede ser utilizado por otro bloque de
4.1.4 Bloque de heurísticas contextuales.
Este bloque defme un nodo del grafo de heurísticas. La primitiva precond
define la precondición '?de la heurística contextual mientras que postejec defme el
efecto I. Además, en cada iteración de la heurística de búsqueda local se calcula la
caracterización del problema a través de la función A. Los métodos que implementan
71