Rubik's Cube Proof Cut To 25 Moves
KentuckyFC writes "A scrambled Rubik's cube can be solved in just 25 moves, regardless of the starting configuration. Tomas Rokicki, a Stanford-trained mathematician, has proven the new limit (down from 26 which was proved last year) using a neat piece of computer science. Rather than study individual moves, he's used the symmetry of the cube to study its transformations in sets. This allows him to separate the 'cube space' into 2 billion sets each containing 20 billion elements. He then shows that a large number of these sets are essentially equivalent to other sets and so can be ignored. Even then, to crunch through the remaining sets, he needed a workstation with 8GB of memory and around 1500 hours of time on a Q6600 CPU running at 1.6GHz. Next up, 24 moves."
What are these magic 25 moves that can solve a rubik's cube regardless of starting position?
Give me Classic Slashdot or give me death!
The correct answer is a hammer.
Just -1, Troll talking to another.
Imagine a Beowulf cluster of those!
Why wasn't the Q6600 at 2.4ghz like normal? Anyone know?
Someone should tell these people it's cheaper to take the cube apart and reassemble it correctly.
must... stay... awake...
Sure, it will take me more than 25 moves to switch out all the stickers, but where's the dishonest satisfaction that comes with your method?
When I was little, I still remember annoying the crap out of my older brother by "solving" his Rubik's cube removing and replacing the stickers in the correct location. Eventually the glue would wear off the dots and you would suddenly have a slightly easier puzzle to solve.
This Green Technology uses 1/26th less energy to solve a rubix cube! When's the IPO?
he took 1500 hrs to solve that damn thing. I take a minute. have a random chinese guy and the cube orders itself. Dammit! sorry. i just took calculus test and my caffeine dosage is nondecreasing at exponential rate.
I suggest you read Slashdot
Comment removed based on user account deletion
This is a good example of where the inefficient method (of about 60 moves iirc) is much faster in terms of time. The 25 move solution is elegant but just not worth it in terms of computations, time etc...
:-)
This could make a good case study for business schools
I'm still waiting on that ONE magic move.
-Nemo me impune lacessit-
I consider a Rubik's Cube to be "solved" regardless of its starting position. I subscribe to the Fred Rogers solution: it's fine just the way it is.
--I'm so big, my sig has its own sig.
-- See?
Where can I sign up to fund this sort of science? Fuck DARPA, this is what's important to me. This, and most of what EFF does.
moox. for a new generation.
Is this becoming common for proofs to be done by searching through billions of combinations (albeit, reduced to that number only through some clever observations about symmetry) and simply showing that each one is possible because your computer found a solution? Sometimes we talk about the number of steps in a proof, this proof must have trillions of steps. Not complaining, it just seems like a uniquely computer-age technique. I know of no reason to assume that every true thing that can be proven has a concise, elegant proof - in fact I'm sure that cannot be true because there are only so many small numbers to go around!
Since it took just a few months for someone to do this on one computer, this seems like an ideal candidate for a small-scale distributed computing project. TFA says his program's working on 24, so he already has an algorithm. Assuming it's massively parallelizable, which from the description of the method seems very likely, it shouldn't take too many computers to get to 24 in a matter of days. Anyone care to implement the algorithm in one of the open-source distributed computing frameworks out there?
I proved the same thing using only 7GB of memory and only 1400 hours of time on a Q6500 CPU running at 1.5GHz. Though to be fair, I have my house wired 221 and my amp was set to eleven.
In my research, I've reduced female behavior to a set of 50 million parameters. By partitioning this space into subspaces and finding equivalent sets, I think I might be able to get laid.
However I've noticed a problem: if I introduce a parameter to model a female's response to this research, the spaces collapse to zero, i.e., a null set.
I find this quite puzzling. Simply by examining my chances of getting laid, I reduce my chances to zero.
Did I mention I can solve the Rubik's cube in 25 moves?
Imagine, for a moment, the time savings if he were running his software at the default frequency of his processor (2.4 GHz).
I've been doing some interesting work in the other direction. I've managed not to solve a Rubik's cube in what I estimate to be 1.5 million moves. That seems to be the upper limit after which the stickers fall off.
Here's the paper itself, if you want more detail than the very general summary in TFA.
I started with a solved cube and now it looks totally scrambled.
1. Hammer. 2. Glue.
One to break apart, and 20 to reposition/reassemble.
You'll never get to single digits on a truly scrambled cube.
You are being MICROattacked, from various angles, in a SOFT manner.
....or a girlfriend.
Oh yeah? Well, I proved that Max Headroom's face can be represented with just 24 polygons!
Table-ized A.I.
and around 1500 hours of time
pfffft... Java
Last I checked, the Q6600 ran at 2.4GHz, not 1.6GHz...
Of course, 25 moves are needed in worst case. Usually, you can solve the cube just in a few moves, say, for example: blue yellow blue blue yellow white red green green yellow red red, and that's it!
Take every possible unique configuration of the cube (those that are obtainable by legal moves--no rearranging stickers or disassembling allowed). Represent each configuration by a vertex. Now join two vertices by an edge if and only if the configurations represented by those two vertices differ by a single move (we will elaborate on what constitutes a "single move" later). The result is a mathematical object called a graph. A horrendously giant graph.
One, and only one vertex in this graph corresponds to the solved configuration of the cube.
Note that this graph represents all possible moves and positions--any scrambled cube is a vertex somewhere in the graph, and solving that cube is equivalent to traversing a path in this graph to the "solved" vertex. In general, many paths to the solution exist, some of which will be shorter than others.
The question of interest is this: Which vertex/vertices of this graph is/are farthest away (i.e., requiring the most edge traversals) from the solved vertex, and how far is it? As of this latest discovery, this maximum distance is 25. It means that every possible scrambled configuration of the cube can be solved in 25 moves or less.
Wikipedia notes that we know that at least 20 moves are required to solve the cube for every configuration--that is to say, we know that this maximum distance is at least 20 (there exists some vertex that is at least 20 steps away from the solved vertex). It is believed that the true "least upper bound" is closer to 20 than it is to 25.
Finally, we should clarify that a "single move" can either mean a rotation of a face by either a quarter- or half-turn, or it could mean a quarter-turn only. These different metrics of what constitutes a "move" leads to different answers.
The stock speed of the Q6600 is 2.4Ghz.
Won't happen. There are positions that require 20 moves.
No problem,
we'll just get on with normal life - for some years or more.
Tap us on the shoulder when you're finished.
Oh and umm, how high can you count?
This is a proof of upper limit, not an optimal solution. He proved is that all possible combinations of 26 moves yielded a position which was symmetrical to a cube with a lesser number of moves applied to it.
An optimal solution would probably look like a bell curve going from "zero moves required" (ie. already solved) all the way up to "25 moves required" (which we now know is the upper limit...)
No sig today...
He or she did suggest 25 moves, no more, no less. I counted them myself so that you don't have to.
http://truckbearingkibble.com/comic/2008/03/10/eureka%C2%B3/
Up, Up, Down, Down, Left, Right...,
Don't think of it as a flame---it's more like an argument that does 3d6 fire damage
In light of a certain parallel programming news item a few days ago, I'd like to see him use the same code, same CPU on this one: http://www.youtube.com/watch?v=UrjmeYdVTlc. Hold your breath for that solution.
.
I'm going to contribute nothing to this conversation other than to be a nazi and point out that the q6600 CPU runs at 2.4ghz, not the 1.6ghz listed in the article
http://techgage.com/article/intel_core_2_quad_q6600/
using the A* algorithm solves a rubiks cube within SECONDS on similar Hardware!
maybe it's better, not to use brute force, even if the depth of the recursion tree is limited to 25...
The MAFIAA is a bunch of mindless jerks who will be the first up against the wall when the revolution comes
I'll stick with the Fridrich method! http://www.ws.binghamton.edu/fridrich/cube.html
I'm pretty sure most of my negative mods lately are directed at my sig, not the content of the posts, since this instance was clearly a joke. It might not be funny, but it's also not a troll.
(this is a good -1 offtopic, btw)
If you build it, nerds will come. Soylentnews.org
Wow! First it was 30 moves, then 26, now only 25. They're shooting for 24, will 23 come next?
So how long will it be before there's a way to solve any cube configuration with just three moves?
Does anyone on /. not have a Rubik's Cube? I'm not trying to flame at all... just an honest question.
I can think of better ways to spend 1500 hours on Q6600 with 8gb ram. Just have to add a pair of HD 3870X2's (or pair of 9800GX2 ).
David Joyner has a book which explores some of the math behind the Rubik's cube: http://www.amazon.com/Adventures-Group-Theory-Merlins-Mathematical/dp/0801869471
If you are interested in playing around with the symmetry group associated to the Rubik's cube, Sage (http://www.sagemath.org) has good support for it; the documentation can be found at http://www.sagemath.org/doc/html/ref/module-sage.groups.perm-gps.cubegroup.html . Sage also includes a number of efficient solvers for the Rubik's cube.
Nobody who knows how to solve a cube would be "fooled" by this. Not even for 0.000001 seconds. It'd be "oh, you swapped two stickers, how childish".
No sig today...
I have to admit, in reading the summary, Tomas Rokicki's name seemed very familiar....
And of course! He's the author of dvips! So we have him to thank not only for this cutting-edge breakthrough in mathematical solutions to Rubik's Cube, but also for turning our not-overly-portable DVI files into beautiful, beautiful Postscript.
iSKUNK!
you got your -1 offtopic (which I now will also) but I fail to see how discusing the number of possable moves is off the topic of discussing the number of moves? *Head Explodes*
Memory is deceptive because it is colored by today's events. - Albert Einstein
A "perfect" solution in 25 moves would be impossible for a human, it would basically mean knowing all possible combinations of the cube and how to get there (and that's an awful lot of combinations!)
I actually solved the cube all by myself back in the 80's. I'm amazed that so much effort is still being put into it and some of the methods used by the record breakers need an awful lot of dedication to learn.
No sig today...
Sounds like he did a basic bruteforce to me. Sure he took down some of the possibilities by ruling that they were duplicate cases albeit in diffrent configurations, but it still sounds like he bruteforced every possible move of a certain starting configuration on the cube until he found one that worked in 25 or less tries, and then continued on to the next starting configuration. Why is this news?
...1500 hours of time on a Q6600 CPU running at 1.6GHz... Seems like the Stanford university didn't find Rubic's Cube important enough to let him borrow this.You should be able to clock to 3.6ghz, so I assume it was a typo. You'd be dumb to underclock it for something which runs for nearly 9 weeks.
You're trying to bring logic to the discussion of Slashdot's moderation system? To quote the bard, "That way madness lies."
If you build it, nerds will come. Soylentnews.org
Once I learned to solve the Cube, I would amuse myself from time to time by taking it apart and reassembling it in a random configuration, and then trying to solve the resulting mess.
With a little group theory you can show that you will be able to solve a randomly reassembled Cube 1/12 of the time.
pi = 2*|arg(God)|
Which is why I cook popcorn in a 10 kilowatt microwave oven for 5 seconds.
There are no karma whores, only moderation johns
I'll bet the computations could have been finished a lot faster (development time excluded ;) on a PS3 http://cag.csail.mit.edu/ps3/
Okay, time for some math now. First off, let's calculate the number of possible positions ( PP ) of a Rubik's Cube. At first it would seem that the number could be determined as follows:
PP = 12! * 2^12 * 8! * 3^8 = 519,024,039,293,878,272,000 = 5.19 * 10^20
But the cube has a "parity" of 12, and any of the following result in an unsolvable cube: two edge pieces switched in position, one edge piece flipped, one corner piece twisted. This means that if a cube is taken apart and randomly reassembled, it has 11/12 = 91.667% chance of being reassembled into an unsolvable position. But I digress.
So, taking into account parity of 12, the number of possible positions is:
PP = ( 12! / 2 ) * ( 2^12 / 2 ) * 8! * ( 3^8 / 3 ) = 43,252,003,274,489,856,000 = 4.33 * 10^19
Next we need the number of reachable positions ( RP ) after n moves. There are 18 possible ways to turn a face on each move, but after the first move we will assume 17 since the 18th would be undoing the previous move. So after n moves, the number of reachable positions is given by:
RP = 18 * 17^( n -1)
So, after how many moves does the number of reachable positions ( RP ) exceed the number of possible positions ( PP )? That will be the lowest integer value of n where:
18 * 17^( n -1) > 4.33 * 10^19
Logarithms to the rescue:
log 18 + ( n -1) * log 17 > log (4.33 * 10^19)
1.2553 + 1.2304 * ( n -1) > 19.636
1.2304 * n > 19.611
n > 15.939
Take that as showing that for n = 16, the number of possible move combinations exceeds the number of all possible cube positions. So God's algorithm might take as few as 16 moves. Personally, I think that the value is likely 2 or 3 moves higher than this bare minimum. So let's say 19 moves.
Not diminishing the significance of a 25 move algorithm, but the math suggests God's algorithm is 19 moves. Guess it will take a few years to muster the brute force computing power to demonstrate this.
It only took me about 40 seconds back in my junior high days when the Cube came out.
I thought there was a "Select" before the "Start" as well as two "B A" s, but I forget what game that was even for, so I could be mistaken.
Moving colored stickers? Amateurs! I can solve any cube in three moves... with a can of spray paint. Point, spray, spin.
When our name is on the back of your car, we're behind you all the way!
Heck, I probably won't even be able to finish this comme
I one met Erno Rubik himself.
Nice guy and all, but it took me half an hour to finish shaking his hand.
Slashdot Burying Stories About Slashdot Media Owned
"He needed a workstation with 8GB of memory and around 1500 hours of time on a Q6600 CPU running at 1.6GHz."
Can someone teach this guy MPI or at least OpenMP? This could have read "One hour on a modest supercomputer!"
"Pull", "Fire"
This does require use of a shotgun, of course.
"Don't you know you're going to shock the monkey?"- Peter Gabriel
Life is wet, then you dry.
How are the current versions of lower/upper limits of solutions to n-dimensional cubes with n not necessarily 3? It might sound ridiculous to you but I'm willing to bet my pants that some mathematician has thought about it and come up with some results.
THIS, is the reason why I still read Slashdot.
For making a comment which is simultaniously
- Interesting
- Funny
- Geeky
- True
- and involving Math
I salute and humbly bow.
This sounded (from the summary, I didn't RTFA) like he did a brute force solve on every possible combination out there (after eliminating ones that were symmetric or could be solved the same way).
So, it seems like there were some scrambles which required 25 moves. If he used brute force to find the 25 move solution, thats the end of the problem. No magic is going to find a 24 move solution which a brute force didn't find.
This is the same Tomas Rokicki who back in 1986 ported Tex/LaTeX to the Amiga,
wrote dvips, and wrote the uber-cool version of the Game of Life
on the Amiga that used the Blitter graphic coprocessor chip:
20 generations per second on a 320 by 190 grid in 1986. Amazing.
Adjusting for Moore's Law (a factor of 2 every 1.5 years), an equally
impressive implementation on today's PCs should run at 52,000 generations per
second.
Thanks Tomas. I wrote my PhD thesis on my Amiga 1000 with your AmigaTeX.
- Anonycous Moward
Just a thought, wouldn't it be possible to define a random state, then with a solved cube, count how many moves it took to get to that state?
Hi, I Boris. Hear fix bear, yes?
Hello. I do not have Asperger Syndrome and therefore could not understand what was just written in the synopsis. Worst yet, I do not even understand why it is important that a person can solve a Rubiks cube in 25 moves. I feel really left out and as a result I am starting a Persons without Asperger Support Group. If you too are totally lost by this article and fell left out, please join.
You don't have to be smart to use a Mac, you just have to be smart enough to buy one
No you won't, he'll spot it within seconds.
There's no way in hell he'll be "frustrated" or anything like that.
No sig today...
... this IS news that matters!
Prov 9:8 Do not rebuke mockers or they will hate you; rebuke the wise and they will love you.
How very strange that on slashdot of all places no one noticed the article:
"Even then, to crunch through the remaining sets, he needed a workstation with 8GB of memory and around 1500 hours of time on a Q6600 CPU running at 1.6GHz."
So they had to underclock this thing to get in phase resonance with the cube or what?
The Intel Q6600 is a nice little number that runs a 2.4Ghz out of the box.
"It's all just meme meme around here"
A 2 dimensional 3x3 cube is like a tic-tac-toe puzzle. ;^)
A 4 dimensional 3x3x3x3 tesseract is, well I don't know how to describe it
last post!!!
"8GB of memory and around 1500 hours of time on a Q6600 CPU running at 1.6GHz." - Should have clocked it to 3.0GHz like most other folks :D