From f0e2ece5d1d6067ecefcfb7b12cf6f579b24c71c Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Sat, 11 Dec 2021 13:47:42 +0100 Subject: Fix set name typo --- mgr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mgr.tex') diff --git a/mgr.tex b/mgr.tex index fe6aaec..890edc7 100644 --- a/mgr.tex +++ b/mgr.tex @@ -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} -- cgit v1.2.3