There might be more 1LLL algs then we think...

[ShadowCurv]

I have been generating 1LLL algs on cube explorer, and by the end of the hour I had generated more than 1.5 million algs. I loaded them into cube explorer to see how many seperate cases there were, and I turned off loading icosomorphs and inversions. This should end up with about 1200 cases, right? Maybe 3900? I don't know why, but it turned out to be a total of 4446 cases! And I don't think that's it! Maybe this is a bug? Or am I looking at this wrong?

 

[Daniel Lin]

Maybe you had multiple algs for some cases but you counted them as separate cases

 

[guysensei1]

Maybe you had multiple algs for some cases but you counted them as separate cases

or AUFs

 

[ShadowCurv]

Maybe you had multiple algs for some cases but you counted them as separate cases

but if I excluded isomorphics, wouldn't that find the optimal solution for each case and only put one in?

 

[xyzzy]

but if I excluded isomorphics, wouldn't that find the optimal solution for each case and only put one in?

That's only for loading from a file.

Also, Birdflu.

 

[ShadowCurv]

That's only for loading from a file.

Also, Birdflu.

I did load from a file. And what is Birdflu?

 

[xyzzy]

I did load from a file. And what is Birdflu?

Birdflu has literally every last layer alg up to 17 moves (and a few that are longer). There's no need to generate algs yourself.

Also, AUF isn't an isomorphism. Cube Explorer treats U and U2 as separate cases, for example.

 

[ShadowCurv]

Birdflu has literally every last layer alg up to 17 moves (and a few that are longer). There's no need to generate algs yourself.

Also, AUF isn't an isomorphism. Cube Explorer treats U and U2 as separate cases, for example.

Thanks for the source! I would have never found it myself.

 

[Hazel]

I have been generating 1LLL algs on cube explorer, and by the end of the hour I had generated more than 1.5 million algs. I loaded them into cube explorer to see how many seperate cases there were, and I turned off loading icosomorphs and inversions. This should end up with about 1200 cases, right? Maybe 3900? I don't know why, but it turned out to be a total of 4446 cases! And I don't think that's it! Maybe this is a bug? Or am I looking at this wrong?

The fastest way to know that it's less than 4446 cases is to just to multiple the possible PLL cases (72) times OLL cases (57) which gives you 4104, but It would be significantly less than this when taking symmetry into account.

 

[Lid]

The fastest way to know that it's less than 4446 cases is to just to multiple the possible PLL cases (72) times OLL cases (57) which gives you 4104, but It would be significantly less than this when taking symmetry into account.

You're thinking of 22 * 58 = 1276?
If you gonna use 72 for PLL then you have to use 216 for OLL = 15552.
(Don't forget to count the solved cases.)

Here is a classic webpage: http://www.ai.univ-paris8.fr/~bh/cube/ lists 1212 cases for 1LLL.

 

[Hazel]

You're thinking of 22 * 58 = 1276?
If you gonna use 72 for PLL then you have to use 216 for OLL = 15552.
(Don't forget to count the solved cases.)

Here is a classic webpage: http://www.ai.univ-paris8.fr/~bh/cube/ lists 1212 cases for 1LLL.

Well for each OLL case there's 72 or less algs, 72 is for PLL because you have to count different AUF's as different cases. For ZBLL, 72 PLL cases * 7 OLL cases is 504, which is a close estimate, but for full last layer you would need to subtract a bunch more for symmetry.

 

[DGCubes]

Well for each OLL case there's 72 or less algs, 72 is for PLL because you have to count different AUF's as different cases. For ZBLL, 72 PLL cases * 7 OLL cases is 504, which is a close estimate, but for full last layer you would need to subtract a bunch more for symmetry.

You would have to add 21 for the solved OLL case though, or just do 58 * 72 if you want an upper bound.