文件名称：算法正确性证明-python读取mat文件并转为csv文件的实例
文件大小：9.75MB
文件格式：PDF
更新时间：2024-06-29 17:47:45
算法
图 3.25 算法正确性证明 最后，证明上述算法的正确性。 证明：设线段 A 和 B 相交于一个点 Q ，Q 是位于最左的交点（若在同一条扫描线上有 多个交点，Q 是最下方的交点），如图 3.25 所示。在 Q 之前的线段只有插入和删除操作，只 是 SL 内的元素发生变化，并没有发生任何相交。由于 A 和 B 发生相交，一定存在一条扫描 线，使得在扫描线结构 SL 内的线段 A 和 B 一定相邻，现在考虑什么时候线段 A 和 B 会相 邻： 1）线段 A 或者 B 在插入 SL 时，另一条线段正好位于它的 above 或 below。以图 3.25 （a）所示为例，处理事件 A 的左端点，把 A 插入 SL ，此时 B 正好位于 A 的 below，这种 情况会在算法的第 6~13 步的第 1 个 if 块内得到判定； 2）线段 A 和 B 已经在 SL 内，当它们之间有线段被删除后，使得 A 和 B 连续。以图 3.25