tree_evaluation_problem (315B)
1 # Tree evaluation problem 2 3 You have a [tree] and you want to evaluate a [bottom_up_nondeterministic_tree_automaton] on the tree, in a [nonuniform] sense where each [node] is labeled by the transition function 4 5 It is in O(log n log log n), cf [cook2023tree] 6 7 Up: [computational_problem] on [tree] 8 9 Aliases: TreeEval