OptaPlanner优化中动态调整BusStop的isVirtual属性方案咨询

直接在约束提供器中修改BusStop的isVirtual属性是错误操作——约束的职责是计算分数，而非修改解决方案状态。这种做法会破坏OptaPlanner的候选解隔离机制，导致不同方案间相互干扰。

OptaPlanner处理“动态标记站点为虚拟（跳过）”需求，需通过规划变量+分数约束的组合实现，而非直接修改实体属性。以下是具体步骤：

1. 调整领域模型 #

放弃手动维护isVirtual，改用规划变量控制站点是否被分配（未分配即视为虚拟站点），将isVirtual作为派生属性：

public class BusStop {
    // 规划变量：标记站点是否分配给车辆，null表示未分配（虚拟站点）
    @PlanningVariable(valueRangeProviderRefs = "vehicleRange", nullable = true)
    private Vehicle assignedVehicle;

    // 派生属性：自动判断是否为虚拟站点
    public boolean isVirtual() {
        return assignedVehicle == null;
    }

    // 其他属性、getter/setter
}

核心逻辑：未被分配给车辆的站点，自动等同于“虚拟站点”，无需手动修改属性。

2. 设计约束引导优化方向 #

通过约束惩罚“总行驶距离超标”和“跳过站点”的行为，让OptaPlanner自动权衡最优方案：

public class VehicleRoutingConstraintProvider implements ConstraintProvider {
    @Override
    public Constraint[] defineConstraints(ConstraintFactory constraintFactory) {
        return new Constraint[] {
            totalDistanceOverThreshold(constraintFactory),
            penalizeUnassignedStops(constraintFactory)
        };
    }

    // 硬约束：惩罚总行驶距离超标的情况
    private Constraint totalDistanceOverThreshold(ConstraintFactory constraintFactory) {
        return constraintFactory.forEach(Vehicle.class)
                .filter(vehicle -> calculateTotalDistance(vehicle) > 150000)
                .penalize("Distance exceeds threshold", HardSoftScore.ONE_HARD,
                        vehicle -> calculateTotalDistance(vehicle) - 150000);
    }

    // 软约束：惩罚跳过站点的行为（权重可根据业务需求调整）
    private Constraint penalizeUnassignedStops(ConstraintFactory constraintFactory) {
        return constraintFactory.forEach(BusStop.class)
                .filter(stop -> stop.getAssignedVehicle() == null)
                .penalize("Unassigned stop", HardSoftScore.ONE_SOFT);
    }

    // 辅助方法：计算单辆车的总行驶距离
    private long calculateTotalDistance(Vehicle vehicle) {
        // 实现具体的距离计算逻辑
        return 0;
    }
}

• 硬约束：强制约束总行驶距离，超标时给予严重惩罚
• 软约束：尽量减少跳过的站点数量，让求解器在距离合规和站点覆盖间自动平衡

3. 配置规划求解器 #

确保求解器允许未分配站点（规划变量支持nullable=true），并配置适配的启发式算法：

<solver>
    <solutionClass>com.yourpackage.VehicleRoutingSolution</solutionClass>
    <entityClass>com.yourpackage.BusStop</entityClass>
    <scoreDirectorFactory>
        <constraintProviderClass>com.yourpackage.VehicleRoutingConstraintProvider</constraintProviderClass>
    </scoreDirectorFactory>
    <termination>
        <secondsSpentLimit>60</secondsSpentLimit>
    </termination>
    <constructionHeuristic>
        <constructionHeuristicType>FIRST_FIT_DECREASING</constructionHeuristicType>
    </constructionHeuristic>
    <localSearch>
        <localSearchType>TABU_SEARCH</localSearchType>
    </localSearch>
</solver>

4. 替代方案：分离固有虚拟站点与动态跳过站点 #

如果业务中存在“天生虚拟站点”，可将isVirtual设为不可变的问题事实，再通过规划变量控制真实站点的分配：

// BusStop作为问题事实，isVirtual为固有属性，不可修改
public class BusStop implements ProblemFact {
    private final boolean isVirtual;

    public BusStop(boolean isVirtual) {
        this.isVirtual = isVirtual;
    }

    // getter
}

// 规划实体：控制真实站点的分配状态
public class StopAssignment implements PlanningEntity {
    private BusStop realStop;

    @PlanningVariable(valueRangeProviderRefs = "vehicleRange", nullable = true)
    private Vehicle assignedVehicle;

    // 其他属性、getter/setter
}

• 禁止在约束提供器中修改实体/问题事实的属性，约束仅负责计算分数
• 所有状态变更由OptaPlanner通过规划变量赋值管理，确保候选解隔离
• 通过调整约束权重平衡业务目标（如：距离超标的惩罚权重 vs 跳过站点的惩罚权重）

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