bitonicity of euclidean tsp in narrow strips
play

Bitonicity of Euclidean TSP in Narrow Strips EuroCG presentation - PowerPoint PPT Presentation

Jan 09, 2023 β€’246 likes β€’658 views

Bitonicity of Euclidean TSP in Narrow Strips EuroCG presentation Henk Alkema, Mark de Berg, and Sndor Kisfaludi-Bak Department of Mathematics and Computer Science Introduction The Euclidean Travelling Salesman Problem In red: added

  1. Bitonicity of Euclidean TSP in Narrow Strips EuroCG presentation Henk Alkema, Mark de Berg, and SΓ‘ndor Kisfaludi-Bak Department of Mathematics and Computer Science

  2. Introduction

  3. The Euclidean Travelling Salesman Problem In red: added commentary to make the slides readable

  4. The Euclidean Travelling Salesman Problem Find a shortest tour visiting all points

  5. Euclidean TSP in narrow strips Find a shortest tour visiting all points Likely to be a bitonic tour A tour is bitonic if it crosses any vertical line at most twice

  6. Motivation 𝑒 -dimensional Euclidean TSP: NP-hard Can be solved in 2 𝑃 π‘œ 1βˆ’1/𝑒 time ETH-tight π‘œ for 𝑒 = 2 2 𝑃 Bitonic tours: 𝑃(π‘œ log 2 π‘œ)

  7. Problem description 𝑄 = {π‘ž 1 , π‘ž 2 , … , π‘ž π‘œ } point set in 0, π‘œ Γ— 0, πœ€ 𝑦 -coordinate of π‘ž 𝑗 is exactly 𝑗

  8. Bitonicity of Euclidean TSP in Narrow Strips

  9. Bitonicity of Euclidean TSP in Narrow Strips Theorem 1. If πœ€ ≀ 2 2 , there exists a shortest tour that is bitonic. This bound is tight. Construction for πœ€ > 2 2 :

  10. Bitonicity of Euclidean TSP in Narrow Strips Theorem 1. If πœ€ ≀ 2 2 , there exists a shortest tour that is bitonic. This bound is tight. Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  11. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  12. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  13. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  14. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  15. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  16. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  17. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  18. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  19. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  20. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  21. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  22. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  23. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² An edge set E is superior to an edge set F if - The sum of the lengths of the edges of E is strictly less than that of F, or - The sums are equal, but - No vertical line crosses E strictly more times than F, and - There exists a vertical line which crosses E strictly fewer times than F

  24. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² Step 1: Superior edge set exists if β€˜interesting’ points have consecutive 𝑦 -coordinates β‡’ A superior edge set always exists β€˜Interesting’ points are those which cross the vertical line we are currently looking at during our sweep from right to left

  25. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² Step 1: Superior edge set exists if β€˜interesting’ points have consecutive 𝑦 -coordinates β‡’ A superior edge set always exists Step 2: Superior edge set exists if β€˜interesting’ points have consecutive 𝑦 -coordinates

  26. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  27. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² The exact connections are unimportant, but their connections are; the new set of edges must still form a tour together with the black edges

  28. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆ β€² In blue, a alternative set of edges. Note that moving points along the red edges can only make blue β€˜less’ superior

  29. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  30. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  31. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  32. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² If you whish to move a vertex with two red edges connected, things are slightly more complicated…

  33. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² Split the vertex into two, adding a connection between them (they are still on the same spot, but slightly displaced in the figure for clarity)

  34. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² Then, you can move one of them as normal

  35. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€²

  36. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Transform tour π‘ˆ into (shorter) bitonic tour π‘ˆβ€² Step 1: Superior edge set exists if β€˜interesting’ points have consecutive 𝑦 -coordinates β‡’ A superior edge set always exists Step 2: Superior edge set exists if β€˜interesting’ points have consecutive 𝑦 -coordinates

  37. Bitonicity of Euclidean TSP in Narrow Strips Step 2: Superior edge set exists if β€˜interesting’ points have consecutive 𝑦 -coordinates Proof sketch: Case distinction on the connections between the β€˜interesting’ points

  38. Bitonicity of Euclidean TSP in Narrow Strips All six possible cases. Points in grey blocks can have any horizontal ordering

  39. Bitonicity of Euclidean TSP in Narrow Strips Proof sketch: Case distinction on the connections between the β€˜interesting’ points For each case, this can be proven either algebraically, or by computer assistance The figure to the right gives the bound (both horizontal orderings of points 4 and 5 give the same bound of 2√2 )

  40. Questions? Feel free to let us know!

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Euclidean Domains and Euclidean Functions Rod Downey (Joint Work with Asher Kach) Chicago May

