Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012.

Slides:



Advertisements
Similar presentations
TWO STEP EQUATIONS 1. SOLVE FOR X 2. DO THE ADDITION STEP FIRST
Advertisements

You have been given a mission and a code. Use the code to complete the mission and you will save the world from obliteration…
Unit-iv.
Advanced Piloting Cruise Plot.
Chapter 1 The Study of Body Function Image PowerPoint
1 Copyright © 2013 Elsevier Inc. All rights reserved. Appendix 01.
UNITED NATIONS Shipment Details Report – January 2006.
Analysis of Algorithms
and 6.855J Cycle Canceling Algorithm. 2 A minimum cost flow problem , $4 20, $1 20, $2 25, $2 25, $5 20, $6 30, $
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Title Subtitle.
My Alphabet Book abcdefghijklm nopqrstuvwxyz.
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
FACTORING ax2 + bx + c Think “unfoil” Work down, Show all steps.
Addition Facts
Year 6 mental test 10 second questions
1 Approximability Results for Induced Matchings in Graphs David Manlove University of Glasgow Joint work with Billy Duckworth Michele Zito Macquarie University.
Data Visualization Lecture 4 Two Dimensional Scalar Visualization
1 Outline relationship among topics secrets LP with upper bounds by Simplex method basic feasible solution (BFS) by Simplex method for bounded variables.
17 th International World Wide Web Conference 2008 Beijing, China XML Data Dissemination using Automata on top of Structured Overlay Networks Iris Miliaraki.
Approximation algorithms for geometric intersection graphs.
Bob Fraser University of Manitoba Ljubljana, Slovenia Oct. 29, 2013 COMPUTATIONAL GEOMETRY WITH IMPRECISE DATA.
IBM LP Rounding using Fractional Local Ratio Reuven Bar-Yehuda
Number Sense Unit Test Practice Q1: What is the absolute value of -10? a) b) a) b)
Minimum Weight Plastic Design For Steel-Frame Structures EN 131 Project By James Mahoney.
Randomized Algorithms Randomized Algorithms CS648 1.
ABC Technology Project
1 Undirected Breadth First Search F A BCG DE H 2 F A BCG DE H Queue: A get Undiscovered Fringe Finished Active 0 distance from A visit(A)
VOORBLAD.
15. Oktober Oktober Oktober 2012.
Level 3 Areas of Simple Shapes
1 Breadth First Search s s Undiscovered Discovered Finished Queue: s Top of queue 2 1 Shortest path from s.
Constant, Linear and Non-Linear Constant, Linear and Non-Linear
BIOLOGY AUGUST 2013 OPENING ASSIGNMENTS. AUGUST 7, 2013  Question goes here!
Factor P 16 8(8-5ab) 4(d² + 4) 3rs(2r – s) 15cd(1 + 2cd) 8(4a² + 3b²)
Squares and Square Root WALK. Solve each problem REVIEW:
Basel-ICU-Journal Challenge18/20/ Basel-ICU-Journal Challenge8/20/2014.
© 2012 National Heart Foundation of Australia. Slide 2.
Understanding Generalist Practice, 5e, Kirst-Ashman/Hull
Splines IV – B-spline Curves
Splines I – Curves and Properties
GG Consulting, LLC I-SUITE. Source: TEA SHARS Frequently asked questions 2.
1 On c-Vertex Ranking of Graphs Yung-Ling Lai & Yi-Ming Chen National Chiayi University Taiwan.
Addition 1’s to 20.
25 seconds left…...
Slippery Slope
Unit Test Practice Expressions & Equations Part 1 Unit Part 1 Unit.
U1A L1 Examples FACTORING REVIEW EXAMPLES.
Complexity ©D.Moshkovits 1 Where Can We Draw The Line? On the Hardness of Satisfiability Problems.
Januar MDMDFSSMDMDFSSS
Week 1.
We will resume in: 25 Minutes.
©Brooks/Cole, 2001 Chapter 12 Derived Types-- Enumerated, Structure and Union.
The Within-Strip Discrete Unit Disk Cover Problem Bob Fraser (joint work with Alex López-Ortiz) University of Waterloo CCCG Aug. 8, 2012.
PSSA Preparation.
Copyright McGraw-Hill/Irwin 2002 Aggregate Demand Derivation of the AD Curve Changes in AD Determinants of AD Shifts in AE Schedule and Curve Aggregate.
CpSc 3220 Designing a Database
Distributed Computing 9. Sorting - a lower bound on bit complexity Shmuel Zaks ©
Greater Washington Board of Trade Sustainability Survey Released April 21, 2010.
Bart Jansen 1.  Problem definition  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least k leaves?
Secret Sharing, Matroids, and Non-Shannon Information Inequalities.
Minimum Vertex Cover in Rectangle Graphs
A. S. Morse Yale University University of Minnesota June 4, 2014 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
Presentation transcript:

