summaryrefslogtreecommitdiff
path: root/src/Bottleneck_distance/include/gudhi/Graph_matching.h
diff options
context:
space:
mode:
authorvrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2017-01-04 08:39:18 +0000
committervrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2017-01-04 08:39:18 +0000
commit64dd2a2b0eec1374ed23ca079f86b312125d03f7 (patch)
treef22c13edb5f6d2980c0af4ec21a6a9b8910990de /src/Bottleneck_distance/include/gudhi/Graph_matching.h
parent67c34d7b506efe6445a24380b3ad0743e09ef334 (diff)
Move bottleneck_chrono in benchmark
Add test in cmake for basic example Move CGAL gudhi patches for bottleneck in dedicated directory Fix cpplint syntax issue git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/bottleneck_integration@1920 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: 24671facf791de93dc6fd94bb39ca7362bb22959
Diffstat (limited to 'src/Bottleneck_distance/include/gudhi/Graph_matching.h')
-rw-r--r--src/Bottleneck_distance/include/gudhi/Graph_matching.h220
1 files changed, 110 insertions, 110 deletions
diff --git a/src/Bottleneck_distance/include/gudhi/Graph_matching.h b/src/Bottleneck_distance/include/gudhi/Graph_matching.h
index e9f455d7..253c89b4 100644
--- a/src/Bottleneck_distance/include/gudhi/Graph_matching.h
+++ b/src/Bottleneck_distance/include/gudhi/Graph_matching.h
@@ -4,7 +4,7 @@
*
* Author: Francois Godi
*
- * Copyright (C) 2015 INRIA (France)
+ * Copyright (C) 2015 INRIA
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -34,141 +34,141 @@ namespace persistence_diagram {
* \ingroup bottleneck_distance
*/
class Graph_matching {
-public:
- /** \internal \brief Constructor constructing an empty matching. */
- explicit Graph_matching(Persistence_graph &g);
- /** \internal \brief Copy operator. */
- Graph_matching& operator=(const Graph_matching& m);
- /** \internal \brief Is the matching perfect ? */
- bool perfect() const;
- /** \internal \brief Augments the matching with a maximal set of edge-disjoint shortest augmenting paths. */
- bool multi_augment();
- /** \internal \brief Sets the maximum length of the edges allowed to be added in the matching, 0 initially. */
- void set_r(double r);
-
-private:
- Persistence_graph& g;
- double r;
- /** \internal \brief Given a point from V, provides its matched point in U, null_point_index() if there isn't. */
- std::vector<int> v_to_u;
- /** \internal \brief All the unmatched points in U. */
- std::list<int> unmatched_in_u;
-
- /** \internal \brief Provides a Layered_neighbors_finder dividing the graph in layers. Basically a BFS. */
- Layered_neighbors_finder layering() const;
- /** \internal \brief Augments the matching with a simple path no longer than max_depth. Basically a DFS. */
- bool augment(Layered_neighbors_finder & layered_nf, int u_start_index, int max_depth);
- /** \internal \brief Update the matching with the simple augmenting path given as parameter. */
- void update(std::vector<int> & path);
+ public:
+ /** \internal \brief Constructor constructing an empty matching. */
+ explicit Graph_matching(Persistence_graph &g);
+ /** \internal \brief Copy operator. */
+ Graph_matching& operator=(const Graph_matching& m);
+ /** \internal \brief Is the matching perfect ? */
+ bool perfect() const;
+ /** \internal \brief Augments the matching with a maximal set of edge-disjoint shortest augmenting paths. */
+ bool multi_augment();
+ /** \internal \brief Sets the maximum length of the edges allowed to be added in the matching, 0 initially. */
+ void set_r(double r);
+
+ private:
+ Persistence_graph& g;
+ double r;
+ /** \internal \brief Given a point from V, provides its matched point in U, null_point_index() if there isn't. */
+ std::vector<int> v_to_u;
+ /** \internal \brief All the unmatched points in U. */
+ std::list<int> unmatched_in_u;
+
+ /** \internal \brief Provides a Layered_neighbors_finder dividing the graph in layers. Basically a BFS. */
+ Layered_neighbors_finder layering() const;
+ /** \internal \brief Augments the matching with a simple path no longer than max_depth. Basically a DFS. */
+ bool augment(Layered_neighbors_finder & layered_nf, int u_start_index, int max_depth);
+ /** \internal \brief Update the matching with the simple augmenting path given as parameter. */
+ void update(std::vector<int> & path);
};
inline Graph_matching::Graph_matching(Persistence_graph& g)
: g(g), r(0.), v_to_u(g.size(), null_point_index()), unmatched_in_u() {
- for (int u_point_index = 0; u_point_index < g.size(); ++u_point_index)
- unmatched_in_u.emplace_back(u_point_index);
+ for (int u_point_index = 0; u_point_index < g.size(); ++u_point_index)
+ unmatched_in_u.emplace_back(u_point_index);
}
inline Graph_matching& Graph_matching::operator=(const Graph_matching& m) {
- g = m.g;
- r = m.r;
- v_to_u = m.v_to_u;
- unmatched_in_u = m.unmatched_in_u;
- return *this;
+ g = m.g;
+ r = m.r;
+ v_to_u = m.v_to_u;
+ unmatched_in_u = m.unmatched_in_u;
+ return *this;
}
inline bool Graph_matching::perfect() const {
- return unmatched_in_u.empty();
+ return unmatched_in_u.empty();
}
inline bool Graph_matching::multi_augment() {
- if (perfect())
- return false;
- Layered_neighbors_finder layered_nf(layering());
- int max_depth = layered_nf.vlayers_number()*2 - 1;
- double rn = sqrt(g.size());
- // verification of a necessary criterion in order to shortcut if possible
- if (max_depth <0 || (unmatched_in_u.size() > rn && max_depth >= rn))
- return false;
- bool successful = false;
- std::list<int> tries(unmatched_in_u);
- for (auto it = tries.cbegin(); it != tries.cend(); it++)
- // 'augment' has side-effects which have to be always executed, don't change order
- successful = augment(layered_nf, *it, max_depth) || successful;
- return successful;
+ if (perfect())
+ return false;
+ Layered_neighbors_finder layered_nf(layering());
+ int max_depth = layered_nf.vlayers_number()*2 - 1;
+ double rn = sqrt(g.size());
+ // verification of a necessary criterion in order to shortcut if possible
+ if (max_depth < 0 || (unmatched_in_u.size() > rn && max_depth >= rn))
+ return false;
+ bool successful = false;
+ std::list<int> tries(unmatched_in_u);
+ for (auto it = tries.cbegin(); it != tries.cend(); it++)
+ // 'augment' has side-effects which have to be always executed, don't change order
+ successful = augment(layered_nf, *it, max_depth) || successful;
+ return successful;
}
inline void Graph_matching::set_r(double r) {
- this->r = r;
+ this->r = r;
}
inline bool Graph_matching::augment(Layered_neighbors_finder & layered_nf, int u_start_index, int max_depth) {
- //V vertices have at most one successor, thus when we backtrack from U we can directly pop_back 2 vertices.
- std::vector<int> path;
- path.emplace_back(u_start_index);
- do {
- if (static_cast<int>(path.size()) > max_depth) {
- path.pop_back();
- path.pop_back();
- }
- if (path.empty())
- return false;
- path.emplace_back(layered_nf.pull_near(path.back(), static_cast<int>(path.size())/2));
- while (path.back() == null_point_index()) {
- path.pop_back();
- path.pop_back();
- if (path.empty())
- return false;
- path.pop_back();
- path.emplace_back(layered_nf.pull_near(path.back(), path.size() / 2));
- }
- path.emplace_back(v_to_u.at(path.back()));
- } while (path.back() != null_point_index());
- //if v_to_u.at(path.back()) has no successor, path.back() is an exposed vertex
- path.pop_back();
- update(path);
- return true;
+ // V vertices have at most one successor, thus when we backtrack from U we can directly pop_back 2 vertices.
+ std::vector<int> path;
+ path.emplace_back(u_start_index);
+ do {
+ if (static_cast<int> (path.size()) > max_depth) {
+ path.pop_back();
+ path.pop_back();
+ }
+ if (path.empty())
+ return false;
+ path.emplace_back(layered_nf.pull_near(path.back(), static_cast<int> (path.size()) / 2));
+ while (path.back() == null_point_index()) {
+ path.pop_back();
+ path.pop_back();
+ if (path.empty())
+ return false;
+ path.pop_back();
+ path.emplace_back(layered_nf.pull_near(path.back(), path.size() / 2));
+ }
+ path.emplace_back(v_to_u.at(path.back()));
+ } while (path.back() != null_point_index());
+ // if v_to_u.at(path.back()) has no successor, path.back() is an exposed vertex
+ path.pop_back();
+ update(path);
+ return true;
}
inline Layered_neighbors_finder Graph_matching::layering() const {
- std::list<int> u_vertices(unmatched_in_u);
- std::list<int> v_vertices;
- Neighbors_finder nf(g, r);
- for (int v_point_index = 0; v_point_index < g.size(); ++v_point_index)
- nf.add(v_point_index);
- Layered_neighbors_finder layered_nf(g, r);
- for(int layer = 0; !u_vertices.empty(); layer++) {
- // one layer is one step in the BFS
- for (auto it1 = u_vertices.cbegin(); it1 != u_vertices.cend(); ++it1) {
- std::vector<int> u_succ(nf.pull_all_near(*it1));
- for (auto it2 = u_succ.begin(); it2 != u_succ.end(); ++it2) {
- layered_nf.add(*it2, layer);
- v_vertices.emplace_back(*it2);
- }
- }
- // When the above for finishes, we have progress of one half-step (from U to V) in the BFS
- u_vertices.clear();
- bool end = false;
- for (auto it = v_vertices.cbegin(); it != v_vertices.cend(); it++)
- if (v_to_u.at(*it) == null_point_index())
- // we stop when a nearest exposed V vertex (from U exposed vertices) has been found
- end = true;
- else
- u_vertices.emplace_back(v_to_u.at(*it));
- // When the above for finishes, we have progress of one half-step (from V to U) in the BFS
- if (end)
- return layered_nf;
- v_vertices.clear();
+ std::list<int> u_vertices(unmatched_in_u);
+ std::list<int> v_vertices;
+ Neighbors_finder nf(g, r);
+ for (int v_point_index = 0; v_point_index < g.size(); ++v_point_index)
+ nf.add(v_point_index);
+ Layered_neighbors_finder layered_nf(g, r);
+ for (int layer = 0; !u_vertices.empty(); layer++) {
+ // one layer is one step in the BFS
+ for (auto it1 = u_vertices.cbegin(); it1 != u_vertices.cend(); ++it1) {
+ std::vector<int> u_succ(nf.pull_all_near(*it1));
+ for (auto it2 = u_succ.begin(); it2 != u_succ.end(); ++it2) {
+ layered_nf.add(*it2, layer);
+ v_vertices.emplace_back(*it2);
+ }
}
- return layered_nf;
+ // When the above for finishes, we have progress of one half-step (from U to V) in the BFS
+ u_vertices.clear();
+ bool end = false;
+ for (auto it = v_vertices.cbegin(); it != v_vertices.cend(); it++)
+ if (v_to_u.at(*it) == null_point_index())
+ // we stop when a nearest exposed V vertex (from U exposed vertices) has been found
+ end = true;
+ else
+ u_vertices.emplace_back(v_to_u.at(*it));
+ // When the above for finishes, we have progress of one half-step (from V to U) in the BFS
+ if (end)
+ return layered_nf;
+ v_vertices.clear();
+ }
+ return layered_nf;
}
inline void Graph_matching::update(std::vector<int>& path) {
- unmatched_in_u.remove(path.front());
- for (auto it = path.cbegin(); it != path.cend(); ++it) {
- // Be careful, the iterator is incremented twice each time
- int tmp = *it;
- v_to_u[*(++it)] = tmp;
- }
+ unmatched_in_u.remove(path.front());
+ for (auto it = path.cbegin(); it != path.cend(); ++it) {
+ // Be careful, the iterator is incremented twice each time
+ int tmp = *it;
+ v_to_u[*(++it)] = tmp;
+ }
}