去评论
推扬网

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

admin
2020/06/30 23:38:30

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

两个月前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步。