• Welcome to the Speedsolving.com, home of the web's largest puzzle community!
    You are currently viewing our forum as a guest which gives you limited access to join discussions and access our other features.

    Registration is fast, simple and absolutely free so please, join our community of 40,000+ people from around the world today!

    If you are already a member, simply login to hide this message and begin participating in the community!

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

ShadowCurv

Member
Joined
Jun 22, 2018
Messages
9
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?
 
D

Daniel Lin

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

xyzzy

Member
Joined
Dec 24, 2015
Messages
2,878
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

Member
Joined
Jun 22, 2018
Messages
9
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

Premium Member
Joined
Apr 1, 2017
Messages
1,681
Location
in your walls :3
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

Member
Joined
Jul 8, 2008
Messages
909
Location
Sweden
WCA
2008LIDS01
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

Premium Member
Joined
Apr 1, 2017
Messages
1,681
Location
in your walls :3
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

Member
Joined
Feb 14, 2014
Messages
1,823
Location
Over there
WCA
2013GOOD01
YouTube
Visit Channel
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. :p
 
Top