Diagramas de Voronoi abstractos y mtricas temporales

Belen Palop, Dpto. Informatica, U. de Valladolid

B.

Palop

Geometra Computacional
Geometra Combinatoria: The art of counting and estimating is at the heart of combinatorics and it is a necessary prerequisite for analyzing algorithms and for deciding which algorithms are the most efcient ones (H. Eddelsbrunner)

B.

Palop

Geometra Computacional
Geometra Combinatoria: The art of counting and estimating is at the heart of combinatorics and it is a necessary prerequisite for analyzing algorithms and for deciding which algorithms are the most efcient ones (H. Eddelsbrunner) Geometra Algortmica: Disciplina que se ocupa del diseo y anlisis de algoritmos ecientes para la solucin constructiva de problemas geomtricos. Eciencia: Operaciones primitivas en funcin del tamao de la entrada segn el modelo de RAM real.

B.

Palop

Diagramas de Voronoi

B.

Palop

Diagramas de Voronoi

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar.

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en y .

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en 1908 Voronoi: Formaliza en y .

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en 1908 Voronoi: Formaliza en y .

1911 Thiessen: Clculo de precipitaciones.

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en 1908 Voronoi: Formaliza en 1927 Niggli: Cristalografa. y .

1911 Thiessen: Clculo de precipitaciones.

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en 1908 Voronoi: Formaliza en 1927 Niggli: Cristalografa. 1949 Bogue: Estudios de mercado. y .

1911 Thiessen: Clculo de precipitaciones.

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en 1908 Voronoi: Formaliza en 1927 Niggli: Cristalografa. 1949 Bogue: Estudios de mercado. 1965 Redescubrimiento en ecologa. y .

1911 Thiessen: Clculo de precipitaciones.

B.

Palop

Diagramas de... Voronoi?

1644 Descartes: Disposicin de la materia en el sistema solar. 1850 Dirichlet: Formaliza en 1908 Voronoi: Formaliza en 1927 Niggli: Cristalografa. 1949 Bogue: Estudios de mercado. 1965 Redescubrimiento en ecologa. 1987 Icke: Astronoma. y .

1911 Thiessen: Clculo de precipitaciones.

B.

Palop

Diagramas de Voronoi. Denicin

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. Sea una distancia y sean y dos puntos de un conjunto
                 !

B.

Palop

Diagramas de Voronoi. Denicin

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. Sea una distancia y sean y dos puntos de un conjunto
            #           "     $    !  !

B.

Palop

Diagramas de Voronoi. Denicin

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. Sea una distancia y sean y dos puntos de un conjunto
            #           "     $    !  !

