×

使用启发式搜索技术解决CLP风格规范中的约束优化问题。 (英语) Zbl 1125.90428号

IEEE传输。知识。Data Eng.14,No.02,353-368(2002)。
摘要:本文提出了一种使用启发式搜索技术有效求解组合优化问题逻辑公式的框架。为了将成本、下限和上限规范与传统逻辑编程语言集成在一起,我们使用嵌入式构造来指定成本函数,并使用一些高阶谓词来指定下限和上限函数,从而扩充了CLP语言。我们举例说明了这个简单的扩展如何极大地提高了在扩展语言CLP*中指定涉及Min和Max组合的优化问题的易用性,并表明CSLDNF解决方案对于解决该语言中指定的优化问题是无效的。因此,我们描述了如何将使用CLP*指定的任何问题转换为隐式AND/OR图,并提出了一种算法GenSolve,该算法可以使用上下限估计进行分支和定界,从而充分利用启发式搜索技术的剪枝能力。提供了GenSolve的技术分析。我们还提供了用于解决CLP*程序的各种控制策略的比较实验结果。

MSC公司:

90 C59 数学规划中的近似方法和启发式
90C27型 组合优化

关键词:

启发式搜索

软件:

SALSA公司