source: branches/2886_SymRegGrammarEnumeration/HeuristicLab.Algorithms.DataAnalysis.SymRegGrammarEnumeration/GrammarEnumeration/Grammar.cs @ 15722

using System.Collections;
using System.Collections.Generic;
using System.ComponentModel;
using System.Diagnostics;
using System.Linq;
using HeuristicLab.Algorithms.DataAnalysis.SymRegGrammarEnumeration.GrammarEnumeration;
using HeuristicLab.Common;
using HeuristicLab.Encodings.SymbolicExpressionTreeEncoding;
using HeuristicLab.Problems.DataAnalysis.Symbolic;

namespace HeuristicLab.Algorithms.DataAnalysis.SymRegGrammarEnumeration {
  public class Grammar {

    public Symbol StartSymbol;

    #region Symbols

    public VariableSymbol Var;

    public NonterminalSymbol Expr;
    public NonterminalSymbol Term;
    public NonterminalSymbol Factor;

    public TerminalSymbol Addition;
    public TerminalSymbol Multiplication;

    #endregion


    #region HL Symbols for Parsing ExpressionTrees

    private TypeCoherentExpressionGrammar symbolicExpressionGrammar;

    private ISymbol constSy;
    private ISymbol varSy;

    private ISymbol addSy;
    private ISymbol mulSy;
    private ISymbol logSy;
    private ISymbol expSy;
    private ISymbol divSy;

    private ISymbol rootSy;
    private ISymbol startSy;

    #endregion

    public Grammar(string[] variables) {
      #region Define Symbols
      Var = new VariableSymbol("var", variables);

      Expr = new NonterminalSymbol("Expr");
      Term = new NonterminalSymbol("Term");
      Factor = new NonterminalSymbol("Factor");

      Addition = new TerminalSymbol("+");
      Multiplication = new TerminalSymbol("*");
      #endregion


      #region Production ruless
      StartSymbol = Expr;

      Expr.AddProduction(Term, Expr, Addition);
      Expr.AddProduction(Term);

      Term.AddProduction(Factor, Term, Multiplication);
      Term.AddProduction(Factor);

      Factor.AddProduction(Var);
      #endregion

      #region Parsing to SymbolicExpressionTree
      symbolicExpressionGrammar = new TypeCoherentExpressionGrammar();
      symbolicExpressionGrammar.ConfigureAsDefaultRegressionGrammar();

      constSy = symbolicExpressionGrammar.Symbols.OfType<Constant>().First();
      varSy = symbolicExpressionGrammar.Symbols.OfType<Variable>().First();
      addSy = symbolicExpressionGrammar.AllowedSymbols.OfType<Addition>().First();
      mulSy = symbolicExpressionGrammar.AllowedSymbols.OfType<Multiplication>().First();
      logSy = symbolicExpressionGrammar.AllowedSymbols.OfType<Logarithm>().First();
      expSy = symbolicExpressionGrammar.AllowedSymbols.OfType<Exponential>().First();
      divSy = symbolicExpressionGrammar.AllowedSymbols.OfType<Division>().First();

      rootSy = symbolicExpressionGrammar.AllowedSymbols.OfType<ProgramRootSymbol>().First();
      startSy = symbolicExpressionGrammar.AllowedSymbols.OfType<StartSymbol>().First();

      #endregion
    }

    public int CalcHashCode(SymbolString sentence) {
      Debug.Assert(sentence.Any(), "Trying to evaluate empty sentence!");
      Debug.Assert(sentence.All(s => s is TerminalSymbol), "Trying to evaluate symbol sequence with nonterminalsymbols!");

      Stack<TerminalSymbol> parseStack = new Stack<TerminalSymbol>(sentence.OfType<TerminalSymbol>());

      int[] subtreeHashes = GetSubtreeHashes(parseStack.Pop(), parseStack);
      return AggregateHashes(subtreeHashes);
    }

