22nd european workshop on computational geometry institute of software technology 4th fsp-seminar...
TRANSCRIPT
![Page 1: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/1.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Maximizing Maximal Anglesfor Plane Straight-Line GraphsO. Aichholzer, T. Hackl, M. Hoffmann, C.
Huemer, A. Pór, F. Santos, B. Speckmann, B.
Vogtenhuber
Graz University of Technology, AustriaETH Zürich, Switzerland
Universitat Politècnica de Catalunya, SpainHungarian Academy of Sciences, Hungary
Universidad de Cantabria, SpainTU Eindhoven, Netherlands
FSP-SeminarMarch 2007, Graz
![Page 2: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/2.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
vertices: – n points in the plane– points in general position
edges: – straight lines spanned by vertices (geometric graphs) – no crossings (plane)
1
![Page 3: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/3.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
2
perfect matchings
![Page 4: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/4.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
perfect matchings
spanning paths
2
![Page 5: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/5.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
perfect matchings
spanning paths
spanning trees
2
![Page 6: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/6.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
perfect matchings
spanning paths
spanning trees
connected plane graphs
2
![Page 7: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/7.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
perfect matchings
spanning paths
spanning trees
connected plane graphs
spanning cycles
2
![Page 8: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/8.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
perfect matchings
spanning paths
spanning trees
connected plane graphs
spanning cycles
triangulations
2
![Page 9: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/9.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Plane Geometric Graphs
perfect matchings
spanning paths
spanning trees
connected plane graphs
spanning cycles
triangulations
pseudo-triangulations
2
![Page 10: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/10.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Basic Idea
3
Generalizing the principle of large incident angles
of pointed pseudo-triangulations to other classes of
plane graphs
![Page 11: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/11.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Pseudo-Triangulations
pseudo-triangle– 3 convex vertices– concave chains
4
![Page 12: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/12.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Pseudo-Triangulations
pseudo-triangle– 3 convex vertices– concave chains
pseudo-triangulation– convex hull– partitioned into
pseudo-triangles
pointed: each point has an incident angle of at least
4
![Page 13: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/13.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
- Openness
point set S, graph G(S)
A point in p S is – open in G(S), if it has an incident angle of at least
The graph G is – open, if every point in S is – open in G(S)
A class of graphs is – open, if for all point sets S there exists an – open graph G(S) of class
5
p
q
![Page 14: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/14.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
The Question
We know that pointed pseudo-triangulations are – open.
Can we generalize this concept to other classes of graphs?
Given a class of graphs,
Does there exist some angle , such that is – open?
If yes, what is the maximal such ?
6
![Page 15: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/15.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Min Max Min Max problem
Optimization for class of plane graphs:– true for all sets S, even for the worst– for S: take the best graph G(S)– has to hold for any point p in G(S)– for a point p take the maximum incident angle
find maximal for each class:minS maxG minpS maxaA(p,G){a}
7
![Page 16: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/16.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Triangulations
convex hull points are – open
8
![Page 17: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/17.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Triangulations
convex hull points are – open
take the convex hull
triangulate
8
![Page 18: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/18.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Triangulations
triangular convex hull (edges a,b,c)
closest point for each edge (a‘,b‘,c‘)
hexagon with hull points and closest edge points
triangles empty
one angle {} ≥ 2/3
choose
connect
recurse on smaller subproblems
ab
c
a‘
c‘
b‘
9
![Page 19: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/19.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Triangulations
10
Theorem 1: Triangulations are 2/3-open.Moreover, this bound is best possible.
![Page 20: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/20.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Spanning Trees
not more than 5/3-open:
at least 3/2-open:
at least 5/3-open:
11
![Page 21: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/21.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Spanning Trees
Not more than 5/3-open:
At least 3/2-open:
At least 5/3-open:– diameter– farthest points– case analysis
on angles
11
![Page 22: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/22.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
not more than 5/3-open:
at least 3/2-open:
at least 5/3-open:– diameter– farthest points– case analysis
on angles
Spanning Trees
11
Theorem 2: (general) Spanning Trees are 5/3-open,and this bound is best possible.
![Page 23: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/23.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Theorem 3: Spanning Trees with maximum vertex degree of at most 3 are 3/2-open.
Spanning Trees(bounded vertex degree 3)
At least 3/2-open:– start with diameter– assign subsets– recursively take
diameters– consider tangents– connect subsets
12
![Page 24: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/24.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Theorem 3: Spanning Trees with maximum vertex degree of at most 3 are 3/2-open.Moreover, this bound is best possible.
Spanning Trees(bounded vertex degree 3)
3/2
12
![Page 25: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/25.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Theorem 3: Spanning Trees with maximum vertex degree of at most 3 are 3/2-open.Moreover, this bound is best possible.
Corrolary: Connected Graphs with bounded vertex degree of at most n-2 are at most 3/2-open.
Spanning Trees(bounded vertex degree 3)
3/2
12
![Page 26: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/26.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
inner angles (consecutive points):– at most one angle /2– diameter points: no angle /2 in total ≤ (n-2) angles /2
„zig-zag“ spanning paths:– two paths per point– each path counted twice in total n zig-zag paths
+ each inner angle occurs in exactly one zig-zag path
at least two zig-zag paths with no angle /2 Theorem 4: Spanning Paths (for convex sets) are 3/2-open, and this bound is best possible.
Spanning Paths(convex point sets)
<
13
![Page 27: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/27.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Spanning Paths (general)
1. For every vertex q of the convex hull of S, there exists a 5/4-open spanning path on S starting at q.
2. For every edge q1q2 of the convex hull of S, there exists a 5/4-open spanning path on S starting with q1q2.
Case analysis over occuring angles
Proof by induction over the number of points,(1) and (2) not independent
Theorem 4: Spanning Paths are 5/4-open.
14
![Page 28: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/28.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Conclusion
Pointed Pseudo-Triangulations (180°)
Perfect Matchings 2 (360°)
Spanning Cycles (180°)
Triangulations 2/3 (120°)
Spanning Trees (unbounded) 5/3 (300°)
Spanning Trees with bounded vertex degree 3/2 (270°)
Spanning Paths (convex) 3/2 (270°)
Spanning Paths (general) 5(225°)
15
5/4 (225°) – 3/2 (270°)
???
![Page 29: 22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles](https://reader034.vdocuments.mx/reader034/viewer/2022050808/551a4f28550346cb358b5b69/html5/thumbnails/29.jpg)
22nd European Workshop on Computational Geometry
Institute of Software Technology
4th FSP-Seminar Industrial Geometry, March 2007
Thanks!
Thanks for your attention …
Grazie
Danke
Merci
GraciasEfcharisto
Dank U wel
16