HOME

TheInfoList



OR:

upAll 8 one-sided tetracubes – if chirality is ignored, the bottom 2 in grey are considered the same, giving 7 free tetracubes in total A puzzle involving arranging nine L tricubes into a 3×3 cube A polycube is a solid figure formed by joining one or more equal
cubes In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross. The cube is the only r ...
face to face. Polycubes are the three-dimensional analogues of the planar polyominoes. The Soma cube, the Bedlam cube, the Diabolical cube, the
Slothouber–Graatsma puzzle The Slothouber–Graatsma puzzle is a packing problem that calls for packing six 1 × 2 × 2 blocks and three 1 × 1 × 1 blocks into a 3 × 3 × 3 box. The solution to this puzzle is unique ( up to mirror reflections and rotations). It was named ...
, and the
Conway puzzle Conway's puzzle, or blocks-in-a-box, is a packing problem using rectangular blocks, named after its inventor, mathematician John Conway. It calls for packing thirteen 1 × 2 × 4 blocks, one 2 × 2 × 2 block, one 1 × 2 × 2 block, and three 1 × ...
are examples of packing problems based on polycubes.


Enumerating polycubes

A chiral pentacube Like polyominoes, polycubes can be enumerated in two ways, depending on whether chiral pairs of polycubes are counted as one polycube or two. For example, 6 tetracubes have mirror symmetry and one is chiral, giving a count of 7 or 8 tetracubes respectively. Unlike polyominoes, polycubes are usually counted with mirror pairs distinguished, because one cannot turn a polycube over to reflect it as one can a polyomino given three dimensions. In particular, the Soma cube uses both forms of the chiral tetracube. Polycubes are classified according to how many cubical cells they have: Polycubes have been enumerated up to ''n''=16. More recently, specific families of polycubes have been investigated.


Symmetries of polycubes

As with polyominoes, polycubes may be classified according to how many symmetries they have. Polycube symmetries (conjugacy classes of subgroups of the achiral
octahedral group A regular octahedron has 24 rotational (or orientation-preserving) symmetries, and 48 symmetries altogether. These include transformations that combine a reflection and a rotation. A cube has the same set of symmetries, since it is the polyhedr ...
) were first enumerated by W. F. Lunnon in 1972. Most polycubes are asymmetric, but many have more complex symmetry groups, all the way up to the full symmetry group of the cube with 48 elements. Numerous other symmetries are possible; for example, there are seven possible forms of 8-fold symmetry


Properties of pentacubes

12 pentacubes are flat and correspond to the pentominoes. 5 of the remaining 17 have mirror symmetry, and the other 12 form 6 chiral pairs. The bounding boxes of the pentacubes have sizes 5×1×1, 4×2×1, 3×3×1, 3×2×1, 4×2×2, 3×2×2, and 2×2×2. A polycube may have up to 24 orientations in the cubic lattice, or 48, if reflection is allowed. Of the pentacubes, 2 flats (5-1-1 and the cross) have mirror symmetry in all three axes; these have only three orientations. 10 have one mirror symmetry; these have 12 orientations. Each of the remaining 17 pentacubes has 24 orientations.


Octacube and hypercube unfoldings

The tesseract (four-dimensional
hypercube In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
) has eight cubes as its facets, and just as the cube can be unfolded into a
hexomino A hexomino (or 6-omino) is a polyomino of order 6, that is, a polygon in the plane made of 6 equal-sized squares connected edge-to-edge. The name of this type of figure is formed with the prefix hex(a)-. When rotations and reflections are not c ...
, the tesseract can be unfolded into an octacube. One unfolding, in particular, mimics the well-known unfolding of a cube into a
Latin cross A Latin cross or ''crux immissa'' is a type of cross in which the vertical beam sticks above the crossbeam, with the three upper arms either equally long or with the vertical topmost arm shorter than the two horizontal arms, and always with a mu ...
: it consists of four cubes stacked one on top of each other, with another four cubes attached to the exposed square faces of the second-from-top cube of the stack, to form a three-dimensional double cross shape.
Salvador Dalí Salvador Domingo Felipe Jacinto Dalí i Domènech, Marquess of Dalí of Púbol (; ; ; 11 May 190423 January 1989) was a Spanish Surrealism, surrealist artist renowned for his technical skill, precise draftsmanship, and the striking and bizarr ...
used this shape in his 1954 painting '' Crucifixion (Corpus Hypercubus)'' and it is described in Robert A. Heinlein's 1940 short story "
And He Built a Crooked House or AND may refer to: Logic, grammar, and computing * Conjunction (grammar), connecting two words, phrases, or clauses * Logical conjunction in mathematical logic, notated as "∧", "⋅", "&", or simple juxtaposition * Bitwise AND, a boole ...
". In honor of Dalí, this octacube has been called the ''Dalí cross''... It can tile space. More generally (answering a question posed by Martin Gardner in 1966), out of all 3811 different free octacubes, 261 are unfoldings of the tesseract.


Boundary connectivity

Although the cubes of a polycube are required to be connected square-to-square, the squares of its boundary are not required to be connected edge-to-edge. For instance, the 26-cube formed by making a 3×3×3 grid of cubes and then removing the center cube is a valid polycube, in which the boundary of the interior void is not connected to the exterior boundary. It is also not required that the boundary of a polycube form a
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
. For instance, one of the pentacubes has two cubes that meet edge-to-edge, so that the edge between them is the side of four boundary squares. If a polycube has the additional property that its complement (the set of integer cubes that do not belong to the polycube) is connected by paths of cubes meeting square-to-square, then the boundary squares of the polycube are necessarily also connected by paths of squares meeting edge-to-edge. That is, in this case the boundary forms a
polyominoid In geometry, a polyominoid (or minoid for short) is a set of equal Square (geometry), squares in Three-dimensional space, 3D space, joined edge to edge at 90- or 180-degree angles. The polyominoids include the polyominoes, which are just the pla ...
. Every -cube with as well as the Dalí cross (with ) can be unfolded to a polyomino that tiles the plane. It is an
open problem In science and mathematics, an open problem or an open question is a known problem which can be accurately stated, and which is assumed to have an objective and verifiable solution, but which has not yet been solved (i.e., no solution for it is know ...
whether every polycube with a connected boundary can be unfolded to a polyomino, or whether this can always be done with the additional condition that the polyomino tiles the plane.


Dual graph

The structure of a polycube can be visualized by means of a "dual graph" that has a vertex for each cube and an edge for each two cubes that share a square. This is different from the similarly-named notions of a
dual polyhedron In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. ...
, and of the dual graph of a surface-embedded graph. Dual graphs have also been used to define and study special subclasses of the polycubes, such as the ones whose dual graph is a tree..


See also

*
Tripod packing In combinatorics, tripod packing is a problem of finding many disjoint tripods in a three-dimensional grid, where a tripod is an infinite polycube, the union of the grid cubes along three positive axis-aligned rays with a shared apex. Several pr ...


References


External links


Wooden hexacube puzzle by KadonPolycube solver
Program (with Lua source code) to fill boxes with polycubes using
Algorithm X Algorithm X is an algorithm for solving the exact cover problem. It is a straightforward Recursion (computer science), recursive, Nondeterministic algorithm, nondeterministic, depth-first, backtracking algorithm used by Donald Knuth to demonstrate ...
. {{Polyforms Polyforms Discrete geometry