algebraic decision tree