chiark / gitweb /
tidy up and normalise line bending cost
[moebius2.git] / energy.c
index 4723e0ce408a5510d29644432c8cb096f897123a..db13fbffcf866a23b87d308914bcc8362b9e6728 100644 (file)
--- a/energy.c
+++ b/energy.c
@@ -13,6 +13,12 @@ static double best_energy= DBL_MAX;
 static void addcost(double *energy, double tweight, double tcost, int pr);
 #define COST(weight, compute) addcost(&energy, (weight), (compute), printing)
 
+double density;
+
+void energy_init(void) {
+  density= sqrt(N);
+}
+
 /*---------- main energy computation and subroutines ----------*/
 
 double compute_energy(const struct Vertices *vs) {
@@ -27,7 +33,7 @@ double compute_energy(const struct Vertices *vs) {
 
   if (printing) printf("cost > energy |");
 
-  COST(3e2, edgewise_vertex_displacement_cost(vs->a));
+  COST(2.25e3, line_bending_adjcost(vs->a));
   COST(1e3, edge_length_variation_cost(vs->a));
   COST(0.2e3, rim_proximity_cost(vs->a));
 //  COST(1e2, graph_layout_cost(vs->a));
@@ -58,7 +64,7 @@ double compute_energy(const struct Vertices *vs) {
 
 static void addcost(double *energy, double tweight, double tcost, int pr) {
   double tenergy= tweight * tcost;
-  if (pr) printf(" %# e > %# e* |", tcost, tenergy);
+  if (pr) printf(" %# e x %# e > %# e* |", tcost, tweight, tenergy);
   *energy += tenergy;
 }
 
@@ -66,13 +72,14 @@ static void addcost(double *energy, double tweight, double tcost, int pr) {
 
 void compute_edge_lengths(const Vertices vertices) {
   int v1,e,v2;
-  
+
   FOR_EDGE(v1,e,v2)
     edge_lengths[v1][e]= hypotD(vertices[v1],vertices[v2]);
 }
 
 void compute_vertex_areas(const Vertices vertices) {
-  int v0,v1,v2, e1,e2, k;
+  int v0,v1,v2, e1,e2;
+//  int k;
 
   FOR_VERTEX(v0) {
     double total= 0.0, edges_total=0;
@@ -85,14 +92,14 @@ void compute_vertex_areas(const Vertices vertices) {
 
       edges_total += edge_lengths[v0][e1];
 
-      double e1v[D3], e2v[D3], av[D3];
-      K {
-       e1v[k]= vertices[v1][k] - vertices[v0][k];
-       e2v[k]= vertices[v2][k] - vertices[v0][k];
-      }
-      xprod(av, e1v, e2v);
-      total += magnD(av);
-      
+//      double e1v[D3], e2v[D3], av[D3];
+//      K {
+//     e1v[k]= vertices[v1][k] - vertices[v0][k];
+//     e2v[k]= vertices[v2][k] - vertices[v0][k];
+//      }
+//      xprod(av, e1v, e2v);
+//      total += magnD(av);
+
       count++;
     }
     vertex_areas[v0]= total / count;
@@ -103,69 +110,78 @@ void compute_vertex_areas(const Vertices vertices) {
 /*---------- Edgewise vertex displacement ----------*/
 
   /*
+   * Definition:
+   *
+   *    At each vertex Q, in each direction e:
    *
+   *                                         e
+   *                           Q ----->----- R
+   *                     _,-'\__/
+   *                         _,-'       delta
+   *              P '
    *
+   *                      r
+   *       cost    = delta          (we use r=3)
+   *           Q,e
    *
-   *                       Q `-_
-   *              / |    `-_
-   *             /  |       `-.
-   *            /   M - - - - - S
-   *           /  ' |      _,-'
-   *          /  '  |  _,-'
-   *         / '  , P '
-   *        / ',-'
-   *       /,-'
-   *      /'
-   *            R
    *
-   *  Let delta =  180deg - angle RMS
+   * Calculation:
    *
-   *  Let  l = |PQ|
-   *       d = |RS|
+   *      Let vector A = PQ
+   *                 B = QR
    *
-   *  Giving energy contribution:
+   *                          -1   A . B
+   *      delta =  tan     -------
+   *                     | A x B |
    *
-   *                                   3
-   *                            l delta
-   *    E             =  F   .  --------
-   *     vd, edge PQ      vd       d
+   *      which is always in the range 0..pi because the denominator
+   *      is nonnegative.  We add epsilon to |AxB| to avoid division
+   *      by zero.
    *
+   * Normalisation:
    *
-   *  (The dimensions of this are those of F_vd.)
+   *    We want the answer to remain unchanged when the vertices lie
+   *    on circles.  Interposing M and N so that we have P-M-Q-N-R
+   *    generates half as much delta for each vertex.  So
+   *
+   *           ,       -1
+   *       cost    =  D   . cost
+   *           Q,e              Q,e
+   *
+   *                           where D is the linear density.
+   *
+   *                ,              -1   
+   *     Sigma  cost      =   N . D  .  Sigma  cost
+   *      Q,e       Q,e                  Q,e       Q,e
    *
-   *  We calculate delta as  atan2(|AxB|, A.B)
-   *  where A = PQ, B = QR
    *
-   *  In practice to avoid division by zero we'll add epsilon to d and
-   *  |AxB| and the huge energy ought then to be sufficient for the
-   *  model to avoid being close to R=S.
    */
 
-double edgewise_vertex_displacement_cost(const Vertices vertices) {
+double line_bending_adjcost(const Vertices vertices) {
   static const double axb_epsilon= 1e-6;
+  static const double exponent_r= 3;
 
-  int pi,e,qi,ri, k; //,si
-  double  a[D3], b[D3], axb[D3]; //m[D3],
+  int pi,e,qi,ri, k;
+  double  a[D3], b[D3], axb[D3];
   double total_cost= 0;
 
   FOR_EDGE(qi,e,ri) {
     pi= EDGE_END2(qi,(e+3)%V6); if (pi<0) continue;
 
-//    K m[k]= (vertices[pi][k] + vertices[qi][k]) * 0.5;
     K a[k]= -vertices[pi][k] + vertices[qi][k];
     K b[k]= -vertices[qi][k] + vertices[ri][k];
 
     xprod(axb,a,b);
-    
+
     double delta= atan2(magnD(axb) + axb_epsilon, dotprod(a,b));
-    double cost= pow(delta,3);
+    double cost= pow(delta,exponent_r);
 
     if (!e && !(qi & YMASK))
       cost *= 10;
 
     total_cost += cost;
   }
-  return total_cost;
+  return total_cost / (N / density);
 }
 
 /*---------- edge length variation ----------*/
@@ -180,7 +196,7 @@ double edge_length_variation_cost(const Vertices vertices) {
     cost += diff*diff;
   }
   return cost;
-}    
+}
 
 /*---------- rim proximity cost ----------*/
 
@@ -223,7 +239,7 @@ double noncircular_rim_cost(const Vertices vertices) {
 
   FOR_RIM_VERTEX(vy,vx,v) {
     find_nearest_oncircle(oncircle, vertices[v]);
-    
+
     double d2= hypotD2(vertices[v], oncircle);
     cost += d2*d2;
   }