    #region Hashing
    private int[] GetSubtreeHashes(TerminalSymbol currentSymbol, Stack<TerminalSymbol> parseStack) {
      List<int> childHashes = null;

      if (Var.VariableTerminalSymbols.Contains(currentSymbol)) {
        childHashes = currentSymbol.StringRepresentation.GetHashCode().ToEnumerable().ToList();

      } else if (ReferenceEquals(currentSymbol, Multiplication)) {
        // MULTIPLICATION
        childHashes = new List<int>();

        // First subtree
        TerminalSymbol firstSubtreeRoot = parseStack.Pop();
        int[] firstSubtreeHashes = GetSubtreeHashes(firstSubtreeRoot, parseStack);

        if (ReferenceEquals(firstSubtreeRoot, Multiplication)) {
          childHashes.AddRange(firstSubtreeHashes);
        } else {
          childHashes.Add(AggregateHashes(firstSubtreeHashes));
        }

        // Second subtree
        TerminalSymbol secondSubtreeRoot = parseStack.Pop();
        int[] secondSubtreeHashes = GetSubtreeHashes(secondSubtreeRoot, parseStack);

        if (ReferenceEquals(secondSubtreeRoot, Multiplication)) {
          childHashes.AddRange(secondSubtreeHashes);
        } else {
          childHashes.Add(AggregateHashes(secondSubtreeHashes));
        }

        // Sort due to commutativity
        childHashes.Sort();



      } else if (ReferenceEquals(currentSymbol, Addition)) {
        // ADDITION
        HashSet<int> uniqueChildHashes = new HashSet<int>();

        TerminalSymbol firstSubtreeRoot = parseStack.Pop();
        int[] firstSubtreeHashes = GetSubtreeHashes(firstSubtreeRoot, parseStack);

        // First subtree
        if (ReferenceEquals(firstSubtreeRoot, Addition)) {
          uniqueChildHashes.UnionWith(firstSubtreeHashes);
        } else {
          uniqueChildHashes.Add(AggregateHashes(firstSubtreeHashes));
        }

        // Second subtree
        TerminalSymbol secondSubtreeRoot = parseStack.Pop();
        int[] secondSubtreeHashes = GetSubtreeHashes(secondSubtreeRoot, parseStack);

        if (ReferenceEquals(secondSubtreeRoot, Addition)) {
          uniqueChildHashes.UnionWith(secondSubtreeHashes);
        } else {
          uniqueChildHashes.Add(AggregateHashes(secondSubtreeHashes));
        }

        childHashes = uniqueChildHashes.ToList();
        childHashes.Sort();
      }

      Debug.Assert(childHashes != null, "Sentence not hashable!");
      return childHashes.ToArray();
    }


    private int AggregateHashes(IEnumerable<int> hashes) {
      return hashes.Aggregate(0, (result, ti) => ((result << 5) + result) ^ ti.GetHashCode());
    }
    #endregion

    #region Parse to SymbolicExpressionTree
    public SymbolicExpressionTree ParseSymbolicExpressionTree(SymbolString sentence) {
      Debug.Assert(sentence.Any(), "Trying to evaluate empty sentence!");
      Debug.Assert(sentence.All(s => s is TerminalSymbol), "Trying to evaluate symbol sequence with nonterminalsymbols!");

      symbolicExpressionGrammar.ConfigureAsDefaultRegressionGrammar();

      var rootNode = rootSy.CreateTreeNode();
      var startNode = startSy.CreateTreeNode();
      rootNode.AddSubtree(startNode);

      Stack<TerminalSymbol> parseStack = new Stack<TerminalSymbol>(sentence.OfType<TerminalSymbol>());
      startNode.AddSubtree(ParseSymbolicExpressionTree(parseStack));

      return new SymbolicExpressionTree(rootNode);
    }

    public ISymbolicExpressionTreeNode ParseSymbolicExpressionTree(Stack<TerminalSymbol> parseStack) {
      TerminalSymbol currentSymbol = parseStack.Pop();

      ISymbolicExpressionTreeNode parsedSubTree = null;

      if (ReferenceEquals(currentSymbol, Addition)) {
        parsedSubTree = addSy.CreateTreeNode();
        parsedSubTree.AddSubtree(ParseSymbolicExpressionTree(parseStack)); // left part
        parsedSubTree.AddSubtree(ParseSymbolicExpressionTree(parseStack)); // right part

      } else if (ReferenceEquals(currentSymbol, Multiplication)) {
        parsedSubTree = mulSy.CreateTreeNode();
        parsedSubTree.AddSubtree(ParseSymbolicExpressionTree(parseStack)); // left part
        parsedSubTree.AddSubtree(ParseSymbolicExpressionTree(parseStack)); // right part

      } else if (Var.VariableTerminalSymbols.Contains(currentSymbol)) {
        VariableTreeNode varNode = (VariableTreeNode)varSy.CreateTreeNode();
        varNode.Weight = 1.0;
        varNode.VariableName = currentSymbol.StringRepresentation;
        parsedSubTree = varNode;
      }

      Debug.Assert(parsedSubTree != null);
      return parsedSubTree;
    }
    #endregion
  }
}