Ir al contenido

Policubo

De Wikipedia, la enciclopedia libre
Los 8 tetracubos lado a lado: si se ignora la quiralidad, los 2 inferiores en color gris se consideran iguales, dando 7 tetracubos libres en total
Un rompecabezas que implica organizar pentacubos

Un policulo es una figura sólida formada uniendo uno o más cubos iguales, de forma que cada uno de ellos tenga al menos una cara en común con algún otro cubo del conjunto (salvo en el caso trivial de un único cubo). Los policubos son los análogos tridimensionales de los poliominós planos. El cubo Soma, el cubo de Bedlam, el cubo Diabólico, el puzle Slothouber-Graatsma y el puzle de Conway son ejemplos de problemas de empaquetamiento basados en policubos.[1]

Enumeración de policubos

[editar]
Un pentacubo quiral

Al igual que los poliominós, los policubos se pueden enumerar de dos maneras, dependiendo de si los pares de policubos quirales se cuentan como un policubo o como dos. Por ejemplo, 6 tetracubos tienen simetría especular y uno es quiral, dando un recuento de 7 u 8 tetracubos respectivamente.[2]​ A diferencia de los poliominós, los policubos generalmente se cuentan con las parejas de figuras especulares como elementos distintos, puesto que no se puede voltear un policubo en tres dimensiones para reflejarlo, como sí se puede hacer con un poliominó. En particular, el Cubo Soma usa ambas formas quirales del tetracubo.

Se clasifican de acuerdo con la cantidad de celdas cúbicas que contienen:[3]

n Nombre del n-policubo Número de n-policubos cara a cara distintos
(formas especulares contadas como distintas)
(sucesión A000162 en OEIS)
Número de n-policubos libres
(formas especulares contadas como iguales)
(sucesión A038119 en OEIS)
1 monocubo 1 1
2 dicubo 1 1
3 tricubo 2 2
4 tetracubo 8 7
5 pentacubo 29 23
6 hexacubo 166 112
7 heptacubo 1023 607
8 octacubo 6922 3811

Los policubos se han enumerado completamente hasta el valor n=16.[4]​ Más recientemente, se han investigado familias específicas de policubos.[5][6]

Simetrías de policubos

[editar]

Al igual que con los poliominós, los policubos pueden clasificarse según la simetría que tengan. Las simetrías de los policubos (clases de conjugación de subgrupos del grupo octaedral aquiral) fueron enumeradas por primera vez por W. F. Lunnon en 1972. La mayoría de los policubos son asimétricos, pero muchos tienen grupos de simetría más complejos, hasta el grupo de simetría completa del policubo con 48 elementos. Numerosas otras simetrías son posibles; por ejemplo, hay siete formas posibles de simetría de 8 lóbulos.[2]

Propiedades de los pentacubos

[editar]

Un total de 12 pentacubos son planos, y corresponden a los pentominós. De los 17 restantes, 5 tienen simetría de espejo, y los otros 12 forman 6 pares quirales.

Los prismas que envuelven a los pentacubos tienen los tamaños siguientes: 5×1×1, 4×2×1, 3×3×1, 3×2×1, 4×2×2, 3×2×2 y 2×2×2.[7]

Un policubo puede tener hasta 24 orientaciones en la red cúbica, o 48, si se permite la reflexión. De los pentacubos, los de dos pisos (5-1-1 y la cruz) tienen simetría especular respecto a los tres ejes del espacio; y solo tienen tres orientaciones. Otros 10 poseen una simetría especular, con 12 orientaciones posibles. Cada uno de los 17 pentacubos restantes tiene 24 orientaciones.

Octacubos y desarrollos de hipercubos

[editar]
La cruz de Dalí

El teseracto (hipercubo de cuatro dimensiones) tiene ocho cubos como sus facetas, y al igual que el cubo puede ser desplegado en un hexominó, el teseracto puede desplegarse en un octacubo. Un despliegue, en particular, imita el conocido despliegue de las caras de cubo formando una cruz latina: consta de cuatro cubos apilados uno encima del otro, con otros cuatro cubos unidos a las caras cuadradas expuestas del segundo cubo desde el cubo superior de la pila, para configurar una forma tridimensional de cruz doble. Salvador Dalí usó esta forma en su pintura de 1954 Crucifión,[8]​ y se describe en la historia corta de Robert A. Heinlein de 1940 "And He Built a Crooked House" (Y construyó una Casa Torcida).[9]​ En honor a Dalí, este octacubo ha sido llamado la "cruz de Dalí".[10][11]​ Puede tile space .[10]

En términos más generales (respondiendo a una pregunta planteada por Martin Gardner en 1966), de los 3811 octacubos libres diferentes, 261 son desarrollos del teseracto.[10][12]

Conectividad límite

[editar]
Pentacubo con un contorno que incluye una arista (en rojo) que pertenece a cuatro caras (dos del cubo superior de la izquierda, y otras dos del de la derecha)

Aunque se requiere que los cubos de un policubo estén conectados de cuadrado a cuadrado, no se requiere que todos los cuadrados de su límite estén conectados de arista en arista.

