propagate_winding_numbers.cpp 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311
  1. // This file is part of libigl, a simple c++ geometry processing library.
  2. //
  3. // Copyright (C) 2015 Qingnan Zhou <qnzhou@gmail.com>
  4. //
  5. // This Source Code Form is subject to the terms of the Mozilla Public License
  6. // v. 2.0. If a copy of the MPL was not distributed with this file, You can
  7. // obtain one at http://mozilla.org/MPL/2.0/.
  8. //
  9. #include "propagate_winding_numbers.h"
  10. #include "../../extract_manifold_patches.h"
  11. #include "../../extract_non_manifold_edge_curves.h"
  12. #include "../../facet_components.h"
  13. #include "../../unique_edge_map.h"
  14. #include "../../writeOBJ.h"
  15. #include "../../writePLY.h"
  16. #include "../../get_seconds.h"
  17. #include "order_facets_around_edge.h"
  18. #include "outer_facet.h"
  19. #include "closest_facet.h"
  20. #include "assign_scalar.h"
  21. #include "extract_cells.h"
  22. #include <stdexcept>
  23. #include <limits>
  24. #include <vector>
  25. #include <tuple>
  26. #include <queue>
  27. #define PROPAGATE_WINDING_NUMBER_TIMING
  28. namespace propagate_winding_numbers_helper {
  29. template<
  30. typename DerivedF,
  31. typename DeriveduE,
  32. typename uE2EType >
  33. bool is_orientable(
  34. const Eigen::PlainObjectBase<DerivedF>& F,
  35. const Eigen::PlainObjectBase<DeriveduE>& uE,
  36. const std::vector<std::vector<uE2EType> >& uE2E) {
  37. const size_t num_faces = F.rows();
  38. const size_t num_edges = uE.rows();
  39. auto edge_index_to_face_index = [&](size_t ei) {
  40. return ei % num_faces;
  41. };
  42. auto is_consistent = [&](size_t fid, size_t s, size_t d) {
  43. if ((size_t)F(fid, 0) == s && (size_t)F(fid, 1) == d) return true;
  44. if ((size_t)F(fid, 1) == s && (size_t)F(fid, 2) == d) return true;
  45. if ((size_t)F(fid, 2) == s && (size_t)F(fid, 0) == d) return true;
  46. if ((size_t)F(fid, 0) == d && (size_t)F(fid, 1) == s) return false;
  47. if ((size_t)F(fid, 1) == d && (size_t)F(fid, 2) == s) return false;
  48. if ((size_t)F(fid, 2) == d && (size_t)F(fid, 0) == s) return false;
  49. throw "Invalid face!!";
  50. };
  51. for (size_t i=0; i<num_edges; i++) {
  52. const size_t s = uE(i,0);
  53. const size_t d = uE(i,1);
  54. int count=0;
  55. for (const auto& ei : uE2E[i]) {
  56. const size_t fid = edge_index_to_face_index(ei);
  57. if (is_consistent(fid, s, d)) count++;
  58. else count--;
  59. }
  60. if (count != 0) {
  61. return false;
  62. }
  63. }
  64. return true;
  65. }
  66. }
  67. template<
  68. typename DerivedV,
  69. typename DerivedF,
  70. typename DerivedL,
  71. typename DerivedW>
  72. IGL_INLINE void igl::copyleft::cgal::propagate_winding_numbers(
  73. const Eigen::PlainObjectBase<DerivedV>& V,
  74. const Eigen::PlainObjectBase<DerivedF>& F,
  75. const Eigen::PlainObjectBase<DerivedL>& labels,
  76. Eigen::PlainObjectBase<DerivedW>& W) {
  77. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  78. const auto & tictoc = []()
  79. {
  80. static double t_start = igl::get_seconds();
  81. double diff = igl::get_seconds()-t_start;
  82. t_start += diff;
  83. return diff;
  84. };
  85. const auto log_time = [&](const std::string& label) {
  86. std::cout << "propagate_winding_num." << label << ": "
  87. << tictoc() << std::endl;
  88. };
  89. tictoc();
  90. #endif
  91. const size_t num_faces = F.rows();
  92. //typedef typename DerivedF::Scalar Index;
  93. Eigen::MatrixXi E, uE;
  94. Eigen::VectorXi EMAP;
  95. std::vector<std::vector<size_t> > uE2E;
  96. igl::unique_edge_map(F, E, uE, EMAP, uE2E);
  97. if (!propagate_winding_numbers_helper::is_orientable(F, uE, uE2E)) {
  98. std::cerr << "Input mesh is not orientable!" << std::endl;
  99. }
  100. Eigen::VectorXi P;
  101. const size_t num_patches = igl::extract_manifold_patches(F, EMAP, uE2E, P);
  102. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  103. log_time("patch_extraction");
  104. #endif
  105. DerivedW per_patch_cells;
  106. const size_t num_cells =
  107. igl::copyleft::cgal::extract_cells(
  108. V, F, P, E, uE, uE2E, EMAP, per_patch_cells);
  109. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  110. log_time("cell_extraction");
  111. #endif
  112. typedef std::tuple<size_t, bool, size_t> CellConnection;
  113. std::vector<std::set<CellConnection> > cell_adjacency(num_cells);
  114. for (size_t i=0; i<num_patches; i++) {
  115. const int positive_cell = per_patch_cells(i,0);
  116. const int negative_cell = per_patch_cells(i,1);
  117. cell_adjacency[positive_cell].emplace(negative_cell, false, i);
  118. cell_adjacency[negative_cell].emplace(positive_cell, true, i);
  119. }
  120. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  121. log_time("cell_connectivity");
  122. #endif
  123. auto save_cell = [&](const std::string& filename, size_t cell_id) {
  124. std::vector<size_t> faces;
  125. for (size_t i=0; i<num_patches; i++) {
  126. if ((per_patch_cells.row(i).array() == cell_id).any()) {
  127. for (size_t j=0; j<num_faces; j++) {
  128. if ((size_t)P[j] == i) {
  129. faces.push_back(j);
  130. }
  131. }
  132. }
  133. }
  134. Eigen::MatrixXi cell_faces(faces.size(), 3);
  135. for (size_t i=0; i<faces.size(); i++) {
  136. cell_faces.row(i) = F.row(faces[i]);
  137. }
  138. Eigen::MatrixXd vertices(V.rows(), 3);
  139. for (size_t i=0; i<(size_t)V.rows(); i++) {
  140. assign_scalar(V(i,0), vertices(i,0));
  141. assign_scalar(V(i,1), vertices(i,1));
  142. assign_scalar(V(i,2), vertices(i,2));
  143. }
  144. writePLY(filename, vertices, cell_faces);
  145. };
  146. #ifndef NDEBUG
  147. {
  148. // Check for odd cycle.
  149. Eigen::VectorXi cell_labels(num_cells);
  150. cell_labels.setZero();
  151. Eigen::VectorXi parents(num_cells);
  152. parents.setConstant(-1);
  153. auto trace_parents = [&](size_t idx) {
  154. std::list<size_t> path;
  155. path.push_back(idx);
  156. while ((size_t)parents[path.back()] != path.back()) {
  157. path.push_back(parents[path.back()]);
  158. }
  159. return path;
  160. };
  161. for (size_t i=0; i<num_cells; i++) {
  162. if (cell_labels[i] == 0) {
  163. cell_labels[i] = 1;
  164. std::queue<size_t> Q;
  165. Q.push(i);
  166. parents[i] = i;
  167. while (!Q.empty()) {
  168. size_t curr_idx = Q.front();
  169. Q.pop();
  170. int curr_label = cell_labels[curr_idx];
  171. for (const auto& neighbor : cell_adjacency[curr_idx]) {
  172. if (cell_labels[std::get<0>(neighbor)] == 0) {
  173. cell_labels[std::get<0>(neighbor)] = curr_label * -1;
  174. Q.push(std::get<0>(neighbor));
  175. parents[std::get<0>(neighbor)] = curr_idx;
  176. } else {
  177. if (cell_labels[std::get<0>(neighbor)] !=
  178. curr_label * -1) {
  179. std::cerr << "Odd cell cycle detected!" << std::endl;
  180. auto path = trace_parents(curr_idx);
  181. path.reverse();
  182. auto path2 = trace_parents(std::get<0>(neighbor));
  183. path.insert(path.end(),
  184. path2.begin(), path2.end());
  185. for (auto cell_id : path) {
  186. std::cout << cell_id << " ";
  187. std::stringstream filename;
  188. filename << "cell_" << cell_id << ".ply";
  189. save_cell(filename.str(), cell_id);
  190. }
  191. std::cout << std::endl;
  192. }
  193. // Do not fail when odd cycle is detected because the resulting
  194. // integer winding number field, although inconsistent, may still
  195. // be used if the problem region is local and embedded within a
  196. // valid volume.
  197. //assert(cell_labels[std::get<0>(neighbor)] == curr_label * -1);
  198. }
  199. }
  200. }
  201. }
  202. }
  203. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  204. log_time("odd_cycle_check");
  205. #endif
  206. }
  207. #endif
  208. size_t outer_facet;
  209. bool flipped;
  210. Eigen::VectorXi I;
  211. I.setLinSpaced(num_faces, 0, num_faces-1);
  212. igl::copyleft::cgal::outer_facet(V, F, I, outer_facet, flipped);
  213. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  214. log_time("outer_facet");
  215. #endif
  216. const size_t outer_patch = P[outer_facet];
  217. const size_t infinity_cell = per_patch_cells(outer_patch, flipped?1:0);
  218. Eigen::VectorXi patch_labels(num_patches);
  219. const int INVALID = std::numeric_limits<int>::max();
  220. patch_labels.setConstant(INVALID);
  221. for (size_t i=0; i<num_faces; i++) {
  222. if (patch_labels[P[i]] == INVALID) {
  223. patch_labels[P[i]] = labels[i];
  224. } else {
  225. assert(patch_labels[P[i]] == labels[i]);
  226. }
  227. }
  228. assert((patch_labels.array() != INVALID).all());
  229. const size_t num_labels = patch_labels.maxCoeff()+1;
  230. Eigen::MatrixXi per_cell_W(num_cells, num_labels);
  231. per_cell_W.setConstant(INVALID);
  232. per_cell_W.row(infinity_cell).setZero();
  233. std::queue<size_t> Q;
  234. Q.push(infinity_cell);
  235. while (!Q.empty()) {
  236. size_t curr_cell = Q.front();
  237. Q.pop();
  238. for (const auto& neighbor : cell_adjacency[curr_cell]) {
  239. size_t neighbor_cell, patch_idx;
  240. bool direction;
  241. std::tie(neighbor_cell, direction, patch_idx) = neighbor;
  242. if ((per_cell_W.row(neighbor_cell).array() == INVALID).any()) {
  243. per_cell_W.row(neighbor_cell) = per_cell_W.row(curr_cell);
  244. for (size_t i=0; i<num_labels; i++) {
  245. int inc = (patch_labels[patch_idx] == (int)i) ?
  246. (direction ? -1:1) :0;
  247. per_cell_W(neighbor_cell, i) =
  248. per_cell_W(curr_cell, i) + inc;
  249. }
  250. Q.push(neighbor_cell);
  251. } else {
  252. #ifndef NDEBUG
  253. // Checking for winding number consistency.
  254. // This check would inevitably fail for meshes that contain open
  255. // boundary or non-orientable. However, the inconsistent winding number
  256. // field would still be useful in some cases such as when problem region
  257. // is local and embedded within the volume. This, unfortunately, is the
  258. // best we can do because the problem of computing integer winding
  259. // number is ill-defined for open and non-orientable surfaces.
  260. for (size_t i=0; i<num_labels; i++) {
  261. if ((int)i == patch_labels[patch_idx]) {
  262. int inc = direction ? -1:1;
  263. //assert(per_cell_W(neighbor_cell, i) ==
  264. // per_cell_W(curr_cell, i) + inc);
  265. } else {
  266. //assert(per_cell_W(neighbor_cell, i) ==
  267. // per_cell_W(curr_cell, i));
  268. }
  269. }
  270. #endif
  271. }
  272. }
  273. }
  274. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  275. log_time("propagate_winding_number");
  276. #endif
  277. W.resize(num_faces, num_labels*2);
  278. for (size_t i=0; i<num_faces; i++) {
  279. const size_t patch = P[i];
  280. const size_t positive_cell = per_patch_cells(patch, 0);
  281. const size_t negative_cell = per_patch_cells(patch, 1);
  282. for (size_t j=0; j<num_labels; j++) {
  283. W(i,j*2 ) = per_cell_W(positive_cell, j);
  284. W(i,j*2+1) = per_cell_W(negative_cell, j);
  285. }
  286. }
  287. #ifdef PROPAGATE_WINDING_NUMBER_TIMING
  288. log_time("store_result");
  289. #endif
  290. }
  291. #ifdef IGL_STATIC_LIBRARY
  292. template void igl::copyleft::cgal::propagate_winding_numbers<Eigen::Matrix<CGAL::Lazy_exact_nt<CGAL::Gmpq>, -1, -1, 0, -1, -1>, Eigen::Matrix<int, -1, -1, 0, -1, -1>, Eigen::Matrix<int, -1, 1, 0, -1, 1>, Eigen::Matrix<int, -1, -1, 0, -1, -1> >(Eigen::PlainObjectBase<Eigen::Matrix<CGAL::Lazy_exact_nt<CGAL::Gmpq>, -1, -1, 0, -1, -1> > const&, Eigen::PlainObjectBase<Eigen::Matrix<int, -1, -1, 0, -1, -1> > const&, Eigen::PlainObjectBase<Eigen::Matrix<int, -1, 1, 0, -1, 1> > const&, Eigen::PlainObjectBase<Eigen::Matrix<int, -1, -1, 0, -1, -1> >&);
  293. #endif