New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rotations/wide turns for non-inspection events #148
Comments
Proof of correctness: A random top center and random front center means that the centers are a random non-reflected symmetry. Given a fixed suffix for a particular translation between centers, every permutation with this center orientation maps to exactly one with the original centers, so the full state is random. |
Shouldn't you also prove that each orientation is equally likely? If you're appending extra moves rather than changing existing ones, then |
Yes, that's the first sentence of the proof (just corrected a typo, though). This came out of a Delegate discussion. |
On Dec 27, 2013 8:28 AM, "Lucas Garron" notifications@github.com wrote:
Should the last 2 be Fw' and Fw? I don't see what F2 does for us :-)
This implementation sounds nice and easy. It just annoys me a bit that EDIT: I thought about this last week (around New Years), and decided this was a bad idea for two reasons:
|
…t start with. This will be useful for doing thewca#148 without introducing any redundant moves at the end.
@chenshuang, @clementgallet: Poke on confirming that the 4x4x4 scrambler is random-orientation without further changes. |
It's random-orientation but I cannot prove that each orientation has the same probability as the orientation is depend on the reduction procedure. |
Right, which is why I suggested: Place a random center on U, then place a EDIT: Were you talking about my proof for 3x3x3 (which is what I thought), or about the 4x4x4 scrambler? |
@smakisumi Could we have a mathematician in the house to check my 3x3x3/5x5x5 "proof"? |
If we have a problem with fixing two faces, why don't we just use two adjacent corners to keep it uniform for nxnxn type cube scrambles for all n we support? |
Lucas's proof for equal probability is correct. |
After discussing this with Jeremy, the plan for 4x4x4 will be to add rotations to the end of the solve. It's very clear that this does work, and avoids subtle issues that don't allow the 3x3x3 trick to work if we don't have a fixed component in the 4x4x4 scrambles. Since 4x4x4 BLD is scrambled less often, this shouldn't be as much of a trouble. Siva: I'm not sure what you're trying to say? |
444ni has been done here jfly@5021729. Closing this issue. |
I'm not convinced this is correct for 4x4x4. Any bias in the LwDwBw part (the pieces not affected by Rw, Uw and Fw moves) will remain, and we seem to be uncertain about such biases. |
I don't see how there could be any biases in that block. Perhaps I'm missing something subtle with the fact that 444 has multiple pieces that look exactly the same? I'm reopening this issue. @lgarron, could you convince Stefan we're ok here, or figure out what we need to do to be ok? |
Perhaps Stefan, like I, was confused about The generated scrambles appear to do the right thing. |
Closing this as I believe we did everything required here for the 2014 regulations. Feel free to reopen if necessary. |
That is, for BLD scrambles. I suggest the appending the following to every 3BLD scramble:
This is simple to understand (put a random center on U, then put a random center on F), allows the scrambler to keep the same centers on top and front for the most of the scramble (a useful crutch if you briefly lose track of orientation), is easy to prove correct, and doesn't require changing the solver.
The moves should be considered part of the scramble. That means that scramble filtering should be done on the result, and the resulting image should include these moves.
For 5BLD, these moves should be 3 slices wide (3Rw, 3Rw2, etc).
For multi BLD, all cube scrambles should be independently and oriented (although the same for every competitor).
For 4BLD, there is no fixed corner. Could someone (@chenshuang, @clementgallet?) confirm that we don't need to do anything, i.e. that the 4x4x4 scrambler produces a random permutation of corners, wings, and center without requiring any further orientation?
The text was updated successfully, but these errors were encountered: