25、几何约束内核与CSP局部对称破缺研究

几何约束内核与CSP局部对称破缺研究

几何约束内核相关内容

在处理几何对象的时空约束问题时，为了维护对象 o 的起始时间 o.start 、持续时间 o.duration 和结束时间 o.end 之间的约束 o.end = o.start + o.duration 的边界一致性，我们在对象 o 的几何坐标中添加了一个额外的时间维度。这个新的时间坐标大致对应于 o.start 或 o.end ，具体取决于我们是在调整最小值还是最大值。

在处理多态性方面，由于对象可能有多种潜在形状，我们对之前的算法进行了修改。当调整具有多种形状的对象原点坐标的最小值时，我们针对对象的每个潜在形状（即其形状变量的每个值）调用扫描算法。然后取得到的最小最小值（即使用构造性析取），如果对于对象的某个潜在形状没有找到可行点，则修剪该对象的形状变量。

对于其他内部约束，第3节中给出的几何约束的标准表示是一种过度简化。对于一些约束，如距离约束，外框不是一种合适的表示，因为禁止坐标集不能被少量的框覆盖。因此，约束内核内部使用适当的内部API处理必要条件的其他表示。

性能评估

我们从三个角度对 geost 内核的实现进行了评估：
1. 松散约束放置问题 ：为了衡量扫描算法在松散约束放置问题（即20%的闲置空间）中寻找第一个解的速度和可扩展性，我们生成了一组随机