Loading...

3.1.5 搜索

Course video 6 of 28

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

Sobre o Coursera

Cursos, especializações e graduações on-line, ministradas pelos melhores instrutores das melhores universidades e instituições de ensino.

Community
Join a community of 40 million learners from around the world
Certificate
Earn a skill-based course certificate to apply your knowledge
Career
Gain confidence in your skills and further your career