wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

decision_tree_equivalence (223B)

      1 # Decision tree equivalence
      2 
      3 The [boolean_function_equivalence] problem on decision trees can be solved in [quadratic] time, cf [cockett1987discrete] and [zantema1998equivalence]
      4 
      5 Up: [decision_tree], [equivalence_problem]