阿诺德·诺伊梅尔 连续全局优化和约束满足中的完全搜索。 (英语) Zbl 1113.90124号 数字学报 13, 271-369 (2004). 摘要:本调查涵盖了解决通用约束全局优化问题和连续约束满足问题的最新技术,重点是可证明找到所有解决方案的完整技术(如果有有限多个)。该材料的核心内容已详细介绍,调查可以作为教学约束全局优化的文本。在给出全局优化应用的动机和重要示例之后,给出了精确的问题定义,并给出了求解传统一阶必要条件的一般形式。然后描述了十多个用于完整全球搜索的软件包。下面简要回顾了有界约束问题的不完全方法及其在约束情况下的使用方法;本文讨论了一个显式示例,介绍了分支和绑定技术中使用的主要技术。在区间算法、约束传播和局部优化部分之后,讨论了如何避免聚类问题。然后讨论了重要的问题变换,特别是线性、凸和双线性(=混合整数线性)松弛,这些松弛对处理更大的问题很重要。接下来,讨论了可靠性问题,重点是舍入错误处理和测试方法,并介绍了用于集成不同技术的COCONUT框架。调查结束时列出了该领域在不久的将来面临的挑战。 引用于2评论引用于91文件 MSC公司: 90C26型 非凸规划,全局优化 90B40码 搜索理论 90-02 与运筹学和数学规划有关的研究博览会(专著、调查文章) 90摄氏51度 内部点方法 65-02 与数值分析相关的研究展览(专著、调查文章) 65日元 数值算法的封装方法 65G30型 区间和有限算术 65千5 数值数学规划方法 关键词:约束全局优化;约束满足;区间算术;软件包 软件:基因科普;Maple的全局优化工具箱;男爵;全球溶胶;Sostools公司;椰子;塞杜米;DICOPT公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Neumaier},《数值学报》13,271--369(2004;Zbl 1113.90124) 全文: DOI程序