24、时空通用几何约束内核解析

时空通用几何约束内核解析

1. 引言

在处理几何约束问题时，需要一种通用的方法来应对各种不同类型的约束。本文将介绍一种时空通用几何约束内核，它能够处理多种几何约束问题，并提供了一种有效的过滤算法。

2. 用 geost 建模问题

geost 可以直接建模大量的放置问题，以下是一些典型案例：
1. 案例 (A) ：三段之间的非重叠约束。
2. 案例 (B) 和 (C) ：矩形之间的非重叠约束，其中 (B) 是一种特殊情况，所有矩形在第二维的尺寸都等于 1，可解释为机器分配问题。
3. 案例 (D) ：矩形之间的非重叠约束，每个矩形可以有两种方向。通过为每个矩形关联两种尺寸分别为 l×h 和 h×l 的形状来实现。
4. 案例 (E) ：更复杂对象之间的非重叠约束，每个对象由一组给定的矩形描述。
5. 案例 (F) ：放置问题，需要先将每个矩形分配到一个条带，使得分配到同一条带的所有矩形不重叠。
6. 案例 (G) ：平行六面体之间的非重叠约束。
7. 案例 (H) ：分配到同一容器的平行六面体之间的非重叠约束。第一维对应容器的标识符，接下来的三维与平行六面体在容器内的位置相关。
8. 案例 (I) ：三个连续时间槽上的矩形放置问题，分配到同一时间槽的矩形在时间上不应重叠。

以下是这