Time-Based Voronoi Diagram

49
Time-Based Voronoi Di Time-Based Voronoi Di agram agram D. T. Lee Institute of Information S Institute of Information S cience Academia Sinica, T cience Academia Sinica, T aipei, Taiwan aipei, Taiwan [email protected] [email protected] ly with C. S. Liao, W. B. Wang, IIS.

description

Time-Based Voronoi Diagram. D. T. Lee Institute of Information Science Academia Sinica, Taipei, Taiwan. [email protected]. Jointly with C. S. Liao, W. B. Wang, IIS. Outline . Introduction Preliminaries Good intersection condition General condition Conclusion. - PowerPoint PPT Presentation

Transcript of Time-Based Voronoi Diagram

Page 1: Time-Based Voronoi Diagram

Time-Based Voronoi DiagramTime-Based Voronoi Diagram

D. T. LeeInstitute of Information Science AcadeInstitute of Information Science Acade

mia Sinica, Taipei, Taiwanmia Sinica, Taipei, Taiwan

[email protected]@iis.sinica.edu.tw

Jointly with C. S. Liao, W. B. Wang, IIS.

Page 2: Time-Based Voronoi Diagram

2/ 57

Outline Introduction Preliminaries Good intersection condition General condition Conclusion

Page 3: Time-Based Voronoi Diagram

4/ 57

Multiple Highways Model Input: A set S of points, S={p1, …, pn} in th

e plane and k highways L1, …, Lk, modeled as lines. Travelers can enter the highways at any point a

nd move along Li at speed vi in both directions. Off the highways travelers can move freely in a

ny direction at speed v0 << v1,…, vk. Output: A Voronoi diagram for the input ba

sed on traveling time, i.e. Time-based Voronoi Diagram

Page 4: Time-Based Voronoi Diagram

5/ 57

Time Distance Given two points p, q in the plane, the short

est time path spt(p, q) is a path that takes the shortest time traveling between p to q.

The time distance dt(p, q) between p and q is the time required to follow any shortest time paths between p and q.

Page 5: Time-Based Voronoi Diagram

6/ 57

One Highway Problem Abellanas, Hurtado, Sacristan, Icking, Ma,

Klein, Langetepe, Palop IPL, 2003 Assumption

L1 lies on the x-axis. sine = v0/v1 = 1/v1

L1+: the half-plane above L1

L1-: the half-plane below L1

Page 6: Time-Based Voronoi Diagram

7/ 57

Where to Enter the Highway

α

p

q

sine = v0/v1 = 1/v1α

prpl L1

Page 7: Time-Based Voronoi Diagram

8/ 57

Time Distance

L1

α

p

q

pL1

pr ql

1ˆ Lp

Page 8: Time-Based Voronoi Diagram

9/ 57

Terminology : the symmetric point of p reflecting by L1. Given a site p, let be the half-ray with

endpoint p and of slope tan (-tan ) respectively.

