Download - Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012
![Page 1: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/1.jpg)
Algorithms for Geometric Covering and Piercing Problems
Robert Fraser
PhD defence Nov. 23, 2012
![Page 2: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/2.jpg)
2
VignettesDiscrete Unit Disk Cover Problem
◦Various settings ◦Strip-based decomposition of the plane◦Hardness of problem even in a strip
Hausdorff Core Problem◦General simple polygons◦Polygons with a single reflex vertex
MST with Neighborhoods Problem◦Parameterized algorithms◦Hardness of problem
![Page 3: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/3.jpg)
The Discrete Unit Disk Cover (DUDC) Problem
3
unit disks with centrepoints , points . Select a minimum subset of which
covers .
![Page 4: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/4.jpg)
Applications
4
![Page 5: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/5.jpg)
Line-separated DUDCand are separable by .Exact time algorithm.
5
d1
d2
d4d3
d5
q1
q2
q4q3
q5
p1
p2 p4
p3 p5p6
p7
p9
p8
ℓ
![Page 6: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/6.jpg)
Strip-Separated DUDC
6
p1p2
p4
p3
p5
q1 q2q4
q3
q5 q6 q7q9
q8
ℓ2
ℓ1
All points contained in strip between lines , and disks centred outside strip.
Exact time algorithm.
[Ambühl et al. , 2006]
![Page 7: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/7.jpg)
Assisted LSDUDC on one side of , above and below . All points in covered by Want of minimum cardinality.Best known is 2-approximation. Hardness open.
u1 u2 u4u3
u5
q1
q2
q4q3
q5
p1
p2 p4
p3 p5p6
p7
p9
p8
ℓ
l1 l2
7
![Page 8: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/8.jpg)
8
DUDC algorithm: work from top to bottom, then bottom to top, then cover what remains.
Uses assisted LSDUDC and WSDUDC algorithms.
Strip-Based Decomposition
![Page 9: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/9.jpg)
Within-Strip DUDC
9
unit disks with centre points , points . Strip , defined by and , of height which
contains and .Select a minimum subset of which
covers .
𝑠
h}ℓ2
ℓ1
![Page 10: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/10.jpg)
Within-Strip DUDC If easy, implies a simple PTAS for DUDC based on shifting grids… MAX independent set of unit disk graph is easy in strips of fixed
height! Within-Strip Discrete Unit Square Cover is easy in strips of fixed
height!
10
p1p2
p4
p3
p5
q1
q2q4
q3
q5
q6
q7
q9q8
ℓ2
ℓ1
![Page 11: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/11.jpg)
11
Hardness of WSDUDC (1/2) Reduce from Vertex Cover on
planar graphs of max degree 3.
![Page 12: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/12.jpg)
12
Hardness of WSDUDC (2/2)Each edge has even number of
added points:
Convert to instance of WSDUDP:
![Page 13: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/13.jpg)
13
-Approximate WSDUDC Algorithm
Find the rectangle of height circumscribed by each disk, then take the intersection with the strip:
Rectangles define intervals, the remainder are gaps.
![Page 14: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/14.jpg)
14
Covering GapsAll disk centres are
outside of the gap. Instance of SSDUDC, so
use time algorithm to cover gap optimally.
Optimality is lost when combining solutions from multiple gaps.
p1p2
p4
p3
p5
q1 q2q4
q3
q5 q6 q7q9
q8
ℓ2
ℓ1
ℓ2
ℓ1
![Page 15: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/15.jpg)
15
3-Approximate AlgorithmConsider all single disks, as well
as pairs and triples.Run a dynamic program from left
to right on the strip.Runs in time.Each gap & interval is covered
optimally!
![Page 16: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/16.jpg)
Summary of DUDC Results
16
LSDUDC algorithm, time.2-approximate assisted LSDUDC
algorithm.Strip-based decomposition providing
DUDC algorithms as follows:◦ 18-approximate, time◦ 16-approximate, time◦ 15-approximate, time
WSDUDC is NP-hard.
![Page 17: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/17.jpg)
Trade-off in DUDC Algorithms
17
![Page 18: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/18.jpg)
18
The Hausdorff Core ProblemGiven a simple polygon P, a Hausdorff
Core of P is a convex polygon Q contained in P that minimizes the Hausdorff distance between P and Q.
We denote the Hausdorff core as .
Does there exist a convex polygon Q contained in P such that ?
Note: the 1-centre of a polygon P is the point c which minimizes .
![Page 19: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/19.jpg)
Shrinking Disks
19
![Page 20: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/20.jpg)
20
Why is this challenging?
![Page 21: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/21.jpg)
21
Hausdorff Core Approximation Algorithm for Simple PolygonsApproximation scheme based upon a
discretization of the search space.
Intuition:1. Divide the disks into discrete
segments.2. Grow the disks slightly such
that at least one segment of each expanded disk will be contained in the optimal solution.
3. Check for a solution among all intervals on all disks.
![Page 22: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/22.jpg)
22
A Simpler ProblemWhat if the polygon that we want
to approximate has only one reflex vertex?
![Page 23: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/23.jpg)
23
One Vertex SolutionFind angle where max distance is
minimized.
![Page 24: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/24.jpg)
24
Summary of Hausdorff Core ResultsFPTAS for Hausdorff core on
simple polygons:◦O((n3+n2ε-6)∙log(ε-1)) time.
O(n3) time exact algorithm for polygons containing a single reflex vertex.
![Page 25: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/25.jpg)
25
The (Minimum Weight) MST with Neighborhoods Problem
...
..
..
.
.
..
..
. ..MSTN
![Page 26: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/26.jpg)
26
The Maximum Weight MST with Neighborhoods Problem
..
..
..
.
max-MSTN
![Page 27: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/27.jpg)
27
Parameterized Algorithms
= separability of the instance◦min distance between any two
disks
𝑟𝑚
𝑘=0.25
![Page 28: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/28.jpg)
28
Parameterized max-MSTN Algorithm
.
. .. .
...
– factor approximation by choosing disk centres
..
. ..
... .
. ..
....
Topt Tc Tc’
![Page 29: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/29.jpg)
29
Parameterized max-MSTN Algorithm
.
. .. .
...
– factor approximation by choosing disk centres
..
. ..
... .
. ..
....
Topt Tc Tc’
Consider this edge
𝑟 𝑖
𝑟 𝑗
weight = weight
𝑑+𝑟 𝑖+𝑟 𝑗
𝑑+2𝑟 𝑖+2𝑟 𝑗
≥𝑘𝑟𝑚+𝑟 𝑖+𝑟 𝑗
𝑘𝑟𝑚+2𝑟 𝑖+2𝑟 𝑗
≥𝑘𝑟𝑚+𝑟𝑚+𝑟𝑚𝑘𝑟𝑚+2𝑟𝑚+2𝑟𝑚
¿𝑘+2𝑘+4
¿1−2
𝑘+4
![Page 30: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/30.jpg)
30
Hardness of MSTN
Reduce from planar 3-SAT
clause
variable
clause
clause
clause
variable
variable
variable
variable
(with spinal path)
Create instance of MSTN (resp. max-MSTN) so that:- Weight of the optimal
solution may be precomputed for any instance;
- Weight of solution corresponding to a non-satisfiable instance is greater than (resp. less than) the optimal solution by a significant amount.
![Page 31: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/31.jpg)
31
Summary of MST ResultsMSTN
◦NP-hard◦ – factor approximation
max-MSTN◦NP-hard◦ – factor approximation
2-GMST◦NP-hard in 2 dimensions◦Exact solution if topology is known
.
.
.. .
.
![Page 32: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/32.jpg)
32
Nice Results and Open Problems Best known fast DUDC approximation algorithm. Hardness of WSDUDC. OPEN Is assisted LSDUDC NP-hard? OPEN Is there a nice PTAS for WSDUDC?
First known solutions for the Hausdorff Core problem. OPEN Are there classes of polygons for which finding the
Hausdorff Core is easy?
Best known results for MSTN. First results for max-MSTN. Hardness of 2-GMST. OPEN Is there a PTAS for max-MSTN (even on unit disks)? OPEN Is there a combinatorial approximation algorithm
for 2-GMST (particularly with an approximation factor of <4)?
![Page 33: Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012](https://reader038.vdocuments.net/reader038/viewer/2022102805/55163670550346c6758b4fb2/html5/thumbnails/33.jpg)
33
Thanks!