凸包:Graham's Scan

1.概念

凸包(Convex Hull)是一个计算几何(图形学)中的概念。用不严谨的话来讲,给定二维平面上的点集,凸包就是将最外层的点连接起来构成的凸多边型,它能包含点集中所有点的。

这个算法是由数学大师葛立恒(Graham)发明的,他曾经是美国数学学会(AMS)主席、AT&T首席科学家以及国际杂技师协会(IJA)主席。

2.问题

给定平面上的二维点集,求解其凸包。

3.Graham's Scan

Graham's Scan尝试先将所有点依照时针顺序排好,再来做绕行一圈的动作,绕行途中顺便扫除凸包内部的点,如此就不必以穷举所有点的方式来寻找最外围的点。

凸包:Graham's Scan_第1张图片

要让所有点依照时针顺序排好,只要将中心点设定在凸包内部或者凸包上,然后让各点依照角度排序即可。如果把中心点设定在凸包外部,结果就不见得是时针顺序了。包覆时必须按照时针顺序,才能确保结果正确。

凸包:Graham's Scan_第2张图片

一般来说,选择凸包上的顶点当作中心点是比较好的,因为角度排序时的夹角皆小于180°,可以使用叉积运算来排序(大于180°叉积得负值、等于180°叉积等于零,导致排序错误)。另一个好处是,中心点也可以作为包覆的起点。

凸包:Graham's Scan_第3张图片

角度排序时,遇到角度相同的情况,要小心排序。通常是让距离中心点较近的点排前面。也可以排后面,但是不能乱排。

扫描的过程当中,经常株连许多点。使用stack数据结构来储存凸包,逐一判断stack顶端的点,逐一弹出凹陷的点。凹陷的点必定不是凸包上的顶点。

凸包:Graham's Scan_第4张图片

如果想找出凸包上重迭的点、共线的点,必须特别小心处理刚开始包、快包好时那些重迭的点、共线的点。一种解决方式是:从最低最左点开始,分头往左右两边包,包至最高最右点。相当麻烦。

至于凸包退化成线段或点的情况,则更难解决,此处不讨论。

凸包:Graham's Scan_第5张图片

总而言之,此算法无法漂亮的解决多点共线的问题。

复杂度分析:

这个算法可以直接在原数据上进行运算,因此空间复杂度为O(1)。但如果将凸包的结果存储到另一数组中,则可能在代码级别进行优化。由于在扫描凸包前要进行排序,因此时间复杂度至少为快速排序的O(nlogn)。后面的扫描过程复杂度为O(n),因此整个算法的复杂度为O(nlogn)。

4.Divide and Conquer

分治法的主要区别在Merge的过程,Merge的方法有很多,这里只说其中两种:

4.1找两个凸包的外公切线

一开始将所有点以X坐标位置排序。

Divide:将所有点分成左半部和右半部。

Conquer:左半部和右半部分别求凸包。

Merge:将两个凸包合并成一个凸包。

凸包:Graham's Scan_第6张图片

合并凸包,找到两条外公切线即可。从左凸包最右点、右凸包最左点开始,固定左端顺时针转、固定右端逆时针转,轮流前进直到卡死,就得到下公切线,时间复杂度为O(n)。

凸包:Graham's Scan_第7张图片

注意到,下公切线并不见得是左右两凸包的最低点联机,所以就算一开始抓的是左右凸包的最低点,运气不好时,仍需要O(n)时间才能找到下公切线。况且抓最低点有可能已经冲过头了。

凸包:Graham's Scan_第8张图片

正确性证明:找外公切线的过程中绝对不会与两凸包相交、找内公切线的过程中一定会与两凸包相交,卡死时即是相交与不相交的分际,分际即是公切线。

4.2对左右两个凸包上的所有点使用Graham算法

Preprocess: (时间复杂性为O(1))

(1) 如果|Q|<3,算法停止;

(2) 如果|Q|=3,按照逆时针方向输出CH(Q)的顶点;

Divide:(时间复杂性为O(n))

选择一个垂直于x-轴的直线把Q划分为基本相等的两个集合QL和QR,QL在QR的左边;

凸包:Graham's Scan_第9张图片

Conquer:(时间复杂性为2T(n/2))

递归地为QL和QR构造CH(QL)和CH(QR);

凸包:Graham's Scan_第10张图片

3个序列:,,

合并以后:

凸包:Graham's Scan_第11张图片

Merge:(时间复杂性为O(n))

(1) 找一个QL的内点p;

(2) 在CH(QR)中找与p的极角最大和最小顶点u和v;

(3) 构造如下三个点序列:

i. 按逆时针方向排列的CH(QL)的所有顶点,

ii. 按逆时针方向排列的CH(QR)从u到v的顶点,

iii. 按顺时针方向排列的CH(QR)从u到v的顶点;

(4) 合并上述三个序列;

(5) 在合并的序列上应用Graham-Scan.

使用Graham算法递归求左右部分的凸包。这样会过滤掉许多内部点。

QR按顺时针和逆时针分成两部分QR1和QR2(以y最大和y最小的点为界),得到这三个极角有序列表后,合并这三个有序表(merge的操作O(n),原理类似归排的merge)。

对新list直接进行GrahamScan,只需过滤掉极少的点即可得到凸包。

复杂度分析:

一次排序的时间,通常为O(nlogn);Divide and Conquer向下递归O(nlogn)深度,合并凸包需要O(n)时间,总共为O(nlogn)。

一开始可以不必排序,只要把所有点分成两等份即可。两个凸包合并成一个凸包时,两个凸包可能会重迭,仍然可以用O(n)时间解决,不过算法较复杂,此处省略之。

5.参考

Graham's Scan法求解凸包问题

http://www.cnblogs.com/devymex/archive/2010/08/09/1795392.html

Convex Hull

http://www.csie.ntnu.edu.tw/~u91029/ConvexHull.html

你可能感兴趣的:(凸包:Graham's Scan)