计算机证明魔方还原步数小于23
<P> 转载：Solidot 作者：Solidot 编辑：Kaiputer </P><P> Rubik's Cube的中文名叫魔方，是匈牙利的Rubik教授在1974年发明的智力玩具。去年两位东北大学学生用了一点手上的空闲时间证明任何结构的魔方都能在26步内还原。 两个月前Tomas Rokicki，在斯坦福大学受过训练的数学家更胜一筹，他证明没有一种结构的魔方需要26步才能还原，因此他将还原最少步骤降至25步。 Rokicki的证明完全依靠计算机科学，他使用立方体的对称来研究集合内的转换，这允许他将“立方体空间”分割成20亿个集合，每个集合包含200亿个项。</P>
<P>他发现许多集合与其它集合本质上是相同的，因此可以去除。为了完成整个计算，他需要一个8GB内存、1.6GHz Q6600处理器的的工作站运行1500小时。 </P>
<P> 日前，Tomas Rokick个人主页的更新，他宣布任意结构的魔方都可以在23步内解决。他之前进行运算的工作站为8G内存和1.6GHz Q6600 CPU，现在已经升级为一台超级计算机，索尼图形图像运作公司（Sony Pictures Imageworks）提供给他使用（当然是在电影制作空闲时间内）。在这个曾经制作了《蜘蛛侠3》和《冲浪企鹅》的工作室的帮助下，新的计算结果暗示任意结构的魔方可能的解决步数是21、22或23步。 </P> 太强大了............顶 已经差不多达到神的境界了:lol 太厉害了 实战中没法用，打乱就有用了。用计算机算会越算越少？ 不是说官方说计算机最少还原也只能是26步吗?怎么变成23了? 支持一下。。。。。。。。。。。。。。 8G内存的工作站预算1500小时！！真是。。。。。 支持一下....真是越算越小步了 这么厉害，要是实战中人类也能这样解决，那就太强大了 又刷了啊...最小步数还原我还一点不会呢..哈哈~~
支持啦..