3.1.2 值域+传播器

Video placeholder
Loading...
View Syllabus

From the lesson

基础约束编程

这个模块开始时用例子说明约束编程求解器的基础技术,也就是约束传播和搜索。值域代表了变量可能的取值,而约束可用于在值域上进行推理。约束本身可以以值域传播器和边界传播器的形式表示。你将会学习到一个传播引擎如何处理一组传播器,并通过变量值域协调沟通约束传播得到的信息。你也将会学到基础搜索,变量,数值选择等概念,还有传播和搜索是如何紧密而高效地连接起来的。最后,这个模块介绍了如何在Minizinc中进行编程化搜索。

Taught By

  • Placeholder

    Prof. Jimmy Ho Man Lee

    Professor

  • Placeholder

    Prof. Peter James Stuckey

    Professor

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.