Unfolding and Reconstructing Polyhedra Brendan Lucier University of Waterloo Master’s Thesis Presentation University of Waterloo, Waterloo, Ontario January.

Slides:



Advertisements
Similar presentations
Triangle partition problem Jian Li Sep,2005.  Proposed by Redstar in Algorithm board in Fudan BBS.  Motivated by some network design strategy.
Advertisements

Convex drawing chapter 5 Ingeborg Groeneweg. Summery What is convex drawing What is convex drawing Some definitions Some definitions Testing convexity.
Open Problem 9 Yoosun Song CSCE 620 : EDGE-UNFOLDING CONVEX POLYHEDRA Yoosun Song.
Greedy Algorithms Greed is good. (Some of the time)
Bart Jansen, Utrecht University. 2  Max Leaf  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least.
NP-Completeness: Reductions
Interactive Shortest Path An Image Segmentation Technique Jonathan-Lee Jones.
GOLOMB RULERS AND GRACEFUL GRAPHS
How should we define corner points? Under any reasonable definition, point x should be considered a corner point x What is a corner point?
Zoo-Keeper’s Problem An O(nlogn) algorithm for the zoo-keeper’s problem Sergei Bespamyatnikh Computational Geometry 24 (2003), pp th CGC Workshop.
Face Guards for Art Galleries Diane Souvaine, Raoul Veroy, and Andrew Winslow Tufts University.
3. Delaunay triangulation
Last time: terminology reminder w Simple graph Vertex = node Edge Degree Weight Neighbours Complete Dual Bipartite Planar Cycle Tree Path Circuit Components.
Introduction to Approximation Algorithms Lecture 12: Mar 1.
JRLeon Discovering Geometry Chapter 5.3 HGSH In this chapter you will ● study properties of convex polygons ● discover relationships among their angles,
Hardness Results for Problems P: Class of “easy to solve” problems Absolute hardness results Relative hardness results –Reduction technique.
Reduction Techniques Restriction Local Replacement Component Design Examples.
NP-Complete Problems Reading Material: Chapter 10 Sections 1, 2, 3, and 4 only.
Graph Colouring Lecture 20: Nov 25.
Computing the Delaunay Triangulation By Nacha Chavez Math 870 Computational Geometry; Ch.9; de Berg, van Kreveld, Overmars, Schwarzkopf By Nacha Chavez.
Chapter 11: Limitations of Algorithmic Power
1 Separator Theorems for Planar Graphs Presented by Shira Zucker.
Toward NP-Completeness: Introduction Almost all the algorithms we studies so far were bounded by some polynomial in the size of the input, so we call them.
1 University of Denver Department of Mathematics Department of Computer Science.
Hardness Results for Problems
Data reduction lower bounds: Problems without polynomial kernels Hans L. Bodlaender Joint work with Downey, Fellows, Hermelin, Thomasse, Yeo.
The Shortest Path Problem
9-4 Geometry in Three Dimensions  Simple Closed Surfaces  Regular Polyhedra  Cylinders and Cones.
Modeling and representation 1 – comparative review and polygon mesh models 2.1 Introduction 2.2 Polygonal representation of three-dimensional objects 2.3.
Delaunay Triangulations Presented by Glenn Eguchi Computational Geometry October 11, 2001.
Subdivision of Edge In a graph G, subdivision of an edge uv is the operation of replacing uv with a path u,w,v through a new vertex w.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
MCS312: NP-completeness and Approximation Algorithms
Fixed Parameter Complexity Algorithms and Networks.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Lecture 22 More NPC problems
Approximating the Minimum Degree Spanning Tree to within One from the Optimal Degree R 陳建霖 R 宋彥朋 B 楊鈞羽 R 郭慶徵 R
Copyright © Cengage Learning. All rights reserved. CHAPTER 10 GRAPHS AND TREES.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
Nonoverlap of the Star Unfolding Boris Aronov and Joseph O’Rourke, 1991 A Summary by Brendan Lucier, 2004.
Techniques for Proving NP-Completeness Show that a special case of the problem you are interested in is NP- complete. For example: The problem of finding.
Computer Graphics Basic 3D Geometry CO2409 Computer Graphics Week 5-1.
Graph Colouring L09: Oct 10. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including the famous.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Copyright © Cengage Learning. All rights reserved.
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
NP-COMPLETE PROBLEMS. Admin  Two more assignments…  No office hours on tomorrow.
Chapter 10 Graph Theory Eulerian Cycle and the property of graph theory 10.3 The important property of graph theory and its representation 10.4.
NP-Complete problems.
Graph Colouring Lecture 20: Nov 25. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including.
CSE 589 Part V One of the symptoms of an approaching nervous breakdown is the belief that one’s work is terribly important. Bertrand Russell.
Local Overlaps in Unfoldings of Polyhedra Brendan LucierAnna Lubiw University of Waterloo Presented at the 15th Annual Fall Workshop on Computational Geometry,
LIMITATIONS OF ALGORITHM POWER
Unique Games Approximation Amit Weinstein Complexity Seminar, Fall 2006 Based on: “Near Optimal Algorithms for Unique Games" by M. Charikar, K. Makarychev,
NPC.
Unfolding and Reconstructing Polyhedra
Some Favorite Problems Dan Kleitman, M.I.T.. The Hirsch Conjecture 1. How large can the diameter of a bounded polytope defined by n linear constraints.
Great Theoretical Ideas in Computer Science for Some.
Spanning Tree Definition:A tree T is a spanning tree of a graph G if T is a subgraph of G that contains all of the vertices of G. A graph may have more.
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
1 Variations of the maximum leaf spanning tree problem for bipartite graphs P.C. Li and M. Toulouse Information Processing Letters 97 (2006) /03/14.
Mathematical Foundations of AI
INTRODUCTION TO GEOMETRIC SOLIDS.
Enumerating Distances Using Spanners of Bounded Degree
Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway.
Vertical Angles Vertical angles are across from each other and are created by intersecting lines.
Instructor: Aaron Roth
Week 5: Polygons and Tilings on the SPhere
Presentation transcript:

