火炬灯 swMATH ID: 13534 软件作者： 霍夫曼，J。 描述： 分析搜索拓扑而不运行任何搜索：关于因果图和h+之间的联系。忽略删除列表松弛对于满足和优化规划都至关重要。在早期的工作中，人们观察到最优松弛启发式h+在许多经典规划基准中具有惊人的品质，特别是在完全没有局部极小值的情况下。这方面的证明是手工制作的，这就提出了这样一个问题：是否可以通过领域分析技术自动引导此类证明。与之前令人失望的结果相反，该分析方法具有指数运行时间，并且只在两个极其简单的基准领域中成功，我们在此肯定地回答了这个问题。我们建立了因果图结构和（h+）拓扑之间的联系。这就产生了低阶多项式时间分析方法，并在我们称为TorchLight的工具中实现。在已经证明不存在局部极小值的12个域中，TorchLight在8个域中提供了强有力的成功保证。从经验上看，它的分析在另外两个域中表现出很强的性能，再加上在另外四个域中可能存在局部极小值，但很少出现。通过这种方式，TorchLight可以区分“简单”域和“硬”域。通过总结分析失败的结构原因，TorchLight还提供了诊断输出，指示可能导致局部极小值的领域方面。 主页： https://fai.cs.uni-saarland.de/hofmann/ff.html#火炬 相关软件： 图规划；超小卫星；糠；徒步旅行；自旋蛋白；STAN公司；IPC-4项目；PDDL公司；UCPOP公司；SAPA公司 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 在不运行任何搜索的情况下分析搜索拓扑：关于因果图和\（h^｛+｝\）之间的连接。 Zbl 1218.68160号霍夫曼，J。 2011 3位作者引用 三 霍夫曼，约格 1 卡梅尔·多姆什拉克 1 马塞尔·斯坦梅茨 2篇连载文章中引用 2 人工智能 1 人工智能研究杂志 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文