Algunas cuestiones tericas sobre la validez del algoritmo de Weiszfeld para el problema de Weber

XIII Jornadas de ASEPUMA 1

ALGUNAS CUESTIONES TERICAS SOBRE LA
VALIDEZ DEL ALGORITMO DE WEISZFELD PARA EL
PROBLEMA DE WEBER
Roberto Javier Caavate Bernal
Universidad Politcnica de Cartagena
RESUMEN
El problema econmico de Weber se describe matemticamente como la
localizacin de un punto que minimice la suma ponderada de las distancias a una serie
de puntos dados. El algoritmo de Weiszfeld es el mtodo ms utilizado para la
resolucin del problema de Weber a pesar de que puede existir un conjunto de puntos
iniciales, denominado el conjunto de Kuhn, para los que el algoritmo no converja al
ptimo. Chandrasekaran y Tamir conjeturaron que si los puntos dados no estn
contenidos en ningn hiperplano del espacio entonces el conjunto de Kuhn es
numerable. Dicha conjetura fue probada por Brimberg en 1995, pero la utilizacin de
argumentos incorrectos en la demostracin reabri de nuevo la conjetura de
Chandrasekaran y Tamir. En este trabajo se muestra que, en las condiciones de
Chandrasekaran y Tamir, el conjunto de Kuhn es de medida cero. Este resultado permite
establecer la validez terica del algoritmo de Weiszfeld (el objetivo de la conjetura de
Chandrasekaran y Tamir) puesto que demuestra que es prcticamente nula la
probabilidad de que al elegir al azar un punto inicial para el algoritmo de Weiszfeld,
ste no converja al ptimo del problema de Weber.

Roberto Javier Caavate Bernal
2 XIII Jornadas de ASEPUMA
1. INTRODUCCIN
A principios del siglo XX, en su influyente libro sobre localizacin de industrias
(vase [Weber, 1909]), el economista Alfred Weber formul el siguiente problema: Se
necesita establecer la ubicacin de una fbrica que se abastecer de materia prima de
dos almacenes, y cuyo producto se vender en un cierto mercado. La distancia desde la
fbrica a los almacenes y al mercado supone un coste para la fbrica que puede ser
estimado y que se considera proporcional a dicha distancia. Cul es la localizacin
que genera un menor coste econmico para la empresa? Este problema, cuya
resolucin requiere la bsqueda de un punto que minimice la suma de las distancias
ponderadas (por el factor de coste unitario de las distancias) a los tres puntos conocidos
(los dos almacenes y el mercado), y al que se denomina el problema de Weber, es el
origen de una gran corriente de aplicaciones prcticas, adaptaciones y generalizaciones
que perduran hasta nuestros das, y que lo convierten en un campo especialmente
fructfero. Es importante observar que aunque el problema original de Weber fue
formulado en el mbito de la localizacin de industrias para tres puntos conocidos, las
aplicaciones prcticas conllevan normalmente una gran cantidad de puntos, y abarcan
campos tan diversos como la ergonoma o la robtica.

En la literatura se pueden encontrar varios procedimientos para resolver el
problema de Weber, aunque el que ha tenido ms xito es el denominado algoritmo de
Weiszfeld. Sin embargo, es conocido que en determinados casos existen problemas en
la convergencia de dicho algoritmo al ptimo. Su amplia utilizacin prctica ha
favorecido a lo largo de los ltimos aos estudios acerca de la validez terica del
algoritmo, pero sin resultados definitivos hasta el momento.

En el presente trabajo se mostrar un resultado que apoya la validez del
algoritmo de Weiszfeld, respaldando as su utilizacin prctica, al demostrar que si se
elige al azar un punto para comenzar el algoritmo la probabilidad de que ste no
conduzca al ptimo del problema de Weber es nula.

