约束满足（问题）：在给定一组变量及其取值范围的前提下，寻找一种赋值，使其同时满足所有约束条件。常见于人工智能、运筹优化与组合问题（如数独、排课、资源分配）。也可泛指“满足各种限制条件的过程”。
/kənˈstreɪnt ˌsætɪsˈfækʃən/
Constraint satisfaction is useful for solving Sudoku puzzles.
约束满足适用于解决数独这类谜题。
In AI planning, the system models deadlines, resources, and rules as constraints, then searches for a solution through constraint satisfaction.
在人工智能规划中，系统把截止时间、资源和规则建模为约束，然后通过约束满足来搜索可行解。
Constraint 源自拉丁语 constringere（“绑紧、限制”），经法语进入英语，表示“限制/约束”。Satisfaction 源自拉丁语 satisfacere（“使满足、补足”）。合起来形成术语 constraint satisfaction，在计算机科学与人工智能语境中指“在限制条件下找到满足所有条件的解”。
Select Language