3.1.3 边界传播器

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

Познакомьтесь с преподавателями

  • 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

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

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