Flèches : faire pivoter le puzzle. Touches U, R, F, D, L et B : tourner une face du 3×3, avec Maj pour le sens inverse.

Cubemuch

Ouverture prochaine

English

cubemuch.com

Cubemuch

Vingt coups suffisent pour résoudre n'importe quel 3×3. Encore faut-il les trouver.

Une application web pour résoudre, étudier et s'entraîner, du 2×2 au 7×7 et jusqu'à l'aveugle, dans le navigateur.

Ouverture prochaine. L'application tourne déjà, en accès privé ; son ouverture au public se prépare.

Le 3×3 après le mélange de 21 coups, faces U, F et R visibles.
Mélange à état aléatoire 21 / 21 coups
  1. U'
  2. F2
  3. U'
  4. L2
  5. D
  6. R2
  7. F2
  8. L2
  9. D2
  10. R2
  11. F'
  12. L'
  13. D
  14. F2
  15. U2
  16. L'
  17. B
  18. F
  19. D'
  20. B'
  21. U2

01 Au hasard, vraiment

Un état tiré parmi 43 252 003 274 489 856 000

Un mélange à état aléatoire ne tourne pas les faces au petit bonheur. L'application tire un état uniformément parmi tous ceux du cube, puis cherche un mélange vérifié de 21 coups au plus qui y mène.

Celui du haut de la page en compte 21. Il a été trouvé en 297 ms sur le Mac de développement.

État tiré, face par face
U
UBRRURBBB
R
DDBURLBDR
F
LRRFFFLFL
D
URUFDLDUF
L
RUDDLLFDF
B
UUFBBBDLL

« Mélange vérifié : 21 mouvements depuis l’état résolu, inverse d’une solution deux phases. »

Message du générateur de l'application

Le 3×3 dans l'état tiré, vu sous un autre angle.

02 Two-Phase

20 coups, puis il s'arrête.

Tout 3×3 se résout en 20 coups au plus, en HTM. Le moteur deux phases de l'application, « type Kociemba », publie ses améliorations pendant le calcul ; comme Cube Explorer, il s'arrête par défaut dès qu'il tient une solution de 20 coups ou moins. Le seuil se règle de 16 à 23 ; arrêté plus tôt, il garde la meilleure.

Améliorations publiées pendant le calcul
  1. 24 coupsà 8 ms
  2. 23 coupsà 18 ms
  3. 22 coupsà 20 ms
  4. 21 coupsà 25 ms
  5. 20 coupsà 1,6 s

« Cible de 20 coups atteinte : solution de 20 coups vérifiée. »

88 125 723 nœuds en 1,6 s, sur le Mac de développement

Le 3×3 à mi-chemin de la solution Two-Phase, une couche en train de tourner.
Solution Two-Phase : un cran de défilement, un coup 0 / 20 coups
  1. R'
  2. U
  3. B'
  4. R
  5. L
  6. U'
  7. B
  8. R2
  9. B2
  10. L2
  11. F
  12. U2
  13. R
  14. F2
  15. U
  16. L2
  17. U
  18. L2
  19. B2
  20. L2

03 Huge

18 coups, et pas un de moins.

Même état, autre moteur. « Résoudre optimalement avec Huge » confie le cube à un moteur natif de l'application qui reprend le Huge Optimal Solver de Cube Explorer, avec la même table de 705 886 618 octets. Il tourne en tâche de fond sur le serveur et prouve la longueur minimale en HTM ; la solution n'est affichée qu'après avoir été rejouée sur le cube de départ.

Deux coups de moins que Two-Phase, pour près de 13 fois plus de temps de calcul. Aucun délai garanti : sur les 16 états de cette page, la preuve a pris de 2,2 s à 134,5 s sur le Mac de développement.

La preuve, profondeur par profondeur
  1. 11 coups33 nœudsaucune solution
  2. 12 coups345 nœudsaucune solution
  3. 13 coups5 568 nœudsaucune solution
  4. 14 coups79 143 nœudsaucune solution
  5. 15 coups1 143 510 nœudsaucune solution
  6. 16 coups16 366 302 nœudsaucune solution
  7. 17 coups231 332 973 nœudsaucune solution
  8. 18 coups157 191 385 nœudssolution trouvée

