Lecture Notes on Delaunay Mesh Generation

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Notes on Delaunay Mesh Generation Lecture Notes on Delaunay Mesh Generation Jonathan Richard Shewchuk February 5, 2012 Department of Electrical Engineering and Computer Sciences University of California at Berkeley Berkeley, CA 94720 Copyright 1997, 2012 Jonathan Richard Shewchuk Supported in part by the National Science Foundation under Awards CMS-9318163, ACI-9875170, CMS-9980063, CCR-0204377, CCF-0430065, CCF-0635381, and IIS-0915462, in part by the University of California Lab Fees Research Program, in part bythe Advanced Research Projects Agency and Rome Laboratory, Air Force Materiel Command, USAF under agreement number F30602- 96-1-0287, in part by the Natural Sciences and Engineering Research Council of Canada under a 1967 Science and Engineering Scholarship, in part by gifts from the Okawa Foundation and the Intel Corporation, and in part by an Alfred P. Sloan Research Fellowship. Keywords: mesh generation, Delaunay refinement, Delaunay triangulation, computational geometry Contents 1Introduction 1 1.1 Meshes and the Goals of Mesh Generation . ............ 3 1.1.1 Domain Conformity . .... 4 1.1.2 ElementQuality ................................ .... 5 1.2 A Brief History of Mesh Generation . ........... 7 1.3 Simplices, Complexes, and Polyhedra . ............. 12 1.4 Metric Space Topology . ........ 15 1.5 HowtoMeasureanElement ........................... ....... 17 1.6 Maps and Homeomorphisms . ....... 21 1.7 Manifolds....................................... ..... 22 2Two-DimensionalDelaunayTriangulations 25 2.1 Triangulations of a Planar Point Set . ............. 26 2.2 The Delaunay Triangulation . .......... 26 2.3 The Parabolic Lifting Map . ......... 28 2.4 TheDelaunayLemma................................ ...... 30 2.5 The Flip Algorithm . ....... 32 2.6 The Optimality of the Delaunay Triangulation . ................ 34 2.7 The Uniqueness of the Delaunay Triangulation . ............... 35 2.8 Constrained Delaunay Triangulations in the Plane . .................. 36 2.8.1 Piecewise Linear Complexes and their Triangulations ................. 37 2.8.2 The Constrained Delaunay Triangulation . ............ 40 2.8.3 Properties of the Constrained Delaunay Triangulation. 41 3AlgorithmsforConstructingDelaunayTriangulations 43 3.1 The Orientation and Incircle Predicates . ............... 44 3.2 A Dictionary Data Structure for Triangulations . ................. 46 3.3 Inserting a Vertex into a Delaunay Triangulation . .................. 47 3.4 Inserting a Vertex Outside a Delaunay Triangulation . ................... 49 3.5 The Running Time of Vertex Insertion . ............ 50 3.6 Inserting a Vertex into a Constrained Delaunay Triangulation................. 52 3.7 The Gift-Wrapping Step . ........ 53 3.8 The Gift-Wrapping Algorithm . .......... 55 3.9 Inserting a Segment into a Constrained Delaunay Triangulation . 56 i 4Three-DimensionalDelaunayTriangulations 59 4.1 Triangulations of a Point Set in Ed ............................... 60 4.2 The Delaunay Triangulation in Ed ............................... 60 4.3 Properties of Delaunay Triangulations in Ed .......................... 62 4.4 The Optimality of the Delaunay Triangulation in Ed ...................... 62 4.5 Three-Dimensional Constrained Delaunay Triangulations . 64 4.5.1 Piecewise Linear Complexes and their Triangulations in Ed ............. 65 4.5.2 The Constrained Delaunay Triangulation in E3 .................... 67 4.5.3 The CDT Theorem . .. 68 4.5.4 Properties of the Constrained Delaunay TriangulationinE3 ............. 69 5AlgorithmsforConstructingDelaunayTriangulationsinE3 71 5.1 A Dictionary Data Structure for Tetrahedralizations . .................... 72 5.2 Delaunay Vertex Insertion in E3 ................................ 72 5.3 The Running Time of Vertex Insertion in E3 .......................... 73 5.4 Biased Randomized Insertion Orders . ............. 74 5.5 Point Location by Walking . ......... 75 5.6 The Gift-Wrapping Algorithm in E3 .............................. 76 5.7 Inserting a Vertex into a Constrained Delaunay Triangulation in E3 .............. 77 6Two-DimensionalDelaunayRefinementAlgorithmsforQuality Mesh Generation 79 6.1 The Key Idea Behind Delaunay Refinement . ........... 80 6.2 Chew’s First Delaunay Refinement Algorithm . .............. 81 6.3 Ruppert’s Delaunay Refinement Algorithm . ............. 83 6.3.1 Description of the Algorithm . ......... 85 6.3.2 Local Feature Sizes of Planar Straight Line Graphs . ............... 88 6.3.3 Proof of Termination . ...... 89 6.3.4 Proof of Good Grading and Size-Optimality . ............ 94 6.4 Chew’s Second Delaunay Refinement Algorithm . ............. 97 6.4.1 Description of the Algorithm . ......... 97 6.4.2 Proof of Termination . ...... 98 6.4.3 Proof of Good Grading and Size Optimality . ...........100 7Three-DimensionalDelaunayRefinementAlgorithms 103 7.1 Definitions...................................... ......105 7.2 A Three-Dimensional Delaunay Refinement Algorithm . ................105 7.2.1 Description of the Algorithm . .........106 7.2.2 Local Feature Sizes of Piecewise Linear Complexes . ..............114 7.2.3 Proof of Termination . ......116 7.2.4 Proof of Good Grading . .....120 7.3 Sliver Removal by Delaunay Refinement . ............124 Bibliography 127 Chapter 1 Introduction One of the central tools of scientific computing is the fifty-year old finite element method—a numerical method for approximating solutions to partial differential equations. The finite element method and its cousins, the finite volume method and the boundary element method, simulate physical phenomena includ- ing fluid flow, heat transfer, mechanical deformation, and electromagnetic wave propagation. They are applied heavily in industry and science for marvelously diverse purposes—evaluating pumping strategies for petroleum extraction, modeling the fabrication and operation of transistors and integrated circuits, opti- mizing the aerodynamics of aircraft and car bodies, and studying phenomena from quantum mechanics to earthquakes to black holes. The aerospace engineer Joe F. Thompson, who commanded a multi-institutional mesh generation effort called the National Grid Project [124], wrote in 1992 that An essential element of the numerical solution of partial differential equations (PDEs) on gen- eral regions is the construction of a grid (mesh) on which to represent the equations in finite form. [A]t present it can take orders of magnitude more man-hours to construct the grid than it does to perform and analyze the PDE solution on the grid. This is especially true now that PDE codes of wide applicability are becoming available, and grid generation has been cited repeatedly as being a major pacing item. The PDE codes now available typically require much less esoteric expertise of the knowledgeable user than do thegridgenerationcodes. Two decades later, meshes are still a recurring bottleneck. The automatic mesh generation problem is to divide a physical domain with a complicated geometry—say, anautomobileengine,ahuman’sbloodvessels, or the air around an airplane—into small, simple pieces called elements,suchastrianglesorrectangles (for two-dimensional geometries) or tetrahedra or rectangular prisms (for three-dimensional geometries), as illustrated in Figure 1.1. Millions or billions of elements may be needed. Ameshmustsatisfynearlycontradictoryrequirements:itmust conform to the shape of the object or simulation domain; its elements may be neither too large nor too numerous; it may have to grade from small to large elements over a relatively short distance; and it must be composed of elements that are of the right shapes and sizes. “The right shapes” typically include elements that are nearly equilateral and equiangular, and typically exclude elements that are long and thin, e.g. shaped like a needle or a kite. However, some applications require anisotropic elements that are long and thin, albeit with specified orientations and eccen- tricities, to interpolate fields with anisotropic second derivatives or to model anisotropic physical phenomena such as laminar air flow over an airplane wing. 1 2 Jonathan Richard Shewchuk Figure 1.1: Finite element meshes of a polygonal, a polyhedral, and a curved domain. One mesh of the key has poorly shaped triangles and no Steiner points; the other has Steiner points and all angles between 30◦ and 120◦. The cutaway view at lower right reveals some of the tetrahedral elements inside a mesh. By my reckoning, the history of mesh generation falls into three periods, conveniently divided by decade. The pioneering work was done by researchers from several branches of engineering, especially mechanics and fluid dynamics, during the 1980s—though as we shall see, the earliest work dates back to at least 1970. This period brought forth most of the techniques used today: the Delaunay, octree, and advancing front methods for mesh generation, and mesh “clean-up” methods forimprovinganexistingmesh.Unfortunately, nearly all the algorithms developed during this period are fragile, and produce unsatisfying meshes when confronted by complex domain geometries and stringent demands on element shape. Around 1988, these problems attracted the interest of researchers in computational geometry, a branch of theoretical computer science. Whereas most engineers were satisfied with mesh generators that usually work for their chosen domains, computational geometers set aloftiergoal:provably good mesh generation, the design of algorithms that are mathematically guaranteedtoproduceasatisfyingmesh,evenfordomain geometries unimagined by the algorithm designer. This
Recommended publications
  • Constrained a Fast Algorithm for Generating Delaunay
    004s7949/93 56.00 + 0.00 if) 1993 Pcrgamon Press Ltd A FAST ALGORITHM FOR GENERATING CONSTRAINED DELAUNAY TRIANGULATIONS S. W. SLOAN Department of Civil Engineering and Surveying, University of Newcastle, Shortland, NSW 2308, Australia {Received 4 March 1992) Abstract-A fast algorithm for generating constrained two-dimensional Delaunay triangulations is described. The scheme permits certain edges to be specified in the final t~an~ation, such as those that correspond to domain boundaries or natural interfaces, and is suitable for mesh generation and contour plotting applications. Detailed timing statistics indicate that its CPU time requhement is roughly proportional to the number of points in the data set. Subject to the conditions imposed by the edge constraints, the Delaunay scheme automatically avoids the formation of long thin triangles and thus gives high quality grids. A major advantage of the method is that it does not require extra points to be added to the data set in order to ensure that the specified edges are present. I~RODU~ON to be degenerate since two valid Delaunay triangu- lations are possible. Although it leads to a loss of Triangulation schemes are used in a variety of uniqueness, degeneracy is seldom a cause for concern scientific applications including contour plotting, since a triangulation may always be generated by volume estimation, and mesh generation for finite making an arbitrary, but consistent, choice between element analysis. Some of the most successful tech- two alternative patterns. niques are undoubtedly those that are based on the One major advantage of the Delaunay triangu- Delaunay triangulation. lation, as opposed to a triangulation constructed To describe the construction of a Delaunay triangu- heu~stically, is that it automati~ily avoids the lation, and hence explain some of its properties, it is creation of long thin triangles, with small included convenient to consider the corresponding Voronoi angles, wherever this is possible.
    [Show full text]
  • An Approach of Using Delaunay Refinement to Mesh Continuous Height Fields
    DEGREE PROJECT IN TECHNOLOGY, FIRST CYCLE, 15 CREDITS STOCKHOLM, SWEDEN 2017 An approach of using Delaunay refinement to mesh continuous height fields NOAH TELL ANTON THUN KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF COMPUTER SCIENCE AND COMMUNICATION An approach of using Delaunay refinement to mesh continuous height fields NOAH TELL ANTON THUN Degree Programme in Computer Science Date: June 5, 2017 Supervisor: Alexander Kozlov Examiner: Örjan Ekeberg Swedish title: En metod att använda Delaunay-raffinemang för att skapa polygonytor av kontinuerliga höjdfält School of Computer Science and Communication Abstract Delaunay refinement is a mesh triangulation method with the goal of generating well-shaped triangles to obtain a valid Delaunay triangulation. In this thesis, an approach of using this method for meshing continuous height field terrains is presented using Perlin noise as the height field. The Delaunay approach is compared to grid-based meshing to verify that the theoretical time complexity O(n log n) holds and how accurately and deterministically the Delaunay approach can represent the height field. However, even though grid-based mesh generation is faster due to an O(n) time complexity, the focus of the report is to find out if De- launay refinement can be used to generate meshes quick enough for real-time applications. As the available memory for rendering the meshes is limited, a solution for providing a co- hesive mesh surface is presented using a hole filling algorithm since the Delaunay approach ends up leaving gaps in the mesh when a chunk division is used to limit the total mesh count present in the application.
    [Show full text]
  • From Segmented Images to Good Quality Meshes Using Delaunay Refinement
    Mesh generation Applications CGAL-mesh From Segmented Images to Good Quality Meshes using Delaunay Refinement Jean-Daniel Boissonnat INRIA Sophia-Antipolis Geometrica Project-Team Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Grid-based methods (MC and variants) I Produces unnecessarily large meshes I Regularization and decimation are difficult tasks I Imposes dominant axis-aligned edges Mesh generation Applications CGAL-mesh A determinant step towards numerical simulations Challenges I Quality of the mesh : accurary, topological correctness, size and shape of the elements I Number of elements, processing time I Robustness issues Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh A determinant step towards numerical simulations Challenges I Quality of the mesh : accurary, topological correctness, size and shape of the elements I Number of elements, processing time I Robustness issues Grid-based methods (MC and variants) I Produces unnecessarily large meshes I Regularization and decimation are difficult tasks I Imposes dominant axis-aligned edges Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh Affine Voronoi diagrams and Delaunay triangulations Emerging Trends in Visual Computing From Segmented Images to Good Quality Meshes Mesh generation Applications CGAL-mesh Mesh generation by Delaunay refinement A simple greedy technique that goes back to the early 80’s [Frey, Hermeline]
    [Show full text]
  • Triangulation of Simple 3D Shapes with Well-Centered Tetrahedra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Illinois Digital Environment for Access to Learning and Scholarship Repository TRIANGULATION OF SIMPLE 3D SHAPES WITH WELL-CENTERED TETRAHEDRA EVAN VANDERZEE, ANIL N. HIRANI, AND DAMRONG GUOY Abstract. A completely well-centered tetrahedral mesh is a triangulation of a three dimensional domain in which every tetrahedron and every triangle contains its circumcenter in its interior. Such meshes have applications in scientific computing and other fields. We show how to triangulate simple domains using completely well-centered tetrahedra. The domains we consider here are space, infinite slab, infinite rectangular prism, cube, and regular tetrahedron. We also demonstrate single tetrahedra with various combinations of the properties of dihedral acuteness, 2-well-centeredness, and 3-well-centeredness. 1. Introduction 3 In this paper we demonstrate well-centered triangulation of simple domains in R . A well- centered simplex is one for which the circumcenter lies in the interior of the simplex [8]. This definition is further refined to that of a k-well-centered simplex which is one whose k-dimensional faces have the well-centeredness property. An n-dimensional simplex which is k-well-centered for all 1 ≤ k ≤ n is called completely well-centered [15]. These properties extend to simplicial complexes, i.e. to meshes. Thus a mesh can be completely well-centered or k-well-centered if all its simplices have that property. For triangles, being well-centered is the same as being acute-angled. But a tetrahedron can be dihedral acute without being 3-well-centered as we show by example in Sect.
    [Show full text]
  • Polyhedral Mesh Generation and a Treatise on Concave Geometrical Edges
    Available online at www.sciencedirect.com ScienceDirect Procedia Engineering 124 ( 2015 ) 174 – 186 24th International Meshing Roundtable (IMR24) Polyhedral Mesh Generation and A Treatise on Concave Geometrical Edges Sang Yong Leea,* aKEPCO International Nuclear Graduate School, 658-91 Haemaji-ro Seosaeng-myeon Ulju-gun, Ulsan 689-882, Republic of Korea Abstract Three methods are investigated to remove the concavity at the boundary edges and/or vertices during polyhedral mesh generation by a dual mesh method. The non-manifold elements insertion method is the first method examined. Concavity can be removed by inserting non-manifold surfaces along the concave edges and using them as an internal boundary before applying Delaunay mesh generation. Conical cell decomposition/bisection is the second method examined. Any concave polyhedral cell is decomposed into polygonal conical cells first, with the polygonal primal edge cut-face as the base and the dual vertex on the boundary as the apex. The bisection of the concave polygonal conical cell along the concave edge is done. Finally the cut-along-concave-edge method is examined. Every concave polyhedral cell is cut along the concave edges. If a cut cell is still concave, then it is cut once more. The first method is very promising but not many mesh generators can handle the non-manifold surfaces especially for complex geometries. The second method is applicable to any concave cell with a rather simple procedure but the decomposed cells are too small compared to neighbor non-decomposed cells. Therefore, it may cause some problems during the numerical analysis application. The cut-along-concave-edge method is the most viable method at this time.
    [Show full text]
  • Tetrahedral Meshing in the Wild
    Tetrahedral Meshing in the Wild YIXIN HU, New York University QINGNAN ZHOU, Adobe Research XIFENG GAO, New York University ALEC JACOBSON, University of Toronto DENIS ZORIN, New York University DANIELE PANOZZO, New York University Fig. 1. A selection of the ten thousand meshes in the wild tetrahedralized by our novel tetrahedral meshing technique. We propose a novel tetrahedral meshing technique that is unconditionally Additional Key Words and Phrases: Mesh Generation, Tetrahedral Meshing, robust, requires no user interaction, and can directly convert a triangle soup Robust Geometry Processing into an analysis-ready volumetric mesh. The approach is based on several core principles: (1) initial mesh construction based on a fully robust, yet ACM Reference Format: eicient, iltered exact computation (2) explicit (automatic or user-deined) Yixin Hu, Qingnan Zhou, Xifeng Gao, Alec Jacobson, Denis Zorin, and Daniele tolerancing of the mesh relative to the surface input (3) iterative mesh Panozzo. 2018. Tetrahedral Meshing in the Wild . ACM Trans. Graph. 37, 4, improvement with guarantees, at every step, of the output validity. The Article 1 (August 2018), 14 pages. https://doi.org/10.1145/3197517.3201353 quality of the resulting mesh is a direct function of the target mesh size and allowed tolerance: increasing allowed deviation from the initial mesh and 1 INTRODUCTION decreasing the target edge length both lead to higher mesh quality. Our approach enables łblack-boxž analysis, i.e. it allows to automatically Triangulating the interior of a shape is a fundamental subroutine in solve partial diferential equations on geometrical models available in the 2D and 3D geometric computation.
    [Show full text]
  • A Parallel Mesh Generator in 3D/4D
    Portland State University PDXScholar Portland Institute for Computational Science Publications Portland Institute for Computational Science 2018 A Parallel Mesh Generator in 3D/4D Kirill Voronin Portland State University, [email protected] Follow this and additional works at: https://pdxscholar.library.pdx.edu/pics_pub Part of the Theory and Algorithms Commons Let us know how access to this document benefits ou.y Citation Details Voronin, Kirill, "A Parallel Mesh Generator in 3D/4D" (2018). Portland Institute for Computational Science Publications. 11. https://pdxscholar.library.pdx.edu/pics_pub/11 This Pre-Print is brought to you for free and open access. It has been accepted for inclusion in Portland Institute for Computational Science Publications by an authorized administrator of PDXScholar. Please contact us if we can make this document more accessible: [email protected]. A parallel mesh generator in 3D/4D∗ Kirill Voronin Portland State University [email protected] Abstract In the report a parallel mesh generator in 3d/4d is presented. The mesh generator was developed as a part of the research project on space-time discretizations for partial differential equations in the least-squares setting. The generator is capable of constructing meshes for space-time cylinders built on an arbitrary 3d space mesh in parallel. The parallel implementation was created in the form of an extension of the finite element software MFEM. The code is publicly available in the Github repository [1]. Introduction Finite element method is nowadays a common approach for solving various application problems in physics which is known first of all for its easy-to-implement methodology.
    [Show full text]
  • Polyhedral Mesh Generation
    POLYHEDRAL MESH GENERATION W. Oaks1, S. Paoletti2 adapco Ltd, 60 Broadhollow Road, Melville 11747 New York, USA [email protected], [email protected] ABSTRACT A new methodology to generate a hex-dominant mesh is presented. From a closed surface and an initial all-hex mesh that contains the closed surface, the proposed algorithm generates, by intersection, a new mostly-hex mesh that includes polyhedra located at the boundary of the geometrical domain. The polyhedra may be used as cells if the field simulation solver supports them or be decomposed into hexahedra and pyramids using a generalized mid-point-subdivision technique. This methodology is currently used to provide hex-dominant automatic mesh generation in the preprocessor pro*am of the CFD code STAR-CD. Keywords: mesh generation, polyhedra, hexahedra, mid-point-subdivision, computational geometry. 1. INTRODUCTION to create a mesh that satisfies the boundary constraint, while the second family does not require a quadrilateral In the past decade automatic mesh generation has received surface mesh. Its creation becomes part of the generation significant attention from researchers both in academia and process. in the industry with the result of considerable advances in The first family of methodologies such as spatial twist understanding the underlying topological and geometrical continuum STC and related whisker weaving [1], properties of meshes. hexahedral advancing-front [2], rely on a proof of existence Most of the practical methodologies that have been [3],[4] for combinatorial hexahedral meshes whose only developed rely on using simplical cells such as triangles in requirement is an even number of quadrilaterals on the 2D and tetrahedra in 3D, due to the availability of relatively boundary surface.
    [Show full text]
  • Computing Three-Dimensional Constrained Delaunay Refinement Using the GPU
    Computing Three-dimensional Constrained Delaunay Refinement Using the GPU Zhenghai Chen Tiow-Seng Tan School of Computing School of Computing National University of Singapore National University of Singapore [email protected] [email protected] ABSTRACT collectively called elements, are split in this order in many rounds We propose the first GPU algorithm for the 3D triangulation refine- until there are no more bad tetrahedra. Each round, the splitting ment problem. For an input of a piecewise linear complex G and is done to many elements in parallel with many GPU threads. The a constant B, it produces, by adding Steiner points, a constrained algorithm first calculates the so-called splitting points that can split Delaunay triangulation conforming to G and containing tetrahedra elements into smaller ones, then decides on a subset of them to mostly of radius-edge ratios smaller than B. Our implementation of be Steiner points for actual insertions into the triangulation T . the algorithm shows that it can be an order of magnitude faster than Note first that a splitting point is calculated by a GPU threadas the best CPU algorithm while using a similar amount of Steiner the midpoint of a subsegment, the circumcenter of the circumcircle points to produce triangulations of comparable quality. of the subface, and the circumcenter of the circumsphere of the tetrahedron. Note second that not all splitting points calculated CCS CONCEPTS can be inserted as Steiner points in a same round as they together can potentially create undesirable short edges in T to cause non- • Theory of computation → Computational geometry; • Com- termination of the algorithm.
    [Show full text]
  • Parallel Adaptive Mesh Generation and Decomposition
    Purdue University Purdue e-Pubs Department of Computer Science Technical Reports Department of Computer Science 1995 Parallel Adaptive Mesh Generation and Decomposition Poting Wu Elias N. Houstis Purdue University, [email protected] Report Number: 95-012 Wu, Poting and Houstis, Elias N., "Parallel Adaptive Mesh Generation and Decomposition" (1995). Department of Computer Science Technical Reports. Paper 1190. https://docs.lib.purdue.edu/cstech/1190 This document has been made available through Purdue e-Pubs, a service of the Purdue University Libraries. Please contact [email protected] for additional information. PARALLEL ADAPTIVE MESH GENERAnON AND DECOMPOSITION Poling Wu Elias N. HOlISm Department of Computer Sciences Purdue University West Lafayette, IN 47907 CSD·TR·9S..()12 February 1995 Parallel Adaptive Mesh Generation and Decomposition Poting Wu and Elias N. Houstis Department of Computer Sciences Purdue University West Lafayette, Indiana 47907-1398, U.S.A. e-mail: [email protected] October, 1994 Abstract An important class of methodologies for the parallel processing of computational models defined on some discrete geometric data structures (i.e., meshes, grids) is the so called geometry decomposition or splitting approach. Compared to the sequential processing of such models, the geometry splitting parallel methodology requires an additional computational phase. It consists of the decomposition of the associated geometric data structure into a number of balanced subdomains that satisfy a number of conditions that ensure the load balancing and minimum communication requirement of the underlying computations on a parallel hardware platform. It is well known that the implementation of the mesh decomposition phase requires the solution of a computationally intensive problem.
    [Show full text]
  • Triangulations and Simplex Tilings of Polyhedra
    Triangulations and Simplex Tilings of Polyhedra by Braxton Carrigan A dissertation submitted to the Graduate Faculty of Auburn University in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Auburn, Alabama August 4, 2012 Keywords: triangulation, tiling, tetrahedralization Copyright 2012 by Braxton Carrigan Approved by Andras Bezdek, Chair, Professor of Mathematics Krystyna Kuperberg, Professor of Mathematics Wlodzimierz Kuperberg, Professor of Mathematics Chris Rodger, Don Logan Endowed Chair of Mathematics Abstract This dissertation summarizes my research in the area of Discrete Geometry. The par- ticular problems of Discrete Geometry discussed in this dissertation are concerned with partitioning three dimensional polyhedra into tetrahedra. The most widely used partition of a polyhedra is triangulation, where a polyhedron is broken into a set of convex polyhedra all with four vertices, called tetrahedra, joined together in a face-to-face manner. If one does not require that the tetrahedra to meet along common faces, then we say that the partition is a tiling. Many of the algorithmic implementations in the field of Computational Geometry are dependent on the results of triangulation. For example computing the volume of a polyhedron is done by adding volumes of tetrahedra of a triangulation. In Chapter 2 we will provide a brief history of triangulation and present a number of known non-triangulable polyhedra. In this dissertation we will particularly address non-triangulable polyhedra. Our research was motivated by a recent paper of J. Rambau [20], who showed that a nonconvex twisted prisms cannot be triangulated. As in algebra when proving a number is not divisible by 2012 one may show it is not divisible by 2, we will revisit Rambau's results and show a new shorter proof that the twisted prism is non-triangulable by proving it is non-tilable.
    [Show full text]
  • Two Algorithms for Constructing a Delaunay Triangulation 1
    International Journal of Computer and Information Sciences, Vol. 9, No. 3, 1980 Two Algorithms for Constructing a Delaunay Triangulation 1 D. T. Lee 2 and B. J. Schachter 3 Received July 1978; revised February 1980 This paper provides a unified discussion of the Delaunay triangulation. Its geometric properties are reviewed and several applications are discussed. Two algorithms are presented for constructing the triangulation over a planar set of Npoints. The first algorithm uses a divide-and-conquer approach. It runs in O(Nlog N) time, which is asymptotically optimal. The second algorithm is iterative and requires O(N 2) time in the worst case. However, its average case performance is comparable to that of the first algorithm. KEY WORDS: Delaunay triangulation; triangulation; divide-and-con- quer; Voronoi tessellation; computational geometry; analysis of algorithms. 1. INTRODUCTION In this paper we consider the problem of triangulating a set of points in the plane. Let V be a set of N ~> 3 distinct points in the Euclidean plane. We assume that these points are not all colinear. Let E be the set of (n) straight- line segments (edges) between vertices in V. Two edges el, e~ ~ E, el ~ e~, will be said to properly intersect if they intersect at a point other than their endpoints. A triangulation of V is a planar straight-line graph G(V, E') for which E' is a maximal subset of E such that no two edges of E' properly intersect.~16~ 1 This work was supported in part by the National Science Foundation under grant MCS-76-17321 and the Joint Services Electronics Program under contract DAAB-07- 72-0259.
    [Show full text]