L2 B2 L2 F' L2 U2 R2 D2 F U2 L2 B' R' D2 R' B' L' U R' D2 B
y2 // inspection
l U F' U2 L2 F' R U r2 U r' //223 (11/52)
y U L' U' L F' U2 F' //fs (8/52)
U2 R U R' U2 S' R U' R' S //peopair (10/52)
U R U R' U R U' R' F' //rfcp (9/52)
R U R2 U' R2 U' R2 U2 R U' R U' R' U2 // 2gll (14/52)
Next: R B' D2 F L2 R2 U2 R2 B' D2 L F' D2 B2 L' D L2 F' U2
For example, <R, U> means, by definition, "the smallest subgroup of the cube group that contains R and U". And since every subgroup is also a group, that means all sort of inverse and concatenation moves are included: R, R U, R' U2 R U', etc.
In practice, <U2,D2,R2,L2,F2,B2> means "all state that I can reach by doing half-turn".
And <U,D,R,L,F,B> means "all state that I can reach by doing quarter-turns."
U2,D2,R2,L2,F2,B2> means the cube is in a state which can be (but not necessary have to be) solved only half turns.
<U,D,R,L,F,B> means... well, ANY cube state, since we can reach any state with quarter turns.
Yes, you can do a half turn by repeated quarter turns, but the reverse is not true.
Also, fun fact, <U,D,R,L,F,B> is not even the smallest generator. <D,R,L,F,B> is smaller as a generator, but it represents the same subgroup: the entire cube state. That is because you can show that a single U turn can be reached by using D,R,L,F and B moves:
U = F B L2 R2 F' B' D' B F R2 L2 B' F'
U
F B L2 R2 F' B' D' B F R2 L2 B' F'
You can show that you cannot reduce the generator further if you only consider outer side turns.
Practice for the readers:
1) show that not every cube state are in <D,L,F,B>, i.e., not every cube can be solved using only D, L, F and B moves. (easy)
2) show that not every cube state are in <R,L,F,B>, i.e., not every cube can be solved using only R, L, F and B moves. (slightly harder)
The smallest generator for the cube is by the way only a set of two elements! (But they are not single outer side turns). Although it was not easy to find / prove:
"
[...] // <U,D,L2,R2,F2,B2> corners
F2 U R2 U R2 U' R2 U2 R' F R' B2 R F' R U' [...]
"
where you were trying to say that the corners-state prior the move sequence on line 2 can be made half-turn solvable using the generators listed on line 1.
I was wondering why you didn´t write
"
[...] // <U,D,L,R,F,B> corners
F2 U R2 U R2 U' R2 U2 R' F R' B2 R F' R U' [...]
"
instead because all your criteria mentioned in this post would still be met as stated in the first link above.
L2 B2 L2 F' L2 U2 R2 D2 F U2 L2 B' R' D2 R' B' L' U R' D2 B
y2 // inspection
l U F' U2 L2 F' R U r2 U r' //223 (11/52)
y U L' U' L F' U2 F' //fs (8/52)
U2 R U R' U2 S' R U' R' S //peopair (10/52)
U R U R' U R U' R' F' //rfcp (9/52)
R U R2 U' R2 U' R2 U2 R U' R U' R' U2 // 2gll (14/52)
Next: R B' D2 F L2 R2 U2 R2 B' D2 L F' D2 B2 L' D L2 F' U2
R B' D2 F L2 R2 U2 R2 B' D2 L F' D2 B2 L' D L2 F' U2
z2 // Inspection
F L' U' L U R U' R U R2 F R F' y2 // F2S+LEFI
R2 U R' U2 S' U S // EO
// L2DE Skip which is 1/56
U R U2 R' U2 R U R' // Numann First Look
U2 R' U2 R // Numann Second Look
U' R D R' U' R D' R2 U2 R // Numann Third Look
R U R' U' D R2 U' R U' R' U R' U R2 D' U' // PLL
Next: L2 F2 L2 B2 U2 F R2 U2 F' R2 B' D' L U' L2 B F L R2 D' B
"
[...] // <U,D,L2,R2,F2,B2> corners
F2 U R2 U R2 U' R2 U2 R' F R' B2 R F' R U' [...]
"
where you were trying to say that the corners-state prior the move sequence on line 2 can be made half-turn solvable using the generators listed on line 1.
I was wondering why you didn´t write
"
[...] // <U,D,L,R,F,B> corners
F2 U R2 U R2 U' R2 U2 R' F R' B2 R F' R U' [...]
"
instead because all your criteria mentioned in this post would still be met as stated in the first link above.
I know acrystal already wrote a solution, but I was in the middle of one too, and I don't want it to be wasted.
So, here is a strict Human Thistlethwaite Algorithm, where I truly restricted the movements of one state to that's state generator movements.
R B' D2 F L2 R2 U2 R2 B' D2 L F' D2 B2 L' D L2 F' U2
z'
R' L F D F' R' F // <U,D,L,R,F2,B2>
D L' U2 R'
D2 F2 U' R U R' U R U2 R' // <U,D,L2,R2,F2,B2>
F2 U F2 L2 U L2 U' L2 B2 U' B2 U B2 U2
R2 L2 D' F2 U R2 L2 D' // <U2,D2,L2,R2,F2,B2>
U2 F2 U2 R2 F2 R2 F2
B2 R2 D2 F2 D2 F2 D2 F2 R2 B2 R2 // <>
Next (copied from acystal): L2 F2 L2 B2 U2 F R2 U2 F' R2 B' D' L U' L2 B F L R2 D' B
I know acrystal already wrote a solution, but I was in the middle of one too, and I don't want it to be wasted.
So, here is a strict Human Thistlethwaite Algorithm, where I truly restricted the movements of one state to that's state generator movements.
R B' D2 F L2 R2 U2 R2 B' D2 L F' D2 B2 L' D L2 F' U2
z'
R' L F D F' R' F // <U,D,L,R,F2,B2>
D L' U2 R'
D2 F2 U' R U R' U R U2 R' // <U,D,L2,R2,F2,B2>
F2 U F2 L2 U L2 U' L2 B2 U' B2 U B2 U2
R2 L2 D' F2 U R2 L2 D' // <U2,D2,L2,R2,F2,B2>
U2 F2 U2 R2 F2 R2 F2 R2
R2 B2 R2 D2 F2 D2 F2 D2 F2 R2 B2 R2 // <>
Next (copied from acystal): L2 F2 L2 B2 U2 F R2 U2 F' R2 B' D' L U' L2 B F L R2 D' B
Ill guess Ill use this as FMC practice
and domino effect ahh cross
L2 F2 L2 B2 U2 F R2 U2 F' R2 B' D' L U' L2 B F L R2 D' B
z2 // Inspection
D' L' F' R' B' // Cross
U' R U R' // 1st Pair
U' B2 R B2 R' // 2nd Pair
y2 U' D' R U R2 F R F' D // 3rd Pair
F' U2 F U2 F' U' F // 4th Pair
y R U2 R2 F R F' U2 Rw R' U R U' Rw' // OLL
y' R U R' U' R' F R2 U' R' U' R U R' F' U' // PLL
Next: D2 F' L2 R U' D L2 D B U2 L2 R' D L2 F2 R U R U L2 D' F' U' B2 R2
D2 F' L2 R U' D L2 D B U2 L2 R' D L2 F2 R U R U L2 D' F' U' B2 R2
U' F2 r' u' R' u2 M B M' r B' // FB
U' M' U' R' U R' U' r U' r' U2 r U R' // SB
R U2 R' U' R U' R2 U2 R U R' U R // CMLL
U' M U2 M' U2 M U2 M2 U M U2 M U2 M' // LSE
Terrible scramble for my usual Roux colors. :/
Next: L B' U' L' D B2 U2 F' L' R2 U L2 F2 U' R2 F2 D2 F2 U' L2 F'
D2 F' L2 R U' D L2 D B U2 L2 R' D L2 F2 R U R U L2 D' F' U' B2 R2
U' F2 r' u' R' u2 M B M' r B' // FB
U' M' U' R' U R' U' r U' r' U2 r U R' // SB
R U2 R' U' R U' R2 U2 R U R' U R // CMLL
U' M U2 M' U2 M U2 M2 U M U2 M U2 M' // LSE
Terrible scramble for my usual Roux colors. :/
Next: L B' U' L' D B2 U2 F' L' R2 U L2 F2 U' R2 F2 D2 F2 U' L2 F'
Just made a new method, Aurora III. This is its first solve, with 40 moves!!
L B' U' L' D B2 U2 F' L' R2 U L2 F2 U' R2 F2 D2 F2 U' L2 F'
z2 //inspection
L' U' L2 U2 L' U' F' r' U2 r' U2 r2 //223 (12/40)
U' R2 U2 R2 U2 F R' F' //dfR square (8/40)
F' U2 F // pair (3/40)
R f R' U R U' R' f' //rf2g (8/40)
R' U2 R2 U R2 U R2 U2 R' //2gll (9/40)
Could be 39 moves with a cancel between dfR and pair, but 40 moves is great to start out with!
Next: L U2 F2 L' B2 L2 U2 B2 R' D2 F2 L B' F L' B' R F2 D' U R2
L U2 F2 L' B2 L2 U2 B2 R' D2 F2 L B' F L' B' R F2 D' U R2
y z'
b R2 b' U' B2 U' R B' // FB
U' r U R' U' F' U' F // CP
r' U r R U2 r U r' // EO
U' M2 U r2 // 223
R' U R U' R2 U R' U' R U2 R' U R // F2L
U' R' U2 R2 U R U R U' R' U' R2 U R U2 // 2GLL
I did a CEOR, a.k.a. Noah's CP2. One of my favorite non-main methods.
Next: R' B' L2 F2 U2 R D2 R' B2 D2 L U2 L B D L U F' L2 F2
L U2 F2 L' B2 L2 U2 B2 R' D2 F2 L B' F L' B' R F2 D' U R2
y z'
b R2 b' U' B2 U' R B' // FB
U' r U R' U' F' U' F // CP
r' U r R U2 r U r' // EO
U' M2 U r2 // 223
R' U R U' R2 U R' U' R U2 R' U R // F2L
U' R' U2 R2 U R U R U' R' U' R2 U R U2 // 2GLL
I did a CEOR, a.k.a. Noah's CP2. One of my favorite non-main methods.
Next: R' B' L2 F2 U2 R D2 R' B2 D2 L U2 L B D L U F' L2 F2
R' B' L2 F2 U2 R D2 R' B2 D2 L U2 L B D L U F' L2 F2
z2 // Inspection
F' B' R2 D2 R' D // Cross
U' F U2 F' U' L U L' // 1st Pair
F' U F U2 B U B' // 2nd Pair
D R' F R F' D2 y' R U R' U F' U' F D // Psuedo-Pair
y2 Fw R U R' U' Fw' R' U2 R U R' U R // OLL
y L' U' L F L' U' L U L F' L2 U L U'
F' U2 R2 U2 B' U2 F2 L2 U2 F2 U2 F2 L U R U F' D R' B' D'
z
R' U M r' F B2 U2 B2 // FB
R' U R2 r U2 R U' R' U' r' U M2 U2 r U r' // SB
U' B' R B R' U2 R' U2 R // CMLL
M2 U2 R U' r' U' M' U r U r' // EO
U' M2 U M U2 M // LSE
Next: L U2 B R2 B2 L2 U2 B' D2 B U' L B' U2 L' B2 F2 U
z2 // inspection
S U2 S' R U R' U' R2 L U' L' U2 r U2 r' // 223 (15/48)
U' R U R U R' U2 R F R' F' // dfR square + pair skip (11/48)
f R' F' R f' U2 F R //rf2g (8/48)
U R' U2 R U R' U R2 U R' U R U2 R' // 2gll (14/48)
Next: L' D2 B R U2 L U F2 D2 B2 R' L2 U2 B2 R B2 D2 F2 L' B R2
L' D2 B R U2 L U F2 D2 B2 R' L2 U2 B2 R B2 D2 F2 L' B R2
y' x
F' E B2 U2 R' U F' // FB
U2 R' U2 R U' R' U' R' U' M U' r // SB
U' l U R' D R U' R U' R2' D' R U l' // CMLL
U' M' U' M' U' M' U M2 U' M' U2 M2 U2 // LSE
Next: L2 B' D' L B' R' L D U2 F2 L F2 R D2 R' U2 D2 F2 R' F' R
L2 B' D' L B' R' L D U2 F2 L F2 R D2 R' U2 D2 F2 R' F' R
// ZZ-VH
F D M U' M' D2 F2 (U D') F2 // EO Xcross (10)
U' L U L' R U' R' // dFR (7/17)
U2' L R' U R // dBR (5/22)
U L' U2' L U L' //dBL (6/28)
U2' R' F2 R U2' R U2' R' F2 U' R U' R' // COLL (13/41)
L2 U' S' L2' S L2 U L2' // EPLL (8/49)
NEXT: D L' D2 L2 U2 B2 L' U2 B2 L' B2 U2 B2 U' F L B F L R B
L2 B' D' L B' R' L D U2 F2 L F2 R D2 R' U2 D2 F2 R' F' R
// ZZ-VH
F D M U' M' D2 F2 (U D') F2 // EO Xcross (10)
U' L U L' R U' R' // dFR (7/17)
U2' L R' U R // dBR (5/22)
U L' U2' L U L' //dBL (6/28)
U2' R' F2 R U2' R U2' R' F2 U' R U' R' // COLL (13/41)
L2 U' S' L2' S L2 U L2' // EPLL (8/49)
NEXT: D L' D2 L2 U2 B2 L' U2 B2 L' B2 U2 B2 U' F L B F L R B
D L' D2 L2 U2 B2 L' U2 B2 L' B2 U2 B2 U' F L B F L R B
y2 // inspection
D' R' U' M F U M2 U2 B U' r U r' U2 r' //223 (15/48)
R2 U R' S' U' S U R' U2 R U R' // rb (12/48)
U F' U2 F2 R' F' R U R //rf2g (9/48)
U' R U2 R2 U2 R2 U R2 U R2 U' R' // 2gll (12/48)
Next: B' L2 B2 U2 B U2 R2 B U2 F' L2 R B2 L' D F2 R2 B' R2 F
B' L2 B2 U2 B U2 R2 B U2 F' L2 R B2 L' D F2 R2 B' R2 F
y z
R B' r2 D U R B' // FB
R' U' M r' U r U R U2 r U2 r U' R' // SB
U' U L' U' L U L F' L' F // CMLL
M' U' M U2 M U' M' U' M U2 M' U' M' U2 M2 U2 M // CMLL
Next: R2 F2 U2 D' L F L F2 U' B2 D2 R D2 L F2 R2 U2 D2 R2
This one is actually good, 57 OB, 50 RB, and a 19-move F2S+LEFI
L2 F' L2 D2 F L2 F' R2 U2 L2 B L' D' F' R B D' B2 L U2
z2 y // Inspection
D' U' F' U F D y2 x U Rw' U' R U M' U Rw' U2 R U R' y // F2S+LEFI
R S R S' // EO
R2 U' R' U S U2 S' // L2DE+NFL
R' U R U' // Numann Second Look
R' U R' D' R U2 R' D R2 // Numann Third Look
y R2 U S' U2 S U R2 U' // PLL
Next: U2 L2 U F2 U B2 U R2 U R2 L' F2 D2 B R2 D2 U2 B' R U
This one is actually good, 57 OB, 50 RB, and a 19-move F2S+LEFI
L2 F' L2 D2 F L2 F' R2 U2 L2 B L' D' F' R B D' B2 L U2
z2 y // Inspection
D' U' F' U F D y2 x U Rw' U' R U M' U Rw' U2 R U R' y // F2S+LEFI
R S R S' // EO
R2 U' R' U S U2 S' // L2DE+NFL
R' U R U' // Numann Second Look
R' U R' D' R U2 R' D R2 // Numann Third Look
y R2 U S' U2 S U R2 U' // PLL
Next: U2 L2 U F2 U B2 U R2 U R2 L' F2 D2 B R2 D2 U2 B' R U
U2 L2 U F2 U B2 U R2 U R2 L' F2 D2 B R2 D2 U2 B' R U
y2 //inspection
F2 D' B L' B2 R U' M' B' r2 U r //223 (12/44)
R2 U2 R U' R' U R2 u R U R' u' F'
U' F // rb (15/44)
U2 f R' F' R f' U2 F R //rf2g (9/44)
R2 U' S' U2 S U' R2 U2 //2gll (7/44)
Next: L2 F' U2 R2 B2 R2 F2 D2 L F2 L B2 R F2 U' F' D2 R' B F L