Unfolding and Reconstructing Polyhedra Brendan Lucier University of Waterloo Master’s Thesis Presentation University of Waterloo, Waterloo, Ontario January 2006

Outline Unfolding Polyhedra  Introduction  Ununfoldable Polyhedra  Convex Polyhedra Reconstructing Polyhedra

Outline Unfolding Polyhedra  Introduction  Ununfoldable Polyhedra  Convex Polyhedra Reconstructing Polyhedra

Unfolding Polyhedra We consider the act of cutting a polyhedron along its edges and unfolding it into the plane. The resulting planar figure is an edge unfolding. Two faces of the unfolding overlap if they have a common interior point. An unfolding with no overlap is a simple unfolding, or net. A polyhedron with no net is referred to as ununfoldable.

Unfolding with Overlaps Image due to W. Schlickenrieder, “Nets of Polyhedra,” 1999

Unfolding with Overlaps Image due to W. Schlickenrieder, “Nets of Polyhedra,” 1999

Simple Unfolding Image due to W. Schlickenrieder, “Nets of Polyhedra,” 1999

Definitions A convex set is one where the line between two points in the set remains in the set. A face angle of a polyhedron is an interior angle in a face. The total face angle of a vertex is the sum of its face angles. The curvature of a vertex is 360 minus its total face angle. convexnonconvex positive curvature negative curvature

Locality of Overlaps An overlap is k-local if the overlapping faces are connected by a path of at most k vertices in the unfolding. 2-local overlap 1-local overlap 3- and 4-local overlaps

Outline Unfolding Polyhedra  Introduction  Ununfoldable Polyhedra  Convex Polyhedra Reconstructing Polyhedra  Introduction  Edge Vectors  Edge Lengths

History 1999: Bern, Demaine, Eppstein, and Kuo discover an ununfoldable polyhedron with convex faces. This polyhedron has 24 faces. 2002: Grünbaum constructs an ununfoldable convex- faced polyhedron with 13 faces. 2003: Bern, Demaine, Eppstein, Kuo, Mantler, and Snoeyink construct an ununfoldable simplicial polyhedron with 36 faces. Images due to E. Demaine, “Folding and Unfolding,” 2001, and B. Grunbaum, “No-net Polyhedra,” 2002.