'

) 1( 20

4 53 6

%&

"

B.

Palop

Diagramas de Voronoi. Denicin

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. Sea una distancia y sean y dos puntos de un conjunto
            #           "     $    !  !

'

) 1( 20

4 53 6

%&

 

%&

"

B.

Palop

Diagramas de Voronoi. Generalizaciones

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. Un sitio puede no ser un punto.

Generalizacin de sitios

Segmentos (Eje medio y esqueletos rectilneos) Diagrama de potencias

B.

Palop

Diagramas de Voronoi. Generalizaciones

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. Pueden interesarnos varios sitios Orden

Generalizacin del orden

Diagrama de Voronoi lejano

12

2
24 14

23

1 4

3
34

15

45

35

B.

Palop

Diagramas de Voronoi. Generalizaciones

Teselacin del plano asignando a cada sitio los puntos ms cercanos a l. La cercana depende de la distancia Generalizacin de la mtrica Mtricas

Funciones de distancia convexas Pesos aditivos y multiplicativos

B.

Palop

Diagramas de Voronoi Abstractos. Denicin

R. Klein, 1989 Sea una distancia, sea puntos de un conjunto
  "  

el orden lexicogrco y sean , con .

 #   B    $   !

dos



B.

Palop

Diagramas de Voronoi Abstractos. Denicin

R. Klein, 1989 Sea una distancia, sea puntos de un conjunto
  "     C 

el orden lexicogrco y sean , con .

 #   B    $       D    !  !

dos





B.

Palop

Diagramas de Voronoi Abstractos. Denicin

R. Klein, 1989 Sea una distancia, sea puntos de un conjunto
  "     C 

el orden lexicogrco y sean , con .

 #   B    $       D    !  !

dos





F E

 

"

B.

Palop

%&     '   "  F H ( ) 1 0 6 G( C    '  C  F E "    9  D   !  $   !        #          ( ) 120 ( G 6     C     "  

Diagramas de Voronoi Abstractos. Denicin

R. Klein, 1989 Sea una distancia, sea puntos de un conjunto
B

el orden lexicogrco y sean , con .

B

dos

B. Palop 9

%&   7   6 ) 0 %&    9  ( ) 1 0 6 G( C    8 "  F H '  ) 120 ( G 6  C  F E "    9  D   !  $   !        #        ( '           C     "  

Diagramas de Voronoi Abstractos. Denicin

R. Klein, 1989 Sea una distancia, sea puntos de un conjunto
B

el orden lexicogrco y sean , con .

B

dos

B. Palop 9

Diagramas de Voronoi Abstractos

Un bisector es una curva abierta en el plano que separa las dominaciones de dos sitios (no ubicados)

q r r p

B.

Palop

10

Diagramas de Voronoi Abstractos

Un bisector es una curva abierta en el plano que separa las dominaciones de dos sitios (no ubicados) La interseccin de todas las dominaciones es la regin de un sitio

q r r p

B.

Palop

10

Diagramas de Voronoi Abstractos

Un bisector es una curva abierta en el plano que separa las dominaciones de dos sitios (no ubicados) La interseccin de todas las dominaciones es la regin de un sitio Un sistema es admisible si interseca bien y las regiones son conexas por caminos
q r

q p p r

B.

Palop

10

Diagramas de Voronoi Abstractos. Resumen

Ventajas: Independencia del concepto de distancia

B.

Palop

11

Diagramas de Voronoi Abstractos. Resumen

Ventajas: Independencia del concepto de distancia Independencia del tipo de sitios y de su ubicacin

B.

Palop

11

Diagramas de Voronoi Abstractos. Resumen

Ventajas: Independencia del concepto de distancia Independencia del tipo de sitios y de su ubicacin Gran cantidad de mtricas en el plano producen sistemas admisibles

B.

Palop

11

Diagramas de Voronoi Abstractos. Resumen

Ventajas: Independencia del concepto de distancia Independencia del tipo de sitios y de su ubicacin Gran cantidad de mtricas en el plano producen sistemas admisibles Dicultades para el clculo del diagrama dependiendo del tipo de curvas obtenidas

Inconvenientes:

B.

Palop

11

Diagramas de Voronoi Abstractos. Resumen

Ventajas: Independencia del concepto de distancia Independencia del tipo de sitios y de su ubicacin Gran cantidad de mtricas en el plano producen sistemas admisibles Dicultades para el clculo del diagrama dependiendo del tipo de curvas obtenidas Gran cantidad de mtricas en el plano producen bisectores cerrados

Inconvenientes:

B.

Palop

11

Diagramas de Voronoi Abstractos. Problema abierto

Encontrar una generalizacin similar a los diagramas de Voronoi Abstractos y mtodos algortmicos asociados que permitan enfrentarse a mtricas con bisectores cerrados.

B.

Palop

12

Mtricas agradables
Si es una mtrica en el plano,

es agradable cuando:

induce la topologa eucldea

B.

Palop

13

Mtricas agradables
Si es una mtrica en el plano,

es agradable cuando:

induce la topologa eucldea

Las -bolas son acotadas respecto a la distancia eucldea

B.

Palop

13

Mtricas agradables
Si es una mtrica en el plano,

es agradable cuando:

induce la topologa eucldea , existe



Las -bolas son acotadas respecto a la distancia eucldea Dados tal que
I   P  I Q R    I  

B.

Palop

13

Mtricas agradables
Si es una mtrica en el plano,

es agradable cuando:

induce la topologa eucldea , existe



Las -bolas son acotadas respecto a la distancia eucldea Dados tal que
I   P  I Q R    I  

B(p,q) es una curva homeomorfa a (0,1)

B.

Palop

13

Mtricas agradables
Si es una mtrica en el plano,

es agradable cuando:

induce la topologa eucldea , existe



Las -bolas son acotadas respecto a la distancia eucldea Dados tal que
I   P  I Q R    I  

B(p,q) es una curva homeomorfa a (0,1) Dos bisectores intersecan en un nmero nito de componentes conexas.

B.

Palop

13

Mtricas agradables
Si es una mtrica en el plano,

es agradable cuando:

induce la topologa eucldea , existe



Las -bolas son acotadas respecto a la distancia eucldea Dados tal que
I   P  I Q R    I  

B(p,q) es una curva homeomorfa a (0,1) Dos bisectores intersecan en un nmero nito de componentes conexas.
S
Palop

Teorema (Dehne,Klein): El diagrama de Voronoi de una nube de puntos con una mtrica agradable se puede calcular en .
 S  T S V WU X

B.

13

Mtricas temporales
Diferentes velocidades en el plano

B.

Palop

14

Mtricas temporales
Diferentes velocidades en el plano

B.

Palop

14

Mtricas temporales
Diferentes velocidades en el plano Redes de transporte

B.

Palop

14

Mtricas temporales. Puntos de inters

Comportamiento de las funciones de distancia Clculo de caminos mnimos Clculo eciente de bisectores Tipo de diagramas de Voronoi obtenidos

B.

Palop

15

Modelos de transporte
Red sobre una lnea Red en cua Red circular Modelo continuo con restricciones isotticas Modelo discreto

B.

Palop

16

Modelo de una lnea. Descripcin

La red es una nica recta
A

La velocidad en el plano es

y fuera es

Los viajeros se mueven en el plano en cualquier direccin Cualquier punto de es un punto de acceso a la red
A

B.

Palop

17

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Descripcin

Caminos mnimos Bolas temporales Region andando Bisectores elegidos

B.

Palop

18

Modelo de una lnea: Problemas

Diagrama de Voronoi temporal Par temporal ms cercano Diagrama de Voronoi inverso Envolvente convexa temporal

B.

Palop

19

Modelo de una lnea: Diagrama de Voronoi temporal

La distancia temporal es una mtrica agradable induce la topologa eucldea Las bolas temporales estn acotadas , para , es una curva homeomorfa a tiene un nmero nito de componentes conexas
b c  b c  bc P bc    I   d   b e   E  b e  b e  I g   Y  f  !    I    I

B.

Palop

20

Modelo de una lnea: Diagrama de Voronoi temporal

La distancia temporal es una mtrica agradable induce la topologa eucldea Las bolas temporales estn acotadas , para , es una curva homeomorfa a tiene un nmero nito de componentes conexas
b c  b c  bc P bc    I   d   b e   E  b e  b e  I g   Y  f  !    I    I

B.

Palop

20

Modelo de una lnea: Diagrama de Voronoi temporal

La distancia temporal es una mtrica agradable induce la topologa eucldea Las bolas temporales estn acotadas , para , es una curva homeomorfa a tiene un nmero nito de componentes conexas
b c  b c  bc P bc    I   d   b e   E  b e  b e  I g   Y  f  !    I    I

B.

Palop

20

Modelo de una lnea: Diagrama de Voronoi temporal

La distancia temporal es una mtrica agradable

B.

Palop

20

Modelo de una lnea: Problemas

Diagrama de Voronoi temporal Teorema: La distancia temporal inducida por el modelo de una lnea es una mtrica agradable Corolario: El diagrama de Voronoi temporal de un conjunto de puntos con la mtrica temporal puede calcularse en tiempo y espacio lineal
 h S  S 
Palop

Par temporal ms cercano Diagrama de Voronoi temporal lejano Envolvente convexa temporal

S 

V WU X

VU X

B.

21

Modelo de una lnea: Par temporal ms cercano

El par temporal ms cercano minimiza la distancia eucldea o sobre la red

B.

Palop

22

Modelo de una lnea: Par temporal ms cercano

El par temporal ms cercano minimiza la distancia eucldea o sobre la red

B.

Palop

22

Modelo de una lnea: Problemas

Diagrama de Voronoi temporal


Par temporal ms cercano Teorema: El par temporal ms cercano es el que minimiza la distancia temporal o sobre la red Teorema: El par temporal ms cercano de un conjunto de puntos se puede calcular en tiempo y espacio lineal
 h S VU X 

Diagrama de Voronoi temporal lejano Envolvente convexa temporal

S 

VU X

B.

S
Palop

S 

S 

h S

VU X

23

Modelo de una lnea: DV temporal lejano

Los puntos con regin no vaca pertenecen a la envolvente convexa eucldea o no estn dominados por la derecha o por la izquierda Todas las regiones no vacas intersecan una curva cerrada que contiene todos los vrtices del diagrama en cierto orden

B.

Palop

24

Modelo de una lnea: DV temporal lejano

Los puntos con regin no vaca pertenecen a la envolvente convexa eucldea o no estn dominados por la derecha o por la izquierda Todas las regiones no vacas intersecan una curva cerrada que contiene todos los vrtices del diagrama en cierto orden

B.

Palop

24

Modelo de una lnea: DV temporal lejano

Los puntos con regin no vaca pertenecen a la envolvente convexa eucldea o no estn dominados por la derecha o por la izquierda Todas las regiones no vacas intersecan una curva cerrada que contiene todos los vrtices del diagrama en cierto orden

4 3

1 6 5

2 3 4 1

B.

Palop

24

Modelo de una lnea: DV temporal lejano

Los vrtices del diagrama pueden ordenarse dependiendo de su distancia temporal a los puntos que los generan
6

1 5 6

2 3 4

B.

Palop

25

Modelo de una lnea: DV temporal lejano

Los vrtices del diagrama pueden ordenarse dependiendo de su distancia temporal a los puntos que los generan

1 5

2 3 4

B.

Palop

25

Modelo de una lnea: DV temporal lejano

Los vrtices del diagrama pueden ordenarse dependiendo de su distancia temporal a los puntos que los generan

1 5

2 4

B.

Palop

25

Modelo de una lnea: DV temporal lejano

Los vrtices del diagrama pueden ordenarse dependiendo de su distancia temporal a los puntos que los generan

1 2

2 1 4

B.

Palop

25

Modelo de una lnea: Problemas

Diagrama de Voronoi temporal Par temporal ms cercano
  S 
Palop

Diagrama de Voronoi temporal lejano Teorema: La secuencia ordenada de regiones de Voronoi y espacio no vacas se puede calcular en tiempo lineal Teorema: El diagrama de Voronoi lejano temporal de un conjunto de puntos se puede calcular en tiempo y espacio lineal con un proceso de eliminacin orejas, dada la secuencia ordenada de regiones no vacas.
 h  S  h S VU X  S h S

S
B.

Envolvente convexa temporal

S 

VU X

S 

V WU X

VU X

S 

h S

VU X

26

Modelo de una lnea: Envolvente convexa temporal

Un conjunto es temporalmente convexo si contiene el camino mnimo entre cada par de puntos del conjunto La envolvente convexa temporal de un conjunto es el menor conjunto temporalmente convexo que contiene a todos los puntos de

B.

Palop

27

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

El trabajo ms costoso es decomponer el conjunto dependiendo de las regiones andando de los puntos

B.

Palop

28

Modelo de una lnea: Envolvente convexa temporal

No se conoce ningn algoritmo subcuadrtico para la envolvente convexa temporal. Sin embargo, el diagrama de Voronoi temporal lejano puede calcularse en tiempo
 h b iC   S S 
B. Palop

No hay relacin entre los puntos en la frontera de y los puntos con regin lejana no vaca Puntos que no estn en la frontera de pueden tener regin no vaca
b iC  

VU X

29

Modelo de una lnea: Envolvente convexa temporal

No se conoce ningn algoritmo subcuadrtico para la envolvente convexa temporal. Sin embargo, el diagrama de Voronoi temporal lejano puede calcularse en tiempo
 h b iC   S S 
B. Palop

No hay relacin entre los puntos en la frontera de y los puntos con regin lejana no vaca Puntos que no estn en la frontera de pueden tener regin no vaca Puntos de la frontera de pueden tener regin vaca
b iC   b iC  

VU X

29

Modelo de una lnea: Problemas

Diagrama de Voronoi temporal Par temporal ms cercano Diagrama de Voronoi temporal lejano
  S  
Palop

S h S
B.

Envolvente convexa temporal Teorema: La envolvente convexa temporal de un conjunto de puntos no se puede calcular en tiempo subcuadrtico nicamente con preguntas sobre inclusin en la regin andando.
S 

S 

V WU X

VU X

S 

h S

VU X

30

Red en cua: Descripcin

La red de transporte es una cua La velocidad en el plano es y en
Y

con ngulo interior es

` a a Y

Los viajeros se mueven en el plano en cualquier direccin Cada punto de es un acceso a la red
p

q
B.

Palop

31

Red en cua: Descripcin

Caminos mnimos Bolas temporales Bisectores elegidos

B.

Palop

32

Red en cua: Descripcin

Caminos mnimos Bolas temporales Bisectores elegidos

B.

Palop

32

Red en cua: Descripcin

Caminos mnimos Bolas temporales Bisectores elegidos

B.

Palop

32

Red en cua: Descripcin

Caminos mnimos Bolas temporales Bisectores elegidos

B.

Palop

32

Modelo circular: Descripcin

La red de transporte es una circunferencia La velocidad en el plano es y en es
Y C `

de radio

Los viajeros se mueven en el plano en cualquier direccin Cada punto de es un acceso a la red
C

B.

Palop

33

Modelo circular: Descripcin

Caminos mnimos Bisectores elegidos

B.

Palop

34

Modelo isottico: Descripcin

La red de transporte es un grafo plano isottico La velocidad en el plano es y en es
Y C ` a a Y C

Los viajeros se mueven en el plano en cualquier direccin Cada punto de es un acceso a la red
C

B.

Palop

35

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Descripcin

Caminos mnimos Bolas temporales y esqueletos rectilneos

B.

Palop

36

Modelo isottico: Diagrama de Voronoi de una ciudad

Teorema: El esqueleto rectilneo de un conjunto de guras que no se chocan es un diagrama de Voronoi Abstracto con como sistema bisector
t  u ! v2 t u !  r

Corolario: El diagrama de Voronoi para un conjunto de puntos para el modelo isottico se puede calcular en tiempo y espacio lineal
 S  h S V WU X S

B.

Palop

37

Modelo discreto: Descripcin

La red de transporte es un grafo dirigido con pesos positivos La velocidad en el plano es y la velocidad en determinada en los pesos de las aristas
Y x
B. Palop

est

Los viajeros se mueven en cualquier direccin en el plano Slo los nodos de son puntos de acceso a la red
x

38

Modelo discreto: Diagrama de Voronoi temporal

Teorema: El diagrama de Voronoi temporal para un conjunto de puntos con un grafo de nodos se puede transformar en un diagrama de Voronoi con pesos aditivos en tiempo y espacio .
y   P y  V WU X y   h V WU X P h S S y S

Corolario: El diagrama de Voronoi para un conjunto de puntos con un grafo con nodos se puede calcular en tiempo , despus del preprocesado
  P y  V WU X  y  h S S P  y S

B.

Palop

39

Conclusiones
Modelos muy sencillos de red de transporte llevan a problemas muy complejos desde el punto de vista computacional Hay que intentar generalizar la idea de las guras para descomponer los bisectores cerrados... o resolver el problema abierto de la generalizacin de los Diagramas de Voronoi Abstractos a otros bisectores

B.

Palop

40