« Longueur minimale prouvée : 18 coups (HTM). Aucune solution de 17 coups ou moins. »

406 119 259 nœuds en 19,7 s, sur le Mac de développement

Le 3×3 résolu par la solution Huge.
Solution Huge, optimale 0 / 18 coups
  1. U
  2. D2
  3. R'
  4. D'
  5. B'
  6. L2
  7. F'
  8. U2
  9. F2
  10. D2
  11. R'
  12. L2
  13. F'
  14. U
  15. L
  16. U2
  17. F
  18. U

Two-Phase 20 coups en 1,6 s Huge 18 coups en 19,7 s

04 Neuf puzzles

Du 2×2 au 7×7, et trois autres formes.

2×2, 3×3, 4×4, 5×5, 6×6, 7×7, Megaminx, FTO et Skewb : manipulation, configuration, calcul, animation et rejeu. Chaque puzzle a son moteur, et chaque solution est rejouée et vérifiée avant d'être montrée.

Les neuf puzzles résolus, côte à côte : 2×2, 3×3, 4×4, 5×5, 6×6, 7×7, Megaminx, FTO et Skewb.

2×20 / 8 coups

Coins par table exhaustive maison. Minimum prouvé.

Mélange d'entraînement de 11 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Solution 2×2 vérifiée par application, distance minimale dans le repère libre du cube. »

3×30 / 20 coups

Two-Phase. Trouvée en 5 ms sur le Mac de développement.

Mélange à état aléatoire de 21 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Cible de 20 coups atteinte : solution de 20 coups vérifiée. »

4×40 / 255 coups

Réduction constructive maison. La longueur n'est pas minimale. Le 4×4 peut aussi passer par TNoodle.

Mélange d'entraînement de 40 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Réduction constructive vérifiée : 19 étapes d’ailes et centres, puis résolution 3×3. La longueur n’est pas garantie minimale. »

5×50 / 276 coups

Réduction constructive maison. La longueur n'est pas minimale.

Mélange d'entraînement de 60 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Réduction constructive vérifiée : 16 étapes d’ailes et centres, puis résolution 3×3. La longueur n’est pas garantie minimale. »

6×60 / 549 coups

Réduction constructive maison. La longueur n'est pas minimale.

Mélange d'entraînement de 80 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Réduction constructive vérifiée : 35 étapes d’ailes et centres, puis résolution 3×3. La longueur n’est pas garantie minimale. »

7×70 / 721 coups

Réduction constructive maison. La longueur n'est pas minimale.

Mélange d'entraînement de 100 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Réduction constructive vérifiée : 47 étapes d’ailes et centres, puis résolution 3×3. La longueur n’est pas garantie minimale. »

Megaminx0 / 464 coups

Construction maison. La longueur n'est pas optimale.

Mélange d'entraînement de 77 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Construction Megaminx vérifiée : coins puis arêtes, permutation et orientation. Cette construction ne garantit pas une solution optimale. »

FTO0 / 30 coups

Adaptateur TNoodle, expérimental. Aucune optimalité annoncée.

Mélange d'entraînement de 30 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Solution TNoodle FTO expérimental vérifiée sur le puzzle initial ; aucune optimalité annoncée. »

Skewb0 / 9 coups

Table exhaustive. Solution minimale.

Mélange d'entraînement de 11 coups tiré par l'application, puis la solution, rejouée jusqu'au puzzle résolu.

« Solution Skewb vérifiée, minimale dans les mouvements de sommet R U L B et leurs inverses. »

05 À l'aveugle

Les yeux fermés.

Les facettes deviennent des lettres Speffz. La mémo se lit par paires ; le plan 3-style de l'application l'exécute ensuite, commutateur par commutateur, en 89 coups.

Mémo, par paires

Coins CT VA CD SG I

Arêtes PC TR SE BQ VG