1Lp

)ˆ( ˆ pp

Page 9: Time-Based Voronoi Diagram

10/ 57

L1

p

q

1ˆ Lp1ˆ Lp

1L1Lp

Page 10: Time-Based Voronoi Diagram

11/ 57

L1

p

q

p̂p̂

1L

Page 11: Time-Based Voronoi Diagram

12/ 57

Approach Transform the 1-highway problem into

another problem in time distance. If q and p are on the same side, the time

distance between q to p must be one of the Euclidean distances from q to

Otherwise, the time distance between q to p must be one of the Euclidean distances from q to

11 ˆ,ˆ, LL ppp

ppp ˆ,ˆ,

Page 12: Time-Based Voronoi Diagram

14/ 57

Vor() & Vort() Vor(x, X): the Euclidean Voronoi Region of

a site or a line x X with respect to the set X.

Vort(x, X): the time-based Voronoi Region of a site or a line x X with respect to the set X.

Xx

YxVorYXVor

),(),(

Page 13: Time-Based Voronoi Diagram

15/ 57

Theorem [Abellanas, et al.] For p L+

For p L-

)),ˆ(),ˆ(),((

)),ˆ(),ˆ(),((),(

1

111

bbb

aLaLat

PpVorPpVorPpVorL

PpVorPpVorPpVorLSpVor

)),ˆ(),ˆ(),((

)),ˆ(),ˆ(),((),(11

1

1

bLbLb

aaat

PpVorPpVorPpVorL

PpVorPpVorPpVorLSpVor

Page 14: Time-Based Voronoi Diagram

16/ 57

Envelope & Objects Involved

The envelope of the objects below L1

The Voronoi diagram above L1

Page 15: Time-Based Voronoi Diagram

18/ 57

Two Highways Problem O is the intersection of L1 and L2

is the angle between L1 and L2

is the union of and for L1 is similarly defined for L2

Four “quadrants” Q0, Q1, Q2, Q3

1ˆ Lp p̂ p̂

2ˆ Lp

2010 /sin ,/sin21

vvvv LL

Page 16: Time-Based Voronoi Diagram

19/ 57

L1

L2

O

Q3

Q1

Q2

Q0

Page 17: Time-Based Voronoi Diagram

20/ 57

Two Highways Lemma 3.1

Suppose L1 + L2 = , for two points p, q on different highways.

The shortest time paths are not unique. One of the shortest time paths from p to q is to

walk along one highway then change to the other at the intersection.

Page 18: Time-Based Voronoi Diagram

21/ 57

Two Highways

q

p

L1

L2

Page 19: Time-Based Voronoi Diagram

22/ 57

Two Highways Lemma 3.2

Suppose L1 + L2 < , for two points p, q on different highways.

The shortest time path from p to q is to walk along one highway then change to the other at the intersection.

Page 20: Time-Based Voronoi Diagram

23/ 57

Two Highways

A B

DC

q

p

L1

L2

Page 21: Time-Based Voronoi Diagram

24/ 57

Two Highways Lemma 3.3

Suppose L1 + L2 > , for two points p, q on different highways.

The shortest time path from p to q is to walk along at most one highway. (shortcut)

Page 22: Time-Based Voronoi Diagram

26/ 57

Two Highways

q1

p

L1

L2

q2

q3

L1

L2

Page 23: Time-Based Voronoi Diagram

28/ 57

Good Condition for Highway Intersection

Highways L1, L2 are said to satisfy good intersection condition if and only if L1 + L2 .

Any shortest time path connecting two points on different highways that satisfy good intersection condition contains no shortcut.

Page 24: Time-Based Voronoi Diagram

31/ 57

O-Domination Site pO is the O-domination site if

O is in the Voronoi region of O-domination site pO

),(min),( pOdpOd tSpOt

Page 25: Time-Based Voronoi Diagram

32/ 57

-Distance-Line-from-O

L1

L2

O

2

Q3

213 )( O

Q2

Q1

Q0

Page 26: Time-Based Voronoi Diagram

33/ 57

O-Domination Line The -distance-line-from-O, , is called

O-domination line in Qi, where = dt(O, pO).

)(Oi

Page 27: Time-Based Voronoi Diagram

34/ 57

Trivial Site Any site which is not the O-domination site

is a trivial site

Page 28: Time-Based Voronoi Diagram

35/ 57

Some Properties For a point qVort(p, S), if the shortest time

path from q to p passes through O, then the site p is the O-domination site.

For a point qVort(p, S), if the shortest time path from q to p enters both highways, the path must pass through O provided that the two highways satisfy good intersection condition.

Page 29: Time-Based Voronoi Diagram

36/ 57

Some Properties (cont’d) For a point qVort(p, S), and p is a trivial si

te, then the q to p path never enters both highways.

For a trivial site p in Qi,Vort(p, S) Q(i+2) mod 4 =

We need not consider trivial sites in Qi when we compute the Voronoi diagram in Q(i+2) mod 4

Page 30: Time-Based Voronoi Diagram

38/ 57

Notations Let Li+ be the line that borders quadrant Qi a

nd Q(i+1) mod 4, and Li- borders quadrant Qi and Q(i-1) mod 4

QiQ(i+1) mod 4

Q(i-1) mod 4

Li-

Li+

Page 31: Time-Based Voronoi Diagram

39/ 57

Good Condition Case The time-based Voronoi diagram in Qi, is d

etermined by the set of objects Pi:

4 mod)1(4 mod)1(

ˆˆ

ˆˆ)(

ii

i

ii

Qpi

Qpi

Qp

Li

Lii

i

pp

pppOP

Page 32: Time-Based Voronoi Diagram

40/ 57

Envelope & Objects Involved

Li+

Li-

O

Page 33: Time-Based Voronoi Diagram

41/ 57

Time-Based Voronoi Diagram The time-based Voronoi diagram in a quadr

ant Qi is The time-based Voronoi diagram is

It is our general form.

ii QPVor )(

3

0

)(

i

ii QPVor

Page 34: Time-Based Voronoi Diagram

42/ 57

Algorithm Find the O-domination site pO and let=dt(O, pO) Compute the O-domination line for Qi, i=0,1,2,3 Compute the set Pi of objects used for constructing the Vor

onoi diagram in each quadrant Qi for i=0,1,2,3. i.e, the envelope surrounding Qi, and all the sites in Qi

Compute the ordinary Voronoi diagram in Qi. i.e, Vor(Pi) Qi

For all sites p, collect all regions associated with ,and p

pp ˆ ,ˆ

Page 35: Time-Based Voronoi Diagram

43/ 57

Theorem The Voronoi diagram for a set S of n sites i

n the presence of two highways L1 and L2 in the plane that satisfy the good intersection condition, can be computed in O(n log n) time.

Page 36: Time-Based Voronoi Diagram

44/ 57

Multiple Highways Problem Idea

If good intersection condition holds, the problem is not hard.

Find domination site for each intersection. In each cell of the arrangement, only the sites in

the cell and neighboring cells determine the time-based Voronoi diagram in the cell.

Page 37: Time-Based Voronoi Diagram

45/ 57

How to Find Domination Sites?

Insert highways one at a time in order of non-descending speeds.

Rewrite and update intersection domination sites.

Propagation subroutine.

Page 38: Time-Based Voronoi Diagram

46/ 57

Propagation

Page 39: Time-Based Voronoi Diagram

47/ 57

Time Complexity n sites, k highways To determine all intersection-domination sit

es with propagation costs O(kn + k3 log k) time

To compute all time-based Voronoi region costs O(n log n) time

The total time is O(kn + k3 log k + n log n)

Page 40: Time-Based Voronoi Diagram

48/ 57

Two-Highway Model in General No good condition now. Lemma 5.1

Let p, q be any two points on the plane. If the number of shortest time path from p to q is finite, and the shortest time path walks along both highways, then the path must pass through the intersection of two highways.

Page 41: Time-Based Voronoi Diagram

49/ 57

Two-Highway Model in General (cont’d) The time-based Voronoi diagram in Qi, is d

etermined by the set of objects Pi:

)(ˆˆˆˆ

ˆˆˆˆ

4 mod)1(4 mod)2(

4 mod)1(

Opppp

ppppSP

iQp

iLi

Qpii

Qp

Lii

Qp

Li

Li

i

i

i

i

i

i

i

ii

Page 42: Time-Based Voronoi Diagram

50/ 57

Time-Based Voronoi Diagram The time-based Voronoi diagram in a quadr

ant Qi is The time-based Voronoi diagram is

The time-based Voronoi diagram for n points in the presence of two highways can be computed in O(n log n) time.

ii QPVor )(

3

0

)(

i

ii QPVor

Page 43: Time-Based Voronoi Diagram

51/ 57

Special Cases Two parallel highways

12 LL

Page 44: Time-Based Voronoi Diagram

52/ 57

Two Parallel highways Problem Idea

No origin-domination site No shortest time path along both highways Compute the envelope associated with a proper

set of hats

Page 45: Time-Based Voronoi Diagram

53/ 57

Two Parallel Highways Problemp

q

qL1

qL2

L1

L2

21 vv

Page 46: Time-Based Voronoi Diagram

54/ 57

L2 L1+ L1 nullifies L2

No shortest time path along both highways We solve the problem as in two parallel hig

hways case.

Page 47: Time-Based Voronoi Diagram

55/ 57

L2 L1+

p

OL1

L2

1

ˆLO

2

ˆLO

21 vv

Page 48: Time-Based Voronoi Diagram

56/ 57

General Multiple Highways Case Hard to determine the shortest time path Hard to determine the intersection dominati

on sites Propagation doesn’t work

OPEN?

Page 49: Time-Based Voronoi Diagram

57/ 57

Conclusion n sites, k highways If good intersection condition holds, we can

solve the problem inO(k3 log k + kn + n log n) time

If good intersection condition doesn’t hold, we can solve two highways problem inO(n log n) time.