Min_annulus_d<Traits>

Navigation: Up Table of Contents Package Overview Bibliography Index Title Acknowledging CGAL

CGAL::Min_annulus_d<Traits>

Definition

An object of the class Min_annulus_d<Traits> is the unique annulus (region between two concentric spheres with radii r and R, r ≤ R) enclosing a finite set of points in d-dimensional Euclidean space ^d, where the difference R²-r² is minimal. For a point set P we denote by ma(P) the smallest annulus that contains all points of P. Note that ma(P) can be degenerate, i.e. ma(P)=∅ if P=∅ and ma(P)={p} if P={p}.

An inclusion-minimal subset S of P with ma(S)=ma(P) is called a support set, the points in S are the support points. A support set has size at most d+2, and all its points lie on the boundary of ma(P). In general, the support set is not necessarily unique.

The underlying algorithm can cope with all kinds of input, e.g. P may be empty or points may occur more than once. The algorithm computes a support set S which remains fixed until the next set, insert, or clear operation.

#include <CGAL/Min_annulus_d.h>

Requirements

The template parameter Traits is a model for OptimisationDTraits.

We provide the models Optimisation_d_traits_2, Optimisation_d_traits_3, and Optimisation_d_traits_d using the two-, three-, and d-dimensional Cgal kernel, respectively.

Types

Min_annulus_d<Traits>::Point
	typedef to Traits::Point_d. Point type used to represent the input points.

Min_annulus_d<Traits>::FT
	typedef to Traits::FT. Number type used to return the squared radii of the smallest enclosing annulus.

Min_annulus_d<Traits>::ET
	typedef to Traits::ET. Number type used to do the exact computations in the underlying solver for quadratic programs (cf. Implementation).

Min_annulus_d<Traits>::Point_iterator
	non-mutable model of the STL concept RandomAccessIterator with value type Point. Used to access the points of the smallest enclosing annulus.

Min_annulus_d<Traits>::Support_point_iterator
	non-mutable model of the STL concept RandomAccessIterator with value type Point. Used to access the support points of the smallest enclosing annulus.

Min_annulus_d<Traits>::Inner_support_point_iterator
	non-mutable model of the STL concept RandomAccessIterator with value type Point. Used to access the inner support points of the smallest enclosing annulus.

Min_annulus_d<Traits>::Outer_support_point_iterator
	non-mutable model of the STL concept RandomAccessIterator with value type Point. Used to access the outer support points of the smallest enclosing annulus.

Min_annulus_d<Traits>::Coordinate_iterator
	non-mutable model of the STL concept RandomAccessIterator with value type ET. Used to access the coordinates of the center of the smallest enclosing annulus.

Creation

Min_annulus_d<Traits> min_annulus ( Traits traits = Traits(), int verbose = 0, std::ostream& stream = std::cout);

initializes min_annulus to ma(∅).

template < class InputIterator >

Min_annulus_d<Traits> min_annulus ( InputIterator first,
InputIterator last,
Traits traits = Traits(),
int verbose = 0,
std::ostream& stream = std::cout);

initializes min_annulus to ma(P) with P being the set of points in the range [first,last).

Requirement:

The value type of InputIterator is Point.

Precondition:

All points have the same dimension.

Access Functions

int	min_annulus.ambient_dimension () const
		returns the dimension of the points in P. If min_annulus is empty, the ambient dimension is -1.

int	min_annulus.number_of_points () const
		returns the number of points of min_annulus, i.e. \|P\|.

int	min_annulus.number_of_support_points () const
		returns the number of support points of min_annulus, i.e. \|S\|.

int	min_annulus.number_of_inner_support_points () const
		returns the number of support points of min_annulus which lie on the inner sphere.

int	min_annulus.number_of_outer_support_points () const
		returns the number of support points of min_annulus which lie on the outer sphere.

Point_iterator	min_annulus.points_begin () const	returns an iterator referring to the first point of min_annulus.
Point_iterator	min_annulus.points_end () const	returns the corresponding past-the-end iterator.

Support_point_iterator

min_annulus.support_points_begin () const

returns an iterator referring to the first support point of min_annulus.

Precondition:

ma(P) is not degenerate, i.e., number_of_support_points() is at least one.

Support_point_iterator

min_annulus.support_points_end () const

returns the corresponding past-the-end iterator.

Precondition:

ma(P) is not degenerate, i.e., number_of_support_points() is at least one.

Inner_support_point_iterator	min_annulus.inner_support_points_begin () const
		returns an iterator referring to the first inner support point of min_annulus.
Inner_support_point_iterator	min_annulus.inner_support_points_end () const
		returns the corresponding past-the-end iterator.

Outer_support_point_iterator

min_annulus.outer_support_points_begin () const

returns an iterator referring to the first outer support point of min_annulus.

Outer_support_point_iterator

min_annulus.outer_support_points_end () const

returns the corresponding past-the-end iterator.

Point

min_annulus.center () const

returns the center of min_annulus.

Requirement:

An implicit conversion from ET to RT is available.

Precondition:

min_annulus is not empty.

min_annulus.squared_inner_radius () const