Describing 1-Local Overlaps A 1-local overlap corresponds precisely to a situation in which a vertex in an unfolding has total face angle greater than 360 o. Convex polyhedra clearly avoid 1-local overlaps, since they contain no vertices with negative curvature. Motivating Question: does every polyhedron admit an unfolding that contains no 1-local overlaps? No! v

Four-Pointed Star Our polyhedron is a 4-pointed star. The polyhedron is parameterized:  α (large) is the length of each spike.  β (small) is the height of the center points.

Argument Claim: every unfolding of the 4- pointed star contains a 1-local overlap. Main idea: To avoid 1-local overlaps, we must cut at least two opposing edges incident to each B vertex.

Argument (con’t) Our cuts must form a spanning tree, so they cannot form a cycle. The cuts must therefore be made as shown in the bottom diagram. There is one final cut that must be made.

Argument (con’t) The center vertices have must have at least 2 incident cuts (due to negative curvature). The remaining cut must therefore be incident with both C vertices, but they are not adjacent! It is therefore impossible to cut our 4-pointed star to avoid 1-local overlaps.

Creating a Smaller Example The 4-Pointed Star is an ununfoldable polyhedron with 16 triangular faces. We shall now make modifications to create a smaller ununfoldable polyhedron. The result will be an ununfoldable convex-faced polyhedron with 9 faces.

Modification #1: 3-Pointed Star

Modification #2: Flatten One side of the polyhedron is flattened. Two triangular faces are combined into a single quadrilateral face. Think of the operation as “cutting” the polyhedron into two halves, lengthwise.

Modification #3: Perturb the symmetry of the star by increasing the angle between two spikes. This adds a new parameter, φ, indicating the angle change. Perturbing by φ = 10 o is sufficient.

Unfolding This Polyhedron At the B vertices with face angles greater than 120, two opposing edges must be cut. The vertices with negative curvature must each have two incident cuts. This leaves a few possibilities for unfolding, which are dealt with by a case analysis.

Possible Unfoldings

Summary There is a polyhedron with 16 triangular faces for which every unfolding contains a 1-local overlap. There exists an ununfoldable, convex-faced polyhedron with 9 faces.

Outline Unfolding Polyhedra  Introduction  Ununfoldable Polyhedra  Convex Polyhedra Reconstructing Polyhedra

History 1975: Shepphard conjectures that all convex polyhedra can be unfolded without overlap : Namiki and Fukuda create a Mathematica package for unfolding polyhedra. Fukuda makes a stronger conjecture about unfolding convex polyhedra. 1997: Schlickenrieder performs an empirical study of various unfolding methods and makes further conjectures about unfolding convex polyhedra.

2-local overlaps Recall that an unfolding of a convex polyhedron will never contain a 1-local overlap. For convex polyhedra, we study 2-local overlaps. 2-local overlap

Sufficient Conditions We have no clean characterization of conditions for a 2- local overlap, but we do have a set of sufficient conditions. A 2-local overlap occurs from cut tree T if  a vertex v has an unfolding angle >270 incident with edge (v,w), where w has degree 1, and  the curvature at w is sufficiently small.

Disproving Conjectures We use the conditions from the previous slide as follows:  We disprove certain conjectures of the form “every convex polyhedron has a non-overlapping unfolding of the form X.”  For each unfolding type X, we construct a polyhedron such that we obtain a 2-local overlap when we use X.

Conjecture #1: Shortest Path Tree Given a polyhedron, a shortest path tree is created as follows:  Choose a vertex v to be the root.  For every other vertex w, take the shortest path from v to w.  The union of all these paths is the shortest path tree. Conjecture (Fukuda): If a convex polyhedron is cut along a shortest path tree, the resulting unfolding will not contain an overlap. We shall disprove this conjecture.

Idea of Proof Consider the illustrated graph and shortest path tree. Convert into a convex polyhedron by raising the internal vertices slightly; shortest path tree remains the same. Also, curvatures will be as small as we like, so the conditions for a 2-local overlap are satisfied.

Conjecture #2: Steepest Edge Take a polyhedron and choose a direction vector. From each vertex, cut the edge that is directed most toward the chosen vector. This forms the steepest edge cut tree. Conjecture (Schlickenrieder): every convex polyhedron has a steepest edge cut tree that creates a non-overlapping unfolding.

