1、介绍
设C={C1,C2,…,Cn}为曲线集合。我们希望以输出敏感的方式计算集合中两条曲线之间的所有交点,而无需遍历所有O(n2)曲线对。为此,我们在平面上扫过一条从x=−∞到x=∞的假想线l。在扫过平面时,我们跟踪与它相交的曲线的顺序。这种顺序在有限数量的事件点处发生变化,因此我们只需计算两条曲线在它们变得连续时的交点。
本章描述了使用表面扫描算法实现的三个功能:给定一组输入曲线,计算所有交点,计算由它们诱导的成对内部不相交的子曲线集,并检查其中是否存在至少一对曲线在其内部相交。
该实现是稳健的。它支持一般曲线并处理所有退化情况,包括重叠曲线、垂直段和曲线之间的相切。如果函数被一个采用经过认证的计算的traits类实例化,则算法的稳健性得到保证。这个traits类必须是Arrangement Traits_2概念的模型——更多细节见第2D章排列。
表面扫描算法的复杂度为O((n+k)logn),其中n是输入曲线的数量,k是由这些曲线引起的交点的数量。