Loading...
Searching...
No Matches
Euclidean_strong_witness_complex.h
1/* This file is part of the Gudhi Library - https://gudhi.inria.fr/ - which is released under MIT.
2 * See file LICENSE or go to https://gudhi.inria.fr/licensing/ for full license details.
3 * Author(s): Siargey Kachanovich
4 *
5 * Copyright (C) 2015 Inria
6 *
7 * Modification(s):
8 * - 2019/08 Vincent Rouvreau: Fix issue #10 for CGAL and Eigen3
9 * - YYYY/MM Author: Description of the modification
10 */
11
12#ifndef EUCLIDEAN_STRONG_WITNESS_COMPLEX_H_
13#define EUCLIDEAN_STRONG_WITNESS_COMPLEX_H_
14
15#include <gudhi/Strong_witness_complex.h>
16#include <gudhi/Active_witness/Active_witness.h>
17#include <gudhi/Kd_tree_search.h>
18
19#include <CGAL/version.h> // for CGAL_VERSION_NR
20
21#include <Eigen/src/Core/util/Macros.h> // for EIGEN_VERSION_AT_LEAST
22
23#include <utility>
24#include <vector>
25
26// Make compilation fail - required for external projects - https://github.com/GUDHI/gudhi-devel/issues/10
27#if CGAL_VERSION_NR < 1041101000
28# error Euclidean_strong_witness_complex is only available for CGAL >= 4.11
29#endif
30
31#if !EIGEN_VERSION_AT_LEAST(3,1,0)
32# error Euclidean_strong_witness_complex is only available for Eigen3 >= 3.1.0 installed with CGAL
33#endif
34
35namespace Gudhi {
36
37namespace witness_complex {
38
48template< class Kernel_ >
50 : public Strong_witness_complex<std::vector<typename Gudhi::spatial_searching::Kd_tree_search<Kernel_,
51 std::vector<typename Kernel_::Point_d>>::INS_range>> {
52 private:
53 typedef Kernel_ K;
54 typedef typename K::Point_d Point_d;
55 typedef std::vector<Point_d> Point_range;
57 typedef typename Kd_tree::INS_range Nearest_landmark_range;
58 typedef typename std::vector<Nearest_landmark_range> Nearest_landmark_table;
59
60 typedef typename Nearest_landmark_range::Point_with_transformed_distance Id_distance_pair;
61 typedef typename Id_distance_pair::first_type Landmark_id;
62 typedef Landmark_id Vertex_handle;
63
64 private:
65 Point_range landmarks_;
66 Kd_tree landmark_tree_;
67 using Strong_witness_complex<Nearest_landmark_table>::nearest_landmark_table_;
68
69 public:
71 /* @name Constructor
72 */
73
75
82 template< typename LandmarkRange,
83 typename WitnessRange >
84 Euclidean_strong_witness_complex(const LandmarkRange & landmarks,
85 const WitnessRange & witnesses)
86 : landmarks_(std::begin(landmarks), std::end(landmarks)), landmark_tree_(landmarks_) {
87 nearest_landmark_table_.reserve(boost::size(witnesses));
88 for (auto w : witnesses)
89 nearest_landmark_table_.push_back(landmark_tree_.incremental_nearest_neighbors(w));
90 }
91
94 template <typename Vertex_handle>
95 Point_d get_point(Vertex_handle vertex) const {
96 return landmarks_[vertex];
97 }
98
100};
101
102} // namespace witness_complex
103
104} // namespace Gudhi
105
106#endif // EUCLIDEAN_STRONG_WITNESS_COMPLEX_H_
Spatial tree data structure to perform (approximate) nearest and furthest neighbor search.
Definition: Kd_tree_search.h:70
INS_range incremental_nearest_neighbors(Point const &p, FT eps=FT(0)) const
Search incrementally for the nearest neighbors from a query point.
Definition: Kd_tree_search.h:271
Incremental_neighbor_search INS_range
The range returned by an incremental nearest or furthest neighbor search. Its value type is std::pair...
Definition: Kd_tree_search.h:112
Constructs strong witness complex for given sets of witnesses and landmarks in Euclidean space.
Definition: Euclidean_strong_witness_complex.h:51
Euclidean_strong_witness_complex(const LandmarkRange &landmarks, const WitnessRange &witnesses)
Initializes member variables before constructing simplicial complex.
Definition: Euclidean_strong_witness_complex.h:84
Point_d get_point(Vertex_handle vertex) const
Returns the point corresponding to the given vertex.
Definition: Euclidean_strong_witness_complex.h:95
Constructs strong witness complex for a given table of nearest landmarks with respect to witnesses.
Definition: Strong_witness_complex.h:40