逻辑推理进阶editor-pickpopular
仓库排班约束推理
用排班和互斥条件测试模型是否能稳定求出唯一结果。
提示词正文
复制后可直接粘贴到模型或内部评测工具。
一个仓库有甲、乙、丙、丁四名员工，需要安排早班和晚班。已知：甲不能上晚班；乙和丙不能同班；如果丁上早班，则乙必须上晚班；每天每个班次恰好两人。请推理出一种满足条件的排班，并说明是否唯一。
参考输出
早班：甲、丙；晚班：乙、丁。该结果唯一。
评分维度
5分：给出正确排班并证明唯一；3分：排班正确但证明不完整；1分：只列条件或排班冲突。