CAPTULO 2: ARITMETICA DE INTERVALOS

El fsico Ramn E. More defini a los nmeros intervalos como un nuevo tipo de nmeros
representados por un par de nmeros reales, el extremo inferior y superior.

Un intervalo cerrado I = [a,b] es el conjunto de todos los nmeros reales comprendidos entre
a y b {a x b}. Algunas definiciones bsicas:

X = [a,b] es positivo si a 0 o es negativo si b 0.
El ancho de un intervalo [a,b] est definido como w(X) = b a.
El centro de un intervalo [a,b] est definido como c(X) = (b + a)/2.
Si se conoce el ancho y el centro de un intervalo se puede hallar los extremos del mismo.



Los intervalos se pueden clasificar tipolgicamente (abiertos, cerrados y semi-abiertos) o
segn su longitud (nula, finita no nula, o infinita).



2.1 Error de Redondeo

Cuando en una computadora se realiza una operacin de nmeros reales, el procesador utiliza
aritmtica de punto flotante reduciendo los decimales y provocando perdida de precisin e
introduciendo as un error de redondeo.

Por ejemplo el valor de = 3.1415926 considere 7 cifras significativas luego del punto
decimal, si truncamos en el 4to decimal se produce un error de 0.0000926. En cambio en una
aproximacin si el decimal siguiente al corte es mayor que 5, se aproxima el ultimo decimal
quedando 3.1416 y el error seria 0.0000074.

La mayora de veces no se toma en cuenta el error de redondeo debido a que el procesador
usa clculos de precisin extendida lo cual logra disminuir el error. En ocasiones no es
suficiente, debido que la aritmtica de punto flotante no puede representar un resultado
exacto.


Esta funcin fue evaluada en FORTRAN en x=77617 e y=33096 con precisiones simples, dobles
y extendida. Se obtuvo los siguientes resultados:




Aqu se puede apreciar que los 3 resultados son diferentes, sin embargo comparando los
resultados nos damos cuenta que 13 dgitos concuerda concluyendo en que el resultado es
correcto, pero si hubiramos usado intervalos de precisin variable habran 3 valores errados.

2 .2 Aritmtica de Intervalos

La aritmtica de intervalos fue definida por Ramn E. Moore basada en dos operaciones
fundamentales: la aproximacin y la reduccin. Se utiliza en resolucin de ecuaciones
diferenciales ordinarias, sistemas lineales, verificacin y optimizacin global.

Para cualquier operacin binaria (donde puede ser , , ) y e son intervalos
cualesquiera, se desea que:
[



]
Donde el intervalo resultante de debe contener cada nmero que puede resultar de
para cada y cada .

De la misma forma, para los intervalos e , las cuatro operaciones bsicas
son definidas como:
Suma
Resta
Multiplicacin
Divisin

]

2.2.1 Propiedades bsicas

Las operaciones bsicas de la teora de conjuntos para los nmeros reales son tambin
aplicables a los nmeros intervalos, por ende las operaciones de adicin y de multiplicacin
de intervalos son tambin asociativas y conmutativas, al igual que los nmeros reales 0 y 1
son las identidades para la adicin y multiplicacin respectivamente. Otra propiedad
importante de los intervalos es la inclusin montona.

2.3 Funciones por intervalos.

La extensin natural consiste en reemplazar las variables reales por variables intervalos de
forma directa. Consideremos la funcin real

la cual puede generalizarse a

una funcin de intervalos

a travs de la extensin natural si

,
donde es llamado caja n-dimensional y

corresponde al conjunto de vectores intervalos

que son el producto cartesiano de n-intervalos.

2.3.1 Problemas de dependencia

Cuando una variable tiene ms de una ocurrencia es tratada como una variable diferente
en cada ocurrencia, lo que produce un inconveniente conocido como "problema de
dependencia".

2.4 Formas de extensin de funciones