Euclidean Domains and Euclidean Functions Rod Downey (Joint Work with Asher Kach) Chicago May

Euclidean Domains and Euclidean Functions Rod Downey (Joint Work with Asher Kach) Chicago May 2010 Rod Downey (VUW) Computable Euclidean Domains and Euclidean Functions May 2010 1 / 44 References Th. Motzkin, The Euclidean algorithm. Bull.

628 views β€’ 58 slides
Management of Supraventricular Arrhythmias Narrow-complex Tachycardias Narrow-complex

Management of Supraventricular Arrhythmias Narrow-complex Tachycardias Narrow-complex

Management of Supraventricular Arrhythmias Narrow-complex Tachycardias Narrow-complex Tachycardias Rate > 100 beats per minute QRS duration < 120 msec Narrow-complex Tachycardias Originate in the atria (or adjoining veins) or

1.21k views β€’ 80 slides
Sampling in Euclidean and Non-Euclidean Domains: A Unified Approach NIST ACMD Seminar Series

Sampling in Euclidean and Non-Euclidean Domains: A Unified Approach NIST ACMD Seminar Series

Sampling Theory in Euclidean Geometry Geometry of Surfaces Sampling in Non-Euclidean Geometry Application: Network Tomography Sampling in Euclidean and Non-Euclidean Domains: A Unified Approach NIST ACMD Seminar Series Stephen Casey American

1.57k views β€’ 124 slides
Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Undefined Terms: Point, Line, Incident, Between, Congruent. Incidence Axioms: IA1: For every two distinct points there

444 views β€’ 6 slides
Who cares about Euclidean geometry? Miroslav Olk Euclidean geometry Points, lines and

Who cares about Euclidean geometry? Miroslav Olk Euclidean geometry Points, lines and

Who cares about Euclidean geometry? Miroslav Olk Euclidean geometry Points, lines and circles in the plane Nice but Without applications Algorithmically decidable AITP Automated theorem proving Machine learning Me

342 views β€’ 18 slides
The evolution of Vertex Detectors The evolution of Vertex Detectors From Gas to Silicon Strips

The evolution of Vertex Detectors The evolution of Vertex Detectors From Gas to Silicon Strips

The evolution of Vertex Detectors The evolution of Vertex Detectors From Gas to Silicon Strips From Gas to Silicon Strips Better and better Silicon Strips Better and better Silicon Strips From Strips to (Fast, Micro) Pixels From Strips to

592 views β€’ 40 slides
The Hidden Matching-Structure of the Composition of Strips: a Polyhedral Perspective Yuri Faenza 1

The Hidden Matching-Structure of the Composition of Strips: a Polyhedral Perspective Yuri Faenza 1

Definitions and known results Testing membership for SSP of composition of strips Extended formulation, projection and separation Consequences for claw-free graphs The Hidden Matching-Structure of the Composition of Strips: a Polyhedral

226 views β€’ 21 slides
DISTRIBUTIONAL ANALYSES OF EUCLIDEAN ALGORITHMS or... EUCLIDEAN ALGORITHMS ARE GAUSSIAN An

DISTRIBUTIONAL ANALYSES OF EUCLIDEAN ALGORITHMS or... EUCLIDEAN ALGORITHMS ARE GAUSSIAN An

