图书浏览

优化技术的新应用领域，从供应链管理到体育赛事调度，说明了组合优化问题在我们社会中的普遍性。在过去的二十年里，约束编程已经成为解决各种组合问题的基本方法，并且开发了丰富的约束编程语言，用于在高抽象级别上表达和组合约束，并指定搜索过程。组合优化的局部搜索方法能够在合理的时间限制内分离出最优或近最优解。本书介绍了一种解决组合优化问题的方法，该方法结合了约束编程和局部搜索，使用约束来描述和控制局部搜索，以及一种编程语言COMET，该语言本着约束编程的精神支持建模和搜索抽象。在概述了本地搜索（包括邻域、启发式和元启发式）之后，本书介绍了基于约束的本地搜索的体系结构、建模和搜索组件，并描述了COMET如何支持基于约束的局部搜索。这本书描述了由元神经系统安排的各种应用。它介绍了调度应用程序，以及理解这些挑战性问题所需的背景。该书还包括许多可满足性问题，说明了基于约束的局部搜索方法以统一的方式处理可满足性和优化问题的能力。