如何理解tsp问题中的这两个软约束？

如何解决如何理解tsp问题中的这两个软约束？

我理解tsp问题中的软约束是求总距离最短的，但是我看到例子中的两个drools约束好像表达了每个segment的距离和最后访问的城市到初始点？好像没有计算距离。而且，你能详细解释一下这两个约束吗？我是初学者，有点不懂。

rule "distancetoPrevIoUsstandstill"
    when
        $visit : Visit(prevIoUsstandstill != null,$distanceFromPrevIoUsstandstill : distanceFromPrevIoUsstandstill)
    then
        scoreHolder.addConstraintMatch(kcontext,- $distanceFromPrevIoUsstandstill);
end

rule "distanceFromLastVisitTodomicile"
    when
        $visit : Visit(prevIoUsstandstill != null)
        not Visit(prevIoUsstandstill == $visit)
        $domicile : Domicile()
    then
        scoreHolder.addConstraintMatch(kcontext,- $visit.getdistanceto($domicile));
end

解决方法

在 DRL 中（与在 Java 中不同），调用 Visit(...,$distanceFromPreviousStandstill : distanceFromPreviousStandstill) 意味着它调用了 getDistanceFromPreviousStandstill() getter：

public class Visit extends AbstractPersistable implements Standstill {
    ...
    public long getDistanceFromPreviousStandstill() {
        if (previousStandstill == null) {
            return 0L;
        }
        return getDistanceFrom(previousStandstill);
    }
}

如果您更喜欢 Java 而不是 DRL，请查看 ConstraintProvider 替代实现，它是用 Java 编写的，也使用增量分数计算（= 可以扩展），同样快 (8.3.0+)，更易于调试和在任何 Java IDE 中都具有代码突出显示和代码完成功能：

public final class TspConstraintProvider implements ConstraintProvider {

    @Override
    public Constraint[] defineConstraints(ConstraintFactory constraintFactory) {
        return new Constraint[] {
                distanceToPreviousStandstill(constraintFactory),distanceFromLastVisitToDomicile(constraintFactory)
        };
    }

    private Constraint distanceToPreviousStandstill(ConstraintFactory constraintFactory) {
        return constraintFactory.from(Visit.class)
                .penalizeLong("Distance to previous standstill",SimpleLongScore.ONE,Visit::getDistanceFromPreviousStandstill);
    }

    private Constraint distanceFromLastVisitToDomicile(ConstraintFactory constraintFactory) {
        return constraintFactory.from(Visit.class)
                .ifNotExists(Visit.class,Joiners.equal(visit -> visit,Visit::getPreviousStandstill))
                .join(Domicile.class)
                .penalizeLong("Distance from last visit to domicile",Visit::getDistanceTo);
    }

}