MATEMATICA

Acta Cientı́fica Venezolana, Vol. 52, Suplemento No. 2: 48–50, 2001

PARTICIONAMIENTO OPTIMO PARA TRAYECTORIAS

SECUENCIALES SOBRE PUNTOS EN EL PLANO CON
DISTRIBUCION INVARIANTE BAJO ROTACION
Marı́a Suzzarini y Raúl Jim énez 
Centro de Estadı́stica y Software Matem ático
Universidad Sim ón Bolı́var. Caracas, Venezuela

RESUMEN: Si se tienen n puntos isotr ópicos sobre el disco unitario, una simple estrategia para visitar-
los es la siguiente: partimos el disco en M rebanadas de igual área y visitamos los puntos en cada re-
banada en orden radial. Probamos (con ayuda de Monte Carlo) que la distancia media total recorrida ED M n( )
es una funci ón convexa del número de rebanadas y calculamos el número óptimo de rebanadas M 
que
minimiza ED M D M
n ( ). Se establece una desigualdad isoperim étrica para la concentraci ón de n (  ) alrededor de su media,
la cual provee una caraterizarizaci ón asintótica de isotropı́a. Palabras clave: TSP, isotropı́a, isopermetrı́a.

OPTIMAL PARTITIONS TO SEQUENTIAL VORITES SAMPLES.

n
ABSTRACT: If one has isotropic points on the unit disck, a simple strategy to visit them is dividing the disck in M slices
of same area and visiting the points in radial order. We prove (using Monte Carlo) that the mean of the total distance
ED M M
n ( ) is a convex function of the numbers of slices and compute the optimal slice number  , minimizing ED MN ( ).
D M
We stablish a isoperimetrical inequality for the concentration of n (  ) around its mean. This result provide a asymptotical
charaterization of isotropy.Key Words: TSP, isotropy , isopermetric.

1 INTRODUCCION. 2 RUTAS SECUENCIALES E ISOTROPIA.

Sean X1 ; : : : ; Xn variables aleatorias i.i.d. con densidad
de probabilidad común f , la cual supondremos con so-
porte en el disco unitario S = f(x; y ) : x2 + y 2  1g. De-
notemos por Tn (f ) la longitud de la ruta óptima, esto es, la
ruta mas corta a través de X1 ; : : : ; Xn . Una aplicación del
célebre resultado de Beardwood, Halton y Hammersley 1
establece
Z p
Tn (f )
pn ! f (x)dx; con probabilidad uno : (1.1)
S cercanas a la óptima, estudiamos para cada n la convex-
Usando la desigualdad de Jensen y (1.1) se obtiene la
siguiente caracterización de la distribución uniforme:
Si suponemos que f es invariante bajo rotación, una sim-
ple estrategia para visitar puntos en el disco es la sigu-
iente: partimos el disco en M rebanadas de igual área
y visitamos los puntos en cada rebanada en orden radial
de acuerdo al esquema mostrado en la figura 1. Deno-
taremos por Dn (f; M ) a la longitud recorrida usando esta
estrategia. Para simplificar la notación, si f es uniforme
sobre S escribiremos Dn (M ) = Dn (f; M ).
Siguiendo la idea propuesta en 3 y 4 para construir rutas
idad de la función E [Dn (M )]. En la figura 2, mostramos
la gráfica de dn (1=M ) = E [Dn (M )] para n variando en
103 desde 4500 hasta 8500. El número de rebanadas que

 p;
Tn (f ) minimiza la distancia media recorrida E [Dn (M )],
!1 pn
lim (1.2)
M  (n) = arg min E [Dn (M )];
n
(2.1)
alcanzándose la igualdad si y solo si f es uniforme sobre M

el disco unitario.
Suponiendo que la muestra es isotrópica, introducimos
una estrategia para construir rutas cercanas a la óptima.
El comportamiento en media de la longitud de estas ru-
tas es estudiado en la sección 2. Al final de esta sección
se presenta una caracterización similar a (1.2), basada en
el comportamiento asintótico de las longitudes, para la in-
variancia bajo rotación de la densidad de la muestra.
 Programa de Apoyo a Grupos CONICIT G-97000592.
p
es cercano a 1:2 n. De hecho, la diferencia entre M  (n)
p
y el entero mas cercano a 1:2 n no excede la unidad, ver
figura 3.
Como puede verse en 4 , la estrategia anterior para con-
struir rutas cercanas a la óptima a través de puntos uni-
formemente distribuı́dos sobre el disco, se basa en el he-
cho de que la longitud media recorrida en cada rebanada
es constante. Ya que esto vale para cualquier f
Caracterizaci ón asint ótica de isotropı́a 49
invariante bajo rotación, esta estrategia puede ser em- E [Dn (f )]  E [Dn ]: (2.5)
pleada para construir rutas cercanas a la óptima a través
de puntos isotrópicos en S . La figura 4 muestra el Siendo Dn (f ) = Dn (f; M  (n)) y Dn = Dn (M  (n)).
comportammiento tı́pico de las gráficas de dfn (1=M ) =
E [Dn (f; M )] para distintas densidades invariantes bajo Siguiendo 2 , sección 12.2, podemos usar la desigual-
rotación y un mismo n. Las curvas que más se diferen- dad de Hoedffing para sucesiones de diferencias de mar-
cian del caso uniforme son aquellas con menor variancia, tingalas y probar
sin importar que su concentración sea en el origen o en
el borde del disco. Este comportamiento fue comprobado P (jDn (f; M ) E [Dn (f; M )]j > ")  2e "2 =8n
(2.6)
numericamente para una gran variedad de densidades de
probabilidad invariantes bajo rotación en el disco, ver 5 . Si
Haciendo " =
p
t n y aplicando el lema Borel-Cantelli
bien es cierto que dfn (1=M ) = E [Dn (f; M )] parece ser una
obtenemos
función convexa para cualquier f , existiendo un número de
Z p
rebanadas que minimiza la distancia media recorrida Dn (f ) E [Dn (f )]
pn ! f (x)dx; con probabilidad uno :
Mf (n) = arg min E [Dn (f; M )]; (2.2) S
M (2.7)
no se espera que la estrategia de particionamiento en re- Por otro lado, usando la invariancia bajo rotación,
banadas de igual área provea rutas cercanas a la óptima EDn = M  EÆn . Siendo Æn la distancia recorrida en una
cuando f no es invariante bajo rotación. Este hecho rebanada. Ahora bien, la esperanza del número de pun-
fue corroborado en 5 contaminando diferentes familias de tos por rebanada es n=M  y la distancia entre dos puntos
muestras isotrópicas usando modelos de mezcla. Esto es, consecutivos es inversamente proporcional al número es-
se consideraron densidades de probabilidad sobre el disco perado de puntos, ası́ que EÆ = O (1). Se sigue
de la forma
f (x) = (1 )f1(x) + f2(x); (2.3)
p1n EDn !  (2.8)

donde f1 es invariante bajo rotación, f2 no lo es y 0    En virtud de (2.8), (2.4) y (2.5), obtenemos la siguiente
1. La figura 5 muestra las longitudes medias obtenidas caracterización de la isotropı́a de la muestra:
para dos niveles de contaminación de una densidad del f es invarinate bajo rotación si y solo si
tipo (2.3).
Para cualquier n, verificamos numericamente los sigu- Dn (f )
ientes dos resultados, ejemplificados en la figura 6, n
lim
!1 pn  : (2.9)

 Si f es invariante bajo rotación, entonces

y la igualdad se alcanza si y solo si f es uniforme en el
E [Dn (f )]  E [Dn ]: (2.4) disco.

Figura 1. Figura 2.
Estrategia para visitar n puntos en el disco. Gráficas de dn (1=M ) para n = 4500, 5500, 6500 y 8000.
50 Suzzarini

p Figura 3.
Ajuste de Dn = 1:2 n. Las x representan el valor real
Figura 4.
Gráficas de dn (1=M ) (sólida) y dfn (1=M ) (rayadas), f
de M y los cı́rculos el rendodeo de la curva. invariante bajo rotación.

Figura 5. Figura 6.
Gráficas de dn (1=M ) (sólida) y dfn (1=M ) (punteadas), f Gráficas de EDn (f ), con f uniforme (sólida), f invariante
no invariante bajo rotación. bajo rotación (rayadas) y f no invariante bajo rotación
(punteadas).

REFERENCIAS

1. Beardwood, J., Halton, J.H. and Hammersley, J.M. The
shortest path throught many points. Proc. Cambridge phi-
los. Soc. 55: 299-327, 1959.
2. Grimmet, G. and Stirzaker, D. Probability and random pro-
cesses. Claredon. Press, Oxford, 448-449, 1992.
3. Gzyl H. and Jim énez R. The physicist’s approach to the
travelling salesman problem. Mathl Comput. Modelling 12:
667-670. 1989.
4. Gzyl H., Jiménez R. and Quiroz A.J. The physicist’s ap-
proach to the travelling salesman problem-II. Mathl Comput.
Modelling 13: 45-48, 1990.
5. Suzzarini, M. Sobre el TSP en el plano y problemas de
modelaje isotr ópico. Universidad Sim ón Bolivar. Caracas.
1999.