Computational Geometry: - Line segment intersectionpage.mi.fu-berlin.de/panos/cg13/l03.pdf ·...

Computational Geometry:Line segment intersection

Panos Giannopoulos, Wolfgang Mulzer, Lena SchlipfAG TI

SS 2013

Tutorial room change: 055 this building !!!(from next monday on)

Outline

Motivation

Line segment intersection (and the sweep line paradigm)

Assignment 3

CGAL and Google Summer of Code

,FU Berlin, Computational Geometry:, SS 2013 3

Map layers

MotivationLine segment intersection

Plane sweepMap overlay

Map layers

In a geographic information system(GIS) data is stored in separatelayers

A layer stores the geometricinformation about some theme, likeland cover, road network,municipality boundaries, red foxhabitat, . . .

Computational Geometry Lecture 2: Line segment intersection for map overlay


Map overlay



Map overlay

Map overlay is the combination oftwo (or more) map layers

It is needed to answer questions like:

What is the total length ofroads through forests?

What is the total area of cornfields within 1km from a river?

What area of all lakes occurs atthe geological soil type “rock”?



Map overlay



Map overlay

To solve map overlay questions, weneed (at the least) intersectionpoints from two sets of line segments(possibly, boundaries of regions)



The (easy) problem


Plane sweep

ProblemOutput-sensitive algorithmsSome attempts

The (easy) problem

Let’s first look at the easiest versionof the problem:

Given a set of of n line segments inthe plane, find all intersection pointsefficiently



An easy, optimal algorithm ?


Plane sweep


An easy, optimal algorithm?

Algorithm FindIntersections(S)Input. A set S of line segments in the plane.Output. The set of intersection points among the segments in S.1. for each pair of line segments ei,ej ∈ S2. do if ei and ej intersect3. then report their intersection point

Question: Why can we say that this algorithm is optimal?



Well..Motivation

Line segment intersectionPlane sweep


Computational Geometry Lecture 2: Line segment intersection for map overlay,

FU Berlin, Computational Geometry:, SS 2013 8

Output sensitive algorithm


Plane sweep


Output-sensitive algorithm

The asymptotic running time of analgorithm is always input-sensitive(depends on n)

We may also want the running timeto be output-sensitive: if the outputis large, it is fine to spend a lot oftime, but if the output is small, wewant a fast algorithm



Intersection points in practice


Plane sweep


Intersection points in practice

Question: How many intersectionpoints do we typically expect in ourapplication?

If this number is k, and if k = O(n),it would be nice if the algorithm runsin O(n logn) time



First attempt


Plane sweep


First attempt

Observation: Two line segmentscan only intersect if their y-spanshave an overlap

So, how about only testing pairs ofline segments that intersect in they-projection?

1D problem: Given a set of intervalson the real line, find all partlyoverlapping pairs

x

y

s1 s2s3 s4 s5 s6

(s1, s2), (s4, s6), (s5, s6)



First attempt


Plane sweep


First attempt

1D problem: Given a set of intervals on the real line, find all partlyoverlapping pairs

Sort the endpoints and handle them from left to right; maintaincurrently intersected intervals in a balanced search tree T

Left endpoint of si: for each sj in T, report the pair si,sj. Theninsert si in T

Right endpoint of si: delete si from T

Question: Is this algorithm output-sensitive for 1D intervalintersection?



First attempt


Plane sweep


First attempt

Back to the 2D problem:

Determine the y-intervals of the 2D line segments

Find the intersecting pairs of intervals with the 1D solution

For every pair of intersecting intervals, test whether thecorresponding line segments intersect, and if so, report

Question: Is this algorithm output-sensitive for 2D line segmentintersection?



Second attempt


Plane sweep


Second attempt

Refined observation: Two linesegments can only intersect if theiry-spans have an overlap, and theyare adjacent in the x-order at thaty-coordinate (they are horizontalneighbors)



Plane sweep


Plane sweep

IntroductionEvents, status, structuresEvent handlingEfficiency

Plane sweep

The plane sweep technique: Imagine a horizontal linepassing over the plane from top to bottom, solving theproblem as it moves

The sweep line stops and the algorithm computes atcertain positions ⇒ events

The algorithm stores the relevant situation at the currentposition of the sweep line ⇒ status

The algorithm knows everything it needs to know abovethe sweep line, and found all intersection points



