Page 5 of 9 FirstFirst ... 3 4 5 6 7 ... LastLast
Results 41 to 50 of 85

Thread: My ultimate commutator challenge

  1. #41
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    Quote Originally Posted by Noahaha View Post
    I'm also surprised about this. What you have proved seems utterly amazing to me.

    Just one question. For the ultimate conjugate challenge, what's stopping me from having my conjugate be: U <solve cube to one move away> U'?
    Absolutely nothing! You've got the concept. I first started with "Theorem 1" which seemed to be pretty neat because you don't have to destroy the centers to complete all orbits of wing edges, but then it developed into this simple idea. I just kept my "Y" all the way to the end for mere consistency.

    However, even the example you mentioned isn't as trivial as you might think. The trivial case is when moves completely cancel. Suppose you solve some supercube with a regular speedsolving solution. Let the first m moves be A and let the rest of the moves be B. That is, your regular solution is simply AB. We can write this as a conjugate by simply rewriting as: ABAA' = [A:BA].

    "Theorem 1" and its corollary is probably interesting to K4 users, where as if we look at the cube as a whole, it seems pretty "pointless", despite that we do not have the trivial structure above.

    EDIT:
    I have worked out an example, and what Noahaha is true for some cases, but in general, the structure of my proof is necessary.

    That is,
    1) Choose any algorithm "Y" (except for the scramble itself because that's trivial).
    2) Execute Y on a solved supercube. That is the "solved state" in which you need to get your cube in.
    3) Now execute scramble + Y to a solved supercube. Do moves to (scramble + Y) to get the "solved state."
    4) Add Y' to get the real solved state.
    DONE.

  2. #42
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    First of all, I realized that the proof for middle edge orientation (for now what I now call Theorem 3) was incomplete. If 2, 6, or 10 edges are flipped, the previous procedure does not apply directly because it violates the cube law of allowed edge orientations. I have, however, now proven edge orientation for 2, 6 and 10 flips.

    I have also added in more prerequisite information, reformatted and renumbered all theorems and lemmas, added in 2 important corollaries (and refer to one of them throughout the proofs of what I now call Theorem 2 and Theorem 3), swapped the appendixes (so that you do not need to print out the lists of cycle classes if you don't want to), and I have simplified the proof for the 3 corner twist. (I probably made other changes, but these seem to be the most major changes. Everything else is pretty much the same, if you've already read the document).

    I have updated the download link in my post before my last. I bet you guys will like the format much better now.

    Now enough of theory. Let's do an example.

    The 5x5x5 Supercube Solved with 2 Commutators
    Spoiler:
    First of all, if you don’t have cubetwister installed on your computer, you need to install it. If you don’t, it will almost be impossible to follow, much less replicate, this process.

    Once you have it installed, download this cubetwister file and put it anywhere on your computer that you wish. Open the cubetwister program and find and open this file with it. Left click the script “Algorithm Factory” in the left margin and select the “5x5x5 Numbered” and “WCA 5x5x5 Notation” (by left clicking the * looking icon).

    The following is a random 60 move scramble from qqtimer (WCA Notation).

    Also note that the solution to this scramble will be in WCA Notation as well (the same version of WCA notation at alg.garron.us).

    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    Note that there is an even number of outer layer turns and an even number of inner layer turns. Thus the above scramble generates a position in the commutator subgroup (not necessarily true for fixed centers on the odd supercube, however, as Lemma 4 in my document states).

    Here is a 1642 btm 2 commutator solution to this random 5x5x5 supercube scramble (except for fixed centers).

    [
    f2D'fLfrB'D2l'L'Dbr'b'M'UF'r'FrLUfF2lF2l'DbL'S'F2l 'F2lbfL'f'DR'fU2b2D'b2R'bS'RSR'f'D'f'D'fDf2R'fR2bR 'b'fD2f'b'RbR'U'bU'b2D2bD2b'R2bF2Db'R2bB2D'b'R2bRF R'fR2f'D'fR2f'URFR'b'R2bB'D'b'R2bR'b'R2bU'BD'fR2f' B2Rb'R2bU'R2UfR2f'RSR2S'B'FR'SR2S'B'R'SR2S'UDSR2S' F'R'SR2S'F'B'R'SR2S'B2FR'S'U2SB'D'SR2S'R'F'RSR2S'L FU'f2U2R2f2R2U2f2R2bUf'U'b'UfU'RbU'S'Ub'U'SU2bUf'U 'b'UfRbU'f'S'Ub'U'fSBwRulu'R'ul'u'B'U'S'U'f'USU'fU 2b'FL2B'R'x'y'DRU'B'RFU2LD'B'LFR2UD2L2F2UD2B2U
    ,
    R2F2L'F2U2L2U'B2DFL2D'R2U2LB2R2UR2F'y2DFR2L2U2Bd'B 2dB'EBd'B'E'B'R'uRdR'u'RB2d'RuE'R'dRu'ER'uRd'R'u'R dBdRd'R'uRdR'u'd'Bu2B2R2u2R2B2u2B2R'E'R2ER'E'R2ER' D2R'EB2E'BDUB'EB2E'BUDBLEB2E'R'UB2REB2E'RD'B2R'EB2 E'B'E'R2EFuR2u'R2d'R2dF'uR2u'F2uR2u'L'F2dB2d'LU2Fu R2u'R'uR2u'R'D'Rd'R2dR2L2u'B2uBD'B'u'B2uR2uF2u'd'R 'dBR'uRu'BR'd'F2dF2uRu'Bu'Ru'BuR'u2RuF'u2BlD2l'Fd' F'dR'FrD2r'D'fDf'D'RlBl'B'lB'l2D2lE'dBd'R'B'u2LR'S 'R'SRE'B'b2U'SD'S'D'l'F'D'rB'MUM'
    ]


    [
    FL'D'LF'U2FL'DLF'U2R'B'EBUB'E'BU'RRFE'F'U'FEF'UR'F lrUl'U'r'UlU'l'F2BU2r'U'l'UrU'lU'Dbf'D'bDfD'b'Db'D 2bDf'D'b'DfUb'f'L'bLfL'b'Lbu2d2R'u2Rd2R'u2Ru2R'uFd 2R'u'Rd2R'uRF'u'RU'B'F'l'UrU'lUr'U2l'UrU'lUr'F2
    ,
    D'B'DS2D'BDS2LU'BE'B'UBEB'L2UF'EFU'F'E'FL2RBd'B'u' BdB'uR'L'B'd'F'd'FuF'dFu'dBUL2Ub'U'f'UbU'fL2U2FlF' r2Fl'F'r2U2l2Ur2U'l2Ur2U2F'rFl2F'r'Fl2d'FdF'u'Fd'F 'udL2u2Ld2L'u2Ld2LB2L'd'LuL'dLu'Ld'LuL'dLu'L2rBl'B 'r'BlB2rBl'B'r'BlB2D2F2DB2D'B'F2DF'D'BDB2FD
    ]

    The scramble does not generate a fixed center position which can be solved in the commutator subgroup, period, as it is the “cycle class” {180,-90,-90,-90,-90} which sums to an odd multiple of 180. Therefore, the 2 commutator solution doesn’t affect the fixed centers at all.

    Note that solving the 5x5x5 supercube wasn’t more difficult than solving the regular 5x5x5 cube because numbering the non-fixed center pieces helps to find and setup pieces more efficiently.

    Before I show the actual cube moves I used to create the 2 commutator solution above with, I must show the “plans” I made first. If you don’t make a plan, you’re setting yourself up for misery (and you most likely will never be able to solve the scramble you are working on because it becomes trial and error rather than having a systematic process to follow).

    Note that the term “iteration” is proper to use with written number solutions, but they are “conjugates” when actually make moves which follow these written number solutions (the written number solutons are like “plans” for “how to build”—how to solve—an nxnxn cube scramble).

    I still call the conjugates “iterations” in the actual move solutions to be consistent with their “plans”.

    The Written Plan (with comments):
    Corners:
    Let {10,20,30,40,50,60,70,80} = the solved state.
    By the scramble, we have {6+,1-,80,3+,4+,2-,50,7-} (A 5-cycle and a 3-cycle)

    That is, (1→2→6)(3→4→5→7→8)

    Iteration I (orientation fix):
    (1-(+)↔6+(0)) (3+(-)↔2-(0)) (4+(+)↔7-(-)) (50(0)↔80(0)) 4 2-cycle
    → {10,60,50,20,70,30,80,40}
    Iteration II (solve at least 2 pieces):
    (20(0)↔60(0)) (40(0)↔80(0)) (70(0)↔50(0)) (30(0)↔10(0)) 4 2-cycle
    → {30,20,70,60,50,10,40,80}
    Iteration III: (We now have a 5-cycle)
    (70(0)↔30(0)) (40(0)↔10(0)) 2 2-cycle
    → {70,20,30,60,50,40,10,80}
    Iteration IV:
    (40(0)↔60(0)) (70(0)↔10(0)) 2 2-cycle
    → {10,20,30,40,50,60,70,80}

    Notes:
    By default, since we have a 5-cycle and a 3-cycle, we cannot solve the permutation in one commutator because we have other piece orbits involved (if at least two middle edges and at least two X-center pieces were untouched by the scramble—as the two of the + center pieces are—then we would be able to solve this corner cycle class in one commutator, but we don’t have that). That is, the orientations were not the reason why the corner solution had to be solved with 2 commutators instead of one.

    The superscripts, just in case you haven’t noticed, are of the form:
    current orientation (the change in orientation when put into swap slot).
    When we actually solve using cube moves, 6+(0), for example, means to put 6 rotated clockwise in the swap slot (you add both signs in the superscript to get the required orientation in which the corner piece needs to be in when it is in a swap slot).

    If you are swapping all 8 corners and the sum of all signs in all swaps in your written solution does not add to ±3, ±6, or 0 (or if you are swapping 12 edges and the sum is an odd integer), then you must revise your solution. In Table 2 in the document, there is more than one option to choose from. So make it work. For example, here is an “alternate solution” for the first iteration to the corner scramble.
    (1-(+)↔6+(0)) (3+(+)↔2-(-)) (4+(+)↔7-(-)) (50(0)↔80(0)) → {10,60,50,20,70,30,80,40}
    The sum of the signs is 0 (the net sign for 1) + 1 (the net sign for 6) + -1 (the net sign for 3) + 1 (the net sign for 2) + -1 (the net sign for 4) + 1 (the net sign for 7) + 0 (the net sign for 5) + 0 (the net sign for 8
    = 0 + 1 – 1 + 1 – 1 + 1 + 0 + 0 = 1, which is not ±3, ±6, or 0. Thus we would have to violate the cube law for orientation of corners in order to pull this stunt off! LOL. But the sum of the first iteration for the solution which was shown first is 0 which is acceptable.
    Middle Edges:
    Let {10,20,30,40,50,60,70,80,90,100,110,120}= the solved state.
    By the scramble, we have {8+,12+,9+,50,100,60,20,7+,30,11+,4+,10} (5-cycle, 4-cycle, and a 2-cycle)

    That is, (1→12→2→7→8)(3↔9)(4→11→10→5)

    Iteration I (Orientation Fix):
    (8+(+)↔12+(0)) (9+(+)↔7+(0)) (11+(+)↔4+(0)) (50(0)↔100(0)) 4 2-cycle
    → {120,80,70,100,50,60,20,90,30,40,110,10}
    Iteration II (solve at least 2 pieces):
    (10(0)↔120(0)) (20(0)↔70(0)) (30(0)↔90(0)) (40(0)↔100(0)) 4 2-cycle
    → {10,80,20,40,50,60,70,30,90,100,110,120}
    Iteration III (we know have a 3-cycle):
    (20(0)↔80(0)) (10(0)↔40(0))
    → {40,20,80,10,50,60,70,30,90,100,110,120} 2 2-cycle
    Iteration IV:
    (30(0)↔80(0)) (10(0)↔40(0))
    → {10,20,30,40,50,60,70,80,90,100,110,120} 2 2-cycle

    Notes: The cycle class {5,4,2} can be solved in one commutator regardless if the corners, X-center pieces, or the + center pieces could be solved in one commutator. That is, the orientation case forced us to need to use 2 commutators instead of one.
    Wing Edges:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,18,5,12,2,1,19,6,7,15,4,21,3,14,13,11,24,8,23,16,17,22,9,10} (an 18-cycle and a 4-cycle).

    That is, (1→6→8→18→2→5→3→13→15→10→24→17→21→12→4→1→16→20)(7→ 9→23→19)(14)(22)

    The two bold numbers above were untouched by the scramble. If at least two numbers (pieces) are untouched by a scramble, it is a given that we can solve that orbit in one commutator (see Corollary (1) in the document).

    To solve this massive scramble with ease, we need to make a “sketch” first, and then use Lemma 1 to transform that into the exact scramble we have.

    Using the technique (m > n) in the proof of Lemma 6 (on pages 16-17 in the document), we can obtain a solution for the cycle class {18,4} pretty easily.

    Sketch
    By Lemma 1, we can represent any {18,4} as the following:
    {18,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,22,1 9,20,21,23,24}

    By the technique (m > n), the solution to this cycle class is
    Iteration I: (18↔17)(1↔16)(2↔15)(3↔14)(4↔13)(5↔12)(6↔11)(7↔10)( 8↔9) and (22↔20) 10 2-cycle
    → {17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,17,20,1 9,22,21,23,24}
    Iteration II: (1↔17)(2↔16)(3↔15)(4↔14)(5↔13)(6↔12)(7↔11)(8↔10 ) and (22↔21)(19↔20) 10 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}

    Back to our specific version of the cycle class {18,4}
    We create a “translation key” by numbering each number in “arrowed cycle representation” according to our sketch.


    By “translating” from the solution to our sketch to our actual scramble (by using the key above), we get the one commutator solution:

    Iteration I: (20↔16)(1↔11)(6↔4)(8↔12)(18↔21)(2↔17)(5↔24)(3↔10)( 13↔15) and (19↔9) 10 2-cycle
    → {16,21,24,8,17,11,9,4,7,13,6,18,10,14,15,1,5,12,23 ,20,2,22,19,3}
    Iteration II: (1↔16)(6↔11)(8↔4)(18↔12)(2↔21)(5↔17)(3↔24)(13↔1 0) and (19↔23)(7↔9) 10 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    X-Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {15,21,13,4,22,18,12,2,1,14,24,9,19,16,3,6,11,23,2 0,8,5,10,17,7} (23-cycle)

    That is,


    (As you can see, I made a similar “translation key” as was done for wing edges).

    Sketch
    By Lemma 1, the following representation represents all 23-cycles.
    {23,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,1 9,20,21,22,24}

    Unfortunately, the 23-cycle is one of the very worst cases for big cube parts. Only one piece is solved (4 in our actual scramble) (or 24 in the representation above) and therefore we cannot have the luxury promised by Corollary (1) to be able to solve it in one commutator. We could solve it in one commutator using an odd number 2-cycle solution if the corners, middle edges, and + center pieces all had at least 2 pieces solved. The + center pieces do (as we will see next), but the middle edges and corners do not.

    In the document, I actually solved the sketch above to prove that all even permutation cycle classes for 24 objects could be solved in 2 commutators or less (considering permutations only—not taking orientations into account).

    Just copying and pasting the solution directly from page 22 of the document,

    Let's break it up into 5 sections by marking 8 numbers/pieces.
    {23,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,24}

    Iteration I: (4↔23)(5↔9)(10↔14)(15↔19) 4 2-cycle
    {4,1,2,3,23,9,6,7,8,5,14,11,12,13,10,19,16,17,18,15,20,21,22,24}

    Iteration II: (20↔23)(5↔15)(22↔24)(7↔9) 4 2-cycle
    {4,1,2,3,20,7,6,9,8,15,14,11,12,13,10,19,16,17,18,5,23,21,24,22}

    Iteration III: (1↔4)(2↔3)(11↔14)(12↔13)(16↔19)(17↔18)(21↔23)(22↔2 4) 8 2-cycle
    {1,4,3,2,20,7,6,9,8,15,11,14,13,12,10,16,19,18,17,5,21,23,22,24}

    Iteration IV: (2↔4)(12↔14)(17↔19)(22↔23)(5↔20)(10↔15)(6↔7)(8↔ 9) 8 2-cycle
    = solved state.

    Note: If an even permutation cycle class does not have at least 2 pieces solved and the number of required 2-cycles for one commutator is odd, the solution to the 23-cycle above is yet another solving technique which you can use (splitting up the large cycles into increments of 4…).

    Back to our scramble.
    If we translate the solution to the sketch to our actual scramble, we find that one solution to our 23-cycle is the following:

    Iteration I: (7↔15)(24↔18)(6↔22)(5↔20) 4 2-cycle
    → {7,21,13,4,6,24,12,2,1,14,18,9,19,16,3,22,11,23,5, 8,20,10,17,15}
    Iteration II: (19↔15)(24↔5)(3↔4)(17↔18) 4 2-cycle
    → {7,21,13,3,6,5,12,2,1,14,17,9,15,16,4,22,11,23,24, 8,20,10,18,19}
    Iteration III: (1↔7)(9↔12)(16↔22)(14↔10)(21↔20)(2↔8)(13↔15)(3↔ 4) 8 2-cycle
    → {1,20,15,4,6,5,9,8,7,10,17,12,13,22,3,16,11,23,24, 2,21,14,18,19}
    Iteration IV: (9↔7)(14↔22)(2↔20)(3↔15)(24↔19)(6↔5)(11↔17)(23↔ 18) 8 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    + Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,21,3,14,17,1,18,11,2,6,12,5,22,4,24,16,23,10,1 3,19,7,15,9,8} (20-cycle and a 2-cycle).

    That is,


    The corresponding sketch based on the translation key above is from the m > n technique on pages 16-17. Note that since (20+2)/2 = 11 = an odd integer, we do not need to use the 2 unsolved pieces as a “dummy” pair to be able to solve this cycle class in one commutator (which doesn’t conflict with any other piece orbits).

    Sketch
    {20,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,1 9,22,21,23,24}

    Iteration I: (20↔19)(1↔18)(2↔17)(3↔16)(4↔15)(5↔14)(6↔13)(7↔12)( 8↔11)(9↔10) 10 2-cycle
    → {19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,2 0,22,21,23,24}
    Iteration II: (1↔19)(2↔18)(3↔17)(4↔16)(5↔15)(6↔14)(7↔13)(8↔12)(9 ↔11) and (22↔21) 10 2-cycle
    →{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 20,21,22,23,24}

    Using the translation key to translate the solution to the sketch into a solution for our specific version of the cycle class {20,2}, we get:
    Iteration I: (20↔19)(1↔13)(6↔22)(10↔15)(18↔24)(7↔8)(21↔11)(2↔12 )(9↔5)(23↔17) 10 2-cycle
    →{19,11,3,14,23,13,24,21,12,22,2,9,6,4,18,16,17,15 ,1,20,8,10,5,7}
    Iteration II: (1↔19)(6↔13)(10↔22)(18↔15)(7↔24)(21↔8)(2↔11)(9↔12) (23↔5)(4↔14) 10 2-cycle
    →{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 20,21,22,23,24}

    Now the actual cube move solution begins. For convenience, this is the official plan we created (without all of the explanation and notes about techniques, etc.) so that we can refer to it often as we make moves on the cube.

    The Written Plan:
    Corners:
    Let {10,20,30,40,50,60,70,80} = the solved state.
    By the scramble, we have {6+,1-,80,3+,4+,2-,50,7-} (A 5-cycle and a 3-cycle)

    That is, (1→2→6)(3→4→5→7→8)


    Iteration I (Orientation Fix, using Table 2 in the document)
    (1-(+)↔6+(0)) (3+(-)↔2-(0)) (4+(+)↔7-(-)) (50(0)↔80(0)) 4 2-cycle
    → {10,60,50,20,70,30,80,40}
    Iteration II (solve at least 2 pieces):
    (20(0)↔60(0)) (40(0)↔80(0)) (70(0)↔50(0)) (30(0)↔10(0)) 4 2-cycle
    → {30,20,70,60,50,10,40,80}
    Iteration III:
    (70(0)↔30(0)) (40(0)↔10(0)) 2 2-cycle
    → {70,20,30,60,50,40,10,80}
    Iteration IV:
    (40(0)↔60(0)) (70(0)↔10(0)) 2 2-cycle
    → {10,20,30,40,50,60,70,80}
    Middle Edges:
    Let {10,20,30,40,50,60,70,80,90,100,110,120}= the solved state.
    By the scramble, we have {8+,12+,9+,50,100,60,20,7+,30,11+,4+,10} (5-cycle, 4-cycle, and a 2-cycle)

    That is, (1→12→2→7→8)(3↔9)(4→11→10→5)


    Iteration I (Orientation Fix, using Table 1 in the document)
    (8+(+)↔12+(0)) (9+(+)↔7+(0)) (11+(+)↔4+(0)) (50(0)↔100(0)) 4 2-cycle
    → {120,80,70,100,50,60,20,90,30,40,110,10}
    Iteration II (solve at least 2 pieces):
    (10(0)↔120(0)) (20(0)↔70(0)) (30(0)↔90(0)) (40(0)↔100(0)) 4 2-cycle
    → {10,80,20,40,50,60,70,30,90,100,110,120}
    Iteration III:
    (20(0)↔80(0)) (10(0)↔40(0)) → {40,20,80,10,50,60,70,30,90,100,110,120} 2 2-cycle
    Iteration IV:
    (30(0)↔80(0)) (10(0)↔40(0)) → {10,20,30,40,50,60,70,80,90,100,110,120} 2 2-cycle
    Wing Edges:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,18,5,12,2,1,19,6,7,15,4,21,3,14,13,11,24,8,23, 16,17,22,9,10} (an 18-cycle and a 4-cycle).

    That is, (1→6→8→18→2→5→3→13→15→10→24→17→21→12→4→1→16→20)(7→ 9→23→19)(14)(22)

    Iteration I: (20↔16)(1↔11)(6↔4)(8↔12)(18↔21)(2↔17)(5↔24)(3↔10)( 13↔15) and (19↔9) 10 2-cycle
    → {16,21,24,8,17,11,9,4,7,13,6,18,10,14,15,1,5,12,23 ,20,2,22,19,3}
    Iteration II: (1↔16)(6↔11)(8↔4)(18↔12)(2↔21)(5↔17)(3↔24)(13↔1 0) and (19↔23)(7↔9) 10 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    X-Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {15,21,13,4,22,18,12,2,1,14,24,9,19,16,3,6,11,23,2 0,8,5,10,17,7} (23-cycle)

    That is, (1→9→12→7→24→11→17→23→18→6→16→14→10→22→5→21→2→8→20 →19→13→3→15)(4)


    Iteration I: (7↔15)(24↔18)(6↔22)(5↔20) 4 2-cycle
    → {7,21,13,4,6,24,12,2,1,14,18,9,19,16,3,22,11,23,5, 8,20,10,17,15}
    Iteration II: (19↔15)(24↔5)(3↔4)(17↔18) 4 2-cycle
    → {7,21,13,3,6,5,12,2,1,14,17,9,15,16,4,22,11,23,24, 8,20,10,18,19}
    Iteration III: (1↔7)(9↔12)(16↔22)(14↔10)(21↔20)(2↔8)(13↔15)(3↔ 4) 8 2-cycle
    → {1,20,15,4,6,5,9,8,7,10,17,12,13,22,3,16,11,23,24, 2,21,14,18,19}
    Iteration IV: (9↔7)(14↔22)(2↔20)(3↔15)(24↔19)(6↔5)(11↔17)(23↔ 18) 8 2-cycle
    → {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24}
    + Centers:
    Let {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2 0,21,22,23,24} = the solved state.
    By the scramble, we have {20,21,3,14,17,1,18,11,2,6,12,5,22,4,24,16,23,10,1 3,19,7,15,9,8} (20-cycle and a 2-cycle).

    (1→6→10→18→7→21→2→9→23→17→5→12→11→8→24→15→22→13→19 →20)(4↔14)(3)(16)

    Iteration I: (20↔19)(1↔13)(6↔22)(10↔15)(18↔24)(7↔8)(21↔11)(2↔12 )(9↔5)(23↔17) 10 2-cycle
    →{19,11,3,14,23,13,24,21,12,22,2,9,6,4,18,16,17,15 ,1,20,8,10,5,7}
    Iteration II: (1↔19)(6↔13)(10↔22)(18↔15)(7↔24)(21↔8)(2↔11)(9↔12) (23↔5)(4↔14) 10 2-cycle
    →{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19, 20,21,22,23,24}

    We will handle each piece type one at a time, combine all solutions into 4 (large) composite conjugates, rewrite as two large commutators, and finally shorten and simplify the 2 commutators into how it was first presented.

    Copy and paste each of the following into the cubetwister script and clip the check mark to apply to the cube, one at a time, and follow along with the comments (I cannot promise perfect spelling or complete sentence structure, as I was commenting as I went) and, at the same time, look at the “plan” above to see why we chose to do what we did.

    Also, for the z algorithms (z1, (z1)', z2, and (z2)'), choose the “5x5x5 super” cube to see how they affect the centers.

    Lastly, note that I put the scramble at the beginning of each of them.

    Cube Move Solution:
    Corner Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 1 0 across from 6+ in U layer.
    [B, U'F' U]
    /put 7+ in U layer
    [F, U B' U']
    /put 4- opp. of 7+ in U layer
    U[F', U' B U] U'
    /put 5 0 opp of 8 0 and 2- opp 3 0 in D layer
    F'U F[F2, D' B' D] F' U' F

    /diagonal 4 2-cycle in U and D Layers = z1
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    )'

    /--------------------Iteration II--------------------
    /2 0 is opp of 6 0 already in U layer.
    /put 4 0 opp. of 8 0 in D layer
    F R [L,F' R' F] R' F'
    /put 7 0 opp. of 5 0 in U layer and put 1 0 opp. of 3 0 in D layer
    B U' R' B' R [L2, D R2 D'] R' B R U B'

    /diagonal 4 2-cycle in U and D Layers = z1 = (z1)'
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'

    (
    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    )'

    /--------------------Iteration III--------------------
    /7 0 is already opp. to 3 0 in U layer.
    /Put 4 0 in U Layer
    [L2, U' R U]
    /put 1 0 opp. of 4 0 in U Layer
    D' [R2, U' L2 U] D

    /Diagonal 2 2-cycle in U Layer = z2
    L R U2 L' R' U F' B' U2 F B U'

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    )'

    /--------------------Iteration IV--------------------
    /put 4 0 opp. to 6 0 in U layer
    D' [R2, U' L2 U] D
    /put 1 0 opp. to 7 0 in U Layer
    D [L2, UR' U'] D'

    /Diagonal 2 2-cycle in U Layer = z2 = (z2)'
    L R U2 L' R' U F' B' U2 F B U'

    (
    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    )'
    Middle Edge Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 8 0 opp. of 12 + in U layer
    F' R'[L', U M' U'] R F
    /put 9 0 opp. of 7 + in D layer
    D [M',D' R D] D'
    /put 11 0 in U Layer (4+ is also moved opp. of 11 0 in U layer)
    L[M', B L' B'] L'
    /put 5 0 opp. of 10 0 in D layer
    F' [B, D' S'D] F

    /double H perm 4 2-cycle in U and D layers = z1
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]

    (
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    )'

    /--------------------Iteration II--------------------
    /put 1 0 opp. of 12 0 in U layer
    U' R [L', U M' U'] R' U
    /put 4 0 opp. of 10 0 in U layer
    L[R', U M U'] L'
    /put 3 0 opp. of 9 0 in D layer
    D' B[F', D S'D'] B' D
    /put 7 0 opp. of 2 0 in D layer
    B'[F, D' S D] B

    /double H perm 4 2-cycle in U and D layers = z1 = (z1)'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]

    (
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    )'


    /--------------------Iteration III--------------------
    /put 8 0 opp. of 2 0 and 1 0 opp. of 4 0 in U layer
    R F [E', F' U' F] F' R'

    /H perm 2 2-cycle in U layer = z2
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'

    (
    R F [E', F' U' F] F' R'
    )'

    /--------------------Iteration IV--------------------
    /put 4 0 opp. of 1 0 in U layer
    F' R' [E, R U R'] R F
    /put 3 0 opp. of 8 0 in U layer
    U' R' [L2,U' M U] R U

    /H perm 2 2-cycle in U layer = z2 = (z2)'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'

    (
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    )'
    Wing Edge Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 16 adj. to 20 in UF
    [l',B L' B']
    /put 8 adj. to 12 in UL
    R2 [b2, U B' U'] R2
    /put 21 adj. to 18 in UR
    F2 L'[R, U l U'] L F2
    /put 5 adj. to 24 in UB
    r [u', L' DL] r'
    /19 is already adj. to 9 in DB
    /put 11 adj. to 1 in DR
    F2 [R',D r' D'] F2
    /2 is already adj. to 17 in DF
    /put 3 adj. to 10 in DL
    F2 R' [L,D r D'] R F2
    /6 and 4 are already adjacent in FR
    /put 13 in FL
    R2 [L2, F r F'] R2
    /put 15 adj. to 13 in FL
    R2 [L2,F' r' F] R2

    /10 2-cycle = z1
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'

    (
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    )'

    /--------------------Iteration II--------------------
    /put 1 adj. to 16 in UF
    [l, D' L D]
    /put 4 adj. to 8 in UL
    D2 [b2, UB' U'] D2
    /put 3 adj. to 24 in UB
    D' [r',UR' U'] D
    /put 18 adj. to 12 in UR
    F [U',R d R'] F'
    /put 2 adj. to 21 in DR
    F' [RF' R', f'] F
    /5 is already adj. to 17 in DF
    /put 10 adj. to 13 in DL
    F2 R [L,D' l D] R' F2
    /put 23 adj. to 19 in DB
    [u,R D' R']
    /6 and 11 are already in FL
    /put 9 adj. to 7 in FR
    [R f R', B2]

    /10 2-cycle = z1 = (z1)'
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'

    (
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    )'
    X-Center Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 7 in Ulb (opp. to 15)
    [b',U' f U]
    /put 6 in Dlb (opp. to 22)
    L[b,D f'D'] L'
    /put 24 in Dlf (opp. to 18)
    D' [l', D' r D] D
    /put 5 in Ulf
    [l',U' r U]
    /put 20 in Urb (opp. to 5)
    B2 [r', U' l U] B2

    /4 2-cycle = z1
    [[l' r' u2 l r, U], x2]

    (
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    )'

    /--------------------Iteration II--------------------
    /put 5 in Dlf (opp to 24)
    D2 [r, D l' D'] D2
    /put 3 in Urb (opp. to 4)
    U' [l,U r' U'] U
    /put 17 in Urf
    U2 [l,U r'U'] U2
    /put 18 in Ulb (opp to 17)
    B2[l, U r' U'] B2
    /put 15 in Drf
    L' [f', D b D'] L
    /put 19 in Dlb (opp to 15)
    F[l,D' r' D] F'

    /4 2-cycle = z1= (z1)'
    [[l' r' u2 l r, U], x2]

    (
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    )'

    /--------------------Iteration III--------------------
    /put 1 in Ulb (opp to 7)
    F'[l', U r U'] F
    /put 20 in Ulf (opp. to 21)
    [l', U' r U]
    /put 8 in Drb (opp to 2)
    D[b,D f' D'] D'
    /put 9 in Drf (opp to 12)
    L2 [f', D b D'] L2
    /13 is already opp. 15 in the F layer
    /put 4 in Flu (opp. to 3)
    B2 [u2, F' d F] B2
    /put 16 in Bld
    [d,B' u' B]
    /put 22 in Bru (opp. to 16)
    B2 [d', B' u B] B2
    /put 10 in Brd
    [d, B u' B']
    /put 14 in Blu (opp. to 10)
    R' [u', B d B'] R

    /8 2-cycle = z2
    [[[l' r' u2 l r, U], x2], x]

    (
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'

    /--------------------Iteration IV--------------------
    /put 2 in Ulf (opp. to 20)
    L2 [f, U b' U'] L2
    /put 3 in Urf (opp. to 15)
    U2 [l, U r' U'] U2
    /put 6 in Dlb (opp. to 5)
    r F' r [l, D r' D'] r' F r'
    /put 7 in Drf (opp. to 9)
    [r', D' l D]
    /put 17 in Fld (opp. to 11)
    F2[u2,Fd' F'] F2
    /put 19 in Bld (opp. to 24)
    L' [d', B' uB] L
    /put 14 in Brd (opp. to 22)
    [d, B u' B']
    /put 18 in Frd
    [d, F' u' F]
    /put 23 in Flu (opp. to 18)
    R [u, F' d' F] R'

    /8 2-cycle = z2 = (z2)'
    [[[l' r' u2 l r, U], x2], x]

    (
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'
    )'
    + Center Solution:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /--------------------Iteration I--------------------
    /put 19 in UMb (opp. to 20)
    L' [b', U S U'] L
    /put 13 in DlS (opp. to 1)
    B [l',D M' D'] B'
    /put 24 in DMf (opp. to 18)
    [M', D' l' D]
    /put 11 in UlS (opp. to 21)
    U [M, U r'U'] U'
    /put 6 in FMu (opp. to 22)
    F [E', F d' F'] F'
    /put 8 in FrE (opp. to 7)
    F2[E, F u' F'] F2
    /put 12 in LdS (opp. of 2)
    B2 [d,L' E L] B2
    /put 9 in LEf (opp. of 5)
    L[d, L' E L] L'
    /put 23 in BMu (opp. of 17)
    R2 [u', B E B'] R2
    /put 10 in BEr
    R' [E, B u' B'] R
    /put 15 in BEl (opp. of 10)
    R' [E, B' u' B] R

    /10 2-cycle = z1
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'


    /--------------------Iteration II--------------------
    /put 1 in UMb (opp. to 19)
    B2 [M, U r' U'] B2
    /put 6 in DSl (opp. to 13)
    F [l,D' M D] F'
    /put 2 in USl (opp. to 11)
    B [l,U' M U] B'
    /put 5 in DMb (opp. to 23)
    [M',D l' D']
    /21 is already opp. to 8 in F
    /put 9 in FMu (opp. to 12)
    L' [u', F E F'] L
    /put 4 in BEl (opp. to 14)
    B[d, B' E B] B'
    /put 15 in BMu (opp. to 18)
    [u', B E B']
    /put 24 in LEf (opp. to 7)
    R d [E2, L d' L'] d' R'
    /put 10 in LSu
    R E' [u2, L' E' L] E R'
    /put 22 in LSd (opp. to 10)
    R' E' [d2,L E' L'] E R

    /10 2-cycle = z1 = (z1)'
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R
    )'
    Now we can combine them all into one macro 4 iteration (conjugate) solution as follows (because they are a direct product).
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /2328 btm

    /--------------------Iteration I--------------------
    /***Corner solution***
    /put 1 0 across from 6+ in U layer.
    [B, U'F' U]
    /put 7+ in U layer
    [F, U B' U']
    /put 4- opp. of 7+ in U layer
    U[F', U' B U] U'
    /put 5 0 opp of 8 0 and 2- opp 3 0 in D layer
    F'U F[F2, D' B' D] F' U' F

    /***Middle Edge solution***
    /put 8 0 opp. of 12 + in U layer
    F' R'[L', U M' U'] R F
    /put 9 0 opp. of 7 + in D layer
    D [M',D' R D] D'
    /put 11 0 in U Layer (4+ is also moved opp. of 11 0 in U layer)
    L[M', B L' B'] L'
    /put 5 0 opp. of 10 0 in D layer
    F' [B, D' S'D] F

    /***Wing Edge Solution***
    /put 16 adj. to 20 in UF
    [l',B L' B']
    /put 8 adj. to 12 in UL
    R2 [b2, U B' U'] R2
    /put 21 adj. to 18 in UR
    F2 L'[R, U l U'] L F2
    /put 5 adj. to 24 in UB
    r [u', L' DL] r'
    /19 is already adj. to 9 in DB
    /put 11 adj. to 1 in DR
    F2 [R',D r' D'] F2
    /2 is already adj. to 17 in DF
    /put 3 adj. to 10 in DL
    F2 R' [L,D r D'] R F2
    /6 and 4 are already adjacent in FR
    /put 13 in FL
    R2 [L2, F r F'] R2
    /put 15 adj. to 13 in FL
    R2 [L2,F' r' F] R2

    /***X-center solution
    /put 7 in Ulb (opp. to 15)
    [b',U' f U]
    /put 6 in Dlb (opp. to 22)
    L[b,D f'D'] L'
    /put 24 in Dlf (opp. to 18)
    D' [l', D' r D] D
    /put 5 in Ulf
    [l',U' r U]
    /put 20 in Urb (opp. to 5)
    B2 [r', U' l U] B2

    /***+ Center Solution
    /put 19 in UMb (opp. to 20)
    L' [b', U S U'] L
    /put 13 in DlS (opp. to 1)
    B [l',D M' D'] B'
    /put 24 in DMf (opp. to 18)
    [M', D' l' D]
    /put 11 in UlS (opp. to 21)
    U [M, U r'U'] U'
    /put 6 in FMu (opp. to 22)
    F [E', F d' F'] F'
    /put 8 in FrE (opp. to 7)
    F2[E, F u' F'] F2
    /put 12 in LdS (opp. of 2)
    B2 [d,L' E L] B2
    /put 9 in LEf (opp. of 5)
    L[d, L' E L] L'
    /put 23 in BMu (opp. of 17)
    R2 [u', B E B'] R2
    /put 10 in BEr
    R' [E, B u' B'] R
    /put 15 in BEl (opp. of 10)
    R' [E, B' u' B] R

    /***corner z1***
    /diagonal 4 2-cycle in U and D Layers = z1
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    /***Middle Edge z1***
    /double H perm 4 2-cycle in U and D layers = z1
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    /***Wind Edge z1***
    /10 2-cycle = z1
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    /***X-center z1***
    /4 2-cycle = z1
    [[l' r' u2 l r, U], x2]
    /***+ Center z1
    /10 2-cycle = z1
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'


    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F

    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F

    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2

    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2

    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'

    /--------------------Iteration II--------------------
    /***Corner solution***
    /2 0 is opp of 6 0 already in U layer.
    /put 4 0 opp. of 8 0 in D layer
    F R [L,F' R' F] R' F'
    /put 7 0 opp. of 5 0 in U layer and put 1 0 opp. of 3 0 in D layer
    B U' R' B' R [L2, D R2 D'] R' B R U B'

    /***Middle Edge solution***
    /put 1 0 opp. of 12 0 in U layer
    U' R [L', U M' U'] R' U
    /put 4 0 opp. of 10 0 in U layer
    L[R', U M U'] L'
    /put 3 0 opp. of 9 0 in D layer
    D' B[F', D S'D'] B' D
    /put 7 0 opp. of 2 0 in D layer
    B'[F, D' S D] B

    /***Wing Edge Solution***
    /put 1 adj. to 16 in UF
    [l, D' L D]
    /put 4 adj. to 8 in UL
    D2 [b2, UB' U'] D2
    /put 3 adj. to 24 in UB
    D' [r',UR' U'] D
    /put 18 adj. to 12 in UR
    F [U',R d R'] F'
    /put 2 adj. to 21 in DR
    F' [RF' R', f'] F
    /5 is already adj. to 17 in DF
    /put 10 adj. to 13 in DL
    F2 R [L,D' l D] R' F2
    /put 23 adj. to 19 in DB
    [u,R D' R']
    /6 and 11 are already in FL
    /put 9 adj. to 7 in FR
    [R f R', B2]

    /***X-center Solution***
    /put 5 in Dlf (opp to 24)
    D2 [r, D l' D'] D2
    /put 3 in Urb (opp. to 4)
    U' [l,U r' U'] U
    /put 17 in Urf
    U2 [l,U r'U'] U2
    /put 18 in Ulb (opp to 17)
    B2[l, U r' U'] B2
    /put 15 in Drf
    L' [f', D b D'] L
    /put 19 in Dlb (opp to 15)
    F[l,D' r' D] F'

    /***+ Center Solution
    /put 1 in UMb (opp. to 19)
    B2 [M, U r' U'] B2
    /put 6 in DSl (opp. to 13)
    F [l,D' M D] F'
    /put 2 in USl (opp. to 11)
    B [l,U' M U] B'
    /put 5 in DMb (opp. to 23)
    [M',D l' D']
    /21 is already opp. to 8 in F
    /put 9 in FMu (opp. to 12)
    L' [u', F E F'] L
    /put 4 in BEl (opp. to 14)
    B[d, B' E B] B'
    /put 15 in BMu (opp. to 18)
    [u', B E B']
    /put 24 in LEf (opp. to 7)
    R d [E2, L d' L'] d' R'
    /put 10 in LSu
    R E' [u2, L' E' L] E R'
    /put 22 in LSd (opp. to 10)
    R' E' [d2,L E' L'] E R

    /***corner (z1)' ***
    /diagonal 4 2-cycle in U and D Layers = z1 = (z1)'
    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    /***middle edge (z1)' ***
    /double H perm 4 2-cycle in U and D layers = z1 = (z1)'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    /***Wing Edge (z1)'***
    /10 2-cycle = z1 = (z1)'
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    /***X-Center (z1)'***
    /4 2-cycle = z1= (z1)'
    [[l' r' u2 l r, U], x2]
    /***+ Center (z1)'***
    /10 2-cycle = z1 = (z1)'
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'

    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B

    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]

    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'

    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R
    )'


    /--------------------Iteration III--------------------
    /***corner solution***
    /7 0 is already opp. to 3 0 in U layer.
    /Put 4 0 in U Layer
    [L2, U' R U]
    /put 1 0 opp. of 4 0 in U Layer
    D' [R2, U' L2 U] D

    /***Middle Edge solution***
    /put 8 0 opp. of 2 0 and 1 0 opp. of 4 0 in U layer
    R F [E', F' U' F] F' R'

    /***X-Center Solution***
    /put 1 in Ulb (opp to 7)
    F'[l', U r U'] F
    /put 20 in Ulf (opp. to 21)
    [l', U' r U]
    /put 8 in Drb (opp to 2)
    D[b,D f' D'] D'
    /put 9 in Drf (opp to 12)
    L2 [f', D b D'] L2
    /13 is already opp. 15 in the F layer
    /put 4 in Flu (opp. to 3)
    B2 [u2, F' d F] B2
    /put 16 in Bld
    [d,B' u' B]
    /put 22 in Bru (opp. to 16)
    B2 [d', B' u B] B2
    /put 10 in Brd
    [d, B u' B']
    /put 14 in Blu (opp. to 10)
    R' [u', B d B'] R

    /***corner z2***
    /Diagonal 2 2-cycle in U Layer = z2
    L R U2 L' R' U F' B' U2 F B U'
    /***Middle edge z2***
    /H perm 2 2-cycle in U layer = z2
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    /***X-Center z2***
    /8 2-cycle = z2
    [[[l' r' u2 l r, U], x2], x]


    (
    [L2, U' R U]
    D' [R2, U' L2 U] D

    R F [E', F' U' F] F' R'

    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'

    /--------------------Iteration IV--------------------
    /***corner solution***
    /put 4 0 opp. to 6 0 in U layer
    D' [R2, U' L2 U] D
    /put 1 0 opp. to 7 0 in U Layer
    D [L2, UR' U'] D'

    /***middle ede solution***
    /put 4 0 opp. of 1 0 in U layer
    F' R' [E, R U R'] R F
    /put 3 0 opp. of 8 0 in U layer
    U' R' [L2,U' M U] R U

    /***X-Center Solution***
    /put 2 in Ulf (opp. to 20)
    L2 [f, U b' U'] L2
    /put 3 in Urf (opp. to 15)
    U2 [l, U r' U'] U2
    /put 6 in Dlb (opp. to 5)
    r F' r [l, D r' D'] r' F r'
    /put 7 in Drf (opp. to 9)
    [r', D' l D]
    /put 17 in Fld (opp. to 11)
    F2[u2,Fd' F'] F2
    /put 19 in Bld (opp. to 24)
    L' [d', B' uB] L
    /put 14 in Brd (opp. to 22)
    [d, B u' B']
    /put 18 in Frd
    [d, F' u' F]
    /put 23 in Flu (opp. to 18)
    R [u, F' d' F] R'

    /***corner (z2)' ***
    /Diagonal 2 2-cycle in U Layer = z2 = (z2)'
    L R U2 L' R' U F' B' U2 F B U'
    /***middle edge (z2)' ***
    /H perm 2 2-cycle in U layer = z2 = (z2)'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    /***X-Center (z2)'
    /8 2-cycle = z2 = (z2)'
    [[[l' r' u2 l r, U], x2], x]

    (
    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'

    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U

    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'
    )'
    Now, removing comments,
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R

    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    [[l' r' u2 l r, U], x2]
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'



    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R

    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    [[l' r' u2 l r, U], x2]
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R
    )'



    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R

    L R U2 L' R' U F' B' U2 F B U'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    [[[l' r' u2 l r, U], x2], x]

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'



    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'

    L R U2 L' R' U F' B' U2 F B U'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    [[[l' r' u2 l r, U], x2], x]

    (
    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'
    )'
    We have 4 conjugates of the form (A z1 A') (B (z1)' B') (C z2 C') (D (z2)' D') (all z’s even permutations). On page 10 of the document, we can rewrite this as the two commutators [A z1 A', B A'] [C z2 C', D C'].
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'
    /4116 btm

    [
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R

    B2 F2 L R' B2 U2 L2 R2 U2 F2 L R'
    [M2 U2 M2 U M2 U2 M2 U', R L' f2 S2 b2 L R' x2]
    [l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U', z2]
    x U l' U2 l2 F2 r' D2 r' D2 r2 F2 l' U2 U' x'
    [[l' r' u2 l r, U], x2]
    [[[S' u2: [M u d M', U2]],x2],x] z [S' u2: [M u d M', U2]] z'

    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'

    ,

    F R [L,F' R' F] R' F'
    B U' R' B' R [L2, D R2 D'] R' B R U B'
    U' R [L', U M' U'] R' U
    L[R', U M U'] L'
    D' B[F', D S'D'] B' D
    B'[F, D' S D] B
    [l, D' L D]
    D2 [b2, UB' U'] D2
    D' [r',UR' U'] D
    F [U',R d R'] F'
    F' [RF' R', f'] F
    F2 R [L,D' l D] R' F2
    [u,R D' R']
    [R f R', B2]
    D2 [r, D l' D'] D2
    U' [l,U r' U'] U
    U2 [l,U r'U'] U2
    B2[l, U r' U'] B2
    L' [f', D b D'] L
    F[l,D' r' D] F'
    B2 [M, U r' U'] B2
    F [l,D' M D] F'
    B [l,U' M U] B'
    [M',D l' D']
    L' [u', F E F'] L
    B[d, B' E B] B'
    [u', B E B']
    R d [E2, L d' L'] d' R'
    R E' [u2, L' E' L] E R'
    R' E' [d2,L E' L'] E R

    (
    [B, U'F' U]
    [F, U B' U']
    U[F', U' B U] U'
    F'U F[F2, D' B' D] F' U' F
    F' R'[L', U M' U'] R F
    D [M',D' R D] D'
    L[M', B L' B'] L'
    F' [B, D' S'D] F
    [l',B L' B']
    R2 [b2, U B' U'] R2
    F2 L'[R, U l U'] L F2
    r [u', L' DL] r'
    F2 [R',D r' D'] F2
    F2 R' [L,D r D'] R F2
    R2 [L2, F r F'] R2
    R2 [L2,F' r' F] R2
    [b',U' f U]
    L[b,D f'D'] L'
    D' [l', D' r D] D
    [l',U' r U]
    B2 [r', U' l U] B2
    L' [b', U S U'] L
    B [l',D M' D'] B'
    [M', D' l' D]
    U [M, U r'U'] U'
    F [E', F d' F'] F'
    F2[E, F u' F'] F2
    B2 [d,L' E L] B2
    L[d, L' E L] L'
    R2 [u', B E B'] R2
    R' [E, B u' B'] R
    R' [E, B' u' B] R
    )'

    ]

    [
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R

    L R U2 L' R' U F' B' U2 F B U'
    [R' B': [E, B U B']] U [R' B': [E, B U B']] U'
    [[[l' r' u2 l r, U], x2], x]

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'

    ,

    D' [R2, U' L2 U] D
    D [L2, UR' U'] D'
    F' R' [E, R U R'] R F
    U' R' [L2,U' M U] R U
    L2 [f, U b' U'] L2
    U2 [l, U r' U'] U2
    r F' r [l, D r' D'] r' F r'
    [r', D' l D]
    F2[u2,Fd' F'] F2
    L' [d', B' uB] L
    [d, B u' B']
    [d, F' u' F]
    R [u, F' d' F] R'

    (
    [L2, U' R U]
    D' [R2, U' L2 U] D
    R F [E', F' U' F] F' R'
    F'[l', U r U'] F
    [l', U' r U]
    D[b,D f' D'] D'
    L2 [f', D b D'] L2
    B2 [u2, F' d F] B2
    [d,B' u' B]
    B2 [d', B' u B] B2
    [d, B u' B']
    R' [u', B d B'] R
    )'
    ]
    Deleting all returns and some spaces, we have:
    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'

    /4056 btm 2 comm. solution.

    [
    [B,U'F'U][F,UB'U']U[F',U'BU]U'F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R B2F2LR'B2U2L2R2U2F2LR' [M2U2M2UM2U2M2U',RL'f2S2b2LR'x2] [l'U2l2F2r'D2r'D2r2F2l'U2Ul'U2l2F2r'D2r'D2r2F2l'U2U ',z2] xUl'U2l2F2r'D2r'D2r2F2l'U2U'x' [[l'r'u2lr,U],x2] [[[S'u2:[MudM',U2]],x2],x]z[S'u2:[MudM',U2]]z' ( [B,U'F'U] [F,UB'U'] U[F',U'BU]U' F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R )'
    ,
    F R [L,F' R' F] R' F' B U' R' B' R [L2, D R2 D'] R' B R U B' U' R [L', U M' U'] R' U L[R', U M U'] L' D' B[F', D S'D'] B' D B'[F, D' S D] B [l, D' L D] D2 [b2, UB' U'] D2 D' [r',UR' U'] D F [U',R d R'] F' F' [RF' R', f'] F F2 R [L,D' l D] R' F2 [u,R D' R'] [R f R', B2] D2 [r, D l' D'] D2 U' [l,U r' U'] U U2 [l,U r'U'] U2 B2[l, U r' U'] B2 L' [f', D b D'] L F[l,D' r' D] F' B2 [M, U r' U'] B2 F [l,D' M D] F' B [l,U' M U] B' [M',D l' D'] L' [u', F E F'] L B[d, B' E B] B' [u', B E B'] R d [E2, L d' L'] d' R' R E' [u2, L' E' L] E R' R' E' [d2,L E' L'] E R ( [B, U'F' U] [F, U B' U'] U[F', U' B U] U' F'U F[F2, D' B' D] F' U' F F' R'[L', U M' U'] R F D [M',D' R D] D' L[M', B L' B'] L' F' [B, D' S'D] F [l',B L' B'] R2 [b2, U B' U'] R2 F2 L'[R, U l U'] L F2 r [u', L' DL] r' F2 [R',D r' D'] F2 F2 R' [L,D r D'] R F2 R2 [L2, F r F'] R2 R2 [L2,F' r' F] R2 [b',U' f U] L[b,D f'D'] L' D' [l', D' r D] D [l',U' r U] B2 [r', U' l U] B2 L' [b', U S U'] L B [l',D M' D'] B' [M', D' l' D] U [M, U r'U'] U' F [E', F d' F'] F' F2[E, F u' F'] F2 B2 [d,L' E L] B2 L[d, L' E L] L' R2 [u', B E B'] R2 R' [E, B u' B'] R R' [E, B' u' B] R )'
    ]

    [
    [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R LRU2L'R'UF'B'U2FBU' [R'B':[E,BUB']]U[R'B':[E,BUB']]U' [[[l'r'u2lr,U],x2],x] ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'
    ,
    D'[R2,U'L2U]D D[L2,UR'U']D' F'R'[E,RUR']RF U'R'[L2,U'MU]RU L2[f,Ub'U']L2 U2[l,Ur'U']U2 rF'r[l,Dr'D']r'Fr' [r',D'lD] F2[u2,Fd'F']F2 L'[d',B'uB]L [d,Bu'B'] [d,F'u'F] R[u,F'd'F]R' ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'
    ]
    We have a two commutator solution. Let’s call it [A,B][C,D]. We can shorten this solution by letting A, B, C, and D be scrambles and solving them separately. I have not had a lot of practice solving supercubes, so the following solutions are far from being optimal. I used CubeExplorer for the 3x3x3 part. (You must use center facelet twists for the 4x4x4 and greater cubes because the centers on those cubes contain non-fixed center pieces…and their exact positioning DOES MATTER).

    Important Note. We do not have to worry about solving the fixed centers, even though I solved most of them in all 4 solutions.
    Optimization:
    A:
    A for commutator 1 (838 btm originally)
    [B,U'F'U][F,UB'U']U[F',U'BU]U'F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R B2F2LR'B2U2L2R2U2F2LR' [M2U2M2UM2U2M2U',RL'f2S2b2LR'x2] [l'U2l2F2r'D2r'D2r2F2l'U2Ul'U2l2F2r'D2r'D2r2F2l'U2U ',z2] xUl'U2l2F2r'D2r'D2r2F2l'U2U'x' [[l'r'u2lr,U],x2] [[[S'u2:[MudM',U2]],x2],x]z[S'u2:[MudM',U2]]z' ( [B,U'F'U] [F,UB'U'] U[F',U'BU]U' F'UF[F2,D'B'D]F'U'F F'R'[L',UM'U']RF D[M',D'RD]D' L[M',BL'B']L' F'[B,D'S'D]F [l',BL'B'] R2[b2,UB'U']R2 F2L'[R,UlU']LF2 r[u',L'DL]r' F2[R',Dr'D']F2 F2R'[L,DrD']RF2 R2[L2,FrF']R2 R2[L2,F'r'F]R2 [b',U'fU] L[b,Df'D']L' D'[l',D'rD]D [l',U'rU] B2[r',U'lU]B2 L'[b',USU']L B[l',DM'D']B' [M',D'l'D] U[M,Ur'U']U' F[E',Fd'F']F' F2[E,Fu'F']F2 B2[d,L'EL]B2 L[d,L'EL]L' R2[u',BEB']R2 R'[E,Bu'B']R R'[E,B'u'B]R )'

    f2 D' f L f r B' D2 l' L' D b r' b' M'
    U F' r' F r LU f F2lF2 l' D b L' S' F2 l' F2 l
    b f L' f' DR' f U2 b2 D' b' b' R' bS' R S R' f2
    f D' f' D' f D f' f' R' fR2 bR' b' f D2 f'
    b' R b R' U' b U' b'b' D2 b

    D2b' R2 b
    F2 D b' R2 b
    B2 D'b' R2 b
    R F R' f R2 f'
    D' f R2 f'
    U R F R' b' R2 b
    B' D' b' R2 b
    R' b' R2 b
    U' B D' f R2 f'
    B2 R b' R2 b
    U' R2 U f R2 f'

    R SR2 S'
    B' F R' S R2 S'
    B' R' S R2 S'
    U D S R2 S'
    F' R' S R2 S'
    F' B' R' S R2 S'
    B2 F R' S' U2 S
    B' D' S R2 S'
    R' F' R S R2 S'
    L F U' f2 U2 R2 f2 R2 U2 f2

    R2 b U f' U' b' U f U' R b U' S' U b' U' S
    U2 b U f' U' b' U f R b U' f' S' U b' U' f S
    Bw R u lu' R' u l' u' Bw'
    b U' S' U'f' U S U' f U2 b'

    F L2 B' R' x' y' D R U' B' R F U2 L D' B' L F R2 U D2 L2 F2 U D2 B2 U

    = 273 btm
    f2D'fLfrB'D2l'L'Dbr'b'M'UF'r'FrLUfF2lF2l'DbL'S'F2l 'F2lbfL'f'DR'fU2b2D'b2R'bS'RSR'f'D'f'D'fDf2R'fR2bR 'b'fD2f'b'RbR'U'bU'b2D2bD2b'R2bF2Db'R2bB2D'b'R2bRF R'fR2f'D'fR2f'URFR'b'R2bB'D'b'R2bR'b'R2bU'BD'fR2f' B2Rb'R2bU'R2UfR2f'RSR2S'B'FR'SR2S'B'R'SR2S'UDSR2S' F'R'SR2S'F'B'R'SR2S'B2FR'S'U2SB'D'SR2S'R'F'RSR2S'L FU'f2U2R2f2R2U2f2R2bUf'U'b'UfU'RbU'S'Ub'U'SU2bUf'U 'b'UfRbU'f'S'Ub'U'fSBwRulu'R'ul'u'B'U'S'U'f'USU'fU 2b'FL2B'R'x'y'DRU'B'RFU2LD'B'LFR2UD2L2F2UD2B2U
    B:
    B for commutator 1 (630 btm originally)
    F R [L,F' R' F] R' F' B U' R' B' R [L2, D R2 D'] R' B R U B' U' R [L', U M' U'] R' U L[R', U M U'] L' D' B[F', D S'D'] B' D B'[F, D' S D] B [l, D' L D] D2 [b2, UB' U'] D2 D' [r',UR' U'] D F [U',R d R'] F' F' [RF' R', f'] F F2 R [L,D' l D] R' F2 [u,R D' R'] [R f R', B2] D2 [r, D l' D'] D2 U' [l,U r' U'] U U2 [l,U r'U'] U2 B2[l, U r' U'] B2 L' [f', D b D'] L F[l,D' r' D] F' B2 [M, U r' U'] B2 F [l,D' M D] F' B [l,U' M U] B' [M',D l' D'] L' [u', F E F'] L B[d, B' E B] B' [u', B E B'] R d [E2, L d' L'] d' R' R E' [u2, L' E' L] E R' R' E' [d2,L E' L'] E R ( [B, U'F' U] [F, U B' U'] U[F', U' B U] U' F'U F[F2, D' B' D] F' U' F F' R'[L', U M' U'] R F D [M',D' R D] D' L[M', B L' B'] L' F' [B, D' S'D] F [l',B L' B'] R2 [b2, U B' U'] R2 F2 L'[R, U l U'] L F2 r [u', L' DL] r' F2 [R',D r' D'] F2 F2 R' [L,D r D'] R F2 R2 [L2, F r F'] R2 R2 [L2,F' r' F] R2 [b',U' f U] L[b,D f'D'] L' D' [l', D' r D] D [l',U' r U] B2 [r', U' l U] B2 L' [b', U S U'] L B [l',D M' D'] B' [M', D' l' D] U [M, U r'U'] U' F [E', F d' F'] F' F2[E, F u' F'] F2 B2 [d,L' E L] B2 L[d, L' E L] L' R2 [u', B E B'] R2 R' [E, B u' B'] R R' [E, B' u' B] R )'


    M U' M' B r' D F l D S D S' U b2
    B E R' S' R S R L' u2B R dB' d' E
    l' D2 ll B l' B l B' l' R' D f D' f' D r D2 r' F' R d' F d F' l D2 l'
    B' u2 F u2 uR' u' u' R u' B' u R' u B' u R' u' F2 d' F2 d R B' u R' u' R B' d' R d u F2u'

    R2 u' B2 u
    B DB' u' B2 u
    L2 R2 d' R2 d
    R' D R u R2 u'
    R uR2 u'
    F' U2 L' d B2 d'
    F2 Lu R2 u'
    F2 u R2 u'
    F d' R2 d
    R2 u R2 u'

    F' E' R2E
    B E B2 E'
    R B2 D R' EB2 E'
    R' B2 U' R E B2 E'
    L' B' D' U' B' E B2 E'
    BU' D' B' E B2E'
    R D2 R E' R2E
    R E' R2 E
    RB2 u2 B2 R2 u2 R2 B2 u2

    B' du Rd' R' u' R d R' d' B' d' R' u R dR' u' RE' uR' d' R Eu' R' d
    B2 R' u R d' R' u' R d
    d'B E B d B'E' B d' B2d
    B' U2 L2R2 F' D' y2 F R2 U' R2 B2 L' U2 R2 D L2 F' D' B2 U L2 U2 F2 L F2 R2

    = 266 btm
    MU'M'Br'DFlDSDS'Ub2BER'S'RSRL'u2BRdB'd'El'D2l2Bl'B lB'l'R'DfD'f'DrD2r'F'Rd'FdF'lD2l'B'u2Fu'R'u2Ru'B'u R'uB'uR'u'F2d'F2dRB'uR'u'RB'd'RduF2u'R2u'B2uBDB'u' B2uL2R2d'R2dR'DRuR2u'RuR2u'F'U2L'dB2d'F2LuR2u'F2uR 2u'Fd'R2dR2uR2u'F'E'R2EBEB2E'RB2DR'EB2E'R'B2U'REB2 E'L'B'D'U'B'EB2E'BU'D'B'EB2E'RD2RE'R2ERE'R2ERB2u2B 2R2u2R2B2u2B'duRd'R'u'RdR'd'B'd'R'uRdR'u'RE'uR'd'R Eu'R'dB2R'uRd'R'u'RBEBdB'E'Bd'B2dB'U2L2R2F'D'y2FR2 U'R2B2L'U2R2DL2F'D'B2UL2U2F2LF2R2
    C:
    C of 2nd commutator (314 btm originally)
    [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R LRU2L'R'UF'B'U2FBU' [R'B':[E,BUB']]U[R'B':[E,BUB']]U' [[[l'r'u2lr,U],x2],x] ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'

    F L' D' L F' U2 F L' D L F' U2
    R' B' E B UB' E' B U'RR F E' F' U' F E F'UR'
    F l rU l' U' r' Ul U' l' F
    B F U2 r' U' l' U r U'l U'
    D b f' D' b D f D' b'Db' D2 b D f' D'b' D f U b' f' L' b L f L'b' Lb
    u2d2 R' u2 R d2 R' u2Ru2 R' u Fd2 R' u' R d2 R'uR F' u' RU' B' F' l' U r U' l U r' U'
    U' l' U r U' l U r' F2
    = (127 btm)
    FL'D'LF'U2FL'DLF'U2R'B'EBUB'E'BU'RRFE'F'U'FEF'UR'F lrUl'U'r'UlU'l'F2BU2r'U'l'UrU'lU'Dbf'D'bDfD'b'Db'D 2bDf'D'b'DfUb'f'L'bLfL'b'Lbu2d2R'u2Rd2R'u2Ru2R'uFd 2R'u'Rd2R'uRF'u'RU'B'F'l'UrU'lUr'U2l'UrU'lUr'F2
    D:
    D of 2nd commutator (246 btm originally)
    D'[R2,U'L2U]D D[L2,UR'U']D' F'R'[E,RUR']RF U'R'[L2,U'MU]RU L2[f,Ub'U']L2 U2[l,Ur'U']U2 rF'r[l,Dr'D']r'Fr' [r',D'lD] F2[u2,Fd'F']F2 L'[d',B'uB]L [d,Bu'B'] [d,F'u'F] R[u,F'd'F]R' ( [L2,U'RU] D'[R2,U'L2U]D RF[E',F'U'F]F'R' F'[l',UrU']F [l',U'rU] D[b,Df'D']D' L2[f',DbD']L2 B2[u2,F'dF]B2 [d,B'u'B] B2[d',B'uB]B2 [d,Bu'B'] R'[u',BdB']R )'

    D' F' B2 D' B' D F D' F2 B D B2 D' F2 D2
    B2 l' B' r B lB' r' B2 l' B' r B lB' r' L2 u L'd' L u'L' d L'uL' d' L u'L' d L B2 L' d2L' u2 L d2L' u2 L2 d' u' F d F' u F d'F' d l2 F' r F l2F' r' F U2r2 U' l2 U r2 U' l2U'
    U' r2Fl F' r2 F l' F' U2 L2 f' U b' U' f U bU' L2 U' B' d' uF' d' F u' F' dF d B L R u' B d' B' uB d B' R' L'
    L' F' E F U F' E'F U' L L B E'B' U' B E B'U L' S2 D' B' D S2 D' B D

    = (155 btm)
    D'F'B2D'B'DFD'F2BDB2D'F2D2B2l'B'rBlB'r'B2l'B'rBlB' r'L2uL'd'Lu'L'dL'uL'd'Lu'L'dLB2L'd2L'u2Ld2L'u2L2d' u'FdF'uFd'F'dl2F'rFl2F'r'FU2r2U'l2Ur2U'l2U2r2FlF'r 2Fl'F'U2L2f'Ub'U'fUbU'L2U'B'd'uF'd'Fu'F'dFdBLRu'Bd 'B'uBdB'R'L2F'EFUF'E'FU'L2BE'B'U'BEB'UL'S2D'B'DS2D 'BD
    Now we substitute our new solutions for A, B, C, and D into our two commutators [A,B][C,D]. Note that we must take the inverse of each before doing so.

    However, we do not need to take the inverse of A and C, since they are equal to their inverses (recall the structures [A z1 A', B A'][C z2 C', D C'], where z1 and z2 are a product of disjoint 2-cycles).

    Spoiler:
    L Bw B' D2 U' Bw Lw Fw' U2 F2 Lw Bw' L B Lw Uw D Bw2 D B Dw' Fw F L' R2 U' Uw' Lw B Fw' D2 Uw' Dw2 Lw' Dw' U2 Bw2 B L2 F U2 R2 F' Rw' R2 B Lw U' Dw' B L' Lw Bw U' Bw' D' Dw' R2 B Uw'
    /1642 btm 2 commutator solution

    [
    f2D'fLfrB'D2l'L'Dbr'b'M'UF'r'FrLUfF2lF2l'DbL'S'F2l 'F2lbfL'f'DR'fU2b2D'b2R'bS'RSR'f'D'f'D'fDf2R'fR2bR 'b'fD2f'b'RbR'U'bU'b2D2bD2b'R2bF2Db'R2bB2D'b'R2bRF R'fR2f'D'fR2f'URFR'b'R2bB'D'b'R2bR'b'R2bU'BD'fR2f' B2Rb'R2bU'R2UfR2f'RSR2S'B'FR'SR2S'B'R'SR2S'UDSR2S' F'R'SR2S'F'B'R'SR2S'B2FR'S'U2SB'D'SR2S'R'F'RSR2S'L FU'f2U2R2f2R2U2f2R2bUf'U'b'UfU'RbU'S'Ub'U'SU2bUf'U 'b'UfRbU'f'S'Ub'U'fSBwRulu'R'ul'u'B'U'S'U'f'USU'fU 2b'FL2B'R'x'y'DRU'B'RFU2LD'B'LFR2UD2L2F2UD2B2U
    ,
    (MU'M'Br'DFlDSDS'Ub2BER'S'RSRL'u2BRdB'd'El'D2l2Bl' BlB'l'R'DfD'f'DrD2r'F'Rd'FdF'lD2l'B'u2Fu'R'u2Ru'B' uR'uB'uR'u'F2d'F2dRB'uR'u'RB'd'RduF2u'R2u'B2uBDB'u 'B2uL2R2d'R2dR'DRuR2u'RuR2u'F'U2L'dB2d'F2LuR2u'F2u R2u'Fd'R2dR2uR2u'F'E'R2EBEB2E'RB2DR'EB2E'R'B2U'REB 2E'L'B'D'U'B'EB2E'BU'D'B'EB2E'RD2RE'R2ERE'R2ERB2u2 B2R2u2R2B2u2B'duRd'R'u'RdR'd'B'd'R'uRdR'u'RE'uR'd' REu'R'dB2R'uRd'R'u'RBEBdB'E'Bd'B2dB'U2L2R2F'D'y2FR 2U'R2B2L'U2R2DL2F'D'B2UL2U2F2LF2R2)'
    ]

    [
    FL'D'LF'U2FL'DLF'U2R'B'EBUB'E'BU'RRFE'F'U'FEF'UR'F lrUl'U'r'UlU'l'F2BU2r'U'l'UrU'lU'Dbf'D'bDfD'b'Db'D 2bDf'D'b'DfUb'f'L'bLfL'b'Lbu2d2R'u2Rd2R'u2Ru2R'uFd 2R'u'Rd2R'uRF'u'RU'B'F'l'UrU'lUr'U2l'UrU'lUr'F2
    ,
    (D'F'B2D'B'DFD'F2BDB2D'F2D2B2l'B'rBlB'r'B2l'B'rBlB 'r'L2uL'd'Lu'L'dL'uL'd'Lu'L'dLB2L'd2L'u2Ld2L'u2L2d 'u'FdF'uFd'F'dl2F'rFl2F'r'FU2r2U'l2Ur2U'l2U2r2FlF' r2Fl'F'U2L2f'Ub'U'fUbU'L2U'B'd'uF'd'Fu'F'dFdBLRu'B d'B'uBdB'R'L2F'EFUF'E'FU'L2BE'B'U'BEB'UL'S2D'B'DS2 D'BD)'
    ]
    Lastly, we actually take the inverses of B and D to arrive at the form of the 2 commutator solution originally shown.

  3. #43
    Member siva.shanmukh's Avatar
    Join Date
    Jan 2008
    Location
    Chennai, India
    WCA Profile
    2008SHAN01
    YouTube
    shanmukh1729
    Posts
    87

    Default

    There have been so many posts since I have last seen this thread! And looks like cmowla's proof is 14 pages! This is going to take a while for me to go through it completely! A lot of work. Hats off just for the amount of it and the detail in which it is written.
    Success is how high you bounce when you hit bottom.

  4. #44
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    Quote Originally Posted by siva.shanmukh View Post
    There have been so many posts since I have last seen this thread! And looks like cmowla's proof is 14 pages! This is going to take a while for me to go through it completely! A lot of work. Hats off just for the amount of it and the detail in which it is written.
    Thanks for taking interest, and welcome back!

    I actually just did some major format editing for the "ultimate conjugate challenge" (I neglected it for a long time because I was trying to perfect the commutator document), and I merged it with the commutator document. I don't know if it was the best idea to merge them, but the document looks pretty good (it's so long, it's like a book now, even without the appendices). You should just look at the document below instead of the commutator one because it is up to date.

    You don't need to read past page 43 if you're only interested in the commutator proofs (which is the material which really matters...i.e., see the remark for the conjugate proof at the bottom of the page before Appendix A. That could have been enough proof for the non-rigorous people).

    To everyone, I have added more explanation about the operation tables (in addition to the detailed example I just gave) in the commutator section "The Method" (to hopefully make things clearer if you all didn't see the example). I have added some images throughout the document as well.

    Unfortunately when I first posted the 5x5x5 example, I didn't realize that the spoilers were going to squish the "permutation keys" for the scrambles of the wing edges, X-centers, and +-centers. I edited that post earlier today and just made the keys images so that the formatting I intended to display is kept. So if you were confused when you saw the "plan (with comments)", go look at it again.
    Last edited by cmowla; 10-29-2012 at 04:44 PM. Reason: I shortened and changed the proof for "Lemma 9".

  5. #45
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    If I did the following calculations correctly,

    Ignoring the orientations of corners and middle edges completely (just calculating the number of permutations of the corners, middle edges, and big cube parts), the percentage of even permutations for the nxnxn supercube which cannot be solved with only one commutator (remember, I proved that 100% of permutations--including orientations of the corners and middle edges--of the regular nxnxn Rubik's cube can be solved with 2 commutators) is:

    2x2x2: 0% (there are no conflicting orbits, as there is just the corner orbit of the 2x2x2)
    3x3x3: 13.9264%
    4x4x4: 1.3479%
    5x5x5: 0.0486179%
    6x6x6: 0.00071384%
    7x7x7: 3.90594*10^-6%
    8x8x8: 8.69994*10^-9%
    9x9x9: 7.22148*10^-12%
    10x10x10: 2.44007*10^-15%
    11x11x11: 3.07255*10^-19%

    Here's the Mathematica code/formula for these calculations (the 2x2x2 is omitted from the formula, of course)
    Mathematica Code:
    Table[((11808))*((94122082279003380940800)/(4!^6))^Floor[(n-2)^2/4]*((94122082279003380940800)^Floor[(n-2)/2]*((113891040))^Mod[n,2])/((24-23Mod[n,2])*2^Mod[n,2])/(1/2 (((8!)*(24!/(4!^6))^Floor[(n-2)^2/4]*(24!^Floor[(n-2)/2]*(12!)^Mod[n,2])/((24-23Mod[n,2])*2^Mod[n,2])))),{n,3,11}]*100//N
    How I did this calculation?
    Spoiler:
    Simply put, a small subset of cycle classes (cycle types) for 8, 12, and 24 objects (8 corners, 12 middle edges, and 24 big cube parts) cannot be solved with an equal even number of 2-cycles in 2 iterations. Theorem 1 in the document shows that if we only consider one orbit, no matter if it even has a million objects, every even permutation can be solved in 2 iterations with an equal number of either an odd or even number of 2-cycle swaps. The problem is, this small subset of permutations cannot be solved with an equal number of even number of 2-cycle swaps in just 2 iterations...they can be solved with an equal odd number of 2-cycle swaps in 2 iterations, however.

    (Remember 2 "iterations" means 2 "conjugates", and from the description above, 2 conjugates which can be merged into one commutator).

    The subset of cycle classes which cannot be solved with an equal even number of 2-cycles in 2 iterations are the following:
    Spoiler:
    By Corollary (1) in the document, we only need to count the cycle classes in 7 and 8 objects for corners, 11 and 12 objects for middle edges, and 23 and 24 objects for big cube parts. The following is a list of only the subset of cycle classes mentioned.

    For Corners
    7 Pieces (1)
    7

    8 Pieces (2)
    6,2
    5,3

    For Middle Edges
    11 Pieces (1)
    11

    12 Pieces (4)
    10,2
    9,3
    8,4
    7,5

    For Big Cube Parts
    23 Pieces (15)
    23
    11,4,3,3,2
    10,5,3,3,2
    9,6,3,3,2
    9,5,4,3,2
    8,7,3,3,2
    8,6,4,3,2
    8,5,5,3,2
    8,5,4,3,3
    7,7,4,3,2
    7,6,5,3,2
    7,6,4,3,3
    7,5,5,4,2
    7,5,5,3,3
    6,5,5,4,3

    24 Pieces (11)
    22,2
    21,3
    20,4
    19,5
    18,6
    17,7
    15,9
    14,10
    13,11
    7,5,4,3,3,2
    6,5,5,3,3,2
    From here, we must count how many of each of these cycle classes there are. We can do this simply by following the guide I made in another thread.
    Quote Originally Posted by cmowla View Post
    \left( \text{Number of pieces the piece type has} \right)! divided by:

    \left( \left( \text{cycle a} \right)^{\#\text{of occurrences of  cycle a}}\times \left( \#\text{of occurrences of cycle a} \right)!  \right) times
    \left( \left( \text{cycle b} \right)^{\#\text{of occurrences of  cycle b}}\times \left( \#\text{of occurrences of cycle b} \right)!  \right) times
    \left( \left( \text{cycle c} \right)^{\#\text{of occurrences of   cycle c}}\times \left( \#\text{of occurrences of cycle c} \right)!  \right) times...
    \left( \left( \text{1-cycles} \right)^{\#\text{untouched}}\times \left( \#\text{untouched} \right)! \right)
    ("# Untouched" means the amount of pieces which were not touched by any of the cycles multiplied in the denominator. They can be thought of as 1-cycles, where they are cycled with themselves and thus do not change position (possibly they could change orientation, but that still won't affect their 1-cycle status).
    (Note that "# of untouched" is 1! and 0! = 1 for these calculations because (8-7)!=(8-8)!=(12-11)!=(12-12)!=(24-23)!=(24-24)! = 1.

    Corners
    \left( \frac{8!}{7} \right)+\left( \frac{8!}{6\left( 2 \right)}+\frac{8!}{5\left( 3 \right)} \right)=\text{11808}

    Middle Edges
    \left( \frac{12!}{11} \right)+\left( \frac{12!}{10\left( 2 \right)}+\frac{12!}{9\left( 3 \right)}+\frac{12!}{8\left( 4 \right)}+\frac{12!}{7\left( 5 \right)} \right)

    Big Cube Parts
    (\frac{24!}{23}+\frac{24!}{11(4)(3^{2})(2!)(2)}+\frac{24!}{(10)(5)(3^{2})(2!)(2)}+\frac{24!}{9(6)(3^{2})(2!)(2)}+\frac{24!}{9(5)(4)(3)(2)}+\frac{24!}{(8)(7)(3^{2})(2!)(2)}+\frac{24!}{(8)(6)(4)(3)(2)}+\frac{24!}{8(5^{2})(2!)(3)(2)}+\frac{24!}{8(5)(4)(3^{2})(2!)}+\frac{24!}{(7^{2})(2!)(4)(3)(2)}+\frac{24!}{7(6)(5)(3)(2)}+\frac{24!}{7(6)(4)(3^{2})(2!)}+\frac{24!}{7(5^{2})(2!)(4)(2)}+\frac{24!}{7(5^{2})(2!)(3^{2})(2!)}+\frac{24!}{6(5^{2})(2!)(4)(3)})
    +
    (
    \frac{24!}{22(2)}+\frac{24!}{21(3)}+\frac{24!}{(20)(4)}+\frac{24!}{(19)(5)}+\frac{24!}{(18)(6)}+\frac{24!}{(17)(7)}+\frac{24!}{(15)(9)}+\frac{24!}{(14)(10)}+\frac{24!}{(13)(11)}+\frac{24!}{(7)(5)(4)(3^{2})(2!)(2)}+\frac{24!}{(6)(5^{2})(2!)(3^{2})(2!)(2)})= 94122082279003380940800.

    To calculate the percentages, I just took the formula for the number of positions of the nxnxn Rubik's cube and omitted 3^7 (corner orientations) and 2^11 (middle edge orientations). I multiplied that by 1/2 (because only half of the permutations are even permutations). I made that the denominator of a fraction.

    I then took the same adjusted formula (except that I didn't multiply by 1/2) and made that the numerator.

    I substituted:
    11808 = number of corner permutations which cannot be solved with an even # of 2-cycles in 2 iterations for 8!
    113891040 = number of middle edge permutations " " for 12!
    94122082279003380940800 for 24!

    And of course, I multiplied by 100 to get a percentage
    These percentages are for the nxnxn supercube (except for fixed centers on the odd supercube, as usual) because the cycle class {20,4} can look the same as the cycle class {20,(2,2)} on some non-fixed center orbit on a regular cube for a subset of the {20,4}'s permutation cases, for example. Therefore for the regular 6-color nxnxn Rubik's cube, the percentages are even less than the low percentages listed (but for the 6-colored 2x2x2 and 3x3x3, the percentages are the same, of course, because they do not have non-fixed centers).

    I didn't attempt to calculate the exact number of even permutations including orientations as well because there is no set rule on all of the orientation possibilities...one would have to brute force this with a computer program (not just the brute force technique I used in the proof which minimized the number of tests required).

    It's definitely possible, but probably not very easy to calculate, the actual percentages for the 6-color nxnxn cube (it's certainly an easier calculation to do than if we were to consider orientations as well).

    So in short, MrCage's idea question that maybe one commutator is sufficient to solve all even permutations of the nxnxn wasn't too far fetched, as we can see that as n gets large, the percentage of permutations which cannot be solved with one commutator decreases exponentially. We've got to thank odd parity for this, uh?

  6. #46
    Member Stefan's Avatar
    Join Date
    May 2006
    WCA Profile
    2003POCH01
    YouTube
    StefanPochmann
    Posts
    6,407

    Default Re: My ultimate commutator challenge.

    Can you show a (preferably simple) 3x3x3 case that can't be solved with a single commutator? (Sorry if one has been posted already and I missed it, don't have time to read it all)

  7. #47
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    I just made some changes to my previous post. 35 cycle classes previously listed in that post which contained at least two equal even cycles , three or more 3s, three or more 5s have been eliminated because I found that they actually can be solved with an even number of 2-cycles in 2 iterations (I didn't need to know that they could be handled in one commutator when I wrote the theory). Therefore the percentages have gone down, but not substantially (less than 1% on all cube sizes > 2x2x2)

    Quote Originally Posted by Stefan View Post
    Can you show a (preferably simple) 3x3x3 case that can't be solved with a single commutator?
    Since in the last post I mentioned percentages dealing with permutations only (and not orientations), when you say "simple", do you mean a 3x3x3 state in which all corner and middle edges are oriented correctly? If so,
    Spoiler:
    Here is the complete set of 3x3x3 permutations (ignoring orientations) which cannot be solved with one commutator:

    Whenever the corners have one of the cycle classes {{7},{6,2},{5,3}} and the middle edges have one of the cycle classes {{11},{10,2},{9,3},{8,4},{7,5}} simultaneously.

    So you might consider the simplest subset of cases to be a corner cycle class {5,3} with a middle edge cycle class {7,5}.
    Quote Originally Posted by Stefan View Post
    (Sorry if one has been posted already and I missed it, don't have time to read it all)
    In post #38, there was one example that couldn't be solved with one commutator because of middle edge orientations, but I don't believe I've posted any other 3x3x3 example which couldn't be solved with one commutator which were due to:

    Corner orientations only,
    Both middle edge and corner orientations,
    Just the permutations,
    The permutations and orientation of the middle edges, or
    The permutations and orientation of the corners.

    (and when I say "just corner orientations only", for example, this could mean either the pure twist or a complete 3x3x3 scramble. When I say "the permutations", I mean the interaction of the cycle types of the corners and middle edges.)

    The simplest case is perhaps R U ?

    If what I have written so far isn't enough to give you an idea, please let me know what you mean by "simple", and I'll be sure to make an example for you. If there are any specific 3x3x3 states which you would like to know if my method can solve with one commutator, let me know.

  8. #48
    Member Stefan's Avatar
    Join Date
    May 2006
    WCA Profile
    2003POCH01
    YouTube
    StefanPochmann
    Posts
    6,407

    Default

    Sorry I was unclear. With "simple case" I meant one with many pieces still solved or with a short alg, so your R U is very nice in both regards, thanks. However, that one can easily be done with a single commutator: [R, L R U2 F B' U' D'] (the second part moves the pieces from U to R so that the third part (R' turn) effectively does a U turn). Am I misunderstanding something?

    Quote Originally Posted by cmowla View Post
    Here is the complete set of 3x3x3 permutations (ignoring orientations) which cannot be solved with one commutator:

    Whenever the corners have one of the cycle classes {{7},{6,2},{5,3}} and the middle edges have one of the cycle classes {{11},{10,2},{9,3},{8,4},{7,5}} simultaneously.
    Unless I misunderstand, that is also wrong. Here's a single commutator doing a 7-corners-cycle and an 11-edges-cycle:
    [U D2 L' R F2 L R', B D' R B' D2 F' B']
    It does the 7-cycle by overlapping two 4-cycles at one piece and the 11-cycle by overlapping two 6-cycles. First and third part of the commutator do the cycles, second and fourth part switch affected and non-affected pieces.

    Also, judging by the title page of your document, a single in-place edge-flip seems to be your poster boy category of what's impossible, but here's a commutator that does that:
    [U2 R L' B R2 D2 R2 B' R' L U' L2 F2 L2, U2 L' R F2 L R']
    Last edited by Brest; 01-18-2013 at 09:10 PM. Reason: post merge

  9. #49
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    Thanks Stefan for the counterexamples. I'm speechless, especially for the 7-cycle and 11-cycle. I guess if anything, I developed a method for solving cubes in 2 commutators. I knew that my method couldn't do a pure 3 corner twist in one commutator without a modification (see page 12 of the PDF), but I didn't realize that it cannot handle certain permutations which can be solved with one commutator. Interesting.

  10. #50
    Member cmowla's Avatar
    Join Date
    Sep 2009
    YouTube
    4EverTrying
    Posts
    577

    Default

    Again I appreciate the feedback, Stefan. Finally someone gave me some (very useful too).

    Now that I know it is possible for single commutators solve positions that I couldn't solve before, I just expanded my method to a higher level. Using my "expanded method",

    I have found a single commutator for R U (this was very hard to make):
    [D' R2 U' R2 B2 R2 B2 R2 D L' D2 L' D2 L2 B2 U R2, D2 F2 U' L2 U2 L2 R2 U L R2 U' B2 U' L2 F2 R B2 D]

    and the exact same {11,7} you posted:
    [L2 D2 F U2 B U2 B2 D F2 U2 R U2 F R' B2 L' B' U L, U2 B2 U2 F' U2 L2 U' B2 R' U' L2 D2 B' L D B2 D2 U2]

    Now that I look at it again, I believe I was confusing material from my proofs for orientations to be handled in 2 commutators with "permutations of conflicting orbits" (which is false, as you pointed out). Still no excuse for not realizing that huge misconception.

    It appears that all permutations can be solved with one commutator, because even the worst cycle classes do not need to use all slots in their orbits to be solved in their two iterations. We can always have 2 slots free, and so even if one or more orbits of pieces need to be solved in an odd number of 2-cycles, they do not have to touch any other orbits.

    For orientations, I'm not sure yet. I'll have to look at what all of this means now that I did successfully compute single commutators for what I previously thought to be the worst cases (well, I thought corner twists which summed to +- 6 to be pretty bad, but I'll have to see how true that is now). It might be possible for me now to construct a proof for all orientation cases to be solved in one commutator.

    If I stumble upon a case which my "expanded" method cannot handle during the process, I'll be sure to post it and ask you if you can find a single comm. for it.

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •