先上题目:
POJ 2187 http://poj.org/problem?id=2187
洛谷 1452 https://www.luogu.org/problem/show?pid=1452
是一道题目,后者为前者的中文版。
这两道题目都要求需要求出点集中的最大距离,暴力枚举的方法是O(n^2),效率过低,其实有一个小优化,因为一个明显的现象,点集的直径,一定是两个点集的凸包的边上的点,所以可以只需枚举凸包上的点即可,但如果造一组10000个点全在凸包上,那么这个优化也就没啥用了。
这里用一种新的方法来解决这个问题——旋转卡壳。
注意发音哦: xuan2 zhuan4 qia3 ke2
旋转卡壳是解决一些与凸包有关问题的有效算法,就像两条平行直线(好像这就叫卡壳)紧紧地卡住凸包,然后求的方法就是进行旋转,就这样而得名了……
预备知识:
对锺(zhong3)点
刚好被卡壳卡住(过其点),把整个凸包夹在中间的点,那么有这样一个现象:
最远点对只会在对锺点对中取得,即点集的直径一定是某对对锺点的距离。
那么现在就要求出对锺点,注意,肯定不止一对。
再注意,接下来的所有卡壳情况,都为卡住一个点和一条边(两点过于麻烦,两边其实并不是最优的,再旋转就成了两点)。
先上张图:
其中对应的就是边AB以及点C联合卡住凸包的情况,此时做出C关于BC的垂线段,会发现C的垂线段长度比其他的凸包上的点都长,或者换个角度,C与AB所构成的三角形是面积最大的(同底的三角形,高越大,三角形面积越大)ÿ