3.1.1 约束编程求解器

Loading...
En provenance du cours de The Chinese University of Hong Kong
离散优化算法篇 Solving Algorithms for Discrete Optimization
 notes
À partir de la leçon
基础约束编程
这个模块开始时用例子说明约束编程求解器的基础技术,也就是约束传播和搜索。值域代表了变量可能的取值,而约束可用于在值域上进行推理。约束本身可以以值域传播器和边界传播器的形式表示。你将会学习到一个传播引擎如何处理一组传播器,并通过变量值域协调沟通约束传播得到的信息。你也将会学到基础搜索,变量,数值选择等概念,还有传播和搜索是如何紧密而高效地连接起来的。最后,这个模块介绍了如何在Minizinc中进行编程化搜索。

Rencontrer les enseignants

  • Prof. Jimmy Ho Man Lee
    Prof. Jimmy Ho Man Lee
    Professor
    Department of Computer Science and Engineering
  • Prof. Peter James Stuckey
    Prof. Peter James Stuckey
    Professor
    Computing and Information Systems

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.