规划实体是否可引用其他规划实体并在分数计算中依赖对方？

结论：这种直接让规划实体引用其他规划实体并在分数计算中依赖的方式不可行

原因分析 #

增量分数计算（比如Bavet实现）的核心是精准追踪规划变量的变更，仅重新计算受变更直接影响的约束逻辑。如果实体A的约束有效性依赖实体B的状态，当实体B的规划变量变更时，实体A的约束状态会随之改变，但增量计算器无法自动识别这种跨实体的隐式依赖，会导致分数计算错误（出现score corruption），这和你担忧的问题完全一致。

推荐替代方案 #

针对你提到的「Lecture要么自有startTime，要么与其他Lecture的startTime一致」的需求，提供两种可靠实现方式：

方案1：使用影子变量（Shadow Variable）

• 在Lecture实体上定义影子变量Timeslot effectiveStartTime：
  • 当sameStartTimeAsOtherLecture为null时，effectiveStartTime直接映射自身的startTime规划变量；
  • 当sameStartTimeAsOtherLecture不为null时，通过自定义变量监听器（VariableListener）同步为被引用Lecture的startTime。
• 所有分数计算约束均基于effectiveStartTime，而非直接引用其他实体。
• 优势：影子变量会被增量分数计算器纳入变更追踪体系，当被引用Lecture的startTime变更时，当前Lecture的effectiveStartTime会被标记为变更，相关约束会被自动触发重新计算。

方案2：通过分组标识重构逻辑

• 移除sameStartTimeAsOtherLecture字段，新增分组标识字段（如String timeGroupId）；
• 编写约束规则，强制要求同一timeGroupId下的所有Lecture必须使用相同的startTime；
• 其他冲突约束（如时间重叠）直接基于startTime本身计算。
• 优势：逻辑更直观，完全依赖规划变量本身，无隐式依赖，增量分数计算可以正常工作。

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