DISTRIBUTIONAL ANALYSES OF EUCLIDEAN ALGORITHMS or... EUCLIDEAN ALGORITHMS ARE GAUSSIAN An Instance of a Dynamical Analysis Brigitte Vall ee (CNRS and Universit e de Caen, France) Joint work with Viviane Baladi (CNRS and Universit e de

674 views β€’ 30 slides
CS 730/730W/830: Intro AI Beyond STRIPS Hierarchy Wheeler Ruml (UNH) Lecture 18, CS 730 1 /

CS 730/730W/830: Intro AI Beyond STRIPS Hierarchy Wheeler Ruml (UNH) Lecture 18, CS 730 1 /

CS 730/730W/830: Intro AI Beyond STRIPS Hierarchy Wheeler Ruml (UNH) Lecture 18, CS 730 1 / 15 Beyond STRIPS Comparison Extensions Setting Break Hierarchy Beyond STRIPS Wheeler Ruml (UNH) Lecture 18, CS 730 2 / 15

271 views β€’ 15 slides
NCR FASTLANE SELFSERV CHECKOUT R6N (NARROW CORE) Date NCR Confidential NCR FastLane

NCR FASTLANE SELFSERV CHECKOUT R6N (NARROW CORE) Date NCR Confidential NCR FastLane

NCR FASTLANE SELFSERV CHECKOUT R6N (NARROW CORE) Date NCR Confidential NCR FastLane SelfServ Checkout R6N Overview - Narrow Card Only Model Optimized footprint for credit/debit only operation Narrow core enclosure conserves valuable

697 views β€’ 8 slides
A Union of Euclidean Spaces is Euclidean Konstantin Makarychev, Northwestern Yury Makarychev,

A Union of Euclidean Spaces is Euclidean Konstantin Makarychev, Northwestern Yury Makarychev,

A Union of Euclidean Spaces is Euclidean Konstantin Makarychev, Northwestern Yury Makarychev, TTIC AMS Meeting, New York, May 7, 2017 Problem by Assaf Naor Suppose that metric space (, ) is a union of two metric spaces and

559 views β€’ 29 slides
Collision Detection Part 2. Narrow Phase Collision Detection The Narrow Phase Exact collision

Collision Detection Part 2. Narrow Phase Collision Detection The Narrow Phase Exact collision

Collision Detection Part 2. Narrow Phase Collision Detection The Narrow Phase Exact collision detection: Where precisely have objects touched, where to apply forces, torques? Collision Response The following is an equation for Rigid Body

1.06k views β€’ 79 slides
Planning and Optimization B2. Regression: Introduction & STRIPS Case Malte Helmert and

Planning and Optimization B2. Regression: Introduction & STRIPS Case Malte Helmert and

Planning and Optimization B2. Regression: Introduction & STRIPS Case Malte Helmert and Gabriele R oger Universit at Basel October 13, 2016 Regression Regression Example Regression for STRIPS Tasks Summary Regression Regression

466 views β€’ 19 slides
Using non-Euclidean Geometry to teach Euclidean Geometry to K12 teachers David Damcke

Using non-Euclidean Geometry to teach Euclidean Geometry to K12 teachers David Damcke

Using non-Euclidean Geometry to teach Euclidean Geometry to K12 teachers David Damcke Department of Mathematics, University of Portland, Portland, OR 97203 ddamcke @ comcast.net Tevian Dray Department of Mathematics, Oregon State University,

95 views β€’ 8 slides
Chapter 12 Planning and Acting in the Real World Ch 11 Issue: STRIPS talks about what actions

Chapter 12 Planning and Acting in the Real World Ch 11 Issue: STRIPS talks about what actions

Chapter 12 Planning and Acting in the Real World Ch 11 Issue: STRIPS talks about what actions to do, but not about how long it takes or even when actions should occur. STRIPS is a bit like playing dominoes Considering time is more

570 views β€’ 23 slides
How many strips of bacon are there? 17 Or 20 What do you think is the better estimate:

How many strips of bacon are there? 17 Or 20 What do you think is the better estimate:

How many strips of bacon are there? 17 Or 20 What do you think is the better estimate: 1000 Or 900? Why? How many Cheerios would be needed to cover the plate? 50? OR 80? What is the most reasonable estimate for the people in

372 views β€’ 10 slides
Cache Coherency and Memory Consistency Why On-Chip Cache Coherence is here to stay - Motivation:

Cache Coherency and Memory Consistency Why On-Chip Cache Coherence is here to stay - Motivation:

Cache Coherency and Memory Consistency Why On-Chip Cache Coherence is here to stay - Motivation: There is skepticism about the scalability of cache coherence: Some argue: Availability of other paradigms such as message passing and

277 views β€’ 13 slides
Q1 2018 Supplemental Earnings Slides May 3, 2018 1 Cautionary Note on Forward-Looking Statements

Q1 2018 Supplemental Earnings Slides May 3, 2018 1 Cautionary Note on Forward-Looking Statements

Q1 2018 Supplemental Earnings Slides May 3, 2018 1 Cautionary Note on Forward-Looking Statements This presentation contains forward-looking statements, within the meaning of the Private Securities Litigation Reform Act of 1995

188 views β€’ 15 slides
REACT: A Framework for Rapid Exploration of Approximate

REACT: A Framework for Rapid Exploration of Approximate

REACT: A Framework for Rapid Exploration of Approximate Computing Techniques Mark Wyse , Andr Baixo, Thierry Moreau, Bill Zorn James Bornholt, Adrian Sampson,

356 views β€’ 13 slides
ECO 317 Economics of Uncertainty Fall Term 2009 Slides to accompany 17. Job Market

ECO 317 Economics of Uncertainty Fall Term 2009 Slides to accompany 17. Job Market

ECO 317 Economics of Uncertainty Fall Term 2009 Slides to accompany 17. Job Market Signaling Notation: = education e W ( e ) = workers productivity = wage in competitive market C ( e ) = cost of education (income equivalent

610 views β€’ 5 slides
PowerPoint Slides for August 25-2019 Overview : Timothy, be an example of a follower of Jesus

PowerPoint Slides for August 25-2019 Overview : Timothy, be an example of a follower of Jesus

PowerPoint Slides for August 25-2019 Overview : Timothy, be an example of a follower of Jesus Christ (1 Timothy 4:12). Heres what that looks like with older men (5:1), younger men (5:1), older women (5:2), younger women

276 views β€’ 3 slides
Processes and Instructions Noun Addiction, Double Negatives and Other Lard You should give

Processes and Instructions Noun Addiction, Double Negatives and Other Lard You should give

Processes and Instructions Noun Addiction, Double Negatives and Other Lard You should give thoughtful consideration to a career change. In the event of a system failure, your sounding of the alarm is essential. Never fail to wear

469 views β€’ 12 slides
Wave optics in the Kerr BH Sousuke Noda (Nagoya Univ.) Wave optics in black hole spacetimes:

Wave optics in the Kerr BH Sousuke Noda (Nagoya Univ.) Wave optics in black hole spacetimes:

Wave optics in the Kerr BH Sousuke Noda (Nagoya Univ.) Wave optics in black hole spacetimes: Schwarzschild case Y. Nambu and S.N Wave optics in black hole spacetimes: Kerr case (in prep.) S.N and Y. Nambu HTGRG3 2017 1 August @ Quy Nhon,

378 views β€’ 33 slides
The beautiful rainbow International Conference on Teaching Physics Innovatively New Learning

The beautiful rainbow International Conference on Teaching Physics Innovatively New Learning

Jzsef Cserti Etvs University, Faculty of Science, Department of Physics of Complex Systems The beautiful rainbow International Conference on Teaching Physics Innovatively New Learning Environments and Methods in Physics Education ELTE

1.53k views β€’ 33 slides

More recommend