定义
平面(二维)凸包指覆盖平面上 n n n个点的周长最小的(凸)多边形。
需要注意的是:由于三角形两边之和大于第三边(基本三角不等式),故覆盖平面上 n n n个点的周长最小的多边形一定是一个凸多边形,即无凹陷处。
性质
如果按逆时针方向看,凸包上每两条相邻的边都是向左拐的。比如说,与边 a i ⃗ \vec{a_i} ai顺时针方向相邻的是边 a i + 1 ⃗ \vec{a_{i+1}} ai+1,那么对于任意 i ∈ [ 1 , n ) i\in[1,n) i∈[1,n)( n n n为凸包上点的个数),有:
a i ⃗ × a i + 1 ⃗ > 0 , a n ⃗ × a 1 ⃗ > 0 \vec{a_i}\times\vec{a_{i+1}}>0, \vec{a_n}\times\vec{a_{1}}>0 ai×ai+1>0,an×a