工作坊习题课5解答 (英文原声中文字幕)

Loading...
Del curso dictado por The Chinese University of Hong Kong
离散优化建模高阶篇 Advanced Modeling for Discrete Optimization
3 calificaciones
The Chinese University of Hong Kong
3 calificaciones
De la lección
调试与改良模型
跟计算机程序一样,模型也会有错误。在这一单元中,你将会看到许多不同错误的症状(如不能满足,太多解,太少解),而且学到不同的方法来发现你的模型的问题在哪里,你可以如何去修复它们。有了这些技能,你就可以开发和调试复杂的模型。这个单元的学习目标是:1.改正不正确的Minizinc模型; 2. 运用调试技巧来查明模型里面的错误; 3. 解释在关系语义下的一些为定义的表达式; 4. 修改一个正确的MiniZinc模型从而让它变得更有效率。

Conoce a los instructores

  • 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

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.