约束编程：一种声明式编程范式，通过给变量设定一组“约束条件”（如等式、不等式、逻辑关系、资源限制等），由求解器自动搜索并找到满足所有约束的解（或最优解）。常用于排程、资源分配、组合优化与满足性问题。也常简称 CP。
/kənˈstreɪnt ˈproʊɡræmɪŋ/
Constraint programming can quickly generate a valid timetable for the school.
约束编程可以快速为学校生成一份可行的课程表。
By modeling the crew assignments as constraints on skills, hours, and costs, constraint programming found a solution that traditional trial-and-error missed.
通过把机组分配建模为对技能、工时与成本的约束，约束编程找到了传统反复试错方法未能发现的解。
“Constraint”源自拉丁语 constringere（意为“束紧、限制”），强调“限制条件”；“Programming”在这里指“建模与求解的过程”，不一定强调逐步写出控制流程。约束编程的核心思想是：先描述“必须满足什么”（约束），再由系统决定“如何找到解”（求解与搜索）。
Select Language