250 likes | 258 Views
This chapter provides an introduction to polyhedra in computational geometry, including their definition, properties, and various types such as convex polyhedra, regular polyhedra, and higher-dimensional polytopes.
E N D
An Introduction to Computational Geometry:Polyhedra Joseph S. B. Mitchell Stony Brook University Chapter 6: Devadoss-O’Rourke
Polyhedra Definition: Solid (closed) region whose boundary is a union of a finite number of (2D) convex polygons, subject to some conditions
Polyhedra vertices (0-faces), edges (1-faces), faces/facets (2-faces) • Definition: Solid (closed) region whose boundary is a union of a finite number of (2D) convex polygons, subject to some conditions:
More General Surfaces Topological invariants of a surface S, homeomorphic to a polyhedron
Platonic Solids: Regular Convex Polyhedra in 3D Generalize the notion of a “regular polygon” (2D) Euclid, Elements (Book XIII)
Platonic Solids: Regular Convex Polyhedra in 3D Faces: regular k-gons Sum of k interior angles= Thus, each interior angle= Vertex degrees = m
More General “Regular” Polyhedra Allow facets that are different regular polygons, but still require vertices to “look the same”: Archimedean polyhedra (13 of them) Example: truncated icosahedron (12 pentagons, 20 hexagons): “soccer ball”
More General “Regular” Polyhedra Allow facets that are different regular polygons, and allow nonconvex: uniform polyhedra (75 of them) Example: great dodecahedron
4D Polytopes Project to 3D and show the “wire diagram”: Schlegel diagram
4D Regular Polytopes • 6 regular 4D polytopes: • 4-simplex (“tetrahedron”) • hypercube (“cube”) • 4-orthoplex, or cross polytope (“octohedron”) • 24-cell • 120-cell • 600-cell
d-D Regular Polytopes • 3 regular d-dimensional polytopes, d≥5: • d-simplex (“tetrahedron”) • hypercube (“cube”) • d-orthoplex, or cross polytope (“octohedron”)
Data Structures Winged-edge Quad-edge DCEL
Winged Edge Data Structure e1- e1+ v1 f1 e f0 v0 e0+ e0-
CH in Higher Dimensions applet merge h= O(n) • 3D: Divide and conquer: • T(n) 2T(n/2) + O(n) • O(n log n) • Output-sensitive: O(n log h) [Chan] • Higher dimensions: (d 4) • O(n d/2 ), which is worst-case OPT, since point sets exist with h=(n d/2 ) • Output-sensitive: O((n+h) logd-2 h), for d=4,5 Qhull website