Sweep


Plane sweep


Sweep

computed

unexploredComputational Geometry Lecture 2: Line segment intersection for map overlay


Sweep and status


Plane sweep


Sweep and status

computed

unexplored

status



Status and events


Plane sweep


Status and events

The status of this particular plane sweep algorithm, at thecurrent position of the sweep line, is the set of line segmentsintersecting the sweep line, ordered from left to right

The events occur when the status changes, and when outputis generated

event ≈ interesting y-coordinate



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

add s1



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

add s2 after s1



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

add s3 between s1and s2



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

add s4 before s1



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

report intersection(s1,s2); swap s1and s3



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

remove s2



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

remove s1



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

add s5 after s3



Example:Motivation



s1

s2s3

s4

s6

s5

s7

s8

report intersection(s3,s4); swap s3and s4



Example:Motivation



. . . and so on . . .



The events


Plane sweep


The events

When do the events happen? When the sweep line is at

an upper endpoint of a line segment

a lower endpoint of a line segment

an intersection point of a line segment

At each type, the status changes; at the third type output isfound too



Assume no degenerate cases


Plane sweep


Assume no degenerate cases

We will at first exclude degenerate cases:

No two endpoints have the samey-coordinate

No more than two line segmentsintersect in a point

. . .

Question: Are there more degeneratecases?



Event list and status structure


Plane sweep


Event list and status structure

The event list is an abstract data structure that stores allevents in the order in which they occur

The status structure is an abstract data structure thatmaintains the current status

Here: The status is the subset of currently intersected linesegments in the order of intersection by the sweep line



Status structure


Plane sweep


Status structure

We use a balanced binary search tree with the line segmentsin the leaves as the status structure

s1 s2s3 s4 s5 s6

s7s8

s1

s2

s3

s4

s5

s6

s7

s1 s2 s3 s4 s5 s6 s7 s8



Status structure


Plane sweep


Status structure

s1 s2s3 s4 s5 s6

s7s8

s1

s2

s3

s4

s5

s6

s7

s1 s2 s3 s4 s5 s6 s7 s8

s9

Upper endpoint: search, and insertComputational Geometry Lecture 2: Line segment intersection for map overlay


Status structure


Plane sweep


Status structure

s1 s2s3 s4 s5 s6

s7s8

s1

s2

s3

s4

s5

s6

s7

s1 s2

s3

s4 s5 s6 s7 s8

s9

s9

s9

Upper endpoint: search, and insertComputational Geometry Lecture 2: Line segment intersection for map overlay


Status structure


Plane sweep


Status structure

Sweep line reaches lower endpoint of a line segment: deletefrom the status structure

Sweep line reaches intersection point: swap two leaves in thestatus structure (and update information on the search paths)



Finding events


Plane sweep


Finding events

Before the sweep algorithm starts, we know all upperendpoint events and all lower endpoint events

But: How do we know intersection point events???(those we were trying to find . . .)

Recall: Two line segments can only intersect if they arehorizontal neighbors



Finding events


Plane sweep


Finding events

Lemma: Two line segments si and sj canonly intersect after (= below) they havebecome horizontal neighbors

Proof: Just imagine that the sweep line isever so slightly above the intersection pointof si and sj, but below any other event �

Also: some earlier (= higher) event madesi and sj horizontally adjacent!!!

sisj

sisj



Event list

Line segment intersectionPlane sweepSubdivisions


Event list

The event list must be a balanced binary search tree, becauseduring the sweep, we discover new events that will happenlater and we want to be able to test whether an event isalready in the list

We know upper endpoint events and lower endpoint eventsbeforehand; we find intersection point events when theinvolved line segments become horizontal neighbors

Geometric Algorithms Lecture 2: Line segment intersection and subdivisions


Structure of the sweep algorithm


Plane sweep


Structure of sweep algorithm

Algorithm FindIntersections(S)Input. A set S of line segments in the plane.Output. The intersection points of the segments in S, with for

each intersection point the segments that contain it.1. Initialize an empty event queue Q. Insert the segment

endpoints into Q; when an upper endpoint is inserted,the corresponding segment should be stored with it

2. Initialize an empty status structure T3. while Q is not empty4. do Determine next event point p in Q and delete it5. HandleEventPoint(p)



Event handling


Plane sweep


Event handling

If the event is an upper endpointevent, and s is the line segment thatstarts at p:

