OptaPlanner过约束规划未自动置空变量问题咨询

1. 评分层级的优先级逻辑 #

HardMediumSoft是严格分层优先级：只有当Hard评分完全一致时，OptaPlanner才会去优化Medium评分；同理，Medium评分相同时才会考虑Soft评分。

• 你触发硬约束违规后，Hard评分大幅下降，此时局部搜索（LS）的核心目标是修复Hard约束、提升Hard评分，根本不会顾及Medium评分的变化——除非所有Hard约束都已满足，才会进入Medium评分的优化阶段。所以你看不到Medium评分下降是正常的，当前LS的注意力完全集中在Hard约束修复上。
• 同时要确认：你的可空变量对应的约束规则是否正确关联——比如“置空变量”是否被定义为不违反Hard约束，但会降低Medium评分。如果规则里置空无法修复Hard违规，LS自然不会选择这个动作。

2. 局部搜索的移动配置缺失 #

默认的LS移动通常不包含“取消分配（置空变量）”的动作：

• OptaPlanner默认的ChangeMove等移动，一般只在已有的规划值之间切换，不会自动支持“置空”操作，除非你显式配置。
• 解决办法：在Solver配置中给LS阶段添加支持置空的移动选择器，示例配置如下：

<localSearch>
  <changeMoveSelector>
    <!-- 允许将规划变量重置为空值 -->
    <selectReinitializedPlanningVariables>true</selectReinitializedPlanningVariables>
  </changeMoveSelector>
</localSearch>

如果用注解方式，确保@PlanningVariable的nullable=true配置正确，且移动选择器允许选择空值。

3. 构造启发式（CH）阶段的遗留影响 #

CH阶段几乎全部分配了值，可能导致初始解的Hard违规过多，LS需要先通过各种移动修复Hard约束。如果移动不支持置空，它只能在现有值中调整，无法通过置空来修复违规。

• 可以调整CH阶段策略，比如使用FirstFitDecreasing或CheapestInsertion，让初始解的Hard违规更少，降低LS的修复压力，也更容易观察到置空动作的效果。

4. 约束规则的正确性检查 #

务必确认你的约束规则（Drools或Constraint Streams）逻辑正确：

• 当实体分配值时，是否正确触发Hard约束违规；
• 当实体置空时，是否不再触发该Hard约束，同时正确触发Medium约束的扣分。
  如果规则逻辑颠倒（比如置空反而导致Hard违规），LS绝对不会选择置空动作。

内容的提问来源于stack exchange，提问作者Pezetter