Seccin 1: Introduccin

Los diagramas de Voronoi son una de las estructuras fundamentales dentro de la G

eometra Computacional, de alguna forma ellos almacenan toda la informacin referent
e a la proximidad entre puntos. Son numerossimas sus aplicaciones.
En este tema comenzaremos dando una idea intuitiva de lo que es un diagrama de V
oronoi plano para a continuacin formalizar la definicin y dar algunas propiedades
bsicas. Para finalizar se mencionarn algunos algoritmos para su clculo.

Seccin 2: Definiciones y preliminares

La idea del diagrama de Voronoi se basa fundamentalmente en la proximidad. Supon
emos dado un conjunto finito de puntos en el plano P = {p1,...,pn} (con n mayor
o igual que dos) y a cada pj le asociamos aquellos puntos del plano que estn ms ce
rca o igual suya que de cualquier otro de los pi con i distinto de j. Todo punto
del plano queda as asociado a algn pi, formndose conjuntos que recubren a ste. Exis
tirn puntos que disten lo mismo de dos elementos de P y que formarn la frontera de
cada regin. Los conjuntos resultantes forman una teselacin del plano, en el senti
do de que son exhaustivos (todo punto del plano pertenece a alguno de ellos) y m
utuamente excluyentes salvo en su
frontera. Llamamos a esta teselacin Diagrama de Voronoi plano (denotado Vor(P)).
A cada una de las regiones resultantes las llamaremos regiones de Voronoi o po
lgonos de Voronoi (denotado Vor(pi)). Los puntos del conjunto reciben el nombre d
e generadores del diagrama.

voro1.gif (2630 bytes)

En la figura se muestra el diagrama de Voronoi de una nube puntos (en rojo) en e
l plano. Esta figura se ha obtenido mediante un Applet de Java (para usarlo bast
a con esperar a que se cargue el texto en el botn que est tras este prrafo y teclea
r con el ratn en l -con el ratn puedes aadir y mover puntos y adems puedes determinar
otras estructuras que se ven en este curso y de las que puedes encontrar refere
ncias en estas pginas-)

Ntese que en la definicin hemos usado una desigualdad no estricta. Es tambin posibl
e dar la definicin a partir de la desigualdad estricta, pero para nosotros las re
giones de Voronoi sern cerrados. Al ser cada regin un cerrado contendr a su fronter
a. Esta podr estar formada por segmentos de recta,
semirrectas o rectas, que llamaremos bordes de la regin.
Dentro de los bordes de una regin distinguimos aquellos puntos que pertenecen a t
res o ms regiones, que llamaremos vrtices. Cuando un vrtice pertenece a cuatro o ms
regiones distintas diremos que el diagrama de Voronoi es degenerado. Esto ocurr
e cuando los generadores correspondientes a cada una de las regiones en las que
se encuentra el vrtice descansan sobre una misma circunferencia. Esta configuracin
es muy inestable, en el sentido de que un pequeo cambio en la posicin de cualquie
ra de los estos generadores ocasiona la aparicin de un nuevo borde con dos vrtices
en el lugar donde estaba el vrtice original. Los diagramas degenerados requieren
en ocasiones un tratamiento a parte que no resulta de importancia para el desar
rollo de la exposicin. Para evitar esta dificultad en
adelante slo consideraremos diagramas de Voronoi no degenerados.

Seccin 3: Propiedades bsicas