Le 3×3 mélangé, assombri, chaque facette portant sa lettre Speffz.
Plan 3-style 0 / 10 commutateurs
  1. CTcoins[U' B': [B U B', D']]

    Le buffer contient sa propre pièce. Ouvrir ce cycle puis revenir au buffer avec les cibles suivantes.

  2. VAcoins[B L B', R2]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  3. CDcoins[L U' R D2 R': [R D2 R', U]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  4. SGcoins[D' L U' L': [L U L', D]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  5. Icoins, parité[U' R': R U' R' U' R U R' F' R U R' U' R' F R]

    Dernier coin d’une mémo de permutation impaire : échanger UBR avec cette cible et UB avec UR. Pour mémoriser les arêtes, imaginer l’échange UB-U ↔ UR-U et UB-B ↔ UR-R, sans ajouter de lettre de parité. Avec les lettres de ce plan : imaginer A ↔ B et Q ↔ M.

  6. PCarêtes[R2 B U2 M' U': [U M, U2]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  7. TRarêtes[M' B M' B': [B M B', B2]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  8. SEarêtes[U B2 U': [U B2 U', M]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  9. BQarêtes[B2: [B R B', M]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

  10. VGarêtes[L': [L S L', F]]

    Ce commutateur conjugué déplace trois pièces orientées. Les autres pièces retrouvent leur place après annulation des préparations.

06 Et tout le reste

Au générique.

Résoudre
Two-Phase continu en HTM, QTM, STM ou SQTM, recherche sur trois axes. Huge et preuve d'optimalité : solution étoilée, « Solution suivante » pour les autres de même longueur. Résolution par méthode, CFOP et jeux d'algorithmes choisis dans l'Atelier, mode « Optimale speed ». Recherche à jokers : cibles arbitraires, cases inconnues, « Pièce fixée, orientation libre », « Orientation fixée, pièce libre ».
Analyser
Les 48 symétries, l'inverse et le produit d'états, les 33 types de symétrie et la recherche de cubes symétriques. Collections d'états, lots de calcul et statistiques. Saisie assistée des couleurs, manœuvres dans la notation de Cube Explorer, import et export de ses fichiers. Impression et export HTML autonome. Ces fonctions reprennent celles de Cube Explorer 5.15.
Cas connus
22 jeux sur le 3×3, dont 8 112 cas OLS, 3 916 cas 1LLL et 583 284 cas LSLL, filtrés par famille, nom et ressemblance. 12 688 cas des familles 1LLL, OLLCP, OLS, ZBLS et ELS avec des algorithmes optimaux prouvés et speedables : 130 243 algorithmes vérifiés. 104 jeux sur les autres puzzles, dont le CBL du 2×2 et ses 2 794 cas : 103 935 algorithmes rejoués.
À l'aveugle
3BLD, 4BLD et 5BLD : plans Old Pochmann, M2 et 3-style. 378 paires de coins et 440 paires d'arêtes au catalogue 3-style, 3 091 variantes rejouées. Lettres Speffz ou personnelles, une image par paire parmi 576. Cursus guidé de dix-neuf leçons et quarante-cinq exercices, révisés à 1, 3, 7 puis 14 jours. Pas de multi-blind.
S'entraîner
Chronomètre au clavier ou au toucher, sessions, pénalités +2 et DNF, moyennes et statistiques ; temps mesurés, déclarés et connectés distingués. Objectifs, badges, régularité et progression par puzzle. Export et import de ses données.
Cubes connectés
Protocoles GAN (Gen1 à Gen4), Giiker et GoCube / Rubik's Connected : miroir du cube, reconstruction, calcul en direct. Seul un vrai GAN a été confirmé avec un cube physique.
Caméra
Lecture des six faces d'un 3×3 dans le navigateur. Aucune image ne quitte la page.
Programmes
Un robot ou un script résout un cube avec un jeton personnel, y compris au format du serveur de commandes de Cube Explorer.
Compétitions
Mélanges historiques de compétitions WCA, tirés à l'aveugle : on joue, on chronomètre, puis on découvre l'origine. Suivi de compétiteurs d'après l'export public quotidien de la WCA, groupes et horaires d'une compétition d'après son programme public. Aucune affiliation à la WCA.
Clubs
Plusieurs groupes, rôles, invitations, défis et classements.
Compte
Double authentification obligatoire.

07 Bientôt

Ouverture prochaine.

L'application tourne déjà, en accès privé. Son ouverture au public se prépare. Aucune date annoncée ; le cube, lui, est résolu.