• 语料库ID:15390634

魔方25个动作就够了

@文章{Rokicki2008TwentyFiveMS，title={魔方二十五个动作就够了}，作者={托马斯·罗基基}，日志={ArXiv}，年份={2008}，体积={abs/0803.3435}，url={https://api.semanticscholar.org/CorpusID:15390634}}
本文描述了一个程序，该程序能够以每秒超过1600万个位置的速度找到长度为20或更小的解，并表明没有位置需要26个移动。
[PDF]语义阅读器

本文中的表格

12引文

魔方组的直径是二十

我们解释了我们的计算证明，即魔方的每个位置都可以在20次或更少的移动中解决，其中移动被定义为任何面部的任何扭曲。大约4.3美元…

利用并行磁盘求解魔方

魔方的工程最优解

这项工作生成了近一个Terra字节的数据库，并使用它们来证明Korf的假设，即运行时与模式数据库大小呈反向线性关系，对于比他在工作中使用的数据库大小大三个数量级的数据库来说，这一假设仍然成立。

使用SAT解算器求解魔方

本文改进了现有的SAT求解器，并基于PrecoSAT开发了一种新的SAT解算器，尽管它仅适用于魔方，其中SAT转换和新的求解技术都是有效的。

用标准表示法求解域无关规划器的魔方

本文介绍了流行的PDDL语言中的第一个RC表示，以便PDDL规划者、竞赛和知识工程工具更容易访问该领域，并且更易于人类阅读。

结合精确方法求解魔方的进化方法

这项工作在经典Thistlethwaite方法的基础上提出了一种进化方法，以解决移动次数少的魔方问题，并从头开始设计进化算法，包括作者自定义适应度函数的详细推导。

用软硬件协同设计求解魔方的两种方法

硬件/软件协同设计用于求解魔方的随机配置，并使用两种算法：基本算法和Kociemba算法。

找到上帝号码的人

这是一个关于两个问题的故事。多年来，汤姆·罗基基（Tom Rokiki）一直致力于确定魔方中上帝数字的精确值（魔方中求解魔方所需的最小移动次数）…

魔方解软件与SWOT分析在输入输出过程建模中的比较

魔方探索者是第一个魔方的魔方解决方案程序，能够使用大约30次旋转从任何起始位置解出一个魔方，在这第一个软件之后，开始了世界各地不同解决方案程序的不同个人开发。

结合人类策略的遗传算法的经验基准

雨果！从魔方的复原问题中产生并应用到该问题中，成功地解决了这一任务，并证明了结合的人类策略提高了遗传求解器的性能，使其具有人类竞争力。

16参考文献

二十到六步的移动就足够魔方了

25年来，解决魔方任何状态所需的移动次数一直是一个长期存在的猜测问题，使用8000个CPU小时可以产生26的改进上限。

利用模式数据库寻找魔方的最优解

找到了魔方随机实例的第一个最优解，并假设程序的整体性能服从一个关系，其中所用时间和空间的乘积等于状态空间的大小。