杨，F。；J.卡尔伯森。；霍尔特，R。；美国扎哈维。；A.费尔纳。 可加状态空间抽象的一般理论。 （英语） Zbl 1182.68078号 J.阿蒂夫。智力。研究（JAIR） 32, 631-662 (2008). 总结：非正式地，如果S中任意两个状态之间的距离始终大于或等于抽象空间中相应距离的总和，则状态空间S的一组抽象是可加的。第一个已知的加法抽象，称为不相交模式数据库，被实验证明可以在某些状态空间上产生最先进的性能。然而，以前的应用仅限于具有特殊属性的状态空间，这使得不相交模式数据库无法定义为几个常用的测试床，例如Rubik的Cube、TopSpin和Pancake拼图。本文给出了可应用于任何状态空间的可加抽象的一般定义，并证明了基于可加抽象理论的启发式算法是一致的，也是可容许的。我们使用这个新定义为这些测试床创建附加抽象，并通过实验表明，精心选择的附加抽象可以大大减少（18,4）-TopSpin谜题的搜索时间，并且比17-Pancake谜题的最新方法减少了三个数量级。我们还导出了一种测试方法，以验证加性抽象返回的启发式值是否过低，并表明使用此测试可以将15字谜和TopSpin的搜索时间大约减少两倍。 引用于11文件 MSC公司： 第68页，共15页 数据库理论 关键词：不相交模式数据库 软件：顶部旋转 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang}等人，J.Artif。智力。研究（JAIR）32，631--662（2008；Zbl 1182.68078） 全文： arXiv公司