严重超约束调度策略

Question

试图将1000个观测（目前持续时间相同）安排在500个时隙中，因此只有一半适合。使用规划实体“观察”和可空的规划变量“timeslot”。表示为ConstraintStream的约束

null

调查结果

1. 将501个观察值调度到500个时隙中，在16s后以0hard/-1medium终止。这是意料之中的。
2. 调度1000个观测到500个时隙在10m后终止，-499hard/-1medium。这完全出乎意料。我预计0hard/-500medium，或者至少是朝着那个方向的。

要使optaplanner做正确的事情，有哪些必要的措施？

    Constraint notSameSlot(ConstraintFactory constraintFactory) {
        constraintFactory.fromUniquePair(OB.class)
            .filter({ ob1, ob2 -> ob1.start == ob2.start })
            .penalize("overlap", HardMediumSoftScore.ONE_HARD)
    }

    Constraint notAssignable(ConstraintFactory constraintFactory) {
        constraintFactory.fromUnfiltered(OB.class)
            .filter(ob -> ob.start == null)
            .penalize("not assignable", HardMediumSoftScore.ONE_MEDIUM)
    }

@PlanningEntity
public class OB {
    @PlanningVariable(nullable = true, valueRangeProviderRefs = "timeslotRange")
    Timeslot start
    @PlanningId
    int obId
    OB(int obId) {this.obId = obId }
    OB() {} // required by Optaplanner, not sure why
}

class Timeslot {
    @PlanningId
    int slot

    Timeslot(int slot) {
        this.slot = slot
    }
}

规划解决方案

@PlanningSolution
class Schedule {
    @ValueRangeProvider(id = "timeslotRange")
    @ProblemFactCollectionProperty 
    List<Timeslot> timeslots

    @PlanningEntityCollectionProperty
    List<OB> observations

    @PlanningScore
    HardMediumSoftScore score
}

更新：在NotSameslot约束中添加了空检查，我不知道FromUniquePairs传递了未分配的实体。这会改变结果，但不会变得更好。现在，根本没有分配插槽。现在的结果是0hard/-1000medium/0soft

Constraint notSameSlot(ConstraintFactory constraintFactory) {
     constraintFactory.fromUniquePair(OB.class)
            .filter({ ob1, ob2 ->
                ob1.start !== null &&
                ob2.start !== null &&
                ob1.start.slot == ob2.start.slot
            })
            .penalize("overlap", HardMediumSoftScore.ONE_HARD)
    }

Answer 1

发现问题了。我有

<termination>
    <unimprovedSpentLimit>PT2M30S</unimprovedSpentLimit>
    <bestScoreFeasible>true</bestScoreFeasible>
</termination>

作为终止标准。我不明白BestScoreComposable意味着一旦没有违反硬约束，求解器就会终止，这导致没有分配插槽，因为这仍然被认为是一个可行的解决方案。删除第二个标准解决了这个问题。