Disproving Schlickenrieder: Steepest edge algorithm applied to the graph at right with direction “up.” Get a cut tree that generates a 2-local overlap.

Disproving Schlickenrieder: Steepest edge algorithm applied to the graph at right with direction “up.” Get a cut tree that generates a 2-local overlap. In fact, if the direction is chosen to be close enough to up, we get the same cut tree. The given graph eliminates a certain open range of choices for directions.

Disproving Schlickenrieder (con’t) Embed our graph in a triangle and turn it into a convex terrain by raising interior vertices. Form a polyhedron by covering the sphere with many instances of this terrain. Place instances in such a way to cover all possible choices of direction vectors.

Normal Order Unfoldings

Disproving Normal Order Unfoldings

Summary We specified conditions on a cut tree that generate a 2-local overlap. We created convex polyhedra for which unfoldings of the following types have overlaps:  Shortest path cut tree  Steepest edge cut tree

Outline Unfolding Polyhedra  Introduction  Ununfoldable Polyhedra  Convex Polyhedra Reconstructing Polyhedra

Introduction In the thesis we analyze the complexity of two related decision problems: Problem 1: Edge Vectors  Given a set of vectors, does there exist a polygon/polyhedron with those vectors as edges (i.e. edge lengths and orientations)? Problem 2: Edge Lengths  Given a set of values, does there exist a polygon/polyhedron with those values as edge lengths? In this talk we will only discuss the Edge Vector problem.

Edge Vector Reconstruction We will look at many different types of edge vector reconstruction problems. We attempt to reconstruct different things:  Polygons  Polyhedra  Convex Polygons/Polyhedra  Orthogonal Polygons/Polyhedra  etc.

Partition Partition: given a set of positive integer values with a sum of 2S, is there a subset of the values with a sum of S? Partition is known to be an NP-hard problem. Partition remains NP-complete if we require that all values are unique and that our subset uses exactly half of the input values (shown in thesis)

Review: Computational Complexity We will be showing that some edge vector reconstruction problems are NP-hard. We do this by showing that if we can solve the edge vector problem, then we can solve Partition with just a little more work.  Given some input values (w 1, …, w n ) for the Partition problem, we will create input values (i.e. a set of sticks) for our reconstruction problem.  We will choose the input values so that the answer to our reconstruction problem is “Yes” if and only if the answer to the Partition problem is “Yes.”  This shows that reconstruction must be just as hard as Partition.

Problem 1: Degenerate Polygons A degenerate polygon is one in which two incident edges are collinear. The edge vector problem is NP-hard for degenerate polygons.  Proof: Given an instance (w 1, …, w n ) of Partition, we create an instance of the edge vector reconstruction problem with input 11 w1w1 w2w2 wnwn...

Problem 2: Degenerate Polyhedra Now extend to polyhedra. The edge vector problem is NP-complete for degenerate polyhedra.  Given an instance (w 1, …, w n ) of Partition, create an instance of Edge Vector with 11 w1w1 w2w2 wnwn SS 1111

Problem 3: Convex Polygons The edge vector problem for convex polygons is NP-complete. We reduce from the version of Partition where the two sets must have the same number of values and all values are unique. Suppose (w 1, …, w n ) is an instance of Partition, with a sum of 2S. Then our decision problem will have the following vectors: n/2 S B1B1 S B2B2

Problem 3: Convex Polygons The edge vector problem for convex polygons is NP-complete. We reduce from the version of Partition where the two sets must have the same number of values and all values are unique. Suppose (w 1, …, w n ) is an instance of Partition, with a sum of 2S. Then our decision problem will have the following vectors: n/2 S B1B1 S B2B2 (S,n/2)

Problem 4: Convex Polyhedra The edge vector problem is also NP-hard for convex polyhedra. We build our solution upon that for convex polygons. Create two copies of the polygon construction. Add some vectors (0,0,1). Then the only way these vectors can form a convex polyhedron is if they create a prism, with our convex polygon as the base.

Summary of all results

Conclusion Overarching idea: different ways to create a polyhedron.

Thank You