约束满足：要求互相牵制时，怎样先判断有没有解？

会议排程里，你可能同时要满足三件事：每场会都有人参加、客户所在时区能配合、两场会之间还要留出 30 分钟。只说“请安排得合理”，模型并不知道哪些条件必须满足，也不知道哪些偏好可以让步。

「约束满足问题」（Constraint Satisfaction Problem，CSP）就是把这种安排说清楚：先列出要决定的变量，再列出每个变量可以选择的取值域，最后写出必须同时成立的约束。在排会议时，每场会议的时间是变量；周三上午、周三下午是取值域；不能撞车、要留出 30 分钟是约束。给每个变量选好值，而且没有违反任何约束，才得到一个可行解。12

这个概念适合排班、排程、资源分配，也适合检查一组要求能不能同时成立。它要替代的是“综合考虑一下，给我一个合理方案”这类没有写出判断标准的 Prompt。

使用时，把条件分成两层：硬约束必须满足；软偏好只在有多个可行解时用来排序。先确认有没有可行解，再讨论哪个更好。条件无法同时满足时，模型应该指出冲突的条件，并保留问题的真实边界。Google OR-Tools 也把约束编程的重点放在寻找可行解；进一步优化，需要另行写出目标和优先级。3

你可以直接这样调用：

然后补上四类信息：要决定什么、每项可以选什么、哪些条件绝对不能破坏、还有哪些偏好可以比较。这样模型先检查“有没有解”，再帮你比较“哪个更好”。