Les formules premières

7 Jul

Préface ... En cherchant l'algorithme minimal nous avons trouvé la formule θ = A[HD]A'H' de longeur 7 , |θ| = 7 il est vraiment extraordinaire que cette formule contient tout ce qui faut pour restaurer le Cube à elle toute seule. On pourrait se demander s' il existe d'autres formules du même genre et que θ est - elle de longeur mimimale (f-rotation) ?


Une remarque

Quand on écrit
A[HD]A' = (HA)->(HP)->(HD) ou A[HD]A' = (HA,HP,HD) on voit que les pièces se déplacent mais on ne voit pas qu'elles se pivotent ! il faut donc trouver une notation qu'on voit aussi les pièces se pivotent en déplacant. Si on écrit
A[HD]A' = (HA)+->(HP)+->(HD) ou plus simple A[HD]A' = (HA+,HP+,HD) là on voit que (HA) et (HP) pivotent
de même pour les sommets

A[HD]A' = (HPG)<->(HPD) . (HAG)<->(HAD) ou plus simple A[HD]A' = (HPG,HPD)(HAG,HAD) n'est pas précis, on ne voit pas les sommets pivotent, comme pour les arêtes on écrit
A[HD]A' = (HPG)+<->(HPD) . (HAG)-<->(HAD) ou plus simple A[HD]A' = (HPG+,HPD)(HAG-,HAD) là , on voit le sommet (HPG) pivote dans le sens horaire et (HAG) pivote dans le sens contraire

Finalement la notation
A[HD]A' = (HA+,HP+,HD)(HPG+,HPD)(HAG-,HAD) sera beaucoup plus précise, elle décrit exactement l'état du Cube. Si on n'a pas besoin de l'orientation mais simplement les déplacements on écrira
A[HD]A' = (HA,HP,HD)(HPG,HPD)(HAG,HAD) comme d'habitude

A[HD]A' = (HA+,HP+,HD)(HPG+,HPD)(HAG-,HAD)


Formule première

Définition : On dit qu'une formule F est première si elle peut restaurer le Cube.
Par exemple θ est première car on peut restaurer le Cube avec seulement θ.
  1. (HG)<->(HA) = θ
  2. (HAG)<->(HPD) = θ
  3. (HG)+(HA)+ = θ²
  4. (HAG)-(HAD)-(HPD)- = θ4

θ = A[HD]A'.H'

Il est donc naturel de se demander s'il existe d'autres formules du même genre ? et quelle est la plus courte ?

Analyse de θ

Rappelle θ = A[HD]A'H' . Nous allons examiner minutieusement θ et essayer de comprendre sa structure, comment se fait-il qu'elle peut restaurer le Cube à elle toute seule.

[1]- θ permute un couple d'arêtes (HG)+<->(HA) ou plus simple (HG+,HA) celà permet de placer toutes les arêtes.

[2]- Mais en permutant elle pivote l'une des arêtes (HG)+, la loi des flips exige qu'on doit pivoter aussi une autre arête extérieure de la permutation (HD)+
- Si on regarde de plus près , tout celà permet de pivoter un couple d'arêtes, en effet
θ = (HG+,HA)(HD)+
θ² = (HA+,HG+)(HD)++ = (HA+,HG+) ; donc θ² pivote bien le couple d'arêtes (HA),(HG)

- si θ pivote 2 arêtes en les permutant, ça ne va pas marcher, on ne peut pas pivoter les arêtes, en effet
si θ = (HG+,HA+) => θ² = (HA,HG) on ne pivote pas !!
- si θ pivote 2 arêtes extérieures de la permutation, ça ne va pas marcher non plus, en effet
si θ = (HG,HA)(HD)+(HP)+ (par ex) => θ² = (HA,HG) on ne pivote rien !!

Il y a un seul cas qui marche c'est quand θ pivote une arête dans la permutation et une autre arête à l'exterieure de la permutation
θ = (HG+,HA)(HD)+

[3]- Pour les sommets tout se passe exactement comme les arêtes
- θ permute 2 sommets en pivotant l'un d'eux (HAG+,HPD), la loi des twists l'oblique de pivoter un autre sommet (HAD)- à exterieur de la permutation

finalement θ est de type
θ = (HG+,HA)(HD)+(HAG+,HPD)(HAD)-

D'autres types

Pour ne pas alourdir les notations on va noter:
x,y,z les 3 arêtes
X,Y,Z,K,T les 5 sommets



Analyse
I. Pour pouvoir déplacer, et pivoter toutes les arêtes d'après ce qui est dit plus haut on doit avoir (x+,y)z+ en effet (x,y) permet de déplacer toutes les arêtes car toute permutation est décomposée en transpositions. Et la loi de parité du Rubik's Cube impose qu'on doit aussi permuter deux sommets (X,Y) c'est-à-dire on doit avoir: (x+,y)z+(X,Y)

II. La loi des twists impose que pour pivoter les sommets on a:
(X,Y)Z+K-
(X,Y)Z+K+T+
(X,Y)Z-K-T-
(X+,Y)Z-
(X+,Y)Z+K+
etc ...
et on prend seulement les F4 pivotent les sommets


Voici les types

ν = (x+,y)z+(X,Y)Z+K-
ν+ = (x+,y)z+(X,Y)Z+K+T+
ν- = (x+,y)z+(X,Y)Z-K-T-

θ = (x+,y)z+(X+,Y)Z-
θ+ = (x+,y)z+(X+,Y)Z+K+
θ = (x+,y)z+(X-,Y)Z+ ; l'anti-θ
θ- = (x+,y)z+(X-,Y)Z-K-

Δ+ = (x+,y)z+(X+,Y+)Z+
Δ- = (x+,y)z+(X-,Y-)Z-

Il y a donc 9 formules premières divisées en 3 groupes, et d'après Cube Explorer θ a la longeur minimale 7, |θ| = 7, et les auttres ont une longeur (f-rotation) plus grande

ν = A' D' H' D² P H P' D² B' A² B H D A H² ; |ν| = 15f
ν+ = B A D' A' H' D² H D' P² H P² B' D' H' D' H ; |ν+| = 16f
ν- = G' D P² A' B G² B' A H² P² H² P² D' H G ; |ν| = 15f

θ = A[HD]A'H' ; |θ| = 7
θ+ = H' D P' D B' P H P' B P² H' P' D² ; |θ+| = 13f
θ = A² D² P' D A B' A' B D' P D² A² H' ; |θ| = 13f
θ- = H' D H² P H² P' A' H' A H' A' H² A D' ; |θ-| = 14f

Δ+ = A H A' H' D' H G' H' D P' H' P G ; |Δ+| = 13f
Δ- = P² D B' D' H' D H P H' P' B D' P² ; |Δ-| = 13f

NOTE : l'algorithme minimal est donc
  • (x,y) = F
  • (X,Y) = F
  • x+y+ = F²
  • V° = F4
où F est une formule , x,y 2 arêtes , X,Y 2 sommets et V°=pivoter les sommets


1 2 3 4 5 [6]

Accueil

DMJ: 24/02/2017







Facile

Moyen

Difficile

Les Crazy

Les Stars

Divers

Théorie des Twists

Quiz (Master Cube)