Polycube

Un article de Wikipédia, l'encyclopédie libre.
Les sept tetracubes libres
Un pentacube chiral
Puzzle a solution unique

Un polycube est une figure solide formée en joignant un ou plusieurs cubes égaux face à face. Les polycubes sont les analogues tridimensionnels des polyominos planaires. Le cube Soma , le cube de Bedlam, le cube diabolique, le puzzle de Slothouber–Graatsma et le puzzle de Conway sont des exemples de jeux mathématiques et casse-têtes basés sur des polycubes[1].

Énumération[modifier | modifier le code]

Comme les polyominos, les polycubes peuvent être énumérés de deux manières, selon que les paires chirales de polycubes sont comptées comme un polycube ou deux. Par exemple, 6 tétracubes ont une symétrie miroir et un est chiral, donnant respectivement 7 ou 8 tétracubes[2]. Contrairement aux polyominos, les polycubes sont généralement comptés avec des paires de miroirs distingués, car on ne peut pas retourner un polycube pour le refléter comme on peut le faire avec un polyominos. En particulier, le cube Soma utilise les deux formes du tétracube chiral.

Les polycubes sont classés en fonction du nombre de cellules cubiques qu'ils possèdent[3] :

n Nom de
n-polycube
Nombre de
n-polycubes
unilatéraux
(les réflexions
sont comptées
comme distinctes)
Nombre de
n-polycubes
libres
(les réflexions
sont comptées
ensemble)
1 Monocube 1 1
2 Dicube 1 1
3 Tricube 2 2
4 Tetracube 8 7
5 Pentacube 29 23
6 Hexacube 166 112
7 Heptacube 1023 607
8 Octocube 6922 3811

Les polycubes ont été énumérés jusqu'à n=16[4]. Plus récemment, des familles spécifiques de polycubes ont été étudiées[5],[6].

Symétries[modifier | modifier le code]

Comme les polyominos, les polycubes peuvent être classés en fonction du nombre de symétries qu'ils possèdent. Les symétries des polycubes (classes de conjugaison des sous-groupes du groupe octaédrique achiral) ont d'abord été énumérées par WF Lunnon en 1972. La plupart des polycubes sont asymétriques, mais beaucoup ont des groupes de symétrie plus complexes, jusqu'au groupe de symétrie complet du cube à 48 éléments. De nombreuses autres symétries sont possibles[2].

Patron[modifier | modifier le code]

La question générale de savoir si un polycube "sans trou", i.e., de genre zéro, admet un patron fait de carrés est ouverte[7].

Pentacubes[modifier | modifier le code]

Douze pentacubes sont plats et correspondent aux pentominos. Sur les 17 restants, cinq ont une symétrie miroir et les 12 autres forment six paires chirales.

Les boîtes englobantes des pentacubes ont les tailles 5x1x1, 4x2x1, 3x3x1, 3x2x1, 4x2x2, 3x2x2, and 2x2x2[8].

Un polycube peut avoir jusqu'à 24 orientations dans le réseau cubique, ou 48 si la réflexion est autorisée. Parmi les pentacubes, deux plats (5x1x1 et la croix) ont une symétrie miroir dans les trois axes ; ceux-ci ont seulement trois orientations. Dix ont une symétrie miroir ; ceux-ci ont 12 orientations. Chacun des 17 autres pentacubes a 24 orientations.

Octacubes[modifier | modifier le code]

Un patron d'hypercube.

Le tesseract (hypercube à quatre dimensions) a huit cubes comme ses facettes, et juste comme le cube peut être déplié dans un hexamino, le tesseract peut être déplié dans un octacube. Un dépliage, en particulier, imite le déroulement bien connu d'un cube en une croix latine : il se compose de quatre cubes empilés les uns sur les autres, avec quatre autres cubes attachés aux faces carrées exposées du second-de-haut cube de la pile, pour former une forme de double croix en trois dimensions. Salvador Dalí a utilisé cette forme dans sa Crucifixion (Corpus hypercubus) de 1954[9]. Il est aussi décrit dans la courte histoire de Robert A. Heinlein en 1940 "La Maison biscornue"[10]. En l'honneur de Dalí, cet octacube a été appelé la croix de Dalí[11],[12].

Plus généralement (répondant à une question posée par Martin Gardner en 1966), sur 3811 octacubes libres différents, 261 sont des dépliages du tesseract[11],[13].

Connectivité des cubes[modifier | modifier le code]

Bien que les cubes d'un polycube doivent être connectés de carré à carré, il n'est pas nécessaire que les carrés de chaque cube soient connectés bord à bord. Par exemple, le 26-cube formé en faisant une grille de cubes de 3×3×3 et en enlevant ensuite le cube central est un polycube valide, dans lequel la limite du vide intérieur n'est pas reliée à la frontière extérieure. Il n'est pas non plus nécessaire que la limite d'un polycube forme une variété géométrique. Par exemple, l'un des pentacubes a deux cubes qui se rencontrent bord à bord, de sorte que le bord entre eux est le côté de quatre carrés de limites.