Se puede extender una funcin real a una funcin por intervalos por la mayor o menor
aproximacin a una extensin ptima. Entre las principales formas de extensin se
encuentran: la aproximacin algebraica (consiste en usar la factorizacin para conseguir la
mnima repeticin de variables), la aproximacin numrica (se vale de la subdivisin de
intervalos ms pequeos, su resolucin y posterior unin para obtener un resultado parcial) y
la extensin natural.

CAPTULO 3: OPTIMIZACIN GLOBAL

Encuentra la mejor solucin a unos problemas de optimizacin.

3.1 Mtodos de optimizacin global

Encuentran el ptimo global de cualquier funcin, asumen cotas iniciales de los valores de las
variables. Estos valores pueden ser ( , ), |k , ), o ( , k | donde k es real.
Un optimizador global ideal es una caja negra, la cual recibe la descripcin de la funcin, y las
cotas de las variables. La salida de esta caja negra es una combinacin de las siguientes
declaraciones:

Los valores aproximados en los cuales la funcin alcanza el ptimo.
Valores que son una aproximacin del ptimo global.
La funcin no est acotada.

3.2 Definicin formal de optimizacin global

El problema de optimizacin global es definido como: f =min f(x)
Luego f: P
n
P
1
siendo f la funcin continua real a minimizar, el espacio o dominio donde la
funcin ser definida se denota como X c P
n
,donde x es la regin factible.
El conjunto de todos los puntos para los cuales la funcin objetivo posee un mnimo global se
denota como x en este conjunto se encuentran todos los puntos x tales que f(x)= f .

3.3 El problema de la optimizacin global

En una funcin continua en donde existe un punto x y una regin factible de bsqueda, as
para cualquier punto x no se puede garantizar que este no es el mnimo global sin evaluar
antes la funcin en al menos un punto de cada regin factible de x.

3.4 Clasificacin de la optimizacin global

Mtodos estocsticos: evalan las funciones en puntos elegidos aleatoriamente, son
procesos infinitos, es eficiente (se puede encontrar rpidamente un ptimo local).

Mtodos determinsticos: desechan cualquier elemento aleatorio en el clculo del ptimo,
se ejecutan en tiempo finito y retornan un conjunto de regiones en la que garantizan
encontrar un ptimo global. Comprende el mtodo de cotas.

3.5 Algoritmo de optimizacin global por cotas

A partir de una funcin (FL), si evaluamos la funcin sobre todo el intervalo, estafuncin nos
entrega la cota inferior. Fcilmente se puede implementar un algoritmo de optimizacin
global. De forma sencilla:

1. Se particiona el conjunto inicial X en subconjuntos S
x
.
2. Se calcula una cota inferior del valor de la funcin sobre cada subconjunto F
r
(S
i
x
) y se
mantiene una cota superior de valor mnimo global calculando hasta el momento U
f
.
3. Cualquier subconjunto de S
i
x
donde F
r
(S
i
x
) > U
f
es rechazado, ya que no contiene un
mnimo global.

El algoritmo general que implementan todos los mtodos por cotas es el siguiente:




Figura 3.2: pasos que utiliza el algoritmo
general que implementan todos los mtodos de
cotas





-La unin de las regiones no rechazadas
contendr todos los minimizadores globales.



Rechazo: puede optar por las siguientes formas:

1. Rechazo de las subregiones que no estn en el espacio factible.
2. Rechazo de las subregiones cuyas cotas inferiores calculadas en el paso 2 del algoritmo
sean mayores que la cota superior del mnimo global, conocida hasta el momento.
3. Si la funcin objetivo es diferenciable:
a. -rechazo de las subregiones fuera del borde del espacio inicial de bsqueda, 0 no
pertenece a Vf.
b. -rechazo de las subregiones donde la funcin objetivo no es convexa en ningn lugar de la
subregin.


Figura 3.3: grafico f(x)= x
2
+2, donde la
cota superior de la regin A <B(cota
inferior).
La cota inferior de la regin B >A(cota
superior), si el mnimo global
conocido hasta ese momento es la
cota superior de Ala regin B lo
rechaza segn paso 2.





3.7 Optimizacin Global por Intervalos

Moore (Moore, 1966) fue posiblemente la primera persona que us la aritmtica de
intervalos como herramienta para calcular el rango de una funcin sobre un hiperrectngulo,
por lo que posee el crdito de haber desarrollado e implementado el primer algoritmo de
optimizacin global por intervalos.

Skelboe (Skelboe, 1974) combin posteriormente la metodologa por intervalos de
determinacin del rango con el principio de branch and bound (Leclerc, 1992). Este
principio posee dos caractersticas:

No se realiza una bsqueda uniforme en el espacio factible. Por el contrario, se realiza la
bsqueda primero y con mayor profundidad en ciertas subregiones (o branches), que en
otras.

Se debe calcular una cota inferior de la subregin. El algoritmo de Moore-Skelboe funciona
de la siguiente manera:

- Se particional el conjunto inicial X en subconjuntos

,
- Luego se busca el mnimo global f prefiriendo aquellas subregiones

para las cuales la

cota inferior del valor de la funcin

es menor. (Se espera que las cajas

seleccionadas contengan mejor probabilidad de contener un minimizador global, x).
- Se hace la seleccin de la sub-regin

donde

es menor, se puede realizar

rpidamente usando y manteniendo una cola de prioridades (o lista). En una cola de
espera con m hiper-rectngulos, la sub-regin con la menor

, digamos S Xm ,
estar al frente.
- El valor FL (S Xm) es una cota inferior del valor mnimo global calculado hasta ese
momento, a la cual llamaremos Lf.

El algoritmo de Moore-Skelboe no emplea ninguna prueba para eliminar aquellas subregiones
que definitivamente no contienen ningn mnimo global. Tales pruebas son
llamadas pruebas de rechazo. El algoritmo simplemente contina hasta que se cumple
algn criterio de detencin.

3.8 Algoritmo de Optimizacin Global por Intervalos

El algoritmo global por intervalos resuelve problemas de optimizacin global de la forma min

sujeto a un conjunto de restricciones, pi 0, i = 1,, k, que permiten definir el espacio o
regin factible, es decir, la regin donde es vlido buscar ptimos. B es cualquier hiper-
rectngulo inicial dado, o caja, definido como el siguiente intervalo n dimensional (vector de
intervalos):








Se busca una cota arbitrariamente ajustada, en la caja B, para el conjunto X de todos los
minimizadores globales x que estn en la regin factible, se desea tambin una cota
arbitrariamente ajustada del valor del mnimo global, f , de la funcin objetivo dada, f.
f(x)= f y f f(x) para todo x B

El algoritmo bsico encuentra una lista de pequeas cajas cuya unin contiene el conjunto X
de todos los minimizadores globales x. El algoritmo termina cuando el ancho mximo de todas
las cajas negras en la lista es menor que una tolerancia prescrita, ex. El algoritmo tambin
entrega cotas superiores e inferiores para el valor mnimo f = f(x).

Este algoritmo procede rechazando las partes de la caja inicial B que no pueden contener un
minimizador global, dejando una lista de sub-cajas (de B) cuya unin contiene el conjunto de
todos los minimizadores globales de f(x). minimizadores globales de f(x).

Se describen a continuacin los mtodos utilizados para rechazar aquellas partes de la caja
y para encontrar las cotas superiores e inferiores del valor de f(x) para puntos factibles x.

Aplicando las pruebas de rechazo la caja removida de la cola es biseccionada a lo largo de la
direccin (eje) de ancho mximo. Luego se aplican las pruebas a cada mitad. Si con las pruebas
no se puede rechazar una caja, entonces es aadida al final de la cola. Como resultado, la caja
ms ancha que queda en la cola es siempre la primera. Si el ancho de sta es menor que e x
entonces tambin lo son todo el resto.








Se selecciona una caja del
final de la cola, se le aplican las
pruebas de rechazo, si se rechaza es
removida de la cola, si no es rechazada
se aade al inicio de la cola. Con las pruebas vistas se puede formular un algoritmo de
optimizacin global con restricciones. Este es vlido tanto para funciones diferenciables como
si no lo son. Se debe destacar, como una de las propiedades ms importantes de este
algoritmo, que en cualquier instante del proceso, las cajas que se encuentran en la cola
contienen todos los puntos mnimos globales factibles.

3.8.3 El Algoritmo

1. Ingresar la caja inicial, B, y la tolerancia de ancho de caja, e x .

2. Aadir (B, Lf B ) a la cola y actualizar f U .

3. Ciclo:
a. Remover la primera caja, X, de la cola.
b. Biseccionar X = X1 X2 a travs de la direccin (eje) de ancho mximo.
c. Rechazar X1 o aadir (X1, Lf X1) al final de la cola. Si X1 es aadido a la cola, entonces
actualizar f U si mX1 es factible.
d. Rechazar X2 o aadir (X2, Lf X 2 ) al final de la cola. Si X2 es aadido a la cola, entonces
actualizar f U si mX2 es factible.
e. Si la primera caja de la cola tiene ancho < e x, entonces ir al paso 4. En caso contrario, ir
al comienzo del paso 3.

4. Fin del programa principal
Al terminar el algoritmo, f L = f ;f U .La unin de las cajas en la lista ciertamente
contendr todos los minimizadores globales factibles de f B.
Se actualiza f U , reemplazndolo por cualquier fmx U menor encontrado.

Para mejor entendimiento considrese una funcin cualquiera, se aplicar el algoritmo de
optimizacin global a sta de la siguiente forma:

Paso 0: Se selecciona el espacio completo (toda la caja) y se ingresa a la cola.


Paso 1: Se saca la caja de la cola y se particiona en dos partes (vase figura 3.6), se ingresa
el ancho de la caja, se calculan las cotas y se aplican las pruebas de rechazo, dependiendo si
son rechazadas o no las partes, pueden ingresar a la cola las dos partes, una o ninguna.


Paso 2: Ya definida una tolerancia dada,e x la cual utilizaremos como condicin de
trmino del algoritmo. Se remueve la primera caja de la cola, en este caso A, y esta es
biseccionada (o dividida en 2 partes) que sern A1 y A2 respectivamente. Vase figura 3.7
Dadas las pruebas de rechazo, A2 es desechado ya que la cota mayor calculada de A1 es
menor que la cota inferior calculada de A2. A1 es aadido al final de la Cola, y A2 es
desechado. Actualizamos f U , obsrvese la figura 3.8 secuencia B.

Parte 3: Se da comienzo el ciclo de particionamiento y acotacin. Se remueve la caja del
extremo de la cola, se bisecciona. Luego se extrae la siguiente particin del tope de la cola,
si la caja B tiene ancho < e x, entonces el ciclo termina, sino se vuelve a repetir. En este caso
la caja B tiene ancho mayor que e x, entonces se aplica nuevamente el particionamiento,
dividiendo B en B 1 y B 2, para luego eliminar B 2 por la condicin de que su cota inferior es
mayor que la superior de B1. Se ingresa B1 al final de la cola y se desecha B2. Actualizamos
f U , obsrvese la figura 3.8 secuencia C.


Algoritmo de Optimizacin Global por intervalos en tres pasos: A: Se toma el espacio
completo y este se ingresa a la cola, se extrae A del tope de la cola, este se bisecciona en A1
y A2. B: A2 es desechado y se ingresa A1 a la cola. C: Se extrae B y se particiona
dividindolo en B1 y B2, para luego eliminar B2, ingresando B1 a la cola.
El ciclo contina hasta que la primera caja de la cola posea un ancho < e x, en otras
palabras, hasta alcanzar la tolerancia del ancho de la caja.
Al terminar el algoritmo, la unin de las cajas en la lista contendr todos los minimizadores
globales.