X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=moebius2.git;a=blobdiff_plain;f=energy.c;h=dd9206f4b7a5cb80c3178cfc9f35ae603982158f;hp=73308ac842bd3fcddb581ce1164b0a852e9a84a1;hb=a0f36c8849d41b4be54f00e3f9e19ce79a67abae;hpb=2377b968f55ddd5d6a8ff79ee9150316a218afc8 diff --git a/energy.c b/energy.c index 73308ac..dd9206f 100644 --- a/energy.c +++ b/energy.c @@ -6,41 +6,36 @@ #include "minimise.h" #include "mgraph.h" -#include -#include +double vertex_areas[N], vertex_mean_edge_lengths[N], edge_lengths[N][V6]; -#include -#include - -static const char *input_file, *output_file; -static char *output_file_tmp; - -static void compute_vertex_areas(const Vertices vertices, double areas[N]); static double best_energy= DBL_MAX; -enum printing_instance { pr_cost, pr_size, pr__max }; - static void addcost(double *energy, double tweight, double tcost, int pr); #define COST(weight, compute) addcost(&energy, (weight), (compute), printing) -static int printing_check(enum printing_instance); -static void printing_init(void); + +void energy_init(void) { +} /*---------- main energy computation and subroutines ----------*/ -static double compute_energy(const Vertices vertices) { - double vertex_areas[N], energy; +double compute_energy(const struct Vertices *vs) { + static int bests_unprinted; + + double energy; int printing; - compute_vertex_areas(vertices,vertex_areas); + compute_edge_lengths(vs->a); + compute_vertex_areas(vs->a); energy= 0; - printing= printing_check(pr_cost); + printing= printing_check(pr_cost,0); - if (printing) printf("cost > energy |"); + if (printing) printf("%15lld c>e |", evaluations); -// COST(1e4, edgewise_vertex_displacement_cost(vertices)); - COST(1e2, graph_layout_cost(vertices,vertex_areas)); -// COST(1e4, noncircular_rim_cost(vertices)); + COST( 3e2, line_bending_cost(vs->a)); + COST( 1e3, edge_length_variation_cost(vs->a)); + COST( 0.2e3, rim_proximity_cost(vs->a)); + COST( 1e8, noncircular_rim_cost(vs->a)); if (printing) printf("| total %# e |", energy); @@ -48,12 +43,18 @@ static double compute_energy(const Vertices vertices) { FILE *best_f; int r; - if (printing) printf(" BEST"); + if (printing) { + printf(" BEST"); + if (bests_unprinted) printf(" [%4d]",bests_unprinted); + bests_unprinted= 0; + } else { + bests_unprinted++; + } - best_f= fopen(output_file_tmp,"wb"); if (!best_f) diee("fopen new out"); - r= fwrite(vertices,sizeof(Vertices),1,best_f); if (r!=1) diee("fwrite"); + best_f= fopen(best_file_tmp,"wb"); if (!best_f) diee("fopen new out"); + r= fwrite(vs->a,sizeof(vs->a),1,best_f); if (r!=1) diee("fwrite"); if (fclose(best_f)) diee("fclose new best"); - if (rename(output_file_tmp,output_file)) diee("rename install new best"); + if (rename(best_file_tmp,best_file)) diee("rename install new best"); best_energy= energy; } @@ -62,20 +63,31 @@ static double compute_energy(const Vertices vertices) { flushoutput(); } + evaluations++; return energy; } 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 %g > %# e* |", tcost, tweight, tenergy); *energy += tenergy; } -static void compute_vertex_areas(const Vertices vertices, double areas[N]) { - int v0,v1,v2, e1,e2, k; +/*---------- Precomputations ----------*/ + +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; +// int k; FOR_VERTEX(v0) { - double total= 0.0; + double total= 0.0, edges_total=0; int count= 0; FOR_VEDGE(v0,e1,v1) { @@ -83,256 +95,153 @@ static void compute_vertex_areas(const Vertices vertices, double areas[N]) { v2= EDGE_END2(v0,e2); if (v2<0) continue; - 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++; - } - areas[v0]= total / count; - } -} - -/*---------- use of GSL ----------*/ - - /* We want to do multidimensional minimisation. - * - * We don't think there are any local minima. Or at least, if there - * are, the local minimum which will be found from the starting - * state is the one we want. - * - * We don't want to try to provide a derivative of the cost - * function. That's too tedious (and anyway the polynomial - * approximation to our our cost function sometimes has high degree - * in the inputs which means the quadratic model implied by most of - * the gradient descent minimisers is not ideal). - * - * This eliminates most of the algorithms. Nelder and Mead's - * simplex algorithm is still available and we will try that. - * - * In our application we are searching for the optimal locations of - * N actualvertices in D3 (3) dimensions - ie, we are searching for - * the optimal metapoint in an N*D3-dimensional space. - * - * So eg with X=Y=100, the simplex will contain 300 metavertices - * each of which is an array of 300 doubles for the actualvertex - * coordinates. Hopefully this won't be too slow ... - */ - -static gsl_multimin_fminimizer *minimiser; - -static const double stop_epsilon= 1e-4; - -static double minfunc_f(const gsl_vector *x, void *params) { - assert(x->size == DIM); - assert(x->stride == 1); - return compute_energy((const double(*)[D3])x->data); -} - -int main(int argc, const char *const *argv) { - gsl_multimin_function multimin_function; - double size; - Vertices initial, step_size; - FILE *initial_f; - gsl_vector initial_gsl, step_size_gsl; - int r, v, k; - - if (argc!=3 || argv[1][0]=='-' || strncmp(argv[2],"-o",2)) - { fputs("usage: minimise -o----- R + * _,-'\__/ + * _,-' delta + * P ' * - * Q `-_ - * / | `-_ - * / | `-. - * / M - - - - - S - * / ' | _,-' - * / ' | _,-' - * / ' , P ' - * / ',-' - * /,-' - * /' - * R - * - * Let delta = 180deg - angle RMS - * - * Let l = |PQ| - * d = |RS| + * r + * cost = delta (we use r=3) + * Q,e * - * Giving energy contribution: * - * 2 - * l delta - * E = F . -------- - * vd, edge PQ vd d + * Calculation: * + * Let vector A = PQ + * B = QR * - * (The dimensions of this are those of F_vd.) + * -1 A . B + * delta = tan ------- + * | A x B | * - * We calculate delta as atan2(|AxB|, A.B) - * where A = RM, B = MS + * which is always in the range 0..pi because the denominator + * is nonnegative. We add epsilon to |AxB| to avoid division + * by zero. * - * 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. + * r + * cost = delta + * Q,e */ -double edgewise_vertex_displacement_cost(const Vertices vertices) { +double line_bending_cost(const Vertices vertices) { static const double axb_epsilon= 1e-6; + static const double exponent_r= 3; - int pi,e,qi,ri,si, k; - double m[D3], a[D3], b[D3], axb[D3]; + int pi,e,qi,ri, k; + double a[D3], b[D3], axb[D3]; double total_cost= 0; - FOR_EDGE(pi,e,qi) { - ri= EDGE_END2(pi,(e+1)%V6); if (ri<0) continue; - si= EDGE_END2(pi,(e+5)%V6); if (si<0) continue; + 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[ri][k] + m[k]; - K b[k]= -m[k] + vertices[si][k]; + 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= delta * delta; + double cost= pow(delta,exponent_r); + + if (!e && !(qi & YMASK)) + cost *= 10; + total_cost += cost; } return total_cost; } -/*---------- noncircular rim cost ----------*/ +/*---------- edge length variation ----------*/ -double noncircular_rim_cost(const Vertices vertices) { - int vy,vx,v; - double cost= 0.0; + /* + * Definition: + * + * See the diagram above. + * r + * cost = ( |PQ| - |QR| ) + * Q,e + */ - FOR_RIM_VERTEX(vy,vx,v) { - double oncircle[3]; - /* By symmetry, nearest point on circle is the one with - * the same angle subtended at the z axis. */ - oncircle[0]= vertices[v][0]; - oncircle[1]= vertices[v][1]; - oncircle[2]= 0; - double mult= 1.0/ magnD(oncircle); - oncircle[0] *= mult; - oncircle[1] *= mult; - double d2= hypotD2(vertices[v], oncircle); - cost += d2*d2; +double edge_length_variation_cost(const Vertices vertices) { + double diff, cost= 0, exponent_r= 2; + int q, e,r, eback; + + FOR_EDGE(q,e,r) { + eback= edge_reverse(q,e); + diff= edge_lengths[q][e] - edge_lengths[q][eback]; + cost += pow(diff,exponent_r); } return cost; } -/*---------- printing rate limit ----------*/ - -static volatile unsigned print_todo; -static sigset_t print_alarmset; - -static int printing_check(enum printing_instance which) { - static int skipped[pr__max]; - - unsigned bits= 1u << which; - int sk; - - if (!(print_todo & bits)) { - skipped[which]++; - return 0;; - } +/*---------- rim proximity cost ----------*/ + +static void find_nearest_oncircle(double oncircle[D3], const double p[D3]) { + /* By symmetry, nearest point on circle is the one with + * the same angle subtended at the z axis. */ + oncircle[0]= p[0]; + oncircle[1]= p[1]; + oncircle[2]= 0; + double mult= 1.0/ magnD(oncircle); + oncircle[0] *= mult; + oncircle[1] *= mult; +} - sigprocmask(SIG_BLOCK,&print_alarmset,0); - print_todo &= ~bits; - sigprocmask(SIG_UNBLOCK,&print_alarmset,0); +double rim_proximity_cost(const Vertices vertices) { + double oncircle[3], cost=0; + int v; - sk= skipped[which]; - if (sk) printf("[%4d] ",sk); - else printf(" "); - skipped[which]= 0; + FOR_VERTEX(v) { + int y= v >> YSHIFT; + int nominal_edge_distance= y <= Y/2 ? y : Y-1-y; + if (nominal_edge_distance==0) continue; - return 1; -} + find_nearest_oncircle(oncircle, vertices[v]); -static void alarmhandler(int ignored) { - print_todo= ~0u; + cost += + vertex_mean_edge_lengths[v] * + (nominal_edge_distance*nominal_edge_distance) / + (hypotD2(vertices[v], oncircle) + 1e-6); + } + return cost; } -static void printing_init(void) { - struct sigaction sa; - struct itimerval itv; - - sigemptyset(&print_alarmset); - sigaddset(&print_alarmset,SIGALRM); +/*---------- noncircular rim cost ----------*/ - sa.sa_handler= alarmhandler; - sa.sa_mask= print_alarmset; - sa.sa_flags= SA_RESTART; - if (sigaction(SIGALRM,&sa,0)) diee("sigaction ALRM"); - - itv.it_interval.tv_sec= 0; - itv.it_interval.tv_usec= 200000; - itv.it_value= itv.it_interval; +double noncircular_rim_cost(const Vertices vertices) { + int vy,vx,v; + double cost= 0.0; + double oncircle[3]; - if (setitimer(ITIMER_REAL,&itv,0)) diee("setitimer REAL"); + FOR_RIM_VERTEX(vy,vx,v) { + find_nearest_oncircle(oncircle, vertices[v]); - raise(SIGALRM); + double d2= hypotD2(vertices[v], oncircle); + cost += d2*d2; + } + return cost; }