1 / 46

Folding & Unfolding in Computational Geometry: Introduction

Folding & Unfolding in Computational Geometry: Introduction. Joseph O’Rourke Smith College (Many slides made by Erik Demaine). Folding and Unfolding in Computational Geometry. 1D: Linkages. Preserve edge lengths Edges cannot cross. 2D: Paper. Preserve distances Cannot cross itself.

ayame
Télécharger la présentation

Folding & Unfolding in Computational Geometry: Introduction

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Folding & Unfolding in Computational Geometry:Introduction Joseph O’Rourke Smith College (Many slides made by Erik Demaine)

  2. Folding and Unfolding in Computational Geometry • 1D: Linkages • Preserve edge lengths • Edges cannot cross • 2D: Paper • Preserve distances • Cannot cross itself • 3D: Polyhedra • Cut the surface while keeping it connected

  3. Characteristics • Tangible • Applicable • Elementary • Deep • Frontier Accessible

  4. Outline Topics: • 1D: Linkages • 2D: Paper • 3D: Polyhedra

  5. Lectures Schedule

  6. Outline: Tonight Topics: • 1D: Linkages • 2D: Paper • 3D: Polyhedra Within each: • Definitions • One “application” • One open problem

  7. Outline1 ― 1D: Linkages • Definitions • Configurations • Locked chain in 3D • Fixed-angle chains • Application: Protein folding • Open Problem: unit-length locked chains?

  8. Linkages / Frameworks • Link / bar / edge = line segment • Joint / vertex = connection between endpoints of bars Closed chain / cycle / polygon Open chain / arc Tree General

  9. Configurations • Configuration = positions of the vertices that preserves the bar lengths • Non-self-intersecting = No bars cross Self-intersecting Non-self-intersecting configurations

  10. Locked Question • Can a linkage be moved between any twonon-self-intersecting configurations? • Can any non-self-intersecting configuration be unfolded, i.e., moved to “canonical” configuration? • Equivalent by reversing and concatenating motions ?

  11. Canonical Configurations • Chains: Straightconfiguration • Polygons: Convexconfigurations • Trees: Flat configurations

  12. Locked 3D Chains [Cantarella & Johnston 1998; Biedl, Demaine, Demaine, Lazard, Lubiw, O’Rourke, Overmars, Robbins, Streinu, Toussaint, Whitesides 1999] Cannot straighten some chains, even with universal joints.

  13. Locked 2D Trees[Biedl, Demaine, Demaine, Lazard, Lubiw, O’Rourke, Robbins, Streinu, Toussaint, Whitesides 1998] • Theorem: Not all trees can be flattened • No petal can be opened unless all others are closed significantly • No petal can be closed more than a little unless it has already opened

  14. Can Chains Lock? • Can every chain, with universal joints, be straightened? “Polygonal Chains Cannot Lock in 4D.” Roxana Cocan and J. O'RourkeComput. Geom. Theory Appl., 20 (2001) 105-129.

  15. Open1: Can Equilateral Chains Lock? Does there exist an open polygonal chain embedded in 3D, with all links of equal length, that is locked?

  16. ProteinFolding

  17. Protein Folding

  18. Fixed-angle chain

  19. Flattenable A configuration of a chain if flattenable if it can be reconfigured, without self-intersection, so that it lies flat in a plane. Otherwise the configuration is unflattenable, or locked.

  20. Unflattenable fixed-angle chain

  21. Open Problems1 : Locked Equilateral Chains? • Is there a configuration of a chain with universal joints, all of whose links have the same length, that is locked? • Is there a configuration of a 90o fixed-angle chain, all of whose links have the same length, that is locked? Perhaps: No? Perhaps: Yes for 1+e?

  22. Outline2 ― 2D: Paper • Definitions • Foldings • Crease patterns • Application: Map Folding • Open Problem: Complexity of Map Folding

  23. Foldings • Piece of paper = 2D surface • Square, or polygon, or polyhedral surface • Folded state = isometric “embedding” • Isometric = preserve intrinsic distances (measured alongpaper surface) • “Embedding” = no self-intersections exceptthat multiple surfacescan “touch” withinfinitesimal separation Nonflat folding Flat origami crane

  24.                               Structure of Foldings • Creases in folded state =discontinuities in the derivative • Crease pattern = planar graph drawn with straight edges (creases) on the paper, corresponding tounfolded creases • Mountain-valleyassignment = specifycrease directions asor  Nonflat folding Flat origami crane

  25. 6 7 1 5 8 2 4 9 3 Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line

  26. 6 7 1 5 8 2 4 9 3 Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line

  27. Easy?

  28. Hard?

  29. 5 8 2 4 9 3 Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line 6 7 1

  30. 5 8 2 Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line 6 7 1

  31. Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line 1 7 6

  32. Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line 7 6

  33. Map Folding • Motivating problem: • Given a map (grid of unit squares),each crease marked mountain or valley • Can it be folded into a packet(whose silhouette is a unit square)via a sequence of simple folds? • Simple fold = fold along a line 9 6 • More generally: Given an arbitrary crease pattern, is it flat-foldable by simple folds?

  34. Open2: Map Folding Complexity? Given a rectangular map, with designated mountain/valley folds in a regular grid pattern, how difficult is it to decide if there is a folded state of the map realizing those crease patterns?

  35. Outline3 ― 3D: Polyhedra • Edge-Unfolding • Definitions • Cut tree: spanning tree • Net • Applications: Manufacturing • Open Problem: Does every polyhedron have a net?

  36. Unfolding Polyhedra • Cut along the surface of a polyhedron • Unfold into a simple planar polygon without overlap

  37. Edge Unfoldings • Two types of unfoldings: • Edge unfoldings: Cut only along edges • General unfoldings: Cut through faces too

  38. Cut Edges form Spanning Tree Lemma: The cut edges of an edge unfolding of a convex polyhedron to a simple polygon form a spanning tree of the 1-skeleton of the polyhedron. • spanning: to flatten every vertex • forest: cycle would isolate a surface piece • tree: connected by boundary of polygon

  39. Commercial Software Lundström Design, http://www.algonet.se/~ludesign/index.html

  40. Open3: Edge-Unfolding Convex Polyhedra Does every convex polyhedron have an edge-unfolding to a net (a simple, nonoverlapping polygon)? [Shephard, 1975]

  41. Archimedian Solids

  42. Nets for Archimedian Solids

  43. Cube with one corner truncated

  44. Sclickenrieder1:steepest-edge-unfold “Nets of Polyhedra” TU Berlin, 1997

  45. Sclickenrieder3:rightmost-ascending-edge-unfold

  46. Open3: Edge-Unfolding Convex Polyhedra Does every convex polyhedron have an edge-unfolding to a net (a simple, nonoverlapping polygon)? [Shephard, 1975]

More Related