Changeset 10425 for branches/HeuristicLab.Problems.GPDL/CodeGenerator/BruteForceCodeGen.cs

Timestamp:

01/29/14 16:37:50 (10 years ago)

Author:

gkronber

Message:

#2026 support for max depth in brute force solver

File:

• branches/HeuristicLab.Problems.GPDL/CodeGenerator/BruteForceCodeGen.cs (modified) (6 diffs)

branches/HeuristicLab.Problems.GPDL/CodeGenerator/BruteForceCodeGen.cs

@@ -13 +13 @@
 namespace ?PROBLEMNAME? {
   public sealed class ?IDENT?Solver {
+    private static int maxDepth = 20;
 
     private readonly ?IDENT?Problem problem;
@@ -73 +74 @@
 
     public static void Main(string[] args) {
+      if(args.Length > 0) ParseArguments(args);
       var problem = new ?IDENT?Problem();
       var solver = new ?IDENT?Solver(problem);
       solver.Start();
     }
+    private static void ParseArguments(string[] args) {
+      var maxDepthRegex = new Regex(@""--maxDepth=(?<d>.+)"");
+
+      var helpRegex = new Regex(@""--help|/\?"");
+      
+      foreach(var arg in args) {
+        var maxDepthMatch = maxDepthRegex.Match(arg);
+        var helpMatch = helpRegex.Match(arg);
+        if(helpMatch.Success) { 
+          PrintUsage(); Environment.Exit(0);
+        } else if(maxDepthMatch.Success) {
+           maxDepth = int.Parse(maxDepthMatch.Groups[""d""].Captures[0].Value, System.Globalization.CultureInfo.InvariantCulture);
+           if(maxDepth < 1 || maxDepth > 100) throw new ArgumentException(""max depth must lie in range [1 ... 100]"");
+        } else {
+           Console.WriteLine(""Unknown switch {0}"", arg); PrintUsage(); Environment.Exit(0); 
+        }
+      }
+    }
+    private static void PrintUsage() {
+      Console.WriteLine(""Find a solution using brute force tree search."");
+      Console.WriteLine();
+      Console.WriteLine(""Parameters:"");
+      Console.WriteLine(""\t--maxDepth=<depth>\tSets the maximal depth of sampled trees [Default: 20]"");
+      Console.WriteLine(""\t--help\tPrints this help text."");
+    }
+
 
     public ?IDENT?Solver(?IDENT?Problem problem) {
@@ -84 +112 @@
 
     private void Start() {
-      const int MAX_SECONDS = 100000;
       var bestF = ?MAXIMIZATION? ? double.NegativeInfinity : double.PositiveInfinity;
       int n = 0;
@@ -90 +117 @@
       long sumSize = 0;
       var sumF = 0.0;
-      var terminationTimer = new Stopwatch();
       var sw = new System.Diagnostics.Stopwatch();
       sw.Start();
-      terminationTimer.Start();
-      for(int depth = 1; terminationTimer.Elapsed.TotalSeconds < MAX_SECONDS; depth ++) {
+      for(int depth = 1; depth < maxDepth; depth ++) {
         Console.WriteLine(""Depth {0}:"", depth);
         foreach(var t in GenerateTrees(0, depth)) {
           var f = problem.Evaluate(t);
+          // t.PrintTree(0); Console.WriteLine();
           var size = t.GetSize();
           sumSize += size;
@@ -104 +130 @@
           sumF += f;
           if (problem.IsBetter(f, bestF)) {
-            t.PrintTree(0); Console.WriteLine();
             bestF = f;
             t.PrintTree(0); Console.WriteLine();
@@ -111 +136 @@
           if (n % 1000 == 0) {
             sw.Stop();
-            Console.WriteLine(""{6,5:0.0s}: {0}\tbest: {1:0.000}\t(avg: {2:0.000})\t(avg size: {3:0.0})\t(avg. depth: {4:0.0})\t({5:0.00} sols/ms)"",
-                              n, bestF, sumF/1000.0, sumSize/1000.0, sumDepth/1000.0, 1000.0 / sw.ElapsedMilliseconds, terminationTimer.Elapsed.TotalSeconds);
+            Console.WriteLine(""{0}\tbest: {1:0.000}\t(avg: {2:0.000})\t(avg size: {3:0.0})\t(avg. depth: {4:0.0})\t({5:0.00} sols/ms)"",
+                              n, bestF, sumF/1000.0, sumSize/1000.0, sumDepth/1000.0, 1000.0 / sw.ElapsedMilliseconds);
             sumSize = 0;
             sumDepth = 0;
             sumF = 0.0;
             sw.Restart();
-            if(terminationTimer.Elapsed.TotalSeconds >= MAX_SECONDS) break;
           }
         }