While I did take upper level math courses in Uni, this is still beyond me. It does remind me of my PhD work and the approach we took.<p>The problem, Symbolic Regression, search all math formulas for good solutions.<p>The space, all math formulas, a graph of trees<p>The search, like djikstra, but explore from multiple points in parallel<p>The relation, decomposing / reducing the space by combinatorial factors. For example, a+b=b+a (assoc & community props). Eliminate bad choices over trying to make best choice. Using combinatorics to reduce wasted effort.