{"id":87,"date":"2011-02-02T14:34:45","date_gmt":"2011-02-02T19:34:45","guid":{"rendered":"http:\/\/puzzlezapper.com\/blog\/2011\/02\/polyiamond-minimal-succinct-covers\/"},"modified":"2011-02-02T14:20:47","modified_gmt":"2011-02-02T19:20:47","slug":"polyiamond-minimal-succinct-covers","status":"publish","type":"post","link":"https:\/\/puzzlezapper.com\/blog\/2011\/02\/polyiamond-minimal-succinct-covers\/","title":{"rendered":"Polyiamond Minimal Succinct Covers"},"content":{"rendered":"<p>My first particularly interesting and novel discovery in the field of polyforms was what I call the minimal succinct cover problem. The basic minimal cover problem, which I <a href=\"https:\/\/puzzlezapper.com\/blog\/2010\/03\/pentomino-cover-cycles\/\">introduced<\/a> in a previous post, is to find the smallest shape into which a each of the polyforms in a set (e. g. the 12 pentominoes) could fit. A <i>succinct<\/i> cover is a shape or set of shapes into which each of the polyforms in a set can fit in exactly one way. Several years ago I wrote a program in Python to find minimal succinct polyomino covers, and shortly thereafter I extended it to handle polyhexes. But at the time I left off handling polyiamonds, because of the three regular planar tessellations, (square, hexagonal, and triangular) the triangular one is the trickiest to program.<\/p>\n<p>Still, it was about the lowest hanging fruit around as far as results of mine to extend go, and since I recently blogged the <a href=\"https:\/\/puzzlezapper.com\/blog\/2010\/12\/hexiamond-minimal-covers\/\">minimal hexiamond cover<\/a> problem, it seemed only natural to look at minimal succinct polyiamond covers now, so I hacked on my code to add them.<\/p>\n<p>Here&#8217;s a minimal succinct cover of the hexiamonds:<\/p>\n<div align=\"center\"><img decoding=\"async\" style=\"max-width: 800px;\" src=\"http:\/\/puzzlezapper.com\/aom\/mathrec\/msc6iamond.gif\" \/><\/div>\n<p>Notice that the hexagon must appear as a separate piece in a succinct cover. As a result of its symmetry, whenever you add a cell to it, the resulting heptiamond will fit a couple of hexiamonds in two different ways. (The X pentomino has an analogous position in a succinct pentomino cover.)<\/p>\n<p>And here&#8217;s an MSC of the heptiamonds:<\/p>\n<div align=\"center\"><img decoding=\"async\" style=\"max-width: 800px;\" src=\"http:\/\/puzzlezapper.com\/aom\/mathrec\/msc7iamond.png\" \/><\/div>\n<p>(No animation here; my process for making them has a couple of manual steps, which would get tedious for larger sets.)<\/p>\n<p>Notice that there are three hexiamonds in the minimal hexiamond cover, and two heptiamonds in the minimal heptiamond cover, and that all of these have some kind of symmetry. This should not be terribly unexpected; symmetrical polyforms are, in a sense, less flexible to work with because the number of distinct ways you can append a neighboring cell is reduced.<\/p>\n<p>Here&#8217;s my updated <a href=\"http:\/\/puzzlezapper.com\/aom\/mathrec\/polycover.py\">Python code<\/a> for solving minimal succinct polyform cover problems.<\/p>\n<p>See also my extended writeup on <a href=\"http:\/\/puzzlezapper.com\/aom\/mathrec\/polycover.html\">polyform covers<\/a>. (This was written before I started the blog, and I haven&#8217;t yet integrated some of my newer material.)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>My first particularly interesting and novel discovery in the field of polyforms was what I call the minimal succinct cover problem. The basic minimal cover problem, which I introduced in a previous post, is to find the smallest shape into which a each of the polyforms in a set (e. g. the 12 pentominoes) could &hellip; <a href=\"https:\/\/puzzlezapper.com\/blog\/2011\/02\/polyiamond-minimal-succinct-covers\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Polyiamond Minimal Succinct Covers<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[47,40,22,17,48],"class_list":["post-87","post","type-post","status-publish","format-standard","hentry","category-recreational-mathematics","tag-heptiamonds","tag-hexiamonds","tag-polyform-covers","tag-polyiamonds","tag-python"],"_links":{"self":[{"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/posts\/87","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/comments?post=87"}],"version-history":[{"count":1,"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/posts\/87\/revisions"}],"predecessor-version":[{"id":88,"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/posts\/87\/revisions\/88"}],"wp:attachment":[{"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/media?parent=87"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/categories?post=87"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/puzzlezapper.com\/blog\/wp-json\/wp\/v2\/tags?post=87"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}