1 Search with p in T, and insert s2 If s intersects its left neighbor in

T, then determine theintersection point and insert in Q

3 If s intersects its right neighbor inT, then determine theintersection point and insert in Q

p

s



Event handling


Plane sweep


Event handling

If the event is a lower endpointevent, and s is the line segment thatends at p:

1 Search with p in T, and delete s2 Let sl and sr be the left and

right neighbors of s in T (beforedeletion). If they intersectbelow the sweep line, then inserttheir intersection point as anevent in Q

p

s



Event handling


Plane sweep


Event handling

If the event is an intersection pointevent where s and s′ intersect at p:

1 . . .

2 . . .

3 . . .

4 . . .

p

s s′



Event handling


Plane sweep


Event handling


1 Exchange s and s′ in T2 . . .

3 . . .

4 . . .

p

s s′



Event handling


Plane sweep


Event handling


1 Exchange s and s′ in T2 If s′ and its new left neighbor in

T intersect below the sweepline, then insert this intersectionpoint in Q

3 . . .

4 . . .

p

s s′



Event handling


Plane sweep


Event handling




3 If s and its new right neighborin T intersect below the sweepline, then insert this intersectionpoint in Q

4 . . .

p

s s′



Event handling


Plane sweep


Event handling




3 If s and its new right neighborin T intersect below the sweepline, then insert this intersectionpoint in Q

4 Report the intersection point

p

s s′



Event handling



Event handling

p

s

s′

Can it be that newhorizontal neighbors alreadyintersected above the sweepline?

Can it be that we insert anewly detected intersectionpoint event, but it alreadyoccurs in Q?

Insert events only once!



Efficiency


Plane sweep


Efficiency

How much time to handle an event?

At most one search in T and/or one insertion, deletion, orswap

At most twice finding a neighbor in T

At most one deletion from and two insertions in Q

Since T and Q are balanced binary search trees, handling anevent takes only O(logn) time



Efficiency


Plane sweep


Efficiency

How many events?

2n for the upper and lower endpoints

k for the intersection points, if there are k of them

In total: O(n+ k) events



Efficiency


Plane sweep


Efficiency

Initialization takes O(n logn) time (to put all upper and lowerendpoint events in Q)

Each of the O(n+ k) events takes O(logn) time

The algorithm takes O(n logn+ k logn) time

If k = O(n), then this is O(n logn)

Note that if k is really large, the brute force O(n2) timealgorithm is more efficient



Efficiency


Plane sweep


Efficiency

Question: How much storage does the algorithm take?



Efficiency


Plane sweep


Efficiency

Question: Given that the event list is a binary tree that maystore O(k) = O(n2) events, is the efficiency in jeopardy?



Efficiency



Efficiency

Solution:Only store intersection points of currently adjacent segments.



Assignment: degenerate cases


Plane sweep


Degenerate cases

How do we deal with degenerate cases?

For two different events with the same y-coordinate, we treatthem from left to right ⇒ the “upper” endpoint of ahorizontal line segment is its left endpoint



Assignment: degenerate cases


Plane sweep


Degenerate cases

How about multiply coinciding event points?

p

Let U(p) and L(p) be the line segments that have p as upperand lower endpoint, and C(p) the ones that contain p

Question: How do we handle this multi-event?



Plane sweep - conclusion


Plane sweep


Conclusion

For every sweep algorithm:

Define the status

Choose the status structure and the event list

Figure out how events must be handled (with sketches!)

To analyze, determine the number of events and howmuch time they take

Then deal with degeneracies



Alternative assignment

Program the plane sweep algorithm for finding line segmentintersections!


Assignment 3

http:

//page.mi.fu-berlin.de/panos/cg13/exercises/u03.pdf

Due: 29/04!


http://page.mi.fu-berlin.de/panos/cg13/exercises/u03.pdf

http://page.mi.fu-berlin.de/panos/cg13/exercises/u03.pdf

CGAL and Google Summer of Code

Program some geometric algorithm in CGAL, for 3 months in thesummer, and get paid for it (5000 Euros..)


Computational Geometry: - Line segment intersectionpage.mi.fu-berlin.de/panos/cg13/l03.pdf ·...

Documents

Transcript of Computational Geometry: - Line segment intersectionpage.mi.fu-berlin.de/panos/cg13/l03.pdf ·...