3.1.1 约束编程求解器

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

Meet the Instructors

  • 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

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.