给定两个（低维，可能是二维的）单纯复形 P 和 Q，是否有一种有效的算法来构造 P'，P 的子集由 P 中的所有点组成，这些点与 Q 中的某个点 q 最接近？
例如，如果 P 和 Q 是非退化相交线段，则 P' 将是它们的交点；如果它们不相交，则 P' 将是一个点或段。如果 P 是线段而 Q 是三角形，则 P' 将是 Q 到 P 上的投影。如果 P 是三角形并且 Q 是与 P 相交的线，则 P' 将由多个入射线段组成，从内部和/或三角形的外部。
一些图片示例：（带有点相交的那个是不正确的）
一般来说，P' 似乎由 Q 在 P 的每个面（任何维度）上的投影组成，但该描述包括大量以高维面为主的面，我不清楚如何处理有效地。