为什么需要约束规划?

为什么需要约束规划?

描述了约束规划的演进。

约束规划是一种本机满足性技术,它扎根于计算机科学 — 逻辑编程、图论和二十世纪八十年代的人工智能探索。 近来在约束规划引擎的可调整而强大的黑盒搜索开发方面取得了进展,已将此技术转变为功能强大而易于使用的优化技术。

约束规划经证明对于解算调度问题非常高效。 CPLEX Studio 中的调度入门

是有关在 OPL 中使用基于约束规划的调度的介绍性教程。 “语言参考手册”提供了更多信息。

约束规划还是用于解算和优化对于数学规划太不规则的问题的高效方法。 这包括时间表问题、排序问题以及分配或排班问题。

这些不规则性导致难以解算问题以实现数学优化的原因可能是:

本质上非线性的约束

包含很多局部最佳的解法的非凸解法空间

多个差异,这导致问题的线性宽松项返回了很差的信息

阅读 "约束编程与数学编程",了解详细比较。

相关文章

各厂周年庆活动有哪些亮点?包含腾讯、携程、搜狐…10+企业
南美世预赛大局已定!阿根廷、巴西稳进世界杯,委内瑞拉踢附加赛
宰相刘罗锅(1996)
bas365

宰相刘罗锅(1996)

🕒 09-29 👁️ 2583
想在我的世界中轻松建造电梯?跟着这些步骤,让你的建筑更上一层楼
炫舞刷心动用哪首歌?这首歌适合刷心动吗?
beat365体育ios版下载

炫舞刷心动用哪首歌?这首歌适合刷心动吗?

🕒 10-18 👁️ 2385
科目二考试如何控制车速 科目二控制车速技巧
beat365体育ios版下载

科目二考试如何控制车速 科目二控制车速技巧

🕒 08-14 👁️ 7912
电信开头号段有哪些
beat365体育ios版下载

电信开头号段有哪些

🕒 06-27 👁️ 5565
逃脱者2怎么找工作 脱逃者2找工作方法
国内365bet登录网址

逃脱者2怎么找工作 脱逃者2找工作方法

🕒 09-30 👁️ 3551
1996年是平成几年? 年龄对照表
beat365体育ios版下载

1996年是平成几年? 年龄对照表

🕒 09-12 👁️ 7346