diff options
-rw-r--r-- | mgr.tex | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -964,9 +964,10 @@ original tree $T$. We look them up in the precomputed run, then apply $A$'s transition to those states and $v$'s new label. We will compute the states of part roots in a bottom-up fashion, so the second -case is also simple: once we've computed the states in the children of $v$, we -again simply apply $A$'s transition function to those states and $v$'s new -label. +case is also simple. Both of $v$'s children are roots of parts (since the LCA +partition is based on a partition ready set), so once we've computed the states +in the children of $v$, we again simply apply $A$'s transition function to those +states and $v$'s new label. The third is the interesting case, that of a subtree with a hole. Consider the path from the hole $w$ up to the root $v$. What we claim is that the question |