Algunas cuestiones tericas sobre la validez del algoritmo de Weiszfeld para el problema de Weber
XIII Jornadas de ASEPUMA 3
2. EL PROBLEMA DE WEBER Y EL ALGORITMO DE
WEISZFELD
El problema de Weber se puede formular matemticamente del siguiente modo:
dada una cantidad finita de puntos distintos a
1
,,a
m
de ,
n
con pesos asociados w
i
>0,
hallar el punto de
n
que minimiza la funcin
, ) (
1
n
m
i
i i
x a x w x W =

=

donde
i
a x es la distancia eucldea entre el punto x y el punto a
i
, y w
i
es el coste o
ponderacin que corresponde al punto a
i
. Se denominan vrtices a los puntos a
1
,,a
m
,
pesos a los valores reales positivos w
1
,,w
m
, y funcin de Weber a la aplicacin W
anterior.

El problema es trivial si los vrtices estn contenidos en una recta de
n
(vase
[Caavate, 2001]), por lo que en adelante se supondr en todos los casos que los puntos
a
1
,,a
m
no estn alineados. Bajo esta suposicin la funcin de Weber es estrictamente
convexa, con lo cual el problema de Weber posee un nico ptimo. Adems, es
conocido que dicho ptimo se encuentra en la envolvente convexa de los vrtices (vase
[Wendell y Hurter, 1973]).

Mediante un sencillo procedimiento es posible examinar la optimalidad de cada
uno de los vrtices (vase [Love et. al., 1988]), por lo que centraremos nuestra atencin
en el resto de puntos de
n
. Dado , ,..., 1 , m i a x
i
= puesto que W es de clase
1
C y
estrictamente convexa en el conjunto { }
m
n
a a ,...,
1
, se puede afirmar que x es el
ptimo del problema de Weber si, y slo si, anula el gradiente de W:

=
=

=
m
i
i
i
i
a x
a x
w
x W
1
. 0 ) ( ) (

Despejando parcialmente el punto x se obtiene la expresin
Roberto Javier Caavate Bernal
4 XIII Jornadas de ASEPUMA

=
=

=
m
j
j
j
i
m
i i
i
a x
w
a
a x
w
x
1
1
,

a partir de la cual (vase [Weiszfeld, 1937]) se propuso un mtodo de resolucin basado
en la creacin de una sucesin iterativa de puntos que converge al ptimo del problema
de Weber.

Definicin. Se llama funcin de Weiszfeld a la aplicacin
n n
T : definida
como

= =

=
=
m i cierto para a x si a
a a x si
a x
w
a
a x
w
x T
i i
m
m
j
j
j
i
m
i i
i
,..., 1
,...,
) (
1
1
1


Definicin. Dado un punto
n
x
0
, se denomina sucesin de Weiszfeld a la sucesin de
puntos ( )
N r r
x

definida por
1 , ) (
1
=

r N r x T x
r r
.

El resultado siguiente pone de manifiesto la relacin entre la sucesin de
Weiszfeld y el ptimo del problema de Weber.

Teorema. Dada una sucesin de Weiszfeld:

1. Si la sucesin de Weiszfeld no contiene ningn vrtice, entonces converge al
ptimo del problema de Weber. En particular, si dos trminos consecutivos de
sta coinciden,
1 +
=
r r
x x , entonces
r
x es el ptimo del problema de Weber.
2. Si un trmino de la sucesin de Weiszfeld es un vrtice del problema de Weber,
x
r
=a
k
, entonces la sucesin se estabiliza en dicho vrtice, esto es,
= = =
+1 r r k
x x a .

Algunas cuestiones tericas sobre la validez del algoritmo de Weiszfeld para el problema de Weber
XIII Jornadas de ASEPUMA 5
El algoritmo de Weiszfeld consiste en la generacin de una sucesin de
Weiszfeld y la aplicacin del teorema anterior. Sin embargo, este resultado slo permite
asegurar la convergencia al ptimo cuando la sucesin de Weiszfeld creada no contiene
vrtices del problema. Esta salvedad es muy importante ya que si a
j
es un vrtice no
ptimo y ocurriera que x
r
=a
j
, entonces la sucesin de Weiszfeld convergera a a
j
, un
punto diferente al ptimo.

Este detalle fundamental, ignorado por Weiszfeld, fue puesto de manifiesto en
primera instancia por Kuhn (vase [Kuhn, 1973]), mediante un ejemplo en el que se
produca este hecho en una sucesin de Weiszfeld generada a partir de un punto x
0

distinto de los vrtices.

3. EL CONJUNTO DE KUHN
Tras el error inicial de Weiszfeld y el ejemplo posterior de Kuhn, se inici un
debate sobre la cantidad de puntos x
0
iniciales para los cuales el algoritmo de Weiszfeld
no converge al ptimo, esto es, sobre la validez del algoritmo de Weiszfeld. En el
trabajo citado, Kuhn present un teorema el que se intentaba dar respuesta a la cuestin
sobre el tamao del conjunto de puntos iniciales para los que el algoritmo no converge
al ptimo.

Definicin. Dada un problema de Weber, se denomina conjunto de Kuhn y se denota
por K(T), al conjunto de puntos iniciales que originan una sucesin de Weiszfeld que
contiene algn vrtice:

m
i r
i
r
a T T K
1 1
) ( ) (
=
+
=

|
|

\
|
= .

Los puntos pertenecientes al conjunto de Kuhn generan sucesiones de Weiszfeld
que contienen algn vrtice del problema de Weber, de modo que no es posible asegurar
la convergencia del algoritmo de Weiszfeld al ptimo del problema. En otras palabras,
K(T) es el conjunto de malos puntos iniciales para el algoritmo de Weiszfeld.

Teorema (Kuhn). El conjunto de Kuhn es numerable.

Roberto Javier Caavate Bernal
6 XIII Jornadas de ASEPUMA
Con este resultado se puede afirmar que si se elige al azar un punto inicial para
originar la sucesin de Weiszfeld, la probabilidad de que dicho punto pertenezca al
conjunto de Kuhn, esto es, que no pueda garantizarse su convergencia al ptimo del
problema, es nula.

El teorema de Kuhn tuvo que ser rechazado a partir de los contraejemplos
presentados por Chandrasekaran y Tamir (vase [Chandrasekaran y Tamir, 1989]). Sin
embargo, stos conjeturaron que si se aada la condicin de que los vrtices no
estuvieran contenidos en ningn hiperplano de
n
entonces el teorema de Kuhn sera
vlido.

Conjetura (Chandrasekaran y Tamir, 1989). Si los vrtices del problema de Weber
no estn contenidos en ningn hiperplano de
n
, el conjunto de Kuhn es numerable.

Algunos aos ms tarde se public un trabajo (vase [Brimberg, 1995]) en el que
se aseguraba haber demostrado la validez de la conjetura de Chandrasekaran y Tamir,
dando as por terminada la controversia sobre la convergencia del algoritmo de
Weiszfeld. De hecho, el resultado principal del documento mejoraba la conjetura de
Chandrasekaran y Tamir al afirmar que la condicin de que los vrtices no estn
contenidos en ningn hiperplano, esto es, la hiptesis de la conjetura, supone una
caracterizacin de la numerabilidad del conjunto de Kuhn.

Teorema (Brimberg, 1995). El conjunto de Kuhn es numerable si, y slo si, el
conjunto de vrtices no est contenido en ningn hiperplano de
n
.

Investigaciones posteriores (vase [Cnovas et. al., 2002]) evidenciaron la
existencia de importantes errores en el teorema de Brimberg: una de las dos
implicaciones es falsa y la otra, la que coincide con la conjetura de Chandrasekaran y
Tamir, haba sido demostrada con argumentos errneos. De este modo quedaba
nuevamente abierta la conjetura y, lo que es ms importante, la cuestin acerca del
tamao del conjunto de Kuhn.


Algunas cuestiones tericas sobre la validez del algoritmo de Weiszfeld para el problema de Weber
XIII Jornadas de ASEPUMA 7
4. EL TAMAO DEL CONJUNTO KUHN
La conclusin ms importante que se puede extraer de la seccin previa es que
an despus del esfuerzo realizado por diferentes investigadores para alcanzar
tericamente un resultado que respalde la validez del algoritmo de Weiszfeld, sigue
siendo necesaria la acotacin del tamao del conjunto de Kuhn para avalar la utilizacin
emprica que se realiza del algoritmo desde hace aos. En esta seccin abordaremos esa
tarea, slo que en lugar de hacerlo a travs de la conjetura de Chandrasekaran y Tamir
se llevar a cabo desde una perspectiva ms general, mostrando que el conjunto de
Kuhn es un conjunto de medida cero, es decir, pequeo.

Para simplificar la escritura de los razonamientos posteriores estableceremos la
siguiente notacin:

{ } 0 ) ( y en clase de es / ) (
1
= x Jf x C f x f R
n
{ } 0 ) ( y en clase de es / ) (
1
= = x Jf x C f x f D
n
{ } x C f x f C
n
en clase de es no / ) (
1
=

donde ) (x Jf es el determinante de la matriz jacobiana de f en x.

En el caso especfico de la funcin de Weiszfeld (T), de sus caractersticas se
deduce inmediatamente que { }
m
a a T C ,..., ) (
1
, con lo que C(T) es un conjunto finito.
Adems, est demostrado (vase [Brimberg, 1995]) que D(T) es un conjunto de medida
cero.

La conclusin principal de este trabajo se obtiene a partir del estudio del
conjunto de antiimgenes de los vrtices mediante la funcin de Weiszfeld, para lo cual
se emplear el siguiente resultado (vase [Caavate, 2001]).

Teorema. Sea A un conjunto abierto de
n
y sea
n n
A f : una funcin de
clase
1
C en A. Si
n
M es un conjunto de medida cero, entonces ) ( ) (
1
f R M f

tambin tiene medida cero.

Roberto Javier Caavate Bernal
8 XIII Jornadas de ASEPUMA
Teorema. En las condiciones de la conjetura de Chandrasekaran y Tamir, el conjunto
de Kuhn tiene medida cero.

Demostracin: El conjunto de Kuhn de un cierto problema de Weber viene dado por


m
i r
i
r
a T T K
1 1
) ( ) (
=
+
=

|
|

\
|
= .
Para cada ndice { } m i ,..., 1 probaremos a continuacin, mediante induccin en el
ndice r, que ) (
i
r
a T

es un conjunto de medida cero. Esto finalizar la demostracin ya
que en ese caso ) (T K es la unin finita de uniones numerables de conjuntos de medida
cero, que de nuevo tiene medida cero.

Caso 1 = r : Puesto que ) ( ) ( ) ( T C T D T R
n
= , entonces

| | | | | | ) ( ) ( ) ( ) ( ) ( ) ( ) (
1 1 1 1
T C a T T D a T T R a T a T
i i i i


= ,

y es evidente que ) ( ) (
1
T D a T
i

es un conjunto de medida cero y

) ( ) (
1
T C a T
i

un conjunto finito.
En el caso del conjunto ) ( ) (
1
T R a T
i

, puesto que { }
i
a M = es un conjunto de
medida cero, parece natural la utilizacin del teorema anterior. Sin embargo, no
es posible su aplicacin directa dado que la funcin de Weiszfeld no es de clase
1
C en todo
n
. Ahora, T s es una funcin de clase
1
C en { }
m
n
a a ,...,
1
, de
modo que denominando T
~
a la restriccin de T a { }
m
n
a a ,...,
1
y aplicando el
teorema se obtiene que )
~
( ) (
~
1
T R a T
i

es un conjunto de medida cero. Por

ltimo, puesto que la mxima diferencia que puede existir entre los conjuntos
) (
1
i
a T

y ) (
~
1
i
a T

es el conjunto { }
m
a a ,...,
1
, debemos concluir que tambin
) ( ) (
1
T R a T
i

es un conjunto de medida cero.

De este desarrollo se deduce que ) (
1
i
a T

es un conjunto de medida cero por ser

la unin de un conjunto finito y dos conjuntos de medida cero.

Algunas cuestiones tericas sobre la validez del algoritmo de Weiszfeld para el problema de Weber
XIII Jornadas de ASEPUMA 9
Caso general: Sea 1 > r . La hiptesis de induccin afirma que ) (
i
r
a T

es un
conjunto de medida cero y resta por demostrar que ) (
) 1 (
i
r
a T
+
tambin lo es.
Repitiendo el proceso, se tiene que

| | | | | | ) ( ) ( ) ( ) ( ) ( ) ( ) (
) 1 ( ) 1 ( ) 1 ( ) 1 (
T C a T T D a T T R a T a T
i
r
i
r
i
r
i
r

+ + + +
= ,

y es evidente que ) ( ) (
) 1 (
T D a T
i
r

+
es un conjunto de medida cero y
) ( ) (
) 1 (
T C a T
i
r

+
un conjunto finito.

Pero dado que ( ) | |
i
r
i
r
a T T a T
+
=
1 ) 1 (
) ( y ( )
i
r
a T

es un conjunto de medida
cero, se pueden repetir para ( )
i
r
a T M

= los argumentos realizados en el caso
anterior para el conjunto { }
i
a M = , con la conclusin de que ) ( ) (
) 1 (
T R a T
i
r

+

tiene medida cero.
Finalmente se concluye que ( )
i
r
a T
) 1 ( +
es un conjunto de medida cero por ser la
unin de un conjunto finito y dos de medida nula.

5. CONCLUSIONES
En este trabajo se ha mostrado que la validez terica del algoritmo de Weiszfeld
permanece intacta, ya que el conjunto de puntos iniciales para los que falla (el
denominado conjunto de Kuhn) tiene medida cero, con lo cual la probabilidad de que el
punto inicial escogido para el algoritmo de Weiszfeld pertenezca a este conjunto es
nula. Por tanto, aunque la conjetura de Chandrasekaran y Tamir permanece abierta, el
objetivo de sta, es decir, el sostenimiento terico del algoritmo de Weiszfeld, queda
cubierto por los resultados del trabajo.




Roberto Javier Caavate Bernal
10 XIII Jornadas de ASEPUMA
6. REFERENCIAS BIBLIOGRFICAS
BRIMBERG, J. (1995). The Fermat-Weber location problem revisited.
Mathematical Programming, 71, pp. 71-76.
CNOVAS, L., CAAVATE, R. Y MARN, A. (2002). On the convergente of the
Weiszfeld algorithm. Mathematical Programming, 93, pp. 327-330.
CAAVATE, R. (2001). El algoritmo de Weiszfeld para el problema de Weber.
Tesina de Licenciatura. Universidad de Murcia.
CHANDRASEKARAN, R. y TAMIR, A. (1989). Open cuestiones concerning
Weiszfelds algorithm for the Fermat-Weber location problem. Mathematical
Programming, 44, pp. 293-295.
KUHN, H.W. (1973). A note on Fermats problem. Mathematical Programming,
4, pp. 98-107.
LOVE, R.F., MORRIS, J.G. y WESOLOWSKY, G.O. (1988). Facilities location:
Models & methods. Amsterdam. North-Holland.
WEBER, A. (1909). ber den standort der industrien. Tbingen. (Traduccin de
FRIEDERICH, C.J. (1929). Theory of the location of industries. University of
Chicago Press.
WEISZFELD, E.V. (1937). Sur le point pour lequal la somme des distances de n
points donns est minimum. The Tohoku Mathematical Journal, 43, pp. 335-386.
WENDELL, R.E. y HURTER A.P., Jr. (1973). Location theory, dominance and
convexity. Operations Research, 21 (1), pp. 314-320.