chiark / gitweb /
WIP routesearch; stratify results by significant bits of route
[ypp-sc-tools.db-test.git] / yarrg / rssearch.c
index c51aae02f655571571b246aec89e578e2aef2b58..0a17adfd8d79f564afcd1d98549baa8be541f341 100644 (file)
@@ -2,6 +2,9 @@
 
 #include "rscommon.h"
 
+DEBUG_DEFINE_DEBUGF(search);
+DEBUG_DEFINE_SOME_DEBUGF(filter,fildebugf);
+
 typedef struct Neighbour {
   struct Neighbour *next;
   int islandid;
@@ -32,26 +35,95 @@ static Neighbour *get_neighbours(int isle) {
   return head;
 }
 
-static double bestsofar;
 
-static void process_route(int nports) {
-  double value= value_route(nports, ports);
-  if (value < bestsofar) return;
+static PotentialResult ***strat_base;
+
 
-  fprintf(stderr,"value %20f route", value);
+static double process_route(int nports, int totaldist,
+                           double overestimate_excepting_tail) {
   int i;
+  int leagues_divisor= totaldist + nports;
+
+  ctr_routes_considered++;
+
+  debugf("========== ROUTE");
   for (i=0; i<nports; i++)
-    fprintf(stderr," %d",ports[i]);
-  putc('\n',stderr);
-  
-  bestsofar= value;
+    debugf(" %d",ports[i]);
+  debugf("\n");
+
+  int finalisle= ports[nports-1];
+  int midisle= ports[nports/2];
+
+  PotentialResult **strat_fin= ONDEMAND(strat_base[finalisle], islandtablesz);
+  PotentialResult *strat= ONDEMAND(strat_fin[midisle], 1);
+
+  if (nports>=2) {
+    int pair[2], i;
+    pair[1]= ports[nports-1];
+    double guess_absolute= overestimate_excepting_tail;
+    
+    for (i=0; i<nports; i++) {
+      pair[0]= ports[i];
+      IslandPair *ip= ipair_get_maybe(pair[0], pair[1]);
+      if (!ip) continue;
+      if (ip->route_tail_value < 0) {
+       ctr_subroute_tails_valued++;
+       ip->route_tail_value= value_route(2, pair, pair[0]!=pair[1]);
+      }
+      guess_absolute += ip->route_tail_value;
+    }
+    double guess_perleague= guess_absolute / leagues_divisor;
+
+    if (guess_absolute <= strat->absolute &&
+       guess_perleague <= strat->perleague) {
+      ctr_routes_eliminated++;
+      debugf(" ELIM %f %f\n", guess_absolute, guess_perleague);
+      return guess_absolute;
+    }
+    debugf(" COMPUTE %f %f\n", guess_absolute, guess_perleague);
+  }
+
+  ctr_routes_valued++;
+
+  double absolute= value_route(nports, ports, 0);
+  double perleague= absolute / leagues_divisor;
+
+  if (absolute <= strat->absolute &&
+      perleague <= strat->perleague)
+    return absolute;
+
+  debugf(" SOMEHOW BEST\n");
+
+  fildebugf("final %3d mid %3d ",finalisle,midisle);
+
+#define CHK(absperl)                                                   \
+  fildebugf(#absperl " %15f", absperl);                                        \
+  if (absperl < strat->absperl) {                                      \
+    debugf("   ");                                                     \
+  } else {                                                             \
+    strat->absperl= absperl;                                           \
+    memcpy(strat->absperl##_ports, ports, sizeof(*ports) * nports);    \
+    fildebugf("** ");                                                  \
+  }
+
+  CHK(absolute)
+  CHK(perleague)
+
+  fildebugf(" route");
+
+  for (i=0; i<nports; i++)
+    fildebugf(" %d",ports[i]);
+  fildebugf("\n");
+
+  return absolute;
 }
 
 static void recurse(int last_isle,
                    int nports, /* excluding last_isle */
-                   int totaldist /* including last_isle */) {
+                   int totaldist /* including last_isle */,
+                   double last_estimate) {
   ports[nports++]= last_isle;
-  process_route(nports);
+  double estimate= process_route(nports, totaldist, last_estimate);
   if (nports >= MAX_ROUTELEN) return;
 
   Neighbour *add;
@@ -59,12 +131,13 @@ static void recurse(int last_isle,
     int newdist= totaldist + add->dist;
     if (newdist > max_dist) continue;
 
-    recurse(add->islandid, nports, newdist);
+    recurse(add->islandid, nports, newdist, estimate);
   }
 }
 
-void search(int start_isle) {
-  recurse(start_isle,0,0);
+void search(int start_isle, PotentialResult ****strat_base_io) {
+  strat_base= ONDEMAND(*strat_base_io, islandtablesz);
+  recurse(start_isle,0,0,1e6);
 }
 
 void setup_search(void) {