Si un polycube a la propriété supplémentaire que son complément (l'ensemble de cubes entiers n'appartenant pas au polycube) est connecté par des chemins de cubes qui rencontrent carré à carré, alors les carrés de limites du polycube sont nécessairement aussi reliés par des chemins de carrés se rencontrant bord à bord[14]. C'est-à-dire que, dans ce cas, la frontière forme un polyominoïde.

Chaquek-cube avec k < 7 ainsi que la croix de Dalí (avec k = 8) peuvent être dépliés en un polyomino qui couvre le plan. C'est un problème ouvert si chaque polycube avec une frontière connectée peut être déplié à un polyomino, ou si cela peut toujours être fait avec la condition supplémentaire que le polyomino couvre le plan[12].

Graphe dual[modifier | modifier le code]

La structure d'un polycube peut être visualisée au moyen d'un " graphique dual" qui a un sommet pour chaque cube et un bord pour chaque deux cubes qui partagent un carré[15]. Ceci est différent des notions du même nom d'un dual d'un polyèdre et du graphe dual d'un graphe intégré en surface.

Des graphes duals ont également été utilisés pour définir et étudier des sous-classes spéciales des polycubes, telles que celles dont le graphe dual est un arbre[16].

Casse-têtes[modifier | modifier le code]

Les polycubes sont utilisés dans des casse-têtes tels que les suivants.

Casse-tête Inventeur Nombre
de pièces
Nombre
de solutions
Cube Soma Piet Hein 7 240
Cube diabolique 6 13
Cube de Bedlam Bruce Bedlam 13 19 186
Puzzle de Slothouber–Graatsma Jan Slothouber et William Graatsma 9 1
Puzzle de Conway John Horton Conway 18
Cube de Steinhaus[17] Hugo Steinhaus 6 2
Half-hour Coffin[17] Stewart Coffin 6 1
Herzberger Quader Gerhard Schulze 11

Références[modifier | modifier le code]

  1. Weisstein, Eric W. "Polycube." From MathWorld
  2. a et b W. F. Lunnon, Graph Theory and Computing, New York, Academic Press, , 101–108 p. (ISBN 978-1-4832-5512-5)
  3. Polycubes, at The Poly Pages
  4. Number of 3-dimensional polyominoes (or polycubes) with n cells.
  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. Problem 64: Edge-Unfolding Polycubes
  8. Aarts, Ronald M. "Pentacube." From MathWorld
  9. Martin Kemp, Dali's dimensions, vol. 391, (DOI 10.1038/34063, Bibcode 1998Natur.391...27K), chap. 27.
  10. David Fowler, Mathematics in Science Fiction : Mathematics as Science Fiction, vol. 84, , 48–52 p. (JSTOR 27871086), chap. 3

    « Robert Heinlein's "And He Built a Crooked House," published in 1940, and Martin Gardner's "The No-Sided Professor," published in 1946, are among the first in science fiction to introduce readers to the Moebius band, the Klein bottle, and the hypercube (tesseract). »

    .
  11. a et b Giovanna Diaz et Joseph O'Rourke, Hypercube unfoldings that tile and (Bibcode 2015arXiv151202086D, arXiv 1512.02086).
  12. a et b Stefan Langerman et Andrew Winslow, 19th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2016), .
  13. Peter Turney, Unfolding the tesseract, vol. 17, , 1–16 p. (MR 765344), chap. 1.
  14. Amitabha Bagchi, Ankur Bhargava, Amitabh Chaudhary, David Eppstein et Christian Scheideler, The effect of faults on network expansion, vol. 39, , 903–928 p. (DOI 10.1007/s00224-006-1349-0, MR 2279081, arXiv cs/0404029), chap. 6.
  15. Ronnie Barequet, Gill Barequet et Günter Rote, Formulae and growth rates of high-dimensional polycubes, vol. 30, , 257–275 p. (DOI 10.1007/s00493-010-2448-8, MR 2728490), chap. 3.
  16. Greg Aloupis, Prosenjit K. Bose, Sébastien Collette, Erik D. Demaine, Martin L. Demaine, Karim Douïeb, Vida Dujmović, John Iacono, Stefan Langerman et Pat Morin, Computational geometry, graphs and applications, vol. 7033, Springer, Heidelberg, coll. « Lecture Notes in Comput. Sci. », , 44–54 p. (DOI 10.1007/978-3-642-24983-9_5, MR 2927309).
  17. a et b Jean-Jacques Dupas, Le rangement de ma boîte de cube, Tangente, hors-série 39, Mathématiques discrètes et combinatoires, édition Pole, 2010

Liens externes[modifier | modifier le code]