© Cambridge University Press Cambridge

Total Page:16

File Type:pdf, Size:1020Kb

© Cambridge University Press Cambridge Cambridge University Press 978-0-521-85757-4 - Geometric Folding Algorithms: Linkages, Origami, Polyhedra Erik D. Demaine and Joseph O’Rourke Index More information Index 1-skeleton, 311, 339 bar, 9 3-Satisfiability, 217, 221 base, see origami, base, 2 α-cone canonical configuration, 151, 152 Bauhaus, 294 α-producible chain, 150, 151 Bellows theorem, 279, 348 δ-perturbation, 115 bending λ order function, 176, 177, 186 machine, xi, 13, 306 antisymmetry condition, 177, 186 pipe, 13, 14 consistency condition, 178, 186 sheet metal, 306 noncrossing condition, 179, 186 beta sheet, 158 time continuity, 174, 183, 187 Bezdek, Daniel, 331 transitivity condition, 178, 186 blooming, continuous, 333, 435 bond angle, 14, 131, 148, 151 Abe’s angle trisection, 286, 287 bond length, 148 accordion, 85, 193, 200, 261 active path, 244, 245, 247–249 cable, 53–55 acyclicity, 108 CAD, see cylindrical algebraic decomposition, 19 additor (Kempe), 32, 34, 35 cage, 21, 92, 93 Alexandrov, Aleksandr D., 348 canonical form, 74, 86, 87, 141, 151 Alexandrov’s theorem, 339, 348, 349, 352, 354, Cauchy’s arm lemma, 72, 133, 143, 145, 342, 343, 368, 381, 393, 419 377 existence, 351 Cauchy’s rigidity theorem, 43, 143, 213, 279, 339, uniqueness, 350 341, 342, 345, 348–350, 354, 403 algebraic motion, 107, 111 Cauchy—Steinitz lemma, 72, 342 algebraic set, 39, 44 chain algebraic variety, 27 4D, 92, 93, 437 alpha helix, 151, 157, 158 abstract, 65, 149, 153, 158 Amato, Nancy, 157 convex, 143, 145 amino acid, 158 cutting, xi, 91, 123 amino acid residue, 14, 148, 151 equilateral, see chain, unit, 91 analytic isomorphism, 39 fixed-angle, 9, 132, 145, 147, 149, 154 angle flat state, 135, 137, 147 deficit, 303 interlocked, 124 solid, 303 protein, 15, 131, 148 space, 112, 113, 154 span, 133, 135 trisection, 33, 34, 285–289 unit, 153 annulus, 59–61, 437 flattenable, 135, 136, 150, 151 anticore, 371, 372 flexible, see flexible, chain, 124 approximation algorithm, c-, 160–162 folded state, 69 arc, see chain10 locked, 9, 20, 86, 88, 153, 154 arch algorithm, 81–83 not in 2D, 96, 105, 109 Archimedean solids, 312, 313 in 4D, 92 arm, 10 definition, 11, 86 robot, 9–12, 14, 16, 20, 59, 63, 131, 155, history, 88 156 from knot, 90 Aronov, Boris, 350 orthogonal, 436 assembly planning, 20 of planar shapes, 119 463 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85757-4 - Geometric Folding Algorithms: Linkages, Origami, Polyhedra Erik D. Demaine and Joseph O’Rourke Index More information 464 Index chain (cont.) for deer, 3 locked hexagon, 90, 91 faces, 242 monotone, 85, 120–122, 138 flap, 242, 243 orthogonal, 138, 141, 142, 151 flat-foldable, 193, 199, 203, 205, 207–209, 214, polygonal, 4, 9, 10, 14 217, 222, 258 random, 151, 153 for lizard, 252 self-touching, 119 local, 169 simple, 91 piecewise-Ck, 185 unit, 69, 91, 96, 138, 153 simple, 194 unlocked, 86 single-vertex, 193, 198–201, 210, 212, 215 chains tesselation, 293 interlocked, 9, 24, 114, 123, 124, 130 for turtle, 258 separated, 123 unfoldable, 4, 212 circle, osculating, 301, 302 crease points, 175, 185 circular to linear motion, 31, 40 crimpable pair, 195, 196 Collins, George E., 19 crossing collision detection, 155, 157 geometric, 179 composition order, 179 of reflections, 437 cube of rotation matrices, 211 built from, 331 configuration, 10 doubling, 289 of chain, 149, 150 snub, 3 cis, 148 wrapping of, 237, 238 free, 11, 173 cuboctahedron, 299, 300, 333 lockable, 151 curvature, 147, 301–303, 352 self-touching, 115–117, 119 elliptic, 303 semifree, 11, 173 Gaussian, 191, 303, 304 trans, 148 geodesic, 304, 352 configuration space, 9, 11, 17, 20, 59, 94 hyperbolic, 303 for origami, 192 negative, 303 torus, 61 in origami, 199 conformational map, 157 and shortest paths, 358 connected sum, 90 and star unfolding, 368, 370 Connelly, Robert, 88, 347 unfoldable, 318, 319, 321 constructibility, geometric, 285 principal, 302 constructible coefficient, 287, 289 curve constructible number, 288, 289 monotone, 96 contractive motion, 109 slice, 376–378 contraparallelogram, 32–35, 37–41, 346 smooth, 145, 147, 301, 352 convex decomposition, 237, 247, 250, 253 cut locus, 359, 360, 367, 369, 371, 440 convex optimization, 104, 105, 340 cylindrical algebraic decomposition, 18, 19 convex programming, 113 convexification Dali, Salvador, 439 in 4D, 93 de Bruijn, Nicolaas, 125 of active-path decomposition, 247, 248 decision problem, 11 of chain, 87, 88, 97, 107, 111–113, 213 deflation, 78–80 by flipping, 74, 76 degrees of freedom, 17, 29 of polygon, 80–82, 94, 97 Dehn, Max, 342 core, 367, 371 deltahedron, 331 crease Descartes, Rene,´ 303, 305 from Alexandrov gluing, 350 development curved, 292, 296 of curve, 358, 371, 372, 375–378 hinge, 242 manifold of, 352 perpendicular, 252, 258–260, 263, 267, 282, 283 of polyhedra, 145, 299, 380 crease line, 227, 285 D-form, 296, 352, 353, 354, 419 crease pattern, 2, 169, 170 differential equation, of motion, 104, 105, 107 in 1D map, 226 dihedral angle, 132 in 2D map, 225, 226, 228 in blooming, 333 in 3D paper, 437 of crease, 212 corridor, 259–261, 263 in lifting, 57 for crane, 170 of polyhedron, 329, 340, 341, 407, 408, 431, 434 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85757-4 - Geometric Folding Algorithms: Linkages, Origami, Polyhedra Erik D. Demaine and Joseph O’Rourke Index More information Index 465 random, 153 fewest nets problem, 308 sign changes, 342 flat folding, see folding, flat, 4 dihedral motion, 14, 131, 132, 138, 148 flat state, 133, 136 local, 132 flat-state connected, 136, 137, 141–143 Dijkstra’s algorithm, 158, 363 flat-state disconnected, 136, 138, 141 continuous, 362, 363 flattening directed angle, 77 4D, 280 disk packing, 240, 246, 255, 263, 264, 266, 267, 281 continuous, 279 dual, 267 polyhedra, xi, 279, 281, 283 equal-radius, 246 polyhedral complexes, 438 dissection, 372, 423, 424 trees, 154 hinged piano, 423, 437 flexibility double banana, 47 generic, 44–47 doubling infinitesimal, 52, 99, 103, 109, 116 of chain, 90 sloppy, 116 of tour, 251 flexible of tree, 97 Bricard’s octahedron, 346, 347 duality chain, 124, 126, 127, 129 stress, see stress, duality, 56 Connelly’s polyhedron, 347 Durer,¨ Albrecht, 2, 3, 299, 312 linkage, 43–45, 47, 116, 125 The Painter’s Manual, 2, 299 octahedron, 345 polyhedra, 345 ear polyhedron, 345–348, 357 of polygon, 189 Steffen’s polyhedron, 347, 348 of triangulation, 109 surface, 293 edge flipturn, 76, 80, 81 exterior, 90 fold flat, 57, 58 book, 225, 289 frozen, see rigid, edge, 132 complex, 225, 231 sequence, 363 crimp edge unfolding, see unfolding, edge, 5 1D, 194, 195, 197, 226 Edmonds, Jack, 224 for error correction, 247 Elephant Hide paper, 295 single vertex, 204, 205, 207, 215 elliptic distance, 112 end, 194, 197, 226 energy point, 382, 383, 392 in HP model, 158 simple, 170, 224–231, 290 minimization, 15, 113, 154, 158, 159 1D, 226 for unlocking, 111–113 all-layers, 225–228 equation one-layer, 225–227 cubic, 287, 289, 290 some-layers, 225, 226, 228 quartic, 289 fold-and-cut, 254, 255, 280 equilateral triangle 3D, 280 face, 331 multidimensional, 278, 280, 281, 438 folding, 394, 419 theorem, 254, 278 as obstacle, 67, 69 foldability Erdos,˝ Paul, 74 flat, 217 Erickson, Jeff, 441 1D, 197, 226 Euclid, 341 fold-and-cut, 278 Euler NP-hard, 217, 221 characteristic, 305 single-vertex, 200, 207, 208 formula, 342, 344, 345, 406 global, 170, 217, 222 method, 106 local flat, 214, 216 Euler, Leonhard, 43, 347 simple, 230 Eulerian tour, 239, 251 folded state, 1, 172 Eulerian walk, 337 of 1D paper, 175 EXP,22 of 2D paper, 183 expansive motion, 73, 88, 96–99, 107, 112, 121 final, 169 exponential map, 186 flat, 4, 169, 193, 224 rolling between, 189, 190 face path, 334, 336, 337 silhouette, 189 Farkas’s lemma, 56 free, 173, 184, 185, 212 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85757-4 - Geometric Folding Algorithms: Linkages, Origami, Polyhedra Erik D. Demaine and Joseph O’Rourke Index More information 466 Index folded state (cont.) gift wrapping, 232, 237 of higher-dimensional paper, 437 Gluck, Herman, 347 origami, 169, 210, 212 gluing of protein, 15 Alexandrov, 349, 350, 381, 393, 396, 397, 402 semifree, 177 algorithm of uniaxial base, 243 decision, 402 folding edge-to-edge, 387 of carton, 14 general, 399, 402 flat, 169, 170, 193, 221, 222, 236, 280, 423 edge-to-edge, 386, 389, 396 1D, 193, 198, 204, 205 gradient descent, 111 cell complex, 437 graph of convex paper, 236 induced subgraph, 45–47 definition, 4 orthogonal, 138, 140, 141 of D-form, 354 outerplanar, 325 and dissection, 423 Grunbaum,¨ Branko, 299 of equilateral triangle, 419 for fold-and-cut, 254, 263 Hamiltonian cycle, 159, 160 of map, 224 Hamiltonian path, 160, 329 of n-gon, 413 Hamiltonian triangulation, 233, 235 of oriented tree, 262 Hamming distance, 159 perimeter, 239 Hart, George, 331 of polyhedron, 279, 281 Hart’s inversor, 33, 39, 40 single-vertex, 199, 204, 206 Hatori’s axiom, 285, 288 of square, 412 Hayes, Barry, 281 free motion, 174, 185 Henneberg construction, 47, 48 of Latin cross, 402 Henneberg, Ernst Lebrecht, 47 of map, 4, 224, 227, 228, 231 Henneberg’s theorem, 48 1D, 228 Heron’s formula, 348 motion, 182, 187, 189–191 Hirata, Koichi, 396, 399, 408, 423, 424 perimeter-halving, 382, 383, 394, 418, 420 homeomorphic, 27 nonconvex polyhedron, 384 Houdini, Harry, 254 perimeter-halving, 412 HP model, 15, 158–162, 164 of polygon, 5, 381, 431 Huffman, David, 295, 296 convex, 411 Huzita, Humiaki, 285 random, 382, 384, 385 Huzita’s axioms, 169, 285, 286, 288 regular, 289, 412 hydrophobic—hydrophilic, see HP model, 158 seam of, 236 hypercube, 439 of shopping bag, 292, 293 HyperGami/JavaGami, 312 of square, 411, 414 of strip, 233 infinitesimal motion, 49–54, 56, 99, 109, 110 unique, 162–164 inheritance property, 153 unique optimal, 161, 164 inside-out, 63, 64, 67, 86, 437 forbidden disk, 146 instability, degree of, 63 four-color theorem, 31 intractable problem, 22 Francesca’s formula, 348 inverse kinematics, 12, 156 Fukuda, Komei, 316 isometric function, 172, 174, 185 Fuller, R.
Recommended publications
  • Ununfoldable Polyhedra with Convex Faces
    Ununfoldable Polyhedra with Convex Faces Marshall Bern¤ Erik D. Demainey David Eppsteinz Eric Kuox Andrea Mantler{ Jack Snoeyink{ k Abstract Unfolding a convex polyhedron into a simple planar polygon is a well-studied prob- lem. In this paper, we study the limits of unfoldability by studying nonconvex poly- hedra with the same combinatorial structure as convex polyhedra. In particular, we give two examples of polyhedra, one with 24 convex faces and one with 36 triangular faces, that cannot be unfolded by cutting along edges. We further show that such a polyhedron can indeed be unfolded if cuts are allowed to cross faces. Finally, we prove that \open" polyhedra with triangular faces may not be unfoldable no matter how they are cut. 1 Introduction A classic open question in geometry [5, 12, 20, 24] is whether every convex polyhedron can be cut along its edges and flattened into the plane without any overlap. Such a collection of cuts is called an edge cutting of the polyhedron, and the resulting simple polygon is called an edge unfolding or net. While the ¯rst explicit description of this problem is by Shephard in 1975 [24], it has been implicit since at least the time of Albrecht Durer,Ä circa 1500 [11]. It is widely conjectured that every convex polyhedron has an edge unfolding. Some recent support for this conjecture is that every triangulated convex polyhedron has a vertex unfolding, in which the cuts are along edges but the unfolding only needs to be connected at vertices [10]. On the other hand, experimental results suggest that a random edge cutting of ¤Xerox Palo Alto Research Center, 3333 Coyote Hill Rd., Palo Alto, CA 94304, USA, email: [email protected].
    [Show full text]
  • Mathematics of Origami
    Mathematics of Origami Angela Kohlhaas Loras College February 17, 2012 Introduction Origami ori + kami, “folding paper” Tools: one uncut square of paper, mountain and valley folds Goal: create art with elegance, balance, detail Outline History Applications Foldability Design History of Origami 105 A.D.: Invention of paper in China Paper-folding begins shortly after in China, Korea, Japan 800s: Japanese develop basic models for ceremonial folding 1200s: Origami globalized throughout Japan 1682: Earliest book to describe origami 1797: How to fold 1,000 cranes published 1954: Yoshizawa’s book formalizes a notational system 1940s-1960s: Origami popularized in the U.S. and throughout the world History of Origami Mathematics 1893: Geometric exercises in paper folding by Row 1936: Origami first analyzed according to axioms by Beloch 1989-present: Huzita-Hatori axioms Flat-folding theorems: Maekawa, Kawasaki, Justin, Hull TreeMaker designed by Lang Origami sekkei – “technical origami” Rigid origami Applications from the large to very small Miura-Ori Japanese solar sail “Eyeglass” space telescope Lawrence Livermore National Laboratory Science of the small Heart stents Titanium hydride printing DNA origami Protein-folding Two broad categories Foldability (discrete, computational complexity) Given a pattern of creases, when does the folded model lie flat? Design (geometry, optimization) How much detail can added to an origami model, and how efficiently can this be done? Flat-Foldability of Crease Patterns 훗 Three criteria for 훗: Continuity, Piecewise isometry, Noncrossing 2-Colorable Under the mapping 훗, some faces are flipped while others are only translated and rotated. Maekawa-Justin Theorem At any interior vertex, the number of mountain and valley folds differ by two.
    [Show full text]
  • A Survey of Folding and Unfolding in Computational Geometry
    Combinatorial and Computational Geometry MSRI Publications Volume 52, 2005 A Survey of Folding and Unfolding in Computational Geometry ERIK D. DEMAINE AND JOSEPH O’ROURKE Abstract. We survey results in a recent branch of computational geome- try: folding and unfolding of linkages, paper, and polyhedra. Contents 1. Introduction 168 2. Linkages 168 2.1. Definitions and fundamental questions 168 2.2. Fundamental questions in 2D 171 2.3. Fundamental questions in 3D 175 2.4. Fundamental questions in 4D and higher dimensions 181 2.5. Protein folding 181 3. Paper 183 3.1. Categorization 184 3.2. Origami design 185 3.3. Origami foldability 189 3.4. Flattening polyhedra 191 4. Polyhedra 193 4.1. Unfolding polyhedra 193 4.2. Folding polygons into convex polyhedra 196 4.3. Folding nets into nonconvex polyhedra 199 4.4. Continuously folding polyhedra 200 5. Conclusion and Higher Dimensions 201 Acknowledgements 202 References 202 Demaine was supported by NSF CAREER award CCF-0347776. O’Rourke was supported by NSF Distinguished Teaching Scholars award DUE-0123154. 167 168 ERIKD.DEMAINEANDJOSEPHO’ROURKE 1. Introduction Folding and unfolding problems have been implicit since Albrecht D¨urer [1525], but have not been studied extensively in the mathematical literature until re- cently. Over the past few years, there has been a surge of interest in these problems in discrete and computational geometry. This paper gives a brief sur- vey of most of the work in this area. Related, shorter surveys are [Connelly and Demaine 2004; Demaine 2001; Demaine and Demaine 2002; O’Rourke 2000]. We are currently preparing a monograph on the topic [Demaine and O’Rourke ≥ 2005].
    [Show full text]
  • GEOMETRIC FOLDING ALGORITHMS I
    P1: FYX/FYX P2: FYX 0521857570pre CUNY758/Demaine 0 521 81095 7 February 25, 2007 7:5 GEOMETRIC FOLDING ALGORITHMS Folding and unfolding problems have been implicit since Albrecht Dürer in the early 1500s but have only recently been studied in the mathemat- ical literature. Over the past decade, there has been a surge of interest in these problems, with applications ranging from robotics to protein folding. With an emphasis on algorithmic or computational aspects, this comprehensive treatment of the geometry of folding and unfolding presents hundreds of results and more than 60 unsolved “open prob- lems” to spur further research. The authors cover one-dimensional (1D) objects (linkages), 2D objects (paper), and 3D objects (polyhedra). Among the results in Part I is that there is a planar linkage that can trace out any algebraic curve, even “sign your name.” Part II features the “fold-and-cut” algorithm, establishing that any straight-line drawing on paper can be folded so that the com- plete drawing can be cut out with one straight scissors cut. In Part III, readers will see that the “Latin cross” unfolding of a cube can be refolded to 23 different convex polyhedra. Aimed primarily at advanced undergraduate and graduate students in mathematics or computer science, this lavishly illustrated book will fascinate a broad audience, from high school students to researchers. Erik D. Demaine is the Esther and Harold E. Edgerton Professor of Elec- trical Engineering and Computer Science at the Massachusetts Institute of Technology, where he joined the faculty in 2001. He is the recipient of several awards, including a MacArthur Fellowship, a Sloan Fellowship, the Harold E.
    [Show full text]
  • Synthesis of Fast and Collision-Free Folding of Polyhedral Nets
    Synthesis of Fast and Collision-free Folding of Polyhedral Nets Yue Hao Yun-hyeong Kim Jyh-Ming Lien George Mason University Seoul National University George Mason University Fairfax, VA Seoul, South Korea Fairfax, VA [email protected] [email protected] [email protected] Figure 1: An optimized unfolding (top) created using our method and an arbitrary unfolding (bottom) for the fish mesh with 150 triangles (left). Each row shows the folding sequence by linearly interpolating the initial and target configurations. Self- intersecting faces, shown in red at bottom, result in failed folding. Additional results, foldable nets produced by the proposed method and an accompanied video are available on http://masc.cs.gmu.edu/wiki/LinearlyFoldableNets. ABSTRACT paper will provide a powerful tool to enable designers, materi- A predominant issue in the design and fabrication of highly non- als engineers, roboticists, to name just a few, to make physically convex polyhedral structures through self-folding, has been the conceivable structures through self-assembly by eliminating the collision of surfaces due to inadequate controls and the computa- common self-collision issue. It also simplifies the design of the tional complexity of folding-path planning. We propose a method control mechanisms when making deployable shape morphing de- that creates linearly foldable polyhedral nets, a kind of unfoldings vices. Additionally, our approach makes foldable papercraft more with linear collision-free folding paths. We combine the topolog- accessible to younger children and provides chances to enrich their ical and geometric features of polyhedral nets into a hypothesis education experiences. fitness function for a genetic-based unfolder and use it to mapthe polyhedral nets into a low dimensional space.
    [Show full text]
  • Continuous Blooming of Convex Polyhedra Erik D
    Masthead Logo Smith ScholarWorks Computer Science: Faculty Publications Computer Science 5-2011 Continuous Blooming of Convex Polyhedra Erik D. Demaine Massachusetts nI stitute of Technology Martin L. Demaine Massachusetts nI stitute of Technology Vi Hart Joan Iacono New York University Stefan Langerman Universite Libre de Bruxelles See next page for additional authors Follow this and additional works at: https://scholarworks.smith.edu/csc_facpubs Part of the Computer Sciences Commons, and the Discrete Mathematics and Combinatorics Commons Recommended Citation Demaine, Erik D.; Demaine, Martin L.; Hart, Vi; Iacono, Joan; Langerman, Stefan; and O'Rourke, Joseph, "Continuous Blooming of Convex Polyhedra" (2011). Computer Science: Faculty Publications, Smith College, Northampton, MA. https://scholarworks.smith.edu/csc_facpubs/31 This Article has been accepted for inclusion in Computer Science: Faculty Publications by an authorized administrator of Smith ScholarWorks. For more information, please contact [email protected] Authors Erik D. Demaine, Martin L. Demaine, Vi Hart, Joan Iacono, Stefan Langerman, and Joseph O'Rourke This article is available at Smith ScholarWorks: https://scholarworks.smith.edu/csc_facpubs/31 Continuous Blooming of Convex Polyhedra Erik D. Demaine∗† Martin L. Demaine∗ Vi Hart‡ John Iacono§ Stefan Langerman¶ Joseph O’Rourkek June 13, 2009 Abstract We construct the first two continuous bloomings of all convex polyhedra. First, the source unfolding can be continuously bloomed. Second, any unfolding of a convex polyhedron can be refined (further cut, by a linear number of cuts) to have a continuous blooming. 1 Introduction A standard approach to building 3D surfaces from rigid sheet material, such as sheet metal or cardboard, is to design an unfolding: cuts on the 3D surface so that the remainder can unfold (along edge hinges) into a single flat non-self-overlapping piece.
    [Show full text]
  • Marvelous Modular Origami
    www.ATIBOOK.ir Marvelous Modular Origami www.ATIBOOK.ir Mukerji_book.indd 1 8/13/2010 4:44:46 PM Jasmine Dodecahedron 1 (top) and 3 (bottom). (See pages 50 and 54.) www.ATIBOOK.ir Mukerji_book.indd 2 8/13/2010 4:44:49 PM Marvelous Modular Origami Meenakshi Mukerji A K Peters, Ltd. Natick, Massachusetts www.ATIBOOK.ir Mukerji_book.indd 3 8/13/2010 4:44:49 PM Editorial, Sales, and Customer Service Office A K Peters, Ltd. 5 Commonwealth Road, Suite 2C Natick, MA 01760 www.akpeters.com Copyright © 2007 by A K Peters, Ltd. All rights reserved. No part of the material protected by this copyright notice may be reproduced or utilized in any form, electronic or mechanical, including photo- copying, recording, or by any information storage and retrieval system, without written permission from the copyright owner. Library of Congress Cataloging-in-Publication Data Mukerji, Meenakshi, 1962– Marvelous modular origami / Meenakshi Mukerji. p. cm. Includes bibliographical references. ISBN 978-1-56881-316-5 (alk. paper) 1. Origami. I. Title. TT870.M82 2007 736΄.982--dc22 2006052457 ISBN-10 1-56881-316-3 Cover Photographs Front cover: Poinsettia Floral Ball. Back cover: Poinsettia Floral Ball (top) and Cosmos Ball Variation (bottom). Printed in India 14 13 12 11 10 10 9 8 7 6 5 4 3 2 www.ATIBOOK.ir Mukerji_book.indd 4 8/13/2010 4:44:50 PM To all who inspired me and to my parents www.ATIBOOK.ir Mukerji_book.indd 5 8/13/2010 4:44:50 PM www.ATIBOOK.ir Contents Preface ix Acknowledgments x Photo Credits x Platonic & Archimedean Solids xi Origami Basics xii
    [Show full text]
  • Make a Title
    The Star Unfolding from a Geodesic Curve by Stephen Kiazyk A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 2014 c Stephen Kiazyk 2014 I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract An unfolding of a polyhedron P is obtained by `cutting' the surface of P in such a way that it can be flattened into the plane into a single polygon. For most practical and theoretic applications, it is desirable for an algorithm to produce an unfolding which is simple, that is, non-overlapping. Currently, two methods for unfolding which guarantee non-overlap for convex polyhedra are known, the source unfolding, and the star unfolding. Both methods involve computing shortest paths from a single source point on the polyhedron's surface. In this thesis, we attempt to prove non-overlap of a variant called the geodesic star unfolding. This unfolding, much like the star unfolding, is computed by cutting shortest paths from each vertex to λ, a geodesic curve on the surface of a convex polyhedron P, and also cutting λ itself. Non-overlap of this case was conjectured by Demaine and Lubiw [15]. We are unsuccessful in completely proving non-overlap, though we present a number of partial results, and discuss some areas for future study.
    [Show full text]
  • The Mathematics of Origami Thomas H
    The Mathematics of Origami Thomas H. Bertschinger, Joseph Slote, Olivia Claire Spencer, Samuel Vinitsky Contents 1 Origami Constructions 2 1.1 Axioms of Origami . .3 1.2 Lill's method . 12 2 General Foldability 14 2.1 Foldings and Knot Theory . 17 3 Flat Foldability 20 3.1 Single Vertex Conditions . 20 3.2 Multiple Vertex Crease Patterns . 23 4 Computational Folding Questions: An Overview 24 4.1 Basics of Algorithmic Analysis . 24 4.2 Introduction to Computational Complexity Theory . 26 4.3 Computational Complexity of Flat Foldability . 27 5 Map Folding: A Computational Problem 28 5.1 Introduction to Maps . 28 5.2 Testing the Validity of a Linear Ordering . 30 5.3 Complexity of Map Folding . 35 6 The Combinatorics of Flat Folding 38 6.1 Definition . 39 6.2 Winding Sequences . 41 6.3 Enumerating Simple Meanders . 48 6.4 Further Study . 58 The Mathematics of Origami Introduction Mention of the word \origami" might conjure up images of paper cranes and other representational folded paper forms, a child's pasttime, or an art form. At first thought it would appear there is little to be said about the mathematics of what is by some approximation merely crumpled paper. Yet there is a surprising amount of conceptual richness to be teased out from between the folds of these paper models. Even though researchers are just at the cusp of understanding the theoretical underpinnings of this an- cient art form, many intriguing applications have arisen|in areas as diverse as satellite deployment and internal medicine. Parallel to the development of these applications, mathematicians have begun to seek descriptions of the capabilities and limitations of origami in a more abstract sense.
    [Show full text]
  • Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions
    CCCG 2014, Halifax, Nova Scotia, August 11{13, 2014 Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions Stefan Huber∗ Oswin Aichholzery Thomas Hackly Birgit Vogtenhubery Abstract work of Klein [10]. In particular, the straight skeleton does not constitute a Voronoi diagram under some ap- We consider the question under which circumstances the propriate distance function. In this sense, straight skele- straight skeleton and the Voronoi diagram of a given in- tons and Voronoi diagrams are in general fundamentally put shape coincide. More precisely, we investigate con- different. For instance, computing straight skeletons of vex distance functions that stem from centrally symmet- polygons with holes is P -complete [9], but computing ric convex polyhedra as unit balls and derive sufficient Voronoi diagrams is not. Straight skeletons can change and necessary conditions for input shapes in order to ob- discontinuously when input vertices are moved [6], but tain identical straight skeletons and Voronoi diagrams the Voronoi diagram does not. with respect to this distance function. Under these circumstances, it is most interesting that This allows us to present a new approach for general- for rectilinear input in general position (that is, a rec- izing straight skeletons by means of Voronoi diagrams, tilinear polygon where no two edges are collinear) the so that the straight skeleton changes continuously when straight skeleton and the Voronoi diagram under L1- vertices of the input shape are dislocated, that is, no dis- metric indeed coincide [2]. Barequet et al. [5] carried continuous changes as in the Euclidean straight skeleton over this fact to rectilinear polyhedra in three-space.
    [Show full text]
  • Modeling and Simulation for Foldable Tsunami Pod
    明治大学大学院先端数理科学研究科 2015 年 度 博士学位請求論文 Modeling and Simulation for Foldable Tsunami Pod 折り畳み可能な津波ポッドのためのモデリングとシミュレーション 学位請求者 現象数理学専攻 中山 江利 Modeling and Simulation for Foldable Tsunami Pod 折り畳み可能な津波ポッドのためのモデリングとシミュレーション A Dissertation Submitted to the Graduate School of Advanced Mathematical Sciences of Meiji University by Department of Advanced Mathematical Sciences, Meiji University Eri NAKAYAMA 中山 江利 Supervisor: Professor Dr. Ichiro Hagiwara January 2016 Abstract Origami has been attracting attention from the world, however it is not long since applying it into industry is intended. For the realization, not only mathematical understanding origami mathematically but also high level computational science is necessary to apply origami into industry. Since Tohoku earthquake on March 11, 2011, how to ensure oneself against danger of tsunami is a major concern around the world, especially in Japan. And, there have been several kinds of commercial products for a tsunami shelter developed and sold. However, they are very large and take space during normal period, therefore I develop an ellipsoid formed tsunami pod which is smaller and folded flat which is stored ordinarily and deployed in case of tsunami arrival. It is named as “tsunami pod”, because its form looks like a shell wrapping beans. Firstly, I verify the stiffness of the tsunami pod and the injury degree of an occupant. By using von Mises equivalent stress to examine the former and Head injury criterion for the latter, it is found that in case of the initial model where an occupant is not fastened, he or she would suffer from serious injuries. Thus, an occupant restraint system imitating the safety bars for a roller coaster is developed and implemented into the tsunami pod.
    [Show full text]
  • On Rigid Origami I: Piecewise-Planar Paper with Straight-Line Creases
    On Rigid Origami I: Piecewise-planar Paper with Straight-line Creases Zeyuan He, Simon D. Guest∗ January 5, 2021 Abstract We develop a theoretical framework for rigid origami, and show how this framework can be used to connect rigid origami and results from cognate areas, such as the rigidity theory, graph theory, linkage folding and computer science. First, we give definitions on important concepts in rigid origami, then focus on how to describe the configuration space of a creased paper. The shape and 0-connectedness of the configuration space are analysed using algebraic, geometric and numeric methods, where the key results from each method are gathered and reviewed. Keywords: rigid-foldability, folding, configuration 1 Introduction This article develops a general theoretical framework for rigid origami, and uses this to gather and review the progress that researchers have made on the theory of rigid origami, including other related areas, such as rigidity theory, graph theory, linkage folding, and computer science. Origami has been used for many different physical models, as a recent review [1] shows. Sometimes a "rigid" origami model is required where all the deforma- tion is concentrated on the creases. A rigid origami model is usually considered to be a system of rigid panels that are able to rotate around their common boundaries and has been applied to many areas across different length scales [2]. These successful applications have inspired us to focus on the fundamental theory of rigid origami. Ultimately, we are considering two problems: first, the positive problem, which is to find useful sufficient and necessary conditions for a creased paper to be rigid-foldable; second, the inverse problem, which is to approximate a target surface by rigid origami.
    [Show full text]