Elektrine lite

← Feed

@mildsunrise@tech.lgbt

Post #1758449

2026-04-21 15:35 UTC

so my best guess at the 4x4x4 rubik's cube group right now is (Z3 ≀ S8)(1) × S24 × S24... haven't figured out how to filter out whole-cube rotations edit: no, the sign of the corners permutation is bound to the sign of the centers permutation

Replies (1)

  • @mildsunrise@tech.lgbt 2026-04-28 22:49

    if the above group is correct, then next we have to consider the kind of (legal, i.e. part of the group) actions that preserve a solved cube's state visually (as in, the resulting state also looks solved): permutations of centers that do not exchange faces (there are 4!6 except we're restricted to only positive ones, so 4!6/2) whole cube rotations (4!) (exchanging a pair of edge pieces is never possible, because they would end up rotated... so, different state) then the set of visually distinct reachable states is the quotient set of the puzzle's group by the above (generated) subgroup. the order of the whole group is |G| = 37 8! (24! 24!)/2, and the two subgroups above have trivial intersection, so the cardinality of the state set turns out to be |G| / (4!6/2 * 4!) ≈ 7.4e45. a random internet paper reaches the same result

    Open ##1758448