[d7d2da3] | 1 | //STARTHEADER
|
---|
| 2 | // $Id$
|
---|
| 3 | //
|
---|
| 4 | // Copyright (c) 2005-2011, Matteo Cacciari, Gavin P. Salam and Gregory Soyez
|
---|
| 5 | //
|
---|
| 6 | //----------------------------------------------------------------------
|
---|
| 7 | // This file is part of FastJet.
|
---|
| 8 | //
|
---|
| 9 | // FastJet is free software; you can redistribute it and/or modify
|
---|
| 10 | // it under the terms of the GNU General Public License as published by
|
---|
| 11 | // the Free Software Foundation; either version 2 of the License, or
|
---|
| 12 | // (at your option) any later version.
|
---|
| 13 | //
|
---|
| 14 | // The algorithms that underlie FastJet have required considerable
|
---|
| 15 | // development and are described in hep-ph/0512210. If you use
|
---|
| 16 | // FastJet as part of work towards a scientific publication, please
|
---|
| 17 | // include a citation to the FastJet paper.
|
---|
| 18 | //
|
---|
| 19 | // FastJet is distributed in the hope that it will be useful,
|
---|
| 20 | // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
| 21 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
| 22 | // GNU General Public License for more details.
|
---|
| 23 | //
|
---|
| 24 | // You should have received a copy of the GNU General Public License
|
---|
| 25 | // along with FastJet. If not, see <http://www.gnu.org/licenses/>.
|
---|
| 26 | //----------------------------------------------------------------------
|
---|
| 27 | //ENDHEADER
|
---|
| 28 |
|
---|
| 29 |
|
---|
| 30 | #ifndef DROP_CGAL // in case we do not have the code for CGAL
|
---|
| 31 |
|
---|
| 32 | #include<set>
|
---|
| 33 | #include<list>
|
---|
| 34 | #include "fastjet/internal/DnnPlane.hh"
|
---|
| 35 | using namespace std;
|
---|
| 36 |
|
---|
| 37 | FASTJET_BEGIN_NAMESPACE // defined in fastjet/internal/base.hh
|
---|
| 38 |
|
---|
| 39 |
|
---|
| 40 | /// Initialiser from a set of points on an Eta-Phi plane, where both
|
---|
| 41 | /// eta and phi can have arbitrary ranges
|
---|
| 42 | DnnPlane::DnnPlane(const vector<EtaPhi> & input_points,
|
---|
| 43 | const bool & verbose ) {
|
---|
| 44 |
|
---|
| 45 | _verbose = verbose;
|
---|
| 46 | int n = input_points.size();
|
---|
| 47 |
|
---|
| 48 | // construct Voronoi diagram in such a way as to get the vertex handles
|
---|
| 49 | // and remember to set CGAL info with the index of the vertex
|
---|
| 50 | SuperVertex sv;
|
---|
| 51 | for (int i = 0; i < n; i++) {
|
---|
| 52 | sv.vertex =
|
---|
| 53 | _TR.insert(Point(input_points[i].first, input_points[i].second));
|
---|
| 54 |
|
---|
| 55 | // we are not up to dealing with coincident vertices, so make
|
---|
| 56 | // sure the user knows!
|
---|
| 57 | _CrashIfVertexPresent(sv.vertex, i);
|
---|
| 58 |
|
---|
| 59 | // we need to assicate an index to each vertex -- thus when we get
|
---|
| 60 | // a vertex (e.g. as a nearest neighbour) from CGAL, we will be
|
---|
| 61 | // able to figure out which particle it corresponded to.
|
---|
| 62 | sv.vertex->info() = i;
|
---|
| 63 | _supervertex.push_back(sv);
|
---|
| 64 | }
|
---|
| 65 |
|
---|
| 66 | // label infinite vertex info with negative index
|
---|
| 67 | _TR.infinite_vertex()->info() = INFINITE_VERTEX;
|
---|
| 68 |
|
---|
| 69 | // set up the structure that holds nearest distances and neighbours
|
---|
| 70 | for (int j = 0; j < n; j++) {_SetNearest(j);}
|
---|
| 71 |
|
---|
| 72 | }
|
---|
| 73 |
|
---|
| 74 |
|
---|
| 75 | //----------------------------------------------------------------------
|
---|
| 76 | /// Crashes if the given vertex handle already exists. Otherwise
|
---|
| 77 | /// it does the bookkeeping for future such tests
|
---|
| 78 | void DnnPlane::_CrashIfVertexPresent(
|
---|
| 79 | const Vertex_handle & vertex, const int & its_index) {
|
---|
| 80 | if (!_crash_on_coincidence) return;
|
---|
| 81 |
|
---|
| 82 | // vertices that do not have the same geometric position as any
|
---|
| 83 | // other vertex so far added have info().val() == NEW_VERTEX -- this
|
---|
| 84 | // is ensured by the InitialisedInt class, which forms the "info"
|
---|
| 85 | // part of our
|
---|
| 86 | // CGAL::Triangulation_vertex_base_with_info_2<InitialisedInt,K>
|
---|
| 87 | //
|
---|
| 88 | // If the vertex coincides with one that already exists, then
|
---|
| 89 | // info().val() it's info().val() will have been updated (in
|
---|
| 90 | // DNN:DNN) to be equal to a vertex "index".
|
---|
| 91 | if (vertex->info().val() != NEW_VERTEX) {
|
---|
| 92 | ostringstream err;
|
---|
| 93 | err << "ERROR in DnnPlane::_CrashIfVertexPresent"
|
---|
| 94 | <<endl << "Point "<<its_index<<" coincides with point "
|
---|
| 95 | <<vertex->info().val() << endl;
|
---|
| 96 | throw DnnError(err.str());
|
---|
| 97 | }
|
---|
| 98 | }
|
---|
| 99 |
|
---|
| 100 |
|
---|
| 101 | //----------------------------------------------------------------------
|
---|
| 102 | /// remove the points labelled by the vector indices_to_remove, and
|
---|
| 103 | /// add the points specified by the vector points_to_add
|
---|
| 104 | /// (corresponding indices will be calculated automatically); the
|
---|
| 105 | /// idea behind this routine is that the points to be added will
|
---|
| 106 | /// somehow be close to the one or other of the points being removed
|
---|
| 107 | /// and this can be used by the implementation to provide hints for
|
---|
| 108 | /// inserting the new points in whatever structure it is using. In a
|
---|
| 109 | /// kt-algorithm the points being added will be a result of a
|
---|
| 110 | /// combination of the points to be removed -- hence the proximity
|
---|
| 111 | /// is (more or less) guaranteed.
|
---|
| 112 | void DnnPlane::RemoveAndAddPoints(
|
---|
| 113 | const vector<int> & indices_to_remove,
|
---|
| 114 | const vector<EtaPhi> & points_to_add,
|
---|
| 115 | vector<int> & indices_added,
|
---|
| 116 | vector<int> & indices_of_updated_neighbours) {
|
---|
| 117 |
|
---|
| 118 |
|
---|
| 119 | // build set of UNION of Voronoi neighbours of a pair of nearest
|
---|
| 120 | // neighbours
|
---|
| 121 | set<int> NeighbourUnion;
|
---|
| 122 | // later on it will be convenient to have access to a set (rather
|
---|
| 123 | // than vector) of indices being removed
|
---|
| 124 | set<int> indices_removed;
|
---|
| 125 |
|
---|
| 126 | // for each of the indices to be removed add the voronoi neighbourhood to
|
---|
| 127 | // the NeighbourUnion set.
|
---|
| 128 | for (size_t ir = 0; ir < indices_to_remove.size(); ir++) {
|
---|
| 129 | int index = indices_to_remove[ir];
|
---|
| 130 | indices_removed.insert(index);
|
---|
| 131 | if (_verbose) cout << " Starting RemoveAndAddPoints" << endl;
|
---|
| 132 | if (_verbose) cout << " point " << index << endl;
|
---|
| 133 | // have a circulators that will go round the Voronoi neighbours of
|
---|
| 134 | // _supervertex[index1].vertex
|
---|
| 135 | Vertex_circulator vc = _TR.incident_vertices(_supervertex[index].vertex);
|
---|
| 136 | Vertex_circulator done = vc;
|
---|
| 137 | do {
|
---|
| 138 | // if a neighbouring vertex not the infinite vertex, then add it
|
---|
| 139 | // to our union of neighbouring vertices.
|
---|
| 140 | if (_verbose) cout << "examining " << vc->info().val() << endl;
|
---|
| 141 | if (vc->info().val() != INFINITE_VERTEX) {
|
---|
| 142 | // NB: from it=1 onwards occasionally it might already have
|
---|
| 143 | // been inserted -- but double insertion still leaves only one
|
---|
| 144 | // copy in the set, so there's no problem
|
---|
| 145 | NeighbourUnion.insert(vc->info().val());
|
---|
| 146 | if (_verbose) cout << "inserted " << vc->info().val() << endl;
|
---|
| 147 | }
|
---|
| 148 | } while (++vc != done);
|
---|
| 149 | }
|
---|
| 150 |
|
---|
| 151 | if (_verbose) {
|
---|
| 152 | set<int>::iterator it = NeighbourUnion.begin();
|
---|
| 153 | cout << "Union of neighbours of combined points" << endl;
|
---|
| 154 | for ( ; it != NeighbourUnion.end(); ++it ) {
|
---|
| 155 | cout << *it << endl;
|
---|
| 156 | }
|
---|
| 157 | }
|
---|
| 158 |
|
---|
| 159 | // update set, triangulation and supervertex info
|
---|
| 160 | for (size_t ir = 0; ir < indices_to_remove.size(); ir++) {
|
---|
| 161 | int index = indices_to_remove[ir];
|
---|
| 162 |
|
---|
| 163 | // NeighbourUnion should not contain the points to be removed
|
---|
| 164 | // (because later we will assume they still exist).
|
---|
| 165 | NeighbourUnion.erase(indices_to_remove[ir]);
|
---|
| 166 |
|
---|
| 167 | // points to be removed should also be eliminated from the
|
---|
| 168 | // triangulation and the supervertex structure should be updated
|
---|
| 169 | // to reflect the fact that the points are no longer valid.
|
---|
| 170 | _TR.remove(_supervertex[index].vertex);
|
---|
| 171 | _supervertex[index].vertex = NULL;
|
---|
| 172 | }
|
---|
| 173 |
|
---|
| 174 | // add new point: give a "hint" to the inserter that
|
---|
| 175 | // the new point should be added close to old points -- the easiest way
|
---|
| 176 | // of getting this is to take a point from the NeighbourUnion AFTER we have
|
---|
| 177 | // removed point1, point2, and to get one of its incident faces.
|
---|
| 178 | //
|
---|
| 179 | // This hinting improves speed by c. 25% for 10^4 points because it
|
---|
| 180 | // avoids the need for a costly (sqrt{N}) location step (at least
|
---|
| 181 | // with a non-hierarchical triangulation -- with a hierarchical one,
|
---|
| 182 | // this step could be done away with, though there will still be a
|
---|
| 183 | // cost of O(ln N) to pay.
|
---|
| 184 | //
|
---|
| 185 | // For some reason inserting the point before the two removals
|
---|
| 186 | // slows things down by c. 25%. This importance of the order
|
---|
| 187 | // is not understood.
|
---|
| 188 | //
|
---|
| 189 | // At some point it might be worth trying to select the "nearest"
|
---|
| 190 | // of the various points in the neighbour union to avoid large
|
---|
| 191 | // steps in cases where we have 0..2pi periodicity and the first member
|
---|
| 192 | // of the neighbour union happens to be on the wrong side.
|
---|
| 193 | Face_handle face;
|
---|
| 194 | if (indices_to_remove.size() > 0) {
|
---|
| 195 | // face can only be found if there were points to remove in first place
|
---|
| 196 | face = _TR.incident_faces(
|
---|
| 197 | _supervertex[*NeighbourUnion.begin()].vertex);}
|
---|
| 198 | // make sure the output arrays are empty
|
---|
| 199 | indices_added.clear();
|
---|
| 200 | indices_of_updated_neighbours.clear();
|
---|
| 201 | for (size_t ia = 0; ia < points_to_add.size(); ia++) {
|
---|
| 202 | SuperVertex sv;
|
---|
| 203 | _supervertex.push_back(sv);
|
---|
| 204 | int index = _supervertex.size()-1;
|
---|
| 205 | indices_added.push_back(index);
|
---|
| 206 |
|
---|
| 207 | if (indices_to_remove.size() > 0) {
|
---|
| 208 | // be careful of using face (for location hinting) only when it exists
|
---|
| 209 | _supervertex[index].vertex = _TR.insert(Point(points_to_add[ia].first,
|
---|
| 210 | points_to_add[ia].second),face);}
|
---|
| 211 | else {
|
---|
| 212 | _supervertex[index].vertex = _TR.insert(Point(points_to_add[ia].first,
|
---|
| 213 | points_to_add[ia].second));
|
---|
| 214 | }
|
---|
| 215 | // we are not up to dealing with coincident vertices, so make
|
---|
| 216 | // sure the user knows!
|
---|
| 217 | _CrashIfVertexPresent(_supervertex[index].vertex, index);
|
---|
| 218 | _supervertex[index].vertex->info() = index;
|
---|
| 219 |
|
---|
| 220 | // first find nearest neighbour of "newpoint" (shorthand for
|
---|
| 221 | // _supervertex[index].vertex); while we're at it, for each of the
|
---|
| 222 | // voronoi neighbours, "D", of newpoint, examine whether newpoint is
|
---|
| 223 | // closer to "D" than D's current nearest neighbour -- when this
|
---|
| 224 | // occurs, put D into indices_of_updated_neighbours.
|
---|
| 225 | //
|
---|
| 226 | // manually put newpoint on indices_of_updated_neighbours
|
---|
| 227 | indices_of_updated_neighbours.push_back(index);
|
---|
| 228 | _SetAndUpdateNearest(index, indices_of_updated_neighbours);
|
---|
| 229 | }
|
---|
| 230 |
|
---|
| 231 | // for Voronoi neighbours j of any of the removed points for which
|
---|
| 232 | // one of those removed points was the nearest neighbour,
|
---|
| 233 | // redetermine the nearest neighbour of j and add j onto the vector
|
---|
| 234 | // of indices_of_updated_neighbours.
|
---|
| 235 | set<int>::iterator it2 = NeighbourUnion.begin();
|
---|
| 236 | for ( ; it2 != NeighbourUnion.end(); ++it2 ) {
|
---|
| 237 | int j = *it2;
|
---|
| 238 | // the if avoids the vertex at infinity, which gets a negative index
|
---|
| 239 | if( j != INFINITE_VERTEX ) {
|
---|
| 240 | // this is where we check if the nearest neighbour of j was one
|
---|
| 241 | // of the removed points
|
---|
| 242 | if (indices_removed.count(_supervertex[j].NNindex)) {
|
---|
| 243 | if (_verbose) cout << "j " << j << endl;
|
---|
| 244 | _SetNearest(j);
|
---|
| 245 | indices_of_updated_neighbours.push_back(j);
|
---|
| 246 | if (_verbose) cout << "NN of " << j << " : "
|
---|
| 247 | << _supervertex[j].NNindex
|
---|
| 248 | << ", dist = " << _supervertex[j].NNdistance <<endl;
|
---|
| 249 | }
|
---|
| 250 | }
|
---|
| 251 | }
|
---|
| 252 |
|
---|
| 253 | }
|
---|
| 254 |
|
---|
| 255 |
|
---|
| 256 | //----------------------------------------------------------------------
|
---|
| 257 | /// Determines the index and distance of the nearest neighbour to
|
---|
| 258 | /// point j and puts the information into the _supervertex entry for j.
|
---|
| 259 | void DnnPlane::_SetNearest (const int & j) {
|
---|
| 260 | Vertex_handle current = _supervertex[j].vertex;
|
---|
| 261 | Vertex_circulator vc = _TR.incident_vertices(current);
|
---|
| 262 | Vertex_circulator done = vc;
|
---|
| 263 | double dist;
|
---|
| 264 | double mindist = HUGE_DOUBLE; // change this to "HUGE" or max_double?
|
---|
| 265 | Vertex_handle nearest = _TR.infinite_vertex();
|
---|
| 266 |
|
---|
| 267 | // when there is only one finite point left in the triangulation,
|
---|
| 268 | // there are no triangles. Presumably this is why voronoi returns
|
---|
| 269 | // NULL for the incident vertex circulator. Check if this is
|
---|
| 270 | // happening before circulating over it... (Otherwise it crashes
|
---|
| 271 | // when looking for neighbours of last point)
|
---|
| 272 | if (vc != NULL) do {
|
---|
| 273 | if ( vc->info().val() != INFINITE_VERTEX) {
|
---|
| 274 | // find distance between j and its Voronoi neighbour (vc)
|
---|
| 275 | if (_verbose) cout << current->info().val() << " " << vc->info().val() << endl;
|
---|
| 276 | dist = _euclid_distance(current->point(), vc->point());
|
---|
| 277 | // check if j is closer to vc than vc's currently registered
|
---|
| 278 | // nearest neighbour (and update things if it is)
|
---|
| 279 | if (dist < mindist) {
|
---|
| 280 | mindist = dist; nearest = vc;
|
---|
| 281 | if (_verbose) cout << "nearer ";
|
---|
| 282 | }
|
---|
| 283 | if (_verbose) cout << vc->point() << "; "<< dist << endl;
|
---|
| 284 | }
|
---|
| 285 | } while (++vc != done); // move on to next Voronoi neighbour
|
---|
| 286 | // set j's supervertex info about nearest neighbour
|
---|
| 287 | _supervertex[j].NNindex = nearest->info().val();
|
---|
| 288 | _supervertex[j].NNdistance = mindist;
|
---|
| 289 | }
|
---|
| 290 |
|
---|
| 291 | //----------------------------------------------------------------------
|
---|
| 292 | /// Determines and stores the nearest neighbour of j, and where
|
---|
| 293 | /// necessary update the nearest-neighbour info of Voronoi neighbours
|
---|
| 294 | /// of j;
|
---|
| 295 | ///
|
---|
| 296 | /// For each voronoi neighbour D of j if the distance between j and D
|
---|
| 297 | /// is less than D's own nearest neighbour, then update the
|
---|
| 298 | /// nearest-neighbour info in D; push D's index onto
|
---|
| 299 | /// indices_of_updated_neighbours
|
---|
| 300 | ///
|
---|
| 301 | /// Note that j is NOT pushed onto indices_of_updated_neighbours --
|
---|
| 302 | /// if you want it there, put it there yourself.
|
---|
| 303 | ///
|
---|
| 304 | /// NB: note that we have _SetAndUpdateNearest as a completely
|
---|
| 305 | /// separate routine from _SetNearest because we want to
|
---|
| 306 | /// use one single ciruclation over voronoi neighbours to find the
|
---|
| 307 | /// nearest neighbour and to update the voronoi neighbours if need
|
---|
| 308 | /// be.
|
---|
| 309 | void DnnPlane::_SetAndUpdateNearest(
|
---|
| 310 | const int & j,
|
---|
| 311 | vector<int> & indices_of_updated_neighbours) {
|
---|
| 312 |
|
---|
| 313 | Vertex_handle current = _supervertex[j].vertex;
|
---|
| 314 | Vertex_circulator vc = _TR.incident_vertices(current);
|
---|
| 315 | Vertex_circulator done = vc;
|
---|
| 316 | double dist;
|
---|
| 317 | double mindist = HUGE_DOUBLE; // change this to "HUGE" or max_double?
|
---|
| 318 | Vertex_handle nearest = _TR.infinite_vertex();
|
---|
| 319 |
|
---|
| 320 | // when there is only one finite point left in the triangulation,
|
---|
| 321 | // there are no triangles. Presumably this is why voronoi returns
|
---|
| 322 | // NULL for the incident vertex circulator. Check if this is
|
---|
| 323 | // happening before circulating over it... (Otherwise it crashes
|
---|
| 324 | // when looking for neighbours of last point)
|
---|
| 325 | if (vc != NULL) do {
|
---|
| 326 | if (vc->info().val() != INFINITE_VERTEX) {
|
---|
| 327 | if (_verbose) cout << current->info().val() << " " << vc->info().val() << endl;
|
---|
| 328 | // find distance between j and its Voronoi neighbour (vc)
|
---|
| 329 | dist = _euclid_distance(current->point(), vc->point());
|
---|
| 330 | // update the mindist if we are closer than anything found so far
|
---|
| 331 | if (dist < mindist) {
|
---|
| 332 | mindist = dist; nearest = vc;
|
---|
| 333 | if (_verbose) cout << "nearer ";
|
---|
| 334 | }
|
---|
| 335 | // find index corresponding to vc for easy manipulation
|
---|
| 336 | int vcindx = vc->info().val();
|
---|
| 337 | if (_verbose) cout << vc->point() << "; "<< dist << endl;
|
---|
| 338 | // check if j is closer to vc than vc's currently registered
|
---|
| 339 | // nearest neighbour (and update things if it is)
|
---|
| 340 | if (dist < _supervertex[vcindx].NNdistance) {
|
---|
| 341 | if (_verbose) cout << vcindx << "'s NN becomes " << current->info().val() << endl;
|
---|
| 342 | _supervertex[vcindx].NNdistance = dist;
|
---|
| 343 | _supervertex[vcindx].NNindex = j;
|
---|
| 344 | indices_of_updated_neighbours.push_back(vcindx);
|
---|
| 345 | }
|
---|
| 346 | }
|
---|
| 347 | } while (++vc != done); // move on to next Voronoi neighbour
|
---|
| 348 | // set j's supervertex info about nearest neighbour
|
---|
| 349 | _supervertex[j].NNindex = nearest->info().val();
|
---|
| 350 | _supervertex[j].NNdistance = mindist;
|
---|
| 351 | }
|
---|
| 352 |
|
---|
| 353 | FASTJET_END_NAMESPACE
|
---|
| 354 |
|
---|
| 355 | #endif // DROP_CGAL
|
---|