Por ejemplo, el policubo de 26 elementos formando una cuadrícula de cubos de 3 × 3 × 3 de la que se elimina el cubo central, es un policubo válido, en el que el límite del vacío interior no está conectado al límite exterior. Tampoco se requiere que el límite de un policubo forme una variedad. Otro caso es el de uno de los pentacubos con dos cubos que comparten una arista, que pertenece a cuatro caras (dos de cada uno de los dos cubos), y que a su vez forma parte del contorno del policubo.

Si un policubo tiene la propiedad adicional de que su complemento (el conjunto de cubos enteros que no pertenecen al policubo) está conectado por caminos de cubos que se encuentran de cuadrado a cuadrado, entonces los cuadrados de límite del policubo también están necesariamente conectados por caminos de cuadrados que se juntan arista a arista.[13]​ Es decir, en este caso el límite forma un poliominoide.

Problemas no resueltos de la matemática: ¿Puede cada policubo con un límite conectado ser desplegado en un poliominó? Si es así, ¿se puede desplegar cada policubo en un poliominó que tesele el plano?

Cada k-cubo con k < 7, así como la cruz Dalí (con k = 8) puede ser desarrollado en un poliominó que tesela el plano. Es un problema abierto si cada policubo con un límite conectado se puede desplegar en un poliominó, o si esto siempre se puede hacer con la condición adicional de que el poliominó tesele el plano.[11]

Grafo dual

[editar]

La estructura de un policubo se puede visualizar mediante un "grafo dual" que tiene un vértice para cada cubo y una arista para cada dos cubos que comparten un cuadrado.[14]​ Este concepto es diferente de las nociones con nombres similares, como el poliedro conjugado o el grafo dual de un grafo de una superficie embebida.

Los grafos duales también se han utilizado para definir y estudiar subclases especiales de los policubos, como aquellos cuyo gráfico dual es un árbol.[15]

Véase también

[editar]

Referencias

[editar]
  1. Weisstein, Eric W. "Polycube." From MathWorld
  2. a b Lunnon, W. F. (1972). «Symmetry of Cubical and General Polyominoes». En Read, Ronald C., ed. Graph Theory and Computing. New York: Academic Press. pp. 101-108. ISBN 978-1-48325-512-5. 
  3. Polycubes, at The Poly Pages
  4. Kevin Gong's enumeration of polycubes
  5. "Enumeration of Specific Classes of Polycubes", Jean-Marc Champarnaud et al, Université de Rouen, France PDF
  6. "Dirichlet convolution and enumeration of pyramid polycubes", C. Carré, N. Debroux, M. Deneufchâtel, J. Dubernard, C. Hillairet, J. Luque, O. Mallet; November 19, 2013 PDF
  7. Aarts, Ronald M. "Pentacube". From MathWorld.
  8. Kemp, Martin (1 de enero de 1998), «Dali's dimensions», Nature 391 (27), Bibcode:1998Natur.391...27K, doi:10.1038/34063 .
  9. Fowler, David (2010), «Mathematics in Science Fiction: Mathematics as Science Fiction», World Literature Today 84 (3): 48-52, JSTOR 27871086, «"And He Built a Crooked House", de Robert Heinlein, publicado en 1940, y "The No-Sided Professor", de Martin Gardner, publicado en 1946, se encuentran entre los primeros relatos de ciencia ficción en presentar a los lectores la banda de Moebius, la botella de Klein y El hipercubo (teseracto).» .
  10. a b c Diaz, Giovanna; O'Rourke, Joseph, Hypercube unfoldings that tile and , Bibcode:2015arXiv151202086D, arXiv:1512.02086 ..
  11. a b Langerman, Stefan; Winslow, Andrew (2016), «Polycube unfoldings satisfying Conway's criterion», 19th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2016) ..
  12. Turney, Peter (1984), «Unfolding the tesseract», Journal of Recreational Mathematics 17 (1): 1-16, MR 765344 ..
  13. Bagchi, Amitabha; Bhargava, Ankur; Chaudhary, Amitabh; Eppstein, David; Scheideler, Christian (2006), «The effect of faults on network expansion», Theory of Computing Systems 39 (6): 903-928, MR 2279081, arXiv:cs/0404029, doi:10.1007/s00224-006-1349-0 .. Ver en particular el Lema 3.9, p. 924, que establece una generalización de esta propiedad de conectividad límite a policubos de dimensiones superiores.
  14. Barequet, Ronnie; Barequet, Gill; Rote, Günter (2010), «Formulae and growth rates of high-dimensional polycubes», Combinatorica 30 (3): 257-275, MR 2728490, doi:10.1007/s00493-010-2448-8 ..
  15. Aloupis, Greg; Bose, Prosenjit K.; Collette, Sébastien; Demaine, Erik D.; Demaine, Martin L.; Douïeb, Karim; Dujmović, Vida; Iacono, John; Langerman, Stefan; Morin, Pat (2011), «Common unfoldings of polyominoes and polycubes», Computational geometry, graphs and applications, Lecture Notes in Comput. Sci. 7033, Springer, Heidelberg, pp. 44-54, MR 2927309, doi:10.1007/978-3-642-24983-9_5 ..

Enlaces externos

[editar]