本文介绍了半平面交问题与凸包问题的对偶转换，通过将直线转换为点来求解半平面交的并，等效于求解凸包的上凸壳。以bzoj1007和bzoj3199题目为例，阐述了这种转换的证明过程，并提供了代码实现。这种方法的优点包括代码简洁、理解容易、精度高和常数小，但应用范围相对有限。
从学术上讲，凸包的对偶问题很接近半平面交，所以二者算法很接近。
具体从bzoj1007水平可见直线说起：
求 n n n条 y ≥ k x + b y\geq kx+b y≥kx+b半平面交的并，答案是类似于凸包的下凸壳。
对偶变换：将直线 y = k x + b y=kx+b y=kx+b转成平面上的点 ( k , b ) (k,b) (k,b)，求凸包的上凸壳。
证明：
对于求半平面交的过程：
首先按直线升序排序，双端队列队尾元素为 a , b a,b a,b，设交点为 ( x 0 , y 0 ) (x_0,y_0) (x0,y0)，当前插入 c c c， b b b被弹出的条件是 y 0 ≤ ( y = c . k ⋅ x 0 + c . b ) y_0\leq (y=c.k·x_0+c.b) y0≤(y=c.k⋅x0+c.b)。
a . k ⋅ x 0 + a . b = b . k ⋅ x 0 + b . b = y 0 x 0 = − a . b − b . b a . k − b . k , y 0 = a . k ⋅ b . b − a . b ⋅ b . k a . k − b . k y = c . b ⋅ a . k − c . b ⋅ b . k − c . k ⋅ a . b + c . k ⋅ b . b a . k − b . k \ \quad a.k·x_0+a.b=b.k·x_0+b.b=y_0\\ x_0=-\dfrac{a.b-b.b}{a.k-b.k},y_0=\dfrac{a.k·b.b-a.b·b.k}{a.k-b.k}\\ y=\dfrac{c.b·a.k-c.b·b.k-c.k·a.b+c.k·b.b}{a.k-b.k} a.k⋅x0+a.b=b.k⋅x0+b.b=y0x0=−a.k−b.ka.b−b.b,y0
最低0.47元/天 解锁文章
扫一扫
1038
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
