Rubik's Cube的中文名叫魔方,是匈牙利的Rubik教授在1974年发明的智力玩具。去年两位东北大学学生用了一点手上的空闲时间证明任何结构的魔方都能在26步内还原。


计算机证明魔方还原步数小于23计算机证明魔方还原步数小于23


两个月前Tomas
Rokicki,在斯坦福大学受过训练的数学家更胜一筹,他证明没有一种结构的魔方需要26步才能还原,因此他将还原最少步骤降至25步。
Rokicki的证明完全依靠计算机科学,他使用立方体的对称来研究集合内的转换,这允许他将“立方体空间”分割成20亿个集合,每个集合包含200亿个
项。他发现许多集合与其它集合本质上是相同的,因此可以去除。为了完成整个计算,他需要一个8GB内存、1.6GHz
Q6600处理器的的工作站运行1500小时。


日前,Tomas Rokick个人主页的更新,他宣布任意结构的魔方都可以在23步内解决。他之前进行运算的工作站为8G内存和1.6GHz
Q6600 CPU,现在已经升级为一台超级计算机,索尼图形图像运作公司(Sony Pictures
Imageworks)提供给他使用(当然是在电影制作空闲时间内)。在这个曾经制作了《蜘蛛侠3》和《冲浪企鹅》的工作室的帮助下,新的计算结果暗示任
意结构的魔方可能的解决步数是21、22或23步。



[更多查看原文]

点评 Trackback 收藏它 拍它!
挖上一个精彩
挖客给您推荐更多精彩!
挖下一个精彩

这些挖友臭味相投 · · · · · ·


挖友说 · · · · · ·

 

匿名评论
(尊重网上道德,承担一切因您的行为而直接或间接导致的法律责任)

 

 
合作伙伴:   刷刷   煎蛋   动态网站制作指南   265上网导航   新新web2.0   9Fav就喜欢网   Linux桌面中文网   DigiArt   我爱水煮鱼   奇趣发现   IB资讯   天涯海阁
  乐婴网   cngadget   有意思吧   软件一千零一页  DiggLife  设计|生活|发现新鲜   掘客巴士  17Fav  掘图志   桑林志   91新鲜网   精灵的天下