真实原生产物回读预览 · 原创合成材料 · 不代表第三方软件界面
{
"status": "infeasible",
"minimal_core": [
"N1",
"M1",
"E1"
],
"relaxed_examples": [
{
"N1": "A",
"M1": "B",
"E1": "A"
}
]
}| 模型结构化事实与原始材料一致 | 通过 |
| 原约束全局不可行而不是漏分配 | 通过 |
| 最小不可行核心包含三个班次 | 通过 |
| 移除核心任一班次都可行 | 通过 |
| 明确修改候选后才出现解 | 通过 |