TimeFold基础技术问询：数据同步、结果有效性等问题

1. 每次求解前能否从外部数据库获取数据并更新PlanningSolution变量？若不可行，同步PlanningSolution数据与外部数据库的最优方案是什么？ #

• 完全可以在求解前从外部数据库拉取数据并构建PlanningSolution实例。常规流程是：
  1. 查询数据库获取最新的问题事实（Problem Fact）和规划实体（Planning Entity）数据；
  2. 将这些数据填充到PlanningSolution对象中，启动求解器。
• 如果担心求解过程中数据库数据被修改（求解通常是离线操作，窗口较小），最优同步方案是：
  • 求解前拉取最新数据，确保PlanningSolution基于当前最新状态；
  • 求解完成后，将结果持久化回数据库时使用乐观锁（通过版本字段），若检测到版本冲突，说明数据已被修改，此时可选择重新求解或拒绝提交结果。

2. 求解完成后调用接口获取结果时，若其他用户修改了数据，如何确保所得结果仍是最优解？ #

• 无法保证结果在数据变更后仍为最优，但可以通过以下方式规避 stale 结果：
  • 版本校验：求解前记录所有相关实体/问题事实的数据库版本号；返回结果前，校验数据库中对应数据的版本是否与求解时一致。若不一致，说明数据已变更，直接返回结果无效，或触发重新求解。
  • 缩短求解时长：优化求解配置（如调整终止条件），减少求解过程的时间窗口，降低数据变更概率。
  • 悲观锁（慎用）：求解期间对相关数据加悲观锁，阻止其他用户修改，但会影响系统并发性能，仅适合高优先级、低并发的场景。

3. 能否将@ShadowVariable注解应用于列表？例如在时隙场景中，能否通过TimeFold自动生成所有可用会议室的所有可用时隙，而非手动定义？ #

• @ShadowVariable的作用是从规划变量派生值，而非生成集合类数据。要自动生成会议室的可用时隙：
  • 无需依赖@ShadowVariable，应在求解前通过业务逻辑预计算所有有效的会议室-时隙组合，作为问题事实或规划实体的候选值；
  • 也可以通过自定义ValueRangeProvider或MoveFactory，动态根据会议室的可用性生成合法时隙；
  • 若需要跟踪派生的列表（如某会议室已分配的所有时隙），可以用@ShadowVariable维护一个集合字段，但初始的可用时隙列表仍需由应用逻辑生成，而非TimeFold自动创建。

4. 能否配置动态Constraints Provider？即在请求中指定需纳入求解器的约束列表，忽略其余约束？ #

• 可以实现动态约束选择，核心思路是让ConstraintsProvider根据请求传入的约束ID集合来决定启用哪些约束：
  1. 在约束定义时，为每个约束标记唯一ID；
  2. 创建支持动态参数的ConstraintsProvider，接收请求传入的启用约束ID集合；
  3. 在defineConstraints方法中，仅拼接启用的约束流。

示例代码：

public class DynamicConstraintsProvider implements ConstraintsProvider {
    private final Set<String> enabledConstraintIds;

    public DynamicConstraintsProvider(Set<String> enabledConstraintIds) {
        this.enabledConstraintIds = enabledConstraintIds;
    }

    @Override
    public ConstraintStream<?> defineConstraints(ConstraintFactory constraintFactory) {
        var constraintStreams = new ArrayList<ConstraintStream<?>>();
        if (enabledConstraintIds.contains("room_conflict")) {
            constraintStreams.add(roomConflict(constraintFactory));
        }
        if (enabledConstraintIds.contains("time_overlap")) {
            constraintStreams.add(timeOverlap(constraintFactory));
        }
        // 添加其他约束判断逻辑
        return ConstraintStream.concat(constraintStreams);
    }

    private Constraint roomConflict(ConstraintFactory cf) {
        return cf.forEach(Assignment.class)
                .groupBy(Assignment::getRoom, Assignment::getTimeSlot)
                .filter((room, slot, assignments) -> assignments.size() > 1)
                .penalize("Room Conflict", HardSoftScore.ONE_HARD)
                .asConstraintStream();
    }

    private Constraint timeOverlap(ConstraintFactory cf) {
        // 实现时间重叠约束逻辑
        return cf.forEach(Assignment.class)
                .join(Assignment.class,
                        Joiners.equal(Assignment::getRoom),
                        Joiners.overlapping(Assignment::getStartTime, Assignment::getEndTime),
                        Joiners.lessThan(Assignment::getId, Assignment::getId))
                .penalize("Time Overlap", HardSoftScore.ONE_SOFT)
                .asConstraintStream();
    }
}

• 创建求解器实例时，将请求中的约束ID集合传入DynamicConstraintsProvider即可。注意要对传入的约束ID做合法性校验，避免无效值导致求解异常。

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