利用MiniZinc进行约束建模——以着色问题为例

---

1. 什么是 MiniZinc ？

约束满足性问题（Constraint Satisfaction Problem，CSP）判断在有限变量与有限约束条件下，是否存在满足所有约束条件的变量赋值，若有，则认为该问题是可满足的，并返回找到的可行解，这个过程并无优化功能，求解CSP的工具称为约束求解器，通常是组合基于回溯的搜索和约束传播为求解算法。例如该专栏的其他文章介绍的 CP-SAT 就是约束求解器，这类工具已成功用于解决许多领域的许多实际问题，例如调度、计划、组合设计等。

若约束满足性问题带优化目标，则称为约束优化问题（Constrained Optimization Problem，COP），它假设了一个目标函数值的