Common Unfoldings of Polyominoes and Polycubes Greg Aloupis123 Prosenjit K

Total Page:16

File Type:pdf, Size:1020Kb

Common Unfoldings of Polyominoes and Polycubes Greg Aloupis123 Prosenjit K cOMMON uNFOLDINGS oF pOLYOMINOES aND pOLYCUBES Greg Aloupis123 Prosenjit K. Bose2 Sebastien Collette3 Erik D. Demaine45 Martin Demaine4 Karim Douïeb2 Vida Dujmovic´2 John Iacono56 Stefan Langerman3 Pat Morin2 Abstract Common planar unfoldings of various classes For boxes, i.e., convex polycubes, Biedl et al. [1] of polyominoes and polycubes are studied. A common found two polyomino unfoldings that folds into two dis- unfolding of all tree-like tetracubes was exhaustively tinct boxes. Mitani and Uehara [3] have shown that there discovered by Knuth and Miller; we show here that no are an infinite number of such polyomino unfoldings. common unfolding exists for all tree-like pentacubes. The problem of finding a polyomino unfolding that folds 1 Introduction into more than two distinct boxes is still open. Related to this topic is the problem of finding an Polyominoes A polyomino or k-omino is an orthogo- edge unfolding of some classes of orthogonal polyhedra; nal polygon made from k squares of unit size arranged see [4] for a survey. with coincident sides. The coincident sides of two ad- jacent squares either overlap or are joined together. A 2 Unfolding polyominoes polyomino is tree-like if its dual graph is a tree (each The perimeter of a k-omino forms a closed chain of node a square, arcs corresponding to joined sides) and 2k + 2 unit length segments. An unfolding of a k-omino is incision-free if it does not have overlapping sides; is defined as follows: open the chain, cut the k-omino overlapping corners are allowed. into smaller polyominoid pieces partially attached to the chain and straighten the chain. This definition is motivated by the problem of unfolding tree-like planar polycubes (see §3.2). A valid unfolding does not overlap and every piece lies on the same side of the chain. A triv- ial unfolding exists for all polyominoes: open the chain, keep the polyomino identical and leave it connected to an arbitrary segment of the chain. We ask: Is there a common unfolding of all tree-like k-ominoes? Figure 1. Three octakaidecominoes: non-tree-like (left), tree-like (middle), and incision-free tree-like (right). Polycubes The 3D analogues of polyominoes are poly- Figure 2. A possible unfolding of a tree-like 6-omino. cubes which are orthogonal polyhedra made from unit 2.1 Path-like polyominoes A polyomino is path-like cubes arranged with coincident faces which either over- if its dual graph is a path. Let c ; c ; : : : ; c be f 1 2 2k+2g lap or are joined together. A polycube is tree-like if its the ordered sequence of segments composing the un- dual graph is a tree and is incision-free if it does not folded chain C of a k-omino where c1 is the left most have overlapping faces; corner overlap is allowed. A segment. A caterpillar unfolding of a k-omino is a chain planar polycube has its dual graph lying on one plane, where one unit size square is attached to each segment i.e., it is only one cube thick. A chiral polycube has a c2i+ 2i=k+1 for 1 < i k (see Fig. 3). Note that b c ≤ non-superimposable-under-rigid-motion mirror image. the caterpillar unfolding cannot fold into all path-like Chiral twins, chiral polycubes that are the mirror image polyominoes but we show that it can fold into any non- of each other, are considered to be distinct. spiraling path-like polyomino. The difference between 1.1 Related work Cubigami7 [2] is a commercialized the number of left and right turns in a non-spiraling path- puzzle developed by Donald Knuth and George Miller like polyomino does not exceed 3 if k is even and does which solves this problem for k 4. Miller posed the not exceed 4 otherwise. ≤ question, and Knuth exhaustively tried all unfoldings of We have proven the following (proofs omitted): all tree-like tetracubes. Nothing is known for k > 5. Theorem 1 For any positive value of k, the cater- pillar unfolding is a common unfolding of all one-sided non-spiraling path-like k-ominoes. Corollary 2 For any odd positive integer k, there Cubigami7: exists an unfolding that folds to at least C(k 1)=2 one- − sided k-ominoes (or at least C(k 1)=2=2 free k-ominoes), − 1Academica Sinica 2Carleton University 3Université Libre de Bruxelles 4MIT 5MADALGO, Aaurhus University 6Poly:NYU 1 488058892672 There is an unique free polyomino (see below) un- where Cn is the nth Catalan number. Planar 7 ofThere 492 is an unique two-sided polyomino unfolding 1 •• The notion of a caterpillar unfolding and the results foldingof all tree-like of all tree-like incision-free incision-free non-planar non-planar pentacubes pen- tacubes. This unfolding can fold to a total of 22 1 of2 Theorem3 14 and Corollary5 6 2 can be extended to path- (Fig 4 #12-27). This unfolding, shown below, can 2 like planar polycubes. pentacubes.fold to a total of 22 pentacubes. 1 2 3 4 5 6 3 ... ... 7 8 9 10 11 1 2 3 Figure4 5 3. Caterpillar6 unfolding of k-ominoes for k even 4 7 8 (top)9 or10 odd (bottom).11 1 2 3 4 We5 have6 proven... the following (proofs omitted):... There are 492 common one-sided polyomino un- 5 12 13 14 15 16 17 • 7 8 9 10Theorem11 1 For any positive value of k, the caterpillar foldingsThere are of492 all tree-like common incision-free one-sided polyomino planar pen- un- 1 2 3 4 5 6 •tacubes. None of them can fold to a non-planar 12 13 unfolding14 15 is a16 common17 unfolding of all one-sided non- foldings of all tree-like incision-free planar pen- 6 1 Figure2 3.3 Caterpillar4 5 unfolding6 of k-ominoes for k even 7 8 9 10 spiraling11 path-like k-ominoes. pentacube.tacubes (Fig One 4 of #1-11). them is:None of them can fold to a 1 2 3 4 5 186 (top)19 or20 odd (bottom).21For any22 odd23 positive integer k, there exists 12 13 14 Corollary15 16 1 17 non-planar pentacube. One of them is: 1 7 2 3 4 5 6 7 8 9 10 11 an unfolding that folds to at least C one-sided k- 18 19 2.220 Tree-like21 22 polyminoes23 The following(k 1)/2 lemma has 7 8 9 10 11 − 12 13 14 15 ominoes16 17 (or at least C /2 free k-ominoes), where 8 been verified experimentally:(k 1)/2 1 2 3 254 5 6 − 7 8 9 10 11 24 C is the26 nth27 Catalan number. 18 19 20 21 nProposition22 23 3 For 0 < k 6, there exists a com- 7 8 9 10 11 ≤ 12 13 14 15 16 17 The notion of a caterpillar unfolding and the results of 1 2 243 9 254 mon265 unfolding276 of all tree-like incision-free k-ominoes. 12 13 14 15 16 17 18 19 20 121 ThereTheorem222 is323 no 1 common and4 Corollary5 unfolding 16 can ofbe all extended tree-like to path-likeincision- 7 8 9 10 11 12 13 14 15 16 17 There is no common free polyomino unfolding of 10 planar polycubes. 1 2 243 254 265 free276 heptominoes. • 12 13 14 15 16 17 18 19 20 121 222 2.2323 Tree-like4 5 polyminoes6 The following lemma has all path-like incision-free pentacubes. 7 8 9 10 11 The question remains open for k 8. There is no common two-sided polyomino unfold- 18 19 20 21 22 23 ≥ •The smallest subset of pentacubes that have no com- 24 25 26 11 727 been8 verified9 10 experimentally:11 ing of all path-like incision-free pentacubes. 12 13 14 15 16 17 • 18 19 20 121 222 323 3Lemma4 Unfolding5 1 For6 polycubes0 <k 6, there exists a common un- mon polyomino unfolding has a size of at most 4. 7 8 9 10 11 181346714828 Non-planar 1 of 2 The smallest subset of pentacubes that have no Copyright 2010 John Iacono. All rights reserved. Do not distribute. 18 19 20 21 22 23 ≤ 24 25 26 72712 8 Afolding9 polyomino10 of all11 unfolding tree-like incision-free of a polycubek-ominoes. is a cutting There of is a •For example pentacubes 1, 9, 27 and any of 6, 7, 12, 12 13 14 15 16 17 common polyomino unfolding has a size of at 1 2 3 244 no255 common266 unfolding27 of all tree-like incision-free hep- 13, 24 or 26 have no common polyomino unfolding. 12 collection13 14 of edges15 on16 the17 surface of a polycube so that 18 19 20 21 22 23 most 4. For example pentacubes (numbered in 24 25 26 727 8 13 9 the10tominoes. surface11 may be flattened into a polyomino without 12 13 14 15 16 17 Fig. 4) 1, 9, 27 and any of 6, 7, 12, 13, 24 or 26 1 2 3 4 5 6 l 24 25 26 The27 question remains open for k>8. One open problem is is there some such that for all 12 13 overlapping14 15 faces.16 We17 study the problem of finding com- 18 19 20 121 222 323 4 5 6 k l,have there no are common always two polyomino incision-free unfolding.k-polyominoes 7 8 9 14 10 mon11 polyomino unfoldings of all tree-like k-cubes.
Recommended publications
  • Tiling a Rectangle with Polyominoes Olivier Bodini
    Tiling a Rectangle with Polyominoes Olivier Bodini To cite this version: Olivier Bodini. Tiling a Rectangle with Polyominoes. Discrete Models for Complex Systems, DMCS’03, 2003, Lyon, France. pp.81-88. hal-01183321 HAL Id: hal-01183321 https://hal.inria.fr/hal-01183321 Submitted on 12 Aug 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Discrete Mathematics and Theoretical Computer Science AB(DMCS), 2003, 81–88 Tiling a Rectangle with Polyominoes Olivier Bodini1 1LIRMM, 161, rue ADA, 34392 Montpellier Cedex 5, France A polycube in dimension d is a finite union of unit d-cubes whose vertices are on knots of the lattice Zd. We show that, for each family of polycubes E, there exists a finite set F of bricks (parallelepiped rectangles) such that the bricks which can be tiled by E are exactly the bricks which can be tiled by F. Consequently, if we know the set F, then we have an algorithm to decide in polynomial time if a brick is tilable or not by the tiles of E. please also repeat in the submission form Keywords: Tiling, Polyomino 1 Introduction A polycube in dimension d (or more simply a polycube) is a finite -not necessarily connected- union of unit cubes whose vertices are on nodes of the lattice Zd .
    [Show full text]
  • Stony Brook University
    SSStttooonnnyyy BBBrrrooooookkk UUUnnniiivvveeerrrsssiiitttyyy The official electronic file of this thesis or dissertation is maintained by the University Libraries on behalf of The Graduate School at Stony Brook University. ©©© AAAllllll RRRiiiggghhhtttsss RRReeessseeerrrvvveeeddd bbbyyy AAAuuuttthhhooorrr... Combinatorics and Complexity in Geometric Visibility Problems A Dissertation Presented by Justin G. Iwerks to The Graduate School in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Applied Mathematics and Statistics (Operations Research) Stony Brook University August 2012 Stony Brook University The Graduate School Justin G. Iwerks We, the dissertation committee for the above candidate for the Doctor of Philosophy degree, hereby recommend acceptance of this dissertation. Joseph S. B. Mitchell - Dissertation Advisor Professor, Department of Applied Mathematics and Statistics Esther M. Arkin - Chairperson of Defense Professor, Department of Applied Mathematics and Statistics Steven Skiena Distinguished Teaching Professor, Department of Computer Science Jie Gao - Outside Member Associate Professor, Department of Computer Science Charles Taber Interim Dean of the Graduate School ii Abstract of the Dissertation Combinatorics and Complexity in Geometric Visibility Problems by Justin G. Iwerks Doctor of Philosophy in Applied Mathematics and Statistics (Operations Research) Stony Brook University 2012 Geometric visibility is fundamental to computational geometry and its ap- plications in areas such as robotics, sensor networks, CAD, and motion plan- ning. We explore combinatorial and computational complexity problems aris- ing in a collection of settings that depend on various notions of visibility. We first consider a generalized version of the classical art gallery problem in which the input specifies the number of reflex vertices r and convex vertices c of the simple polygon (n = r + c).
    [Show full text]
  • A New Mathematical Model for Tiling Finite Regions of the Plane with Polyominoes
    Volume 15, Number 2, Pages 95{131 ISSN 1715-0868 A NEW MATHEMATICAL MODEL FOR TILING FINITE REGIONS OF THE PLANE WITH POLYOMINOES MARCUS R. GARVIE AND JOHN BURKARDT Abstract. We present a new mathematical model for tiling finite sub- 2 sets of Z using an arbitrary, but finite, collection of polyominoes. Unlike previous approaches that employ backtracking and other refinements of `brute-force' techniques, our method is based on a systematic algebraic approach, leading in most cases to an underdetermined system of linear equations to solve. The resulting linear system is a binary linear pro- gramming problem, which can be solved via direct solution techniques, or using well-known optimization routines. We illustrate our model with some numerical examples computed in MATLAB. Users can download, edit, and run the codes from http://people.sc.fsu.edu/~jburkardt/ m_src/polyominoes/polyominoes.html. For larger problems we solve the resulting binary linear programming problem with an optimization package such as CPLEX, GUROBI, or SCIP, before plotting solutions in MATLAB. 1. Introduction and motivation 2 Consider a planar square lattice Z . We refer to each unit square in the lattice, namely [~j − 1; ~j] × [~i − 1;~i], as a cell.A polyomino is a union of 2 a finite number of edge-connected cells in the lattice Z . We assume that the polyominoes are simply-connected. The order (or area) of a polyomino is the number of cells forming it. The polyominoes of order n are called n-ominoes and the cases for n = 1; 2; 3; 4; 5; 6; 7; 8 are named monominoes, dominoes, triominoes, tetrominoes, pentominoes, hexominoes, heptominoes, and octominoes, respectively.
    [Show full text]
  • Folding Polyominoes Into (Poly)Cubes
    Folding polyominoes into (poly)cubes Citation for published version (APA): Aichholzer, O., Biro, M., Demaine, E. D., Demaine, M. L., Eppstein, D., Fekete, S. P., Hesterberg, A., Kostitsyna, I., & Schmidt, C. (2015). Folding polyominoes into (poly)cubes. In Proc. 27th Canadian Conference on Computational Geometry (CCCG) (pp. 1-6). [37] http://research.cs.queensu.ca/cccg2015/CCCG15- papers/37.pdf Document status and date: Published: 01/01/2015 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]
  • Common Unfoldings of Polyominoes and Polycubes
    Common Unfoldings of Polyominoes and Polycubes Greg Aloupis1, Prosenjit K. Bose3, S´ebastienCollette2, Erik D. Demaine4, Martin L. Demaine4, Karim Dou¨ıeb3, Vida Dujmovi´c3, John Iacono5, Stefan Langerman2?, and Pat Morin3 1 Academia Sinica 2 Universit´eLibre de Bruxelles 3 Carleton University 4 Massachusetts Institute of Technology 5 Polytechnic Institute of New York University Abstract. This paper studies common unfoldings of various classes of polycubes, as well as a new type of unfolding of polyominoes. Previously, Knuth and Miller found a common unfolding of all tree-like tetracubes. By contrast, we show here that all 23 tree-like pentacubes have no such common unfolding, although 22 of them have a common unfolding. On the positive side, we show that there is an unfolding common to all “non-spiraling” k-ominoes, a result that extends to planar non-spiraling k-cubes. 1 Introduction Polyominoes. A polyomino or k-omino is a weakly simple orthogonal polygon made from k unit squares placed on a unit square grid. Here the polygon explicitly specifies the boundary, so that two squares might share two grid points yet we consider them to be not adjacent. Two unit squares of the polyomino are adjacent if their shared side is interior to the polygon; otherwise, the intervening two edges of polygon boundary are called an incision. By imagining the boundary as a cycle (essentially an Euler tour), each edge of the boundary has a unique incident unit square of the polyomino. In this paper, we consider only “tree-like” polyominoes. A polyomino is tree- like if its dual graph, which has a vertex for each unit square and an edge for each adjacency (as defined above), is a tree.
    [Show full text]
  • 1970-2020 TOPIC INDEX for the College Mathematics Journal (Including the Two Year College Mathematics Journal)
    1970-2020 TOPIC INDEX for The College Mathematics Journal (including the Two Year College Mathematics Journal) prepared by Donald E. Hooley Emeriti Professor of Mathematics Bluffton University, Bluffton, Ohio Each item in this index is listed under the topics for which it might be used in the classroom or for enrichment after the topic has been presented. Within each topic entries are listed in chronological order of publication. Each entry is given in the form: Title, author, volume:issue, year, page range, [C or F], [other topic cross-listings] where C indicates a classroom capsule or short note and F indicates a Fallacies, Flaws and Flimflam note. If there is nothing in this position the entry refers to an article unless it is a book review. The topic headings in this index are numbered and grouped as follows: 0 Precalculus Mathematics (also see 9) 0.1 Arithmetic (also see 9.3) 0.2 Algebra 0.3 Synthetic geometry 0.4 Analytic geometry 0.5 Conic sections 0.6 Trigonometry (also see 5.3) 0.7 Elementary theory of equations 0.8 Business mathematics 0.9 Techniques of proof (including mathematical induction 0.10 Software for precalculus mathematics 1 Mathematics Education 1.1 Teaching techniques and research reports 1.2 Courses and programs 2 History of Mathematics 2.1 History of mathematics before 1400 2.2 History of mathematics after 1400 2.3 Interviews 3 Discrete Mathematics 3.1 Graph theory 3.2 Combinatorics 3.3 Other topics in discrete mathematics (also see 6.3) 3.4 Software for discrete mathematics 4 Linear Algebra 4.1 Matrices, systems
    [Show full text]
  • Tiling with Polyominoes, Polycubes, and Rectangles
    University of Central Florida STARS Electronic Theses and Dissertations, 2004-2019 2015 Tiling with Polyominoes, Polycubes, and Rectangles Michael Saxton University of Central Florida Part of the Mathematics Commons Find similar works at: https://stars.library.ucf.edu/etd University of Central Florida Libraries http://library.ucf.edu This Masters Thesis (Open Access) is brought to you for free and open access by STARS. It has been accepted for inclusion in Electronic Theses and Dissertations, 2004-2019 by an authorized administrator of STARS. For more information, please contact [email protected]. STARS Citation Saxton, Michael, "Tiling with Polyominoes, Polycubes, and Rectangles" (2015). Electronic Theses and Dissertations, 2004-2019. 1438. https://stars.library.ucf.edu/etd/1438 TILING WITH POLYOMINOES, POLYCUBES, AND RECTANGLES by Michael A. Saxton Jr. B.S. University of Central Florida, 2013 A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in the Department of Mathematics in the College of Sciences at the University of Central Florida Orlando, Florida Fall Term 2015 Major Professor: Michael Reid ABSTRACT In this paper we study the hierarchical structure of the 2-d polyominoes. We introduce a new infinite family of polyominoes which we prove tiles a strip. We discuss applications of algebra to tiling. We discuss the algorithmic decidability of tiling the infinite plane Z × Z given a finite set of polyominoes. We will then discuss tiling with rectangles. We will then get some new, and some analogous results concerning the possible hierarchical structure for the 3-d polycubes. ii ACKNOWLEDGMENTS I would like to express my deepest gratitude to my advisor, Professor Michael Reid, who spent countless hours mentoring me over my time at the University of Central Florida.
    [Show full text]
  • Unfolding Orthogonal Polyhedra with Quadratic Refinement: the Delta-Unfolding Algorithm
    Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Damian, Mirela, Erik D. Demaine, and Robin Flatland. “Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta- Unfolding Algorithm.” Graphs and Combinatorics 30, no. 1 (January 2014): 125–140. As Published http://dx.doi.org/10.1007/s00373-012-1257-9 Publisher Springer-Verlag Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/86067 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike Detailed Terms http://creativecommons.org/licenses/by-nc-sa/4.0/ Graphs and Combinatorics manuscript No. (will be inserted by the editor) Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm Mirela Damian · Erik D. Demaine · Robin Flatland Received: date / Accepted: date Abstract We show that every orthogonal polyhedron homeomorphic to a sphere can be unfolded without overlap while using only polynomially many (orthogonal) cuts. By contrast, the best previous such result used exponentially many cuts. More precisely, given an orthogonal polyhedron with n vertices, the algorithm cuts the polyhedron only where it is met by the grid of coordinate planes passing through the vertices, together with Θ(n2) additional coordinate planes between every two such grid planes. Keywords general unfolding, grid unfolding, grid refinement, orthogonal polyhedra, genus-zero 1 Introduction One of the major unsolved problems in geometric folding is whether every polyhedron (homeomorphic to a sphere) has an \unfolding" [3,10]. In general, an unfolding consists of cutting along the polyhedron's surface such that what remains flattens into the plane without overlap.
    [Show full text]
  • Finding a Hamiltonian Path in a Cube with Specified Turns Is Hard
    Journal of Information Processing Vol.0 No.0 1–11 (??? 1992) [DOI: 10.2197/ipsjjip.0.1] Regular Paper Finding a Hamiltonian Path in a Cube with Specified Turns is Hard Zachary Abel1,a) Erik D. Demaine2,b) Martin L. Demaine2,c) Sarah Eisenstat2,d) Jayson Lynch2,e) Tao B. Schardl2,f) Received: xx xx, xxxx, Accepted: xx xx, xxxx Abstract: We prove the NP-completeness of finding a Hamiltonian path in an N × N × N cube graph with turns exactly at specified lengths along the path. This result establishes NP-completeness of Snake Cube puzzles: folding a chain of N 3 unit cubes, joined at face centers (usually by a cord passing through all the cubes), into an N × N × N cube. Along the way, we prove a universality result that zig-zag chains (which must turn every unit) can fold into any polycube after 4×4×4 refinement, or into any Hamiltonian polycube after 2 × 2 × 2 refinement. Keywords: Hamiltonian path, NP-Completeness, puzzle, Snake Cube puzzle 1. Introduction Snake Cube puzzles [6–8] are physical puzzles consisting of a chain of unit cubes, typically made out of wood or plas- tic, with holes drilled through to route an elastic cord. The cord holds the cubes together, at shared face centers where the cord exits/enters the cubes, but permits the cubes to rotate relative to each other at those shared face centers. Fig. 1 shows photographs of a wooden Snake Cube from its initial to solved state. As in most physically existing Snake Cube puzzles, it consists of 27 cubes and the goal is to make a 3 × 3 × 3 cube.
    [Show full text]
  • SHARDINAIRES-9TM an Original Dissection Puzzle by George Sicherman
    For 1 or 2 players Age 10 to adult SHARDINAIRES-9TM An original dissection puzzle by George Sicherman Pentomino constructions Tetromino constructions Polyshards family tree Symmetrical shapes Convex polygons Fancy designs A game for 2 A product of Kadon Enterprises, Inc. SHARDINAIRES-9 is a trademark of Kadon Enterprises, Inc., for its dissection puzzle set of 9 tiles, no two alike, that can form all pentominoes and all tetrominoes. Invented by George Sicherman and produced by Kadon under exclusive license. ______________________________________________________ Contents The nine Shardinaires-9 tiles ………………………. 3 A bit of history ……………………………………… 4 Rectangles …………………………………………… 9 Polyomino constructions ………………..………… 10 Alphabet ………………………………….................. 12 Polyshards family tree………………………………. 13 Convex polygons ……………………………………. 17 Fancy designs and symmetries …………………… 20 Mother and child; Cute creatures …………..…...… 24 Symmetrical subsets ………………………………... 25 200 Twins …………………………………….............. 30 Touch and Go—a game for 2 .…………………….. 34 About George Sicherman ………………………….. 35 2 The nine Shardinaires-9 tiles Although the tiles look like a random collection of “shards”, notice how they actually consist of squares and triangles, giving them an even area of 1, 2, 3, and 4 squares. The triangles are cut off from a square at an angle that divides them into one-fourth and three-fourths of a square (see figure at left). There is one triangle of size 1 square; six are 2 squares in size; and there is one each of size 3 and 4. The total area of the set is 20 unit squares. Therefore we can form pentominoes (shapes made of 5 squares) with each of their squares made of a 2x2 area. 3 We can also form tetrominoes (shapes made of 4 squares) by assigning the equivalent of 5 squares of area, in their various segmented parts, to the four parts of each tetromino.
    [Show full text]
  • Aerospace Micro-Lesson
    AIAA AEROSPACE M ICRO-LESSON Easily digestible Aerospace Principles revealed for K-12 Students and Educators. These lessons will be sent on a bi-weekly basis and allow grade-level focused learning. - AIAA STEM K-12 Committee. POLYOMINOES Most people have played a game of dominoes at some point in their lives. You can trust mathematicians to take an everyday concept and extend it in directions that most people have not thought about. This lesson explores a couple of the extensions of the concept of a domino. Next Generation Science Standards (NGSS): * Discipline: Engineering, technology, and applications of science. * Crosscutting Concept: Patterns. * Science & Engineering Practice: Constructing explanations and designing solutions. Common Core State Standards (CCSS): Math: Geometry. * Standard for Mathematical Practice: Make sense of problems and persevere in solving them. GRADES K-2 CCSS: Geometry: Partition a rectangle into rows and columns of same-size squares and count to find the total number of them. A domino is made of two squares attached along one of their sides. What happens if you attach a third square? You get a tromino (also called a “triomino,” but that term can be confused with the game of that name that involves triangles). If you attach a fourth square, you get a tetromino and a fifth square gives you a pentomino. There is only one kind of domino: it is two squares attached to each other. There are two kinds of tromino, though: you can attach the third square to the short end of the domino or on the long side of the domino.
    [Show full text]
  • Finding a Hamiltonian Path in a Cube with Specified Turns Is Hard
    Finding a Hamiltonian Path in a Cube with Specified Turns is Hard The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Abel, Zachary, Erik D. Demaine, Martin L. Demaine, Sarah Eisenstat, Jayson Lynch, and Tao B. Schardl. “Finding a Hamiltonian Path in a Cube with Specified Turns Is Hard.” Journal of Information Processing 21, no. 3 (2013): 368–377. As Published http://dx.doi.org/10.2197/ipsjjip.21.368 Publisher Information Processing Society of Japan Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/86227 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike Detailed Terms http://creativecommons.org/licenses/by-nc-sa/4.0/ Journal of Information Processing Vol.0 No.0 1–11 (??? 1992) [DOI: 10.2197/ipsjjip.0.1] Regular Paper Finding a Hamiltonian Path in a Cube with Specified Turns is Hard Zachary Abel1,a) Erik D. Demaine2,b) Martin L. Demaine2,c) Sarah Eisenstat2,d) Jayson Lynch2,e) Tao B. Schardl2,f) Received: xx xx, xxxx, Accepted: xx xx, xxxx Abstract: We prove the NP-completeness of finding a Hamiltonian path in an N × N × N cube graph with turns exactly at specified lengths along the path. This result establishes NP-completeness of Snake Cube puzzles: folding a chain of N 3 unit cubes, joined at face centers (usually by a cord passing through all the cubes), into an N × N × N cube. Along the way, we prove a universality result that zig-zag chains (which must turn every unit) can fold into any polycube after 4×4×4 refinement, or into any Hamiltonian polycube after 2 × 2 × 2 refinement.
    [Show full text]