Optaplanner：过度受限的计划，有用的起诉报告

Question

我有一个过度约束的计划案例。

我的约束设置使用具有多个硬约束的 HardMediumSoftScore、惩罚可为空变量以鼓励计划者分配它们的中等约束以及各种软约束。这在寻找解决方案方面似乎效果很好。

不过，我现在想从规划处拿到起诉书。所有有趣的信息都在硬约束中，硬约束阻止了可空变量的分配，也就是说，剩余1000个可空值的可行解决方案最终的得分类似于< code > 0 hard/-1000 medium/x soft 。

由于在这个可行的解决方案中没有违反任何硬约束，起诉书只列出了可空变量的中等约束，这对我没有帮助。我真正想使用起诉书的是确定哪些硬约束在防止分配给可为空变量方面最“重要”。

如果可空变量的惩罚本身是硬约束（比其他硬约束具有“更硬”的分数），这“有效”，我看到了对较小硬分数的相关起诉，但现在计划者无法创建可行的解决方案。

如何解决这个问题？

Answer 1

a)为每个未分配的实体运行模拟。

将其分配给每个可能的变量，计算分数，从中获取最佳分配，提取理由。现在，您可以按未分配的实体使用它们。

汇总这些理由，您就很清楚哪些硬约束是PITA。

B） 使用@ConstraintWeight启用超硬约束，则必须分配所有实体。然后在解决该问题后获得理由。

A）和B）将提供（稍微）不同的结果。A）更好地解释为什么不能将单个实体分配给用户。B）更好地解释系统中缺少哪些资源，管理层应该投资哪些资源。