Changeset 15859 for branches/2886_SymRegGrammarEnumeration/Test/GrammarEnumerationTest.cs

Timestamp:

03/23/18 15:41:02 (7 years ago)

Author:

lkammere

Message:

#2886: Add simple constant optimization to evaluation of solutions.

File:

• branches/2886_SymRegGrammarEnumeration/Test/GrammarEnumerationTest.cs (modified) (1 diff)

branches/2886_SymRegGrammarEnumeration/Test/GrammarEnumerationTest.cs

@@ -200 +200 @@
       EvaluateGrammarEnumeration();
     }
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Nguyen7() {
+      // log(x+1) + log(x*x + 1)
+      alg.MaxTreeSize = 22;
+      alg.Problem.ProblemData = new NguyenFunctionSeven().GenerateRegressionData();
+
+      alg.Start();
+
+      TerminalSymbol constSymbol = alg.Grammar.Const;
+      TerminalSymbol varSymbol = alg.Grammar.VarTerminals.First();
+      TerminalSymbol mulSymbol = alg.Grammar.Multiplication;
+      TerminalSymbol addSymbol = alg.Grammar.Addition;
+      TerminalSymbol logSymbol = alg.Grammar.Log;
+
+      SymbolString targetSolution = new SymbolString(new[] {
+        varSymbol, constSymbol, mulSymbol, constSymbol, addSymbol, logSymbol, constSymbol, mulSymbol,
+        varSymbol, varSymbol, mulSymbol, constSymbol, mulSymbol, constSymbol, addSymbol, logSymbol, constSymbol, mulSymbol, addSymbol,
+        constSymbol, addSymbol
+      });
+
+      int targetSolutionHash = alg.Grammar.Hasher.CalcHashCode(targetSolution);
+      int actualSolutionHash = alg.Grammar.Hasher.CalcHashCode(alg.BestTrainingSentence);
+
+      Assert.IsTrue(alg.DistinctSentencesLength.ContainsKey(targetSolutionHash), "Actual solution was not generated!");
+      Assert.AreEqual(targetSolutionHash, actualSolutionHash, "Actual solution was not recognized as best one.");
+
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Nguyen12() {
+      // x*x*x*x - x*x*x + y*y/2 -y
+      alg.MaxTreeSize = 28;
+      alg.Problem.ProblemData = new NguyenFunctionTwelve().GenerateRegressionData();
+
+      alg.Start();
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Keijzer3() {
+      // 0.3*x*sin(2*pi*x)
+      alg.MaxTreeSize = 20;
+      alg.Problem.ProblemData = new KeijzerFunctionThree().GenerateRegressionData();
+
+      alg.Start();
+
+      TerminalSymbol constSymbol = alg.Grammar.Const;
+      TerminalSymbol varSymbol = alg.Grammar.VarTerminals.First();
+      TerminalSymbol mulSymbol = alg.Grammar.Multiplication;
+      TerminalSymbol addSymbol = alg.Grammar.Addition;
+
+      SymbolString targetSolution = new SymbolString(new[] {
+        constSymbol, varSymbol, mulSymbol, constSymbol, addSymbol, alg.Grammar.Sin,
+        varSymbol, mulSymbol,
+        constSymbol, mulSymbol,
+        constSymbol, addSymbol
+      });
+
+      int targetSolutionHash = alg.Grammar.Hasher.CalcHashCode(targetSolution);
+      int actualSolutionHash = alg.Grammar.Hasher.CalcHashCode(alg.BestTrainingSentence);
+
+      Assert.IsTrue(alg.DistinctSentencesLength.ContainsKey(targetSolutionHash), "Actual solution was not generated!");
+
+      Assert.AreEqual(targetSolutionHash, actualSolutionHash, "Actual solution was not recognized as best one.");
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Keijzer5() {
+      // (30*x*z) / ((x - 10)*y*y)
+      alg.MaxTreeSize = 24;
+      alg.Problem.ProblemData = new KeijzerFunctionFive().GenerateRegressionData();
+
+      alg.Start();
+
+      TerminalSymbol constSymbol = alg.Grammar.Const;
+      TerminalSymbol xSymbol = alg.Grammar.VarTerminals.First(s => s.StringRepresentation == "X");
+      TerminalSymbol ySymbol = alg.Grammar.VarTerminals.First(s => s.StringRepresentation == "Y");
+      TerminalSymbol zSymbol = alg.Grammar.VarTerminals.First(s => s.StringRepresentation == "Z");
+      TerminalSymbol mulSymbol = alg.Grammar.Multiplication;
+      TerminalSymbol addSymbol = alg.Grammar.Addition;
+      TerminalSymbol invSymbol = alg.Grammar.Inv;
+
+      // 30 * x * z * 1/(x*y*y - 10*y*y)
+      // --> x z * c *     x y * y * c *  y y * c * + c + inv c +
+      SymbolString targetSolution = new SymbolString(new[] {
+        xSymbol, zSymbol, mulSymbol, constSymbol, mulSymbol,
+        xSymbol, ySymbol, mulSymbol, ySymbol, mulSymbol, constSymbol, mulSymbol,
+        ySymbol, ySymbol, mulSymbol, constSymbol, mulSymbol, addSymbol, constSymbol, addSymbol, invSymbol,
+        constSymbol, addSymbol 
+      });
+
+      int targetSolutionHash = alg.Grammar.Hasher.CalcHashCode(targetSolution);
+      int actualSolutionHash = alg.Grammar.Hasher.CalcHashCode(alg.BestTrainingSentence);
+
+      Assert.IsTrue(alg.DistinctSentencesLength.ContainsKey(targetSolutionHash), "Actual solution was not generated!");
+
+      Assert.AreEqual(targetSolutionHash, actualSolutionHash, "Actual solution was not recognized as best one.");
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Keijzer12() {
+      // x*x*x*x - x*x*x + y*y/2 - y
+      alg.MaxTreeSize = 29;
+      alg.Problem.ProblemData = new KeijzerFunctionTwelve().GenerateRegressionData();
+
+      alg.Start();
+
+      TerminalSymbol constSymbol = alg.Grammar.Const;
+      TerminalSymbol xSymbol = alg.Grammar.VarTerminals.First();
+      TerminalSymbol ySymbol = alg.Grammar.VarTerminals.Last();
+      TerminalSymbol mulSymbol = alg.Grammar.Multiplication;
+      TerminalSymbol addSymbol = alg.Grammar.Addition;
+
+      SymbolString targetSolution = new SymbolString(new[] {
+        xSymbol, xSymbol, mulSymbol, xSymbol, mulSymbol, xSymbol, mulSymbol, constSymbol, mulSymbol,
+        xSymbol, xSymbol, mulSymbol, xSymbol, mulSymbol, constSymbol, mulSymbol, addSymbol,
+        ySymbol, ySymbol, mulSymbol, constSymbol, mulSymbol, addSymbol,
+        ySymbol, constSymbol, mulSymbol, addSymbol,
+        constSymbol, addSymbol 
+      });
+
+      var x = alg.Grammar.ToInfixString(targetSolution);
+
+      int targetSolutionHash = alg.Grammar.Hasher.CalcHashCode(targetSolution);
+      int actualSolutionHash = alg.Grammar.Hasher.CalcHashCode(alg.BestTrainingSentence);
+
+      Assert.IsTrue(alg.DistinctSentencesLength.ContainsKey(targetSolutionHash), "Actual solution was not generated!");
+      Assert.AreEqual(targetSolutionHash, actualSolutionHash, "Actual solution was not recognized as best one.");
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Keijzer14() {
+      // 8 / (2 + x*x + y*y
+      alg.MaxTreeSize = 19;
+      alg.Problem.ProblemData = new KeijzerFunctionFourteen().GenerateRegressionData();
+
+      alg.Start();
+      
+      TerminalSymbol constSymbol = alg.Grammar.Const;
+      TerminalSymbol xSymbol = alg.Grammar.VarTerminals.First();
+      TerminalSymbol ySymbol = alg.Grammar.VarTerminals.Last();
+      TerminalSymbol mulSymbol = alg.Grammar.Multiplication;
+      TerminalSymbol addSymbol = alg.Grammar.Addition;
+      TerminalSymbol divSymbol = alg.Grammar.Inv;
+
+      
+      // x x mul c mul y y mul c mul add const add inv const mul const add
+      SymbolString targetSolution = new SymbolString(new[] {
+        xSymbol, xSymbol, mulSymbol, constSymbol, mulSymbol,  
+        ySymbol, ySymbol, mulSymbol, constSymbol, mulSymbol, addSymbol,
+        constSymbol, addSymbol, divSymbol,
+        constSymbol, mulSymbol,
+        constSymbol, addSymbol
+      });
+
+      int targetSolutionHash = alg.Grammar.Hasher.CalcHashCode(targetSolution);
+      int actualSolutionHash = alg.Grammar.Hasher.CalcHashCode(alg.BestTrainingSentence);
+
+      Assert.IsTrue(alg.DistinctSentencesLength.ContainsKey(targetSolutionHash), "Actual solution was not generated!");
+      Assert.AreEqual(targetSolutionHash, actualSolutionHash, "Actual solution was not recognized as best one.");
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+
+    [TestMethod]
+    [TestProperty("Goal", "structure search + const op")]
+    public void Constants_Keijzer15() {
+      // x*x*x / 5 + y*y*y / 2 - y - x
+      alg.MaxTreeSize = 25;
+      alg.Problem.ProblemData = new KeijzerFunctionFifteen().GenerateRegressionData();
+
+      alg.Start();
+
+      TerminalSymbol constSymbol = alg.Grammar.Const;
+      TerminalSymbol xSymbol = alg.Grammar.VarTerminals.First();
+      TerminalSymbol ySymbol = alg.Grammar.VarTerminals.Last();
+      TerminalSymbol mulSymbol = alg.Grammar.Multiplication;
+      TerminalSymbol addSymbol = alg.Grammar.Addition;
+
+      // x x * x * const * y y * y * const * + y const * + x const * const +
+      SymbolString targetSolution = new SymbolString(new[] {
+        xSymbol, xSymbol, mulSymbol, xSymbol, mulSymbol, constSymbol, mulSymbol,
+        ySymbol, ySymbol, mulSymbol, ySymbol, mulSymbol, constSymbol, mulSymbol, addSymbol,
+        ySymbol, constSymbol, mulSymbol, addSymbol, 
+        xSymbol, constSymbol, mulSymbol, addSymbol,
+        constSymbol, addSymbol
+      });
+
+      int targetSolutionHash = alg.Grammar.Hasher.CalcHashCode(targetSolution);
+      int actualSolutionHash = alg.Grammar.Hasher.CalcHashCode(alg.BestTrainingSentence);
+
+      Assert.IsTrue(alg.DistinctSentencesLength.ContainsKey(targetSolutionHash), "Actual solution was not generated!");
+      Assert.AreEqual(targetSolutionHash, actualSolutionHash, "Actual solution was not recognized as best one.");
+
+      // Evaluate
+      EvaluateGrammarEnumeration();
+    }
+
+