Thank you so much Lucas. I like math, so I expected these methods to be easy to grasp. When they weren't, I gave up in frustration. I love this basic introduction to group theory and cube math. It makes so much more sense when explained like that.
You can't start pruning the search aggressively until you've found a few solutions. Kociemba starts finding solutions with about 10 moves in phase one. I don't know God's number to solve F2L on average, but I'd guess it's significantly higher -- enough to make the initial BFS really impractical (at least, when "real" Kociemba is an option).But in Kociemba, you also need to enumerate a lot of phase 1 solutions. Maybe not at the shortest phase 1 lengths, but then later when you're trying longer phase 1 lengths. And I don't see why that's easily possible but with F2L it's impossible. Let's say the whole given cube can be solved in x moves and you're looking for phase 1 solutions of length x, aren't then both versions pretty much even enumerating all whole cube solutions?
Btw, would we ever really "Try all the solutions that take 25 moves for F2L", given that the whole cube can always be solved in 20 moves so at phase 1 length 20 we'd find a phase 2 solution of length 0 and stop?
In fact, we can extend this and keep looking. Here's our plan:
We abort the original 26-plan and continue our search wtih a new upper bound:
For 3x3x3, we happen to know that the optimal solution must be at most 20 moves... but that's only because we know God's number. The approach works even if we don't know God's number.
Yeah, I do have a few consistency issues. I'll fix those.You should stick to "fewer than" (or subtract 1).
And you have "1 + 8 = 25" and "28 moves for F2L" and "25 - 25 = 7" typos.
Yeah, it uses min2phase. ;-)But it really does 5-8 as 2 phases, right?
But if the pseudo 3x3x3 phase actually used a conventional single-phase solver, you would get slightly shorter solutions (gnerally speaking) and execution time could be quite lengthy (based on the performance of available 3x3x3 single-phase solvers). So even though the pseudo 3x3x3 phase may be viewed as a black box from a point of view of coding the 4x4x4 solver, as far as how the solver works internally, I think it's clearly a 5-phase solver. I would say it's a 5-phase solver where optimization is performed across the last two stages, but not across any of the other phases.The name is technically "TPR-4x4x4-Solver", which is "Three-Phase-Reduction Solver + 3x3x3 Solver". From the perspective of the algorithm, though, the 3x3x3 stage is a 1-phase black box. You could call it a 5-phase solution overall, but I'm not sure if that's much more accurate.
|Thread starter||Similar threads||Forum||Replies||Date|
|Quest to become sub-10 Hawaiian Kociemba (ditching CFOP, HK is better & we have pineapples)||General Speedcubing Discussion||21|
|Quest For Sub 8 Hawaiian Kociemba (and other progress)||General Speedcubing Discussion||101|
|P||Can kociemba or other method solve the Rubik in 5 faces turn only?||Puzzle Theory||15|
|Hawaiian Kociemba 3x3x3 TUTORIAL - Method of Michael H.||General Speedcubing Discussion||222|
|H||Optimal 3x3x3 solvers, Korf and Kociemba questions||Puzzle Theory||18|
|Quest to become sub-10 Hawaiian Kociemba (ditching CFOP, HK is better & we have pineapples)|
|Quest For Sub 8 Hawaiian Kociemba (and other progress)|
|Can kociemba or other method solve the Rubik in 5 faces turn only?|
|Hawaiian Kociemba 3x3x3 TUTORIAL - Method of Michael H.|
|Optimal 3x3x3 solvers, Korf and Kociemba questions|