Optaplanner使用Bavet时出现分数损坏问题咨询

错误信息 #

java.lang.IllegalStateException: Score corruption ([30]hard/[0/30]soft): the workingScore (-3init/[-1850]hard/[-1/-1190]soft) is not the uncorruptedScore (-3init/[-1880]hard/[-1/-1220]soft) after completedAction (TWC(20301005) {TWC(20301008) -> TWC(20301008)}):

核心疑问解答 #

1. 关于completedAction日志的含义 #

这段日志记录了OptaPlanner执行的一次移动操作：

• 操作目标是ID为20301005的TimeWindowCustomer（TWC）实例
• 操作内容是将该实例的previousStandstill属性，从原有的TWC(20301008)修改为了TWC(20301008)——也就是把属性值设置成了自身。

2. 为何会出现自身指向的异常设置 #

这种情况通常由以下原因导致：

• 自定义移动逻辑漏洞：如果你实现了自定义Move类，可能在逻辑中未做边界校验，错误地将previousStandstill设置为对象自身。
• 领域模型约束缺失：TimeWindowCustomer类中未添加约束限制previousStandstill不能指向自身，导致启发式搜索生成了无效的移动尝试。
• 分数计算逻辑错误：当出现自身指向时，分数计算器（EasyScoreCalculator或IncrementalScoreCalculator）未正确计算硬约束惩罚，导致工作内存中的分数和重新计算的无损坏分数不一致，触发Score Corruption。

3. 修复建议 #

• 检查自定义Move实现：添加校验逻辑，确保所有移动操作不会将previousStandstill设置为对象自身。
• 补充领域模型约束：在previousStandstill字段上添加@AssertTrue校验，或在Drools规则中添加约束，禁止自身指向的情况。
• 修复分数计算逻辑：确保分数计算器能识别这种无效路径连接，并计算对应的硬惩罚，避免分数不一致。

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