• 语料库ID:15390634

魔方25个动作就够了

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

本文中的表格

魔方组的直径是二十

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

魔方的工程最优解

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

使用SAT解算器求解魔方

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

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

本文在流行的PDDL语言中给出了第一个RC表示,以便PDDL规划师、竞赛和知识工程工具可以更容易地访问该域,并且更容易被人阅读。

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

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

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

软硬件协同设计用于解决魔方的随机配置问题,并使用了两种算法:Basic算法和Kociemba算法。

找到上帝号码的人

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

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

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

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

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

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

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

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

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