Algorithms for Geometric Covering and Piercing Problems Robert Fraser PhD defence Nov. 23, 2012

Vignettes Discrete 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 1

The Discrete Unit Disk Cover (DUDC) Problem 2

Applications 3

Line-separated DUDC 4 d1d1 d2d2 d4d4 d3d3 d5d5 q1q1 q2q2 q4q4 q3q3 q5q5 p1p1 p2p2 p4p4 p3p3 p5p5 p6p6 p7p7 p9p9 p8p8

Strip-Separated DUDC 5 p1p1 p2p2 p4p4 p3p3 p5p5 q1q1 q2q2 q4q4 q3q3 q5q5 q6q6 q7q7 q9q9 q8q8 [Ambühl et al., 2006]

Assisted LSDUDC u1u1 u2u2 u4u4 u3u3 u5u5 q1q1 q2q2 q4q4 q3q3 q5q5 p1p1 p2p2 p4p4 p3p3 p5p5 p6p6 p7p7 p9p9 p8p8 l1l1 l2l2 6

DUDC algorithm: work from top to bottom, then bottom to top, then cover what remains. Uses assisted LSDUDC and WSDUDC algorithms. Strip-Based Decomposition 7

Within-Strip DUDC 8 }

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! 9 p1p1 p2p2 p4p4 p3p3 p5p5 q1q1 q2q2 q4q4 q3q3 q5q5 q6q6 q7q7 q9q9 q8q8

Hardness of WSDUDC (1/2) Reduce from Vertex Cover on planar graphs of max degree 3. 10

Hardness of WSDUDC (2/2) Each edge has even number of added points: Convert to instance of WSDUDP: 11

12

Covering Gaps 13 p1p1 p2p2 p4p4 p3p3 p5p5 q1q1 q2q2 q4q4 q3q3 q5q5 q6q6 q7q7 q9q9 q8q8

3-Approximate Algorithm 14

Summary of DUDC Results 15

Trade-off in DUDC Algorithms 16

The Hausdorff Core Problem 17

Shrinking Disks 18

Why is this challenging? 19

Hausdorff Core Approximation Algorithm for Simple Polygons Approximation 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. 20

A Simpler Problem What if the polygon that we want to approximate has only one reflex vertex? 21

One Vertex Solution Find angle where max distance is minimized. 22

Summary of Hausdorff Core Results FPTAS for Hausdorff core on simple polygons: O((n 3 +n 2 ε -6 )log( ε -1 )) time. O(n 3 ) time exact algorithm for polygons containing a single reflex vertex. 23

The (Minimum Weight) MST with Neighborhoods Problem MSTN 24

The Maximum Weight MST with Neighborhoods Problem max-MSTN 25

Parameterized Algorithms 26

Parameterized max-MSTN Algorithm T opt TcTc T c 27

Parameterized max-MSTN Algorithm T opt TcTc T c Consider this edge 28

Hardness of MSTN Reduce from planar 3-SAT clause variable clause 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. 29

Summary of MST Results

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)? 31

Thanks! 32