Convex Hulls

Convex Hulls

In this section we illustrate the convex hull operation. We give examples of the symbolic implementation, and the concrete convex hull in low dimensions. We show how to test if a point lies in the convex hull of a set of points in the plane using LazySets. Moreover, we give examples of creating the convex hull of sets whose vertices are represented as static vectors, which can dramatically improve performance in many use cases. Finally, we give an example of creating the convex hull of points in higher dimensions.

Symbolic convex hull

The lazy convex hull, ConvexHull, is the binary operator that implements the convex hull of the union between two convex sets.

using Plots, LazySets

A = 1/sqrt(2.) * [1 -1; 1 1]
Bn = n -> BallInf(ones(n), 0.2)

X = Bn(2)
Y = CH(X, exp(A) * X)
ConvexHull{Float64,BallInf{Float64},LinearMap{Float64,BallInf{Float64},Float64,Array{Float64,2}}}(BallInf{Float64}([1.0, 1.0], 0.2), LinearMap{Float64,BallInf{Float64},Float64,Array{Float64,2}}([1.54186 -1.31754; 1.31754 1.54186], BallInf{Float64}([1.0, 1.0], 0.2)))

The name CH is an alias for ConvexHull, so you can use both interchangeably. This type is parametric in the operands's types.

p = plot(X, 1e-2, color="blue")
plot!(p, exp(A) * X, 1e-2, color="green")
plot!(p, Y, 1e-2, color="red", alpha=0.2)
-0.25 0.00 0.25 0.50 0.75 1.00 1.0 1.5 2.0 2.5 3.0 3.5

We can as well work with a 100-dimensional set:

using SparseArrays

X = Bn(100)
A = blockdiag([sparse(A) for i in 1:50]...)
Y = CH(X, exp(Matrix(A)) * X)

dim(Y)
100

To take the convex hull of a large number of sets, there is the n-ary type ConvexHullArray. For instance, below we create a collection of balls b via list comprehension, and pass them to create a new ConvexHullArray instance.

b = [Ball2([2*pi*i/100, sin(2*pi*i/100)], 0.05) for i in 1:100];
c = ConvexHullArray(b);

plot(c, 1e-3, alpha=0.1, color="blue")
plot!(b, 1e-3, alpha=0.5, color="red")
0 1 2 3 4 5 6 -1.0 -0.5 0.0 0.5 1.0

2D convex hull

In two dimensions the convex_hull function computes the concrete convex hull of a set of points.

points = N -> [randn(2) for i in 1:N]
v = points(30)
hull = convex_hull(v)
typeof(hull), length(v), length(hull)
(Array{Array{Float64,1},1}, 30, 6)

Notice that the output is a vector of floating point numbers representing the coordinates of the points, and that the number of points in the convex hull has decreased.

We can plot both the random points and the polygon generated by the convex hull with the plot function:

p = plot([Singleton(vi) for vi in v])
plot!(p, VPolygon(hull), alpha=0.2)
-2 -1 0 1 -2 -1 0 1 2

Test point in convex hull

One can check whether a point lies inside or outside of a convex hull efficiently in two dimensions, using the fact that the output of convex_hull returns the points ordered in counter-clockwise fashion.

Note

To check if a point p::AbstractVector is in another set, e.g. a polygon in vertex representation V, use p ∈ V. However, if you are working with a Singleton, which is a set with one element, use set inclusion . The following example illustrates this difference.

julia> points = N -> [randn(2) for i in 1:N];
julia> v = points(30);
julia> hull = convex_hull(v);
julia> Singleton(v[1]) ∈ VPolygon(hull)
ERROR: cannot make a point-in-set check if the left-hand side is a set;
either check for set inclusion, as in `S ⊆ X`, or check for membership,
as in `element(S) ∈ X` (they are equivalent)
[...]

As the error suggests, either use element to access the element of the singleton and check if it belongs to the right-hand side set:

element(Singleton(v[1])) ∈ VPolygon(hull)
true

Or use set inclusion between the singleton and the right-hand side set:

Singleton(v[1]) ⊆ VPolygon(hull)
true

Let us note that one can also make the point-in-convex-hull test by solving a feasibility problem; actually, this is the fallback implementation used for in any dimension. However, the specialized approach in 2D is more efficient.

Using static vectors

Usual vectors are such that you can push! and pop! without changing its type: the size is not a static property. Vectors of fixed size, among other types, are provided by the StaticArrays.jl package from the JuliaArrays ecosystem. Using static arrays for vectors of "small" dimension can dramatically improve performance.

Since the convex hull algorithm supports any AbstractVector, it can be applied with static vectors. The following example illustrates this fact.

v = points(1000)
convex_hull(points(3)) # warm-up

@time convex_hull(v)
  0.000263 seconds (17 allocations: 12.953 KiB)
8-element Array{Array{Float64,1},1}:
 [-2.92258, -0.922761]
 [-2.11116, -2.60251]
 [0.0645496, -2.94214]
 [2.64926, -2.37704]
 [2.37738, 2.14081]
 [0.585769, 3.25127]
 [-0.845548, 3.32126]
 [-2.83899, 1.25755]

Now working with static vectors:

using StaticArrays

convex_hull([@SVector(rand(2)) for i in 1:3]) # warm-up

v_static = [SVector{2, Float64}(vi) for vi in v]
@time convex_hull(v_static)
  0.000202 seconds (17 allocations: 25.203 KiB)
8-element Array{StaticArrays.SArray{Tuple{2},Float64,1,2},1}:
 [-2.92258, -0.922761]
 [-2.11116, -2.60251]
 [0.0645496, -2.94214]
 [2.64926, -2.37704]
 [2.37738, 2.14081]
 [0.585769, 3.25127]
 [-0.845548, 3.32126]
 [-2.83899, 1.25755]

Higher-dimensional convex hull

One can compute the convex hull of points in higher dimensions using convex_hull. The appropriate algorithm is decided based on the dimensionality of the given points.

using Polyhedra

v = [randn(3) for _ in 1:30]
hull = convex_hull(v)
typeof(hull), length(v), length(hull)
WARNING: using Polyhedra.points in module ex-example_ch conflicts with an existing identifier.
WARNING: using Polyhedra.dim in module ex-example_ch conflicts with an existing identifier.
(Array{Array{Float64,1},1}, 30, 16)

Here, convex_hull is now using the concrete polyhedra library Polyhedra, hence it needs to be loaded beforehand.

One can check whether a point belongs to the convex hull using as follows:

P = VPolytope(hull)
x = sum(hull)/length(hull)

x ∈ P
true

Here x ∈ P solves a feasibility problem; see the docs of ?∈ for details. Equivalently, using set inclusion:

Singleton(x) ⊆ P
true

If no additional arguments are passed, convex_hull uses the default polyhedra library from default_polyhedra_backend for the given input; different options can be passed through the backend keyword; see the Julia polyhedra website for all the available backends.