cube files
Indexed Cube Lovers Archive
Archives
Independent proof of 26-move upper bound for half-turn metric
Submitted by rokicki on Thu, 12/06/2007 - 13:34.Starting over Thanksgiving break, I decided to let my H-coset solver
run on my personal machines on a bunch of the H cosets, starting with
the most symmetrical ones and moving down to the less symmetrical ones.
My H-coset solver uses the Kociemba two-phase algorithm, but for all
19B elements of an H-coset in parallel, rather than for a single cube
position. (It's just the Kociemba two-phase algorithm augmented with
a 19B-element bit table, roughly.)
As of today, I have completed 4,748 such cosets, using a depth of at
least 16 for phase 1 and proving that each element of most of these
run on my personal machines on a bunch of the H cosets, starting with
the most symmetrical ones and moving down to the less symmetrical ones.
My H-coset solver uses the Kociemba two-phase algorithm, but for all
19B elements of an H-coset in parallel, rather than for a single cube
position. (It's just the Kociemba two-phase algorithm augmented with
a 19B-element bit table, roughly.)
As of today, I have completed 4,748 such cosets, using a depth of at
least 16 for phase 1 and proving that each element of most of these
» 4 comments | read more
