CGAL::Arr_trapezoid_ric_point_location< Arrangement > Class Template Reference

#include <CGAL/Arr_trapezoid_ric_point_location.h>

Definition

template<typename Arrangement>
class CGAL::Arr_trapezoid_ric_point_location< Arrangement >

The Arr_trapezoid_ric_point_location class implements the incremental randomized algorithm introduced by Mulmuley [11] as presented by Seidel [13] (see also [[5] Chapter 6). It subdivides each arrangement face to pseudo-trapezoidal cells, each of constant complexity, and constructs and maintains a linear-size search structure on top of these cells, such that each query can be answered in \(O(\log n)\) time, where \( n\) is the complexity of the arrangement.

Constructing the search structures takes \(O(n \log n)\) expected time and may require a small number of rebuilds [10]. Therefore attaching a trapezoidal point-location object to an existing arrangement may incur some overhead in running times. In addition, the point-location object needs to keep its auxiliary data structures up-to-date as the arrangement goes through structural changes. It is therefore recommended to use this point-location strategy for static arrangements (or arrangement that do not alter frequently), and when the number of issued queries is relatively large.

This strategy supports arbitrary subdivisions, including unbounded ones.

Is model of

ArrangementPointLocation_2

ArrangementVerticalRayShoot_2

See also

ArrangementPointLocation_2

ArrangementVerticalRayShoot_2

CGAL::Arr_point_location_result<Arrangement>

Examples

Arrangement_on_surface_2/curve_history.cpp, and Arrangement_on_surface_2/vertical_ray_shooting.cpp.

Creation
	Arr_trapezoid_ric_point_location (bool with_guarantees=true)
	If with_guarantees is set to true, the construction performs rebuilds in order to guarantee a resulting structure with linear size and logarithmic query time.
	Arr_trapezoid_ric_point_location (const Arrangement &arr, bool with_guarantees=true)
	Constructs a point location search structure for the given arrangement.

Modifiers
void	with_guarantees (bool with_guarantees)
	If with_guarantees is set to true, the structure will guarantee linear size and logarithmic query time, that is, this function may cause a reconstruction of the data structure.

Constructor & Destructor Documentation

Arr_trapezoid_ric_point_location() [1/2]

template<typename Arrangement >

CGAL::Arr_trapezoid_ric_point_location< Arrangement >::Arr_trapezoid_ric_point_location

(

bool

with_guarantees = true

)

If with_guarantees is set to true, the construction performs rebuilds in order to guarantee a resulting structure with linear size and logarithmic query time.

Otherwise the structure has expected linear size and expected logarithmic query time.

Arr_trapezoid_ric_point_location() [2/2]

template<typename Arrangement >

CGAL::Arr_trapezoid_ric_point_location< Arrangement >::Arr_trapezoid_ric_point_location	(	const Arrangement &	arr,
		bool	with_guarantees = true
	)

Constructs a point location search structure for the given arrangement.

If with_guarantees is set to true, the construction performs rebuilds in order to guarantee a resulting structure with linear size and logarithmic query time. Otherwise the structure has expected linear size and expected logarithmic query time.