combinatorial tree are the solution Solution states are those problem states 's'

for which the path from the root to 's' defines a tuple in the solution space. The leaf
nodes in the states.