Vamos a intentar encontrar un mtodo que nos permita un primer clculo de los diagra
mas de Voronoi. Este primer mtodo est basado en que otra posible forma de aproxima
rnos a la definicin de diagrama de Voronoi sera considerando los semiplanos genera
dos a partir de la bisectriz entre dos puntos cualesquiera de P. Si denotamos po
r h(pi,pj) al semiplano que contiene a pi de entre los dos generados por la bise
ctriz entre pi y pj. Los puntos del
plano pertenecientes a h(pi,pj) son aquellos que estn ms prximos a pi que a pj. Tom
emos por comodidad p1 fijo y consideramos la interseccin de todos los h(p1,pj) co
n j mayor o igual que 2. Cualquier punto perteneciente a dicha interseccin estar ms
cerca de p1 que de cualquier otro punto de P y por tanto dicha interseccin ser
la regin de Voronoi de p1. Podemos enunciar dicha propiedad en el siguiente
Lema 3.1: La interseccin de los semiplanos h(p1,pj) es Vor(p1).
A partir del Lema 3.1 podemos deducir que las regiones de Voronoi sern conjuntos
convexos al ser interseccin de convexos (semiplanos). En la figura se ve el diag
rama de Voronoi que ya representamos anteriormente y una de sus regiones que se
observa que es convexo.
voro2.gif (2714 bytes)
En las dos siguientes proposiciones veremos caracterizaciones para las regiones
y bordes no acotadas del diagrama.
Proposicin 3.1: Una regin de Voronoi es no acotada si y slo si su generador se encu
entra en la frontera de la envolvente convexa.
Proposicin 3.2: a) Los bordes de una regin de Voronoi son rectas infinitas
si y slo si todos los puntos de P descansan sobre una misma recta.
b) El borde de Voronoi entre dos generadores es una semirrecta si y slo si P no
es colineal y los generadores son consecutivos en la frontera de la envolvente c
onvexa de P.
c) El borde de Voronoi entre dos generadores es segmento de recta finito si y sl
o si P es no colineal y al menos uno de los dos generadores est en el interior de
la envolvente convexa de P.
Terminaremos esta seccin con una caracterizacin de los bordes y vrtices de un diagr
ama de Voronoi. Hemos visto que los bordes son partes de bisectrices entre dos g
eneradores, y que los vrtices son intersecciones de aquellas. Sin embargo, hay un
nmero cuadrtico de bisectrices, mientras que la complejidad del diagrama es linea
l. Esto es, no todas las bisectrices definen un borde, ni todas las interseccion
es son vrtices. Para caracterizar que bisectrices e intersecciones caracterizan l
os elementos del diagrama daremos la siguiente definicin:
Dado un punto q llamaremos crculo mximo vaco al mayor crculo centrado en $q$ que no
contiene a ningn generador del diagrama en su interior.
A partir de esta definicin podemos dar una caracterizacin de los
bordes y vrtices de un diagrama de Voronoi.
Proposicin 3.3: Dado un diagrama de Voronoi Vor(P) generado por un conjunto de pu
ntos P en el plano, se cumple:
a) Un punto q es vrticie de Vor(P) si y slo si el crculo mximo vaco centrado en q con
tiene tres o (en el caso de tratarse de un diagrama degenerado) ms generadores en
su frontera.

voro3.gif (3894 bytes)

b) La bisectriz entre dos generadores define un borde de Vor(P) si y slo si exist
e un punto q sobre dicha bisectriz tal que el crculo mximo vaco centrado en q conti
ene solamente a estos dos generadores en su frontera.
voro4.gif (5061 bytes)
Seccin 4: Algoritmos
El gran nmero de aplicaciones del diagrama de Voronoi ha espoleado a numerosos in
vestigadores a desarrollar algoritmos para computarlo. Mencionaremos a continuac
in cuatro de ellos sin detenernos en su desarrollo.
Interseccin de semiplanos
Tal y como hemos dicho anteriormente, podemos construir cada regin de Voronoi por
separado mediante la interseccin de n-1 semiplanos. La construccin de n semiplano
s puede construirse en tiempo O(n log n) mediante un algoritmo de divide y vence
rs. Hacer esto para cada generador costara un tiempo total de O(n2 log n).
Algoritmo Incremental
Se basa en, supuesto construido el diagrama para k puntos, construir el diagrama
para k+1. Este algoritmo emplea un tiempo de O(n) en la insercin de cada nuevo p
unto, con una complejidad total de O(n2). A pesar de su complejidad cuadrtica, es
te ha sido el mtodo ms popular para construir el diagrama.
Divide y Vencers
El diagrama de Voronoi puede construirse con un algoritmo tipo divide y vencers e
n tiempo O(n log n). Esta complejidad es asintticamente ptima, pero el algoritmo r
esulta bastante difcil de implementar.
Los pasos fundamentales del algoritmo son:
El Algoritmo de Fortune
Hasta mediados de los ochenta, la mayora de las implementaciones para computar el
diagrama de Voronoi usaban el algoritmo incremental cuadrtico, admitiendo su may
or lentitud para evitar la complejidad del cdigo divide y vencers. En 1985 Fortune
invent un inteligente algoritmo de barrido plano que resulta tan simple como el
incremental, pero en tiempo O(n log n).
Problemas
Describir las mediatrices (el conjunto de puntos que equidistan) de:
Un punto y una recta
Dos rectas
Un punto y un segmento
Dos segmentos
Dados dos conjuntos de puntos A y B, cada uno de ellos con N puntos, encontrar e
l mnimo de la distancia de un punto de A a uno de B.
Algunas de las mtricas ms usuales, adems de la eucldea son las siguientes:
d1((x1,y1),(x2,y2))= |x1-x2|+|y1-y2|
y
dw((x1,y1),(x2,y2))= max{|x1-x2|
,|y1-y2|}

Construir el diagrama de Voronoi de tres puntos con estas mtricas.