1 /*
2  * Copyright (C) 2011 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 // Delaunay.cpp
18 // $Id: Delaunay.cpp,v 1.10 2011/06/17 13:35:48 mbansal Exp $
19 
20 #include <stdio.h>
21 #include <stdlib.h>
22 #include <memory.h>
23 #include "Delaunay.h"
24 
25 #define QQ 9   // Optimal value as determined by testing
26 #define DM 38  // 2^(1+DM/2) element sort capability. DM=38 for >10^6 elements
27 #define NYL (-1)
28 #define valid(l) ccw(orig(basel), dest(l), dest(basel))
29 
30 
CDelaunay()31 CDelaunay::CDelaunay()
32 {
33 }
34 
~CDelaunay()35 CDelaunay::~CDelaunay()
36 {
37 }
38 
39 // Allocate storage, construct triangulation, compute voronoi corners
triangulate(SEdgeVector ** edges,int n_sites,int width,int height)40 int CDelaunay::triangulate(SEdgeVector **edges, int n_sites, int width, int height)
41 {
42   EdgePointer cep;
43 
44   deleteAllEdges();
45   buildTriangulation(n_sites);
46   cep = consolidateEdges();
47   *edges = ev;
48 
49   // Note: construction_list will change ev
50   return constructList(cep, width, height);
51 }
52 
53 // builds delaunay triangulation
buildTriangulation(int size)54 void CDelaunay::buildTriangulation(int size)
55 {
56   int i, rows;
57   EdgePointer lefte, righte;
58 
59   rows = (int)( 0.5 + sqrt( (double) size / log( (double) size )));
60 
61   // Sort the pointers by  x-coordinate of site
62   for ( i=0 ; i < size ; i++ ) {
63     sp[i] = (SitePointer) i;
64   }
65 
66   spsortx( sp, 0, size-1 );
67   build( 0, size-1, &lefte, &righte, rows );
68   oneBndryEdge = lefte;
69 }
70 
71 // Recursive Delaunay Triangulation Procedure
72 // Contains modifications for axis-switching division.
build(int lo,int hi,EdgePointer * le,EdgePointer * re,int rows)73 void CDelaunay::build(int lo, int hi, EdgePointer *le, EdgePointer *re, int rows)
74 {
75   EdgePointer a, b, c, ldo, rdi, ldi, rdo, maxx, minx;
76   int split, lowrows;
77   int low, high;
78   SitePointer s1, s2, s3;
79   low = lo;
80   high = hi;
81 
82   if ( low < (high-2) ) {
83     // more than three elements; do recursion
84     minx = sp[low];
85     maxx = sp[high];
86     if (rows == 1) {    // time to switch axis of division
87       spsorty( sp, low, high);
88       rows = 65536;
89     }
90     lowrows = rows/2;
91     split = low - 1 + (int)
92       (0.5 + ((double)(high-low+1) * ((double)lowrows / (double)rows)));
93     build( low, split, &ldo, &ldi, lowrows );
94     build( split+1, high, &rdi, &rdo, (rows-lowrows) );
95     doMerge(&ldo, ldi, rdi, &rdo);
96     while (orig(ldo) != minx) {
97       ldo = rprev(ldo);
98     }
99     while (orig(rdo) != maxx) {
100       rdo = (SitePointer) lprev(rdo);
101     }
102     *le = ldo;
103     *re = rdo;
104   }
105   else if (low >= (high - 1)) { // two or one points
106     a = makeEdge(sp[low], sp[high]);
107     *le = a;
108     *re = (EdgePointer) sym(a);
109   } else { // three points
110     // 3 cases: triangles of 2 orientations, and 3 points on a line
111     a = makeEdge((s1 = sp[low]), (s2 = sp[low+1]));
112     b = makeEdge(s2, (s3 = sp[high]));
113     splice((EdgePointer) sym(a), b);
114     if (ccw(s1, s3, s2)) {
115       c = connectLeft(b, a);
116       *le = (EdgePointer) sym(c);
117       *re = c;
118     } else {
119       *le = a;
120       *re = (EdgePointer) sym(b);
121       if (ccw(s1, s2, s3)) {
122         // not colinear
123         c = connectLeft(b, a);
124       }
125     }
126   }
127 }
128 
129 // Quad-edge manipulation primitives
makeEdge(SitePointer origin,SitePointer destination)130 EdgePointer CDelaunay::makeEdge(SitePointer origin, SitePointer destination)
131 {
132   EdgePointer temp, ans;
133   temp = allocEdge();
134   ans = temp;
135 
136   onext(temp) = ans;
137   orig(temp) = origin;
138   onext(++temp) = (EdgePointer) (ans + 3);
139   onext(++temp) = (EdgePointer) (ans + 2);
140   orig(temp) = destination;
141   onext(++temp) = (EdgePointer) (ans + 1);
142 
143   return(ans);
144 }
145 
splice(EdgePointer a,EdgePointer b)146 void CDelaunay::splice(EdgePointer a, EdgePointer b)
147 {
148   EdgePointer alpha, beta, temp;
149   alpha = (EdgePointer) rot(onext(a));
150   beta = (EdgePointer) rot(onext(b));
151   temp = onext(alpha);
152   onext(alpha) = onext(beta);
153   onext(beta) = temp;
154   temp = onext(a);
155   onext(a) = onext(b);
156   onext(b) = temp;
157 }
158 
connectLeft(EdgePointer a,EdgePointer b)159 EdgePointer CDelaunay::connectLeft(EdgePointer a, EdgePointer b)
160 {
161   EdgePointer ans;
162   ans = makeEdge(dest(a), orig(b));
163   splice(ans, (EdgePointer) lnext(a));
164   splice((EdgePointer) sym(ans), b);
165   return(ans);
166 }
167 
connectRight(EdgePointer a,EdgePointer b)168 EdgePointer CDelaunay::connectRight(EdgePointer a, EdgePointer b)
169 {
170   EdgePointer ans;
171   ans = makeEdge(dest(a), orig(b));
172   splice(ans, (EdgePointer) sym(a));
173   splice((EdgePointer) sym(ans), (EdgePointer) oprev(b));
174   return(ans);
175 }
176 
177 // disconnects e from the rest of the structure and destroys it
deleteEdge(EdgePointer e)178 void CDelaunay::deleteEdge(EdgePointer e)
179 {
180   splice(e, (EdgePointer) oprev(e));
181   splice((EdgePointer) sym(e), (EdgePointer) oprev(sym(e)));
182   freeEdge(e);
183 }
184 
185 //
186 // Overall storage allocation
187 //
188 
189 // Quad-edge storage allocation
allocMemory(int n)190 CSite *CDelaunay::allocMemory(int n)
191 {
192   unsigned int size;
193 
194   size = ((sizeof(CSite) + sizeof(SitePointer)) * n +
195           (sizeof(SitePointer) + sizeof(EdgePointer)) * 12
196           ) * n;
197   if (!(sa = (CSite*) malloc(size))) {
198     return NULL;
199   }
200   sp = (SitePointer *) (sa + n);
201   ev = (SEdgeVector *) (org = sp + n);
202   next = (EdgePointer *) (org + 12 * n);
203   ei = (struct EDGE_INFO *) (next + 12 * n);
204   return sa;
205 }
206 
freeMemory()207 void CDelaunay::freeMemory()
208 {
209   if (sa) {
210     free(sa);
211     sa = (CSite*)NULL;
212   }
213 }
214 
215 //
216 // Edge storage management
217 //
218 
deleteAllEdges()219 void CDelaunay::deleteAllEdges()
220 {
221     nextEdge = 0;
222     availEdge = NYL;
223 }
224 
allocEdge()225 EdgePointer CDelaunay::allocEdge()
226 {
227   EdgePointer ans;
228 
229   if (availEdge == NYL) {
230     ans = nextEdge, nextEdge += 4;
231   } else {
232     ans = availEdge, availEdge = onext(availEdge);
233   }
234   return(ans);
235 }
236 
freeEdge(EdgePointer e)237 void CDelaunay::freeEdge(EdgePointer e)
238 {
239   e ^= e & 3;
240   onext(e) = availEdge;
241   availEdge = e;
242 }
243 
consolidateEdges()244 EdgePointer CDelaunay::consolidateEdges()
245 {
246   EdgePointer e;
247   int i,j;
248 
249   while (availEdge != NYL) {
250     nextEdge -= 4; e = availEdge; availEdge = onext(availEdge);
251 
252     if (e==nextEdge) {
253       continue; // the one deleted was the last one anyway
254     }
255     if ((oneBndryEdge&~3) == nextEdge) {
256       oneBndryEdge = (EdgePointer) (e | (oneBndryEdge&3));
257     }
258     for (i=0,j=3; i<4; i++,j=rot(j)) {
259       onext(e+i) = onext(nextEdge+i);
260       onext(rot(onext(e+i))) = (EdgePointer) (e+j);
261     }
262   }
263   return nextEdge;
264 }
265 
266 //
267 // Sorting Routines
268 //
269 
xcmpsp(int i,int j)270 int CDelaunay::xcmpsp(int i, int j)
271 {
272   double d = sa[(i>=0)?sp[i]:sp1].X() - sa[(j>=0)?sp[j]:sp1].X();
273   if ( d > 0. ) {
274     return 1;
275   }
276   if ( d < 0. ) {
277     return -1;
278   }
279   d = sa[(i>=0)?sp[i]:sp1].Y() - sa[(j>=0)?sp[j]:sp1].Y();
280   if ( d > 0. ) {
281     return 1;
282   }
283   if ( d < 0. ) {
284     return -1;
285   }
286   return 0;
287 }
288 
ycmpsp(int i,int j)289 int CDelaunay::ycmpsp(int i, int j)
290 {
291   double d = sa[(i>=0)?sp[i]:sp1].Y() - sa[(j>=0)?sp[j]:sp1].Y();
292   if ( d > 0. ) {
293     return 1;
294   }
295   if ( d < 0. ) {
296     return -1;
297   }
298   d = sa[(i>=0)?sp[i]:sp1].X() - sa[(j>=0)?sp[j]:sp1].X();
299   if ( d > 0. ) {
300     return 1;
301   }
302   if ( d < 0. ) {
303     return -1;
304   }
305   return 0;
306 }
307 
cmpev(int i,int j)308 int CDelaunay::cmpev(int i, int j)
309 {
310   return (ev[i].first - ev[j].first);
311 }
312 
swapsp(int i,int j)313 void CDelaunay::swapsp(int i, int j)
314 {
315   int t;
316   t = (i>=0) ? sp[i] : sp1;
317 
318   if (i>=0) {
319     sp[i] = (j>=0)?sp[j]:sp1;
320   } else {
321     sp1 = (j>=0)?sp[j]:sp1;
322   }
323 
324   if (j>=0) {
325     sp[j] = (SitePointer) t;
326   } else {
327     sp1 = (SitePointer) t;
328   }
329 }
330 
swapev(int i,int j)331 void CDelaunay::swapev(int i, int j)
332 {
333   SEdgeVector temp;
334 
335   temp = ev[i];
336   ev[i] = ev[j];
337   ev[j] = temp;
338 }
339 
copysp(int i,int j)340 void CDelaunay::copysp(int i, int j)
341 {
342   if (j>=0) {
343     sp[j] = (i>=0)?sp[i]:sp1;
344   } else {
345     sp1 = (i>=0)?sp[i]:sp1;
346   }
347 }
348 
copyev(int i,int j)349 void CDelaunay::copyev(int i, int j)
350 {
351   ev[j] = ev[i];
352 }
353 
spsortx(SitePointer * sp_in,int low,int high)354 void CDelaunay::spsortx(SitePointer *sp_in, int low, int high)
355 {
356   sp = sp_in;
357   rcssort(low,high,-1,&CDelaunay::xcmpsp,&CDelaunay::swapsp,&CDelaunay::copysp);
358 }
359 
spsorty(SitePointer * sp_in,int low,int high)360 void CDelaunay::spsorty(SitePointer *sp_in, int low, int high )
361 {
362   sp = sp_in;
363   rcssort(low,high,-1,&CDelaunay::ycmpsp,&CDelaunay::swapsp,&CDelaunay::copysp);
364 }
365 
rcssort(int lowelt,int highelt,int temp,int (CDelaunay::* comparison)(int,int),void (CDelaunay::* swap)(int,int),void (CDelaunay::* copy)(int,int))366 void CDelaunay::rcssort(int lowelt, int highelt, int temp,
367                     int (CDelaunay::*comparison)(int,int),
368                     void (CDelaunay::*swap)(int,int),
369                     void (CDelaunay::*copy)(int,int))
370 {
371   int m,sij,si,sj,sL,sk;
372   int stack[DM];
373 
374   if (highelt-lowelt<=1) {
375     return;
376   }
377   if (highelt-lowelt>QQ) {
378     m = 0;
379     si = lowelt; sj = highelt;
380     for (;;) { // partition [si,sj] about median-of-3.
381       sij = (sj+si) >> 1;
382 
383       // Now to sort elements si,sij,sj into order & set temp=their median
384       if ( (this->*comparison)( si,sij ) > 0 ) {
385         (this->*swap)( si,sij );
386       }
387       if ( (this->*comparison)( sij,sj ) > 0 ) {
388         (this->*swap)( sj,sij );
389         if ( (this->*comparison)( si,sij ) > 0 ) {
390           (this->*swap)( si,sij );
391         }
392       }
393       (this->*copy)( sij,temp );
394 
395       // Now to partition into elements <=temp, >=temp, and ==temp.
396       sk = si; sL = sj;
397       do {
398         do {
399           sL--;
400         } while( (this->*comparison)( sL,temp ) > 0 );
401         do {
402           sk++;
403         } while( (this->*comparison)( temp,sk ) > 0 );
404         if ( sk < sL ) {
405           (this->*swap)( sL,sk );
406         }
407       } while(sk <= sL);
408 
409       // Now to recurse on shorter partition, store longer partition on stack
410       if ( sL-si > sj-sk ) {
411         if ( sL-si < QQ ) {
412           if( m==0 ) {
413             break;  // empty stack && both partitions < QQ so break
414           } else {
415             sj = stack[--m];
416             si = stack[--m];
417           }
418         }
419         else {
420           if ( sj-sk < QQ ) {
421             sj = sL;
422           } else {
423             stack[m++] = si;
424             stack[m++] = sL;
425             si = sk;
426           }
427         }
428       }
429       else {
430         if ( sj-sk < QQ ) {
431           if ( m==0 ) {
432             break; // empty stack && both partitions < QQ so break
433           } else {
434             sj = stack[--m];
435             si = stack[--m];
436           }
437         }
438         else {
439           if ( sL-si < QQ ) {
440             si = sk;
441           } else {
442             stack[m++] = sk;
443             stack[m++] = sj;
444             sj = sL;
445           }
446         }
447       }
448     }
449   }
450 
451   // Now for 0 or Data bounded  "straight insertion" sort of [0,nels-1]; if it is
452   // known that el[-1] = -INF, then can omit the "sk>=0" test and save time.
453   for (si=lowelt; si<highelt; si++) {
454     if ( (this->*comparison)( si,si+1 ) > 0 ) {
455       (this->*copy)( si+1,temp );
456       sj = sk = si;
457       sj++;
458       do {
459         (this->*copy)( sk,sj );
460         sj = sk;
461         sk--;
462       } while ( (this->*comparison)( sk,temp ) > 0 && sk>=lowelt );
463       (this->*copy)( temp,sj );
464     }
465   }
466 }
467 
468 //
469 // Geometric primitives
470 //
471 
472 // incircle, as in the Guibas-Stolfi paper.
incircle(SitePointer a,SitePointer b,SitePointer c,SitePointer d)473 int CDelaunay::incircle(SitePointer a, SitePointer b, SitePointer c, SitePointer d)
474 {
475   double adx, ady, bdx, bdy, cdx, cdy, dx, dy, nad, nbd, ncd;
476   dx = sa[d].X();
477   dy = sa[d].Y();
478   adx = sa[a].X() - dx;
479   ady = sa[a].Y() - dy;
480   bdx = sa[b].X() - dx;
481   bdy = sa[b].Y() - dy;
482   cdx = sa[c].X() - dx;
483   cdy = sa[c].Y() - dy;
484   nad = adx*adx+ady*ady;
485   nbd = bdx*bdx+bdy*bdy;
486   ncd = cdx*cdx+cdy*cdy;
487   return( (0.0 < (nad * (bdx * cdy - bdy * cdx)
488                   + nbd * (cdx * ady - cdy * adx)
489                   + ncd * (adx * bdy - ady * bdx))) ? TRUE : FALSE );
490 }
491 
492 // TRUE iff A, B, C form a counterclockwise oriented triangle
ccw(SitePointer a,SitePointer b,SitePointer c)493 int CDelaunay::ccw(SitePointer a, SitePointer b, SitePointer c)
494 {
495   int result;
496 
497   double ax = sa[a].X();
498   double bx = sa[b].X();
499   double cx = sa[c].X();
500   double ay = sa[a].Y();
501   double by = sa[b].Y();
502   double cy = sa[c].Y();
503 
504   double val = (ax - cx)*(by - cy) - (bx - cx)*(ay - cy);
505   if ( val > 0.0) {
506     return true;
507   }
508 
509   return false;
510 }
511 
512 //
513 // The Merge Procedure.
514 //
515 
doMerge(EdgePointer * ldo,EdgePointer ldi,EdgePointer rdi,EdgePointer * rdo)516 void CDelaunay::doMerge(EdgePointer *ldo, EdgePointer ldi, EdgePointer rdi, EdgePointer *rdo)
517 {
518   int rvalid, lvalid;
519   EdgePointer basel,lcand,rcand,t;
520 
521   for (;;) {
522     while (ccw(orig(ldi), dest(ldi), orig(rdi))) {
523         ldi = (EdgePointer) lnext(ldi);
524     }
525     if (ccw(dest(rdi), orig(rdi), orig(ldi))) {
526         rdi = (EdgePointer)rprev(rdi);
527     } else {
528       break;
529     }
530   }
531 
532   basel = connectLeft((EdgePointer) sym(rdi), ldi);
533   lcand = rprev(basel);
534   rcand = (EdgePointer) oprev(basel);
535   if (orig(basel) == orig(*rdo)) {
536     *rdo = basel;
537   }
538   if (dest(basel) == orig(*ldo)) {
539     *ldo = (EdgePointer) sym(basel);
540   }
541 
542   for (;;) {
543 #if 1
544     if (valid(t=onext(lcand))) {
545 #else
546     t = (EdgePointer)onext(lcand);
547     if (valid(basel, t)) {
548 #endif
549       while (incircle(dest(lcand), dest(t), orig(lcand), orig(basel))) {
550         deleteEdge(lcand);
551         lcand = t;
552         t = onext(lcand);
553       }
554     }
555 #if 1
556     if (valid(t=(EdgePointer)oprev(rcand))) {
557 #else
558     t = (EdgePointer)oprev(rcand);
559     if (valid(basel, t)) {
560 #endif
561       while (incircle(dest(t), dest(rcand), orig(rcand), dest(basel))) {
562         deleteEdge(rcand);
563         rcand = t;
564         t = (EdgePointer)oprev(rcand);
565       }
566     }
567 
568 #if 1
569     lvalid = valid(lcand);
570     rvalid = valid(rcand);
571 #else
572     lvalid = valid(basel, lcand);
573     rvalid = valid(basel, rcand);
574 #endif
575     if ((! lvalid) && (! rvalid)) {
576       return;
577     }
578 
579     if (!lvalid ||
580         (rvalid && incircle(dest(lcand), orig(lcand), orig(rcand), dest(rcand)))) {
581       basel = connectLeft(rcand, (EdgePointer) sym(basel));
582       rcand = (EdgePointer) lnext(sym(basel));
583     } else {
584       basel = (EdgePointer) sym(connectRight(lcand, basel));
585       lcand = rprev(basel);
586     }
587   }
588 }
589 
590 int CDelaunay::constructList(EdgePointer last, int width, int height)
591 {
592   int c, i;
593   EdgePointer curr, src, nex;
594   SEdgeVector *currv, *prevv;
595 
596   c = (int) ((curr = (EdgePointer) ((last & ~3))) >> 1);
597 
598   for (last -= 4; last >= 0; last -= 4) {
599     src = orig(last);
600     nex = dest(last);
601     orig(--curr) = src;
602     orig(--curr) = nex;
603     orig(--curr) = nex;
604     orig(--curr) = src;
605   }
606   rcssort(0, c - 1, -1, &CDelaunay::cmpev, &CDelaunay::swapev, &CDelaunay::copyev);
607 
608   // Throw out any edges that are too far apart
609   currv = prevv = ev;
610   for (i = c; i--; currv++) {
611       if ((int) fabs(sa[currv->first].getVCenter().x - sa[currv->second].getVCenter().x) <= width &&
612           (int) fabs(sa[currv->first].getVCenter().y - sa[currv->second].getVCenter().y) <= height) {
613           *(prevv++) = *currv;
614       } else {
615         c--;
616       }
617   }
618   return c;
619 }
620 
621 // Fill in site neighbor information
622 void CDelaunay::linkNeighbors(SEdgeVector *edge, int nedge, int nsite)
623 {
624   int i;
625 
626   for (i = 0; i < nsite; i++) {
627     sa[i].setNeighbor(edge);
628     sa[i].setNumNeighbors(0);
629     for (; edge->first == i && nedge; edge++, nedge--) {
630       sa[i].incrNumNeighbors();
631     }
632   }
633 }
634