diff options
| -rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -939,7 +939,7 @@ $W'$. We want to show the same is true when $j - i \leq k$. Take $w_i$ and $w_j$ with $j - i = k$. Consider the triple $w_i$, $w_{i+1}$, $w_j$. By Observation \ref{infix-observation}, $LCA(w_i, w_j)$ is equal to $LCA(w_i, w_{i+1})$ or $LCA(w_{i+1}, w_j)$. By the induction assumption, we already know both of these -are in $W$, thus showing $W'$ is LCA closed and finishing the proof of Lemma +are in $W'$, thus showing $W'$ is LCA closed and finishing the proof of Lemma \ref{lca-lemma} \section{Computing root states of parts} |