returns the squared inner radius of min_annulus.

Requirement:

An implicit conversion from ET to RT is available.

Precondition:

min_annulus is not empty.

min_annulus.squared_outer_radius () const

returns the squared outer radius of min_annulus.

Requirement:

An implicit conversion from ET to RT is available.

Precondition:

min_annulus is not empty.

Coordinate_iterator

min_annulus.center_coordinates_begin () const

returns an iterator referring to the first coordinate of the center of min_annulus.

Note:

The coordinates have a rational representation, i.e. the first d elements of the iterator range are the numerators and the (d+1)-st element is the common denominator.

Coordinate_iterator

min_annulus.center_coordinates_end () const

returns the corresponding past-the-end iterator.

min_annulus.squared_inner_radius_numerator () const

returns the numerator of the squared inner radius of min_annulus.

min_annulus.squared_outer_radius_numerator () const

returns the numerator of the squared outer radius of min_annulus.

min_annulus.squared_radii_denominator () const

returns the denominator of the squared radii of min_annulus.

Predicates

The bounded area of the smallest enclosing annulus lies between the inner and the outer sphere. The boundary is the union of both spheres. By definition, an empty annulus has no boundary and no bounded side, i.e. its unbounded side equals the whole space ^d.

CGAL::Bounded_side

min_annulus.bounded_side ( Point p) const

returns CGAL::ON_BOUNDED_SIDE, CGAL::ON_BOUNDARY, or CGAL::ON_UNBOUNDED_SIDE iff p lies properly inside, on the boundary, or properly outside of min_annulus, resp.

Precondition:

The dimension of p equals min_annulus.ambient_dimension() if min_annulus is not empty.

bool

min_annulus.has_on_bounded_side ( Point p) const

returns true, iff p lies properly inside min_annulus.

Precondition:

The dimension of p equals min_annulus.ambient_dimension() if min_annulus is not empty.

bool

min_annulus.has_on_boundary ( Point p) const

returns true, iff p lies on the boundary of min_annulus.

Precondition:

The dimension of p equals min_annulus.ambient_dimension() if min_annulus is not empty.

bool

min_annulus.has_on_unbounded_side ( Point p) const

returns true, iff p lies properly outside of min_annulus.

Precondition:

The dimension of p equals min_annulus.ambient_dimension() if min_annulus is not empty.

bool

min_annulus.is_empty () const

returns true, iff min_annulus is empty (this implies degeneracy).

bool

min_annulus.is_degenerate () const

returns true, iff min_annulus is degenerate, i.e. if min_annulus is empty or equal to a single point.

Modifiers

void

min_annulus.clear ()

resets min_annulus to ma(∅).

template < class InputIterator >

void

min_annulus.set ( InputIterator first, InputIterator last)

sets min_annulus to ma(P), where P is the set of points in the range [first,last).

Requirement:

The value type of InputIterator is Point.

Precondition:

All points have the same dimension.

void

min_annulus.insert ( Point p)

inserts p into min_annulus.

Precondition:

The dimension of p equals min_annulus.ambient_dimension() if min_annulus is not empty.

template < class InputIterator >

void

min_annulus.insert ( InputIterator first, InputIterator last)

inserts the points in the range [first,last) into min_annulus and recomputes the smallest enclosing annulus.

Requirement:

The value type of InputIterator is Point.

Precondition:

All points have the same dimension. If min_annulus is not empty, this dimension must be equal to min_annulus.ambient_dimension().

Validity Check

An object min_annulus is valid, iff

min_annulus contains all points of its defining set P,
min_annulus is the smallest annulus containing its support set S, and
S is minimal, i.e. no support point is redundant.

Note: In this release only the first item is considered by the validity check.

bool	min_annulus.is_valid ( bool verbose = false, int level = 0) const
		returns true, iff min_annulus is valid. If verbose is true, some messages concerning the performed checks are written to standard error stream. The second parameter level is not used, we provide it only for consistency with interfaces of other classes.

Miscellaneous

const Traits&

min_annulus.traits () const

returns a const reference to the traits class object.

I/O

std::ostream&

std::ostream& os << min_annulus

writes min_annulus to output stream os.

Requirement:

The output operator is defined for Point.

std::istream&

std::istream& is >> min_annulus&

reads min_annulus from input stream is.

Requirement:

The input operator is defined for Point.

Implementation

The problem of finding the smallest enclosing annulus of a finite point set can be formulated as an optimization problem with linear constraints and a linear objective function. The solution is obtained using our exact solver for linear and quadratic programs [GS00].

The creation time is almost always linear in the number of points. Access functions and predicates take constant time, inserting a point takes almost always linear time. The clear operation and the check for validity each take linear time.

Next: Min_sphere_of_spheres_d<Traits>

Navigation: Up Table of Contents Package Overview Bibliography Index Title Acknowledging CGAL

CGAL Open Source Project. Release 4.0.2. 4 July 2012.

CGAL::Min_annulus_d<Traits>

Definition

Requirements

Types

Creation

Access Functions

Predicates

Modifiers

Validity Check

Miscellaneous

I/O

See Also

Implementation