A Tight Bound for EMAC - CWI

Proof (of Claim). Consider any i ∈P,andletS denote the common suffix of Mi
and Mj. Now,asi ∈P,forsomeP we can write Mj = P M ′ j S and Mi = P S.
Let p = |P |/n and s = |S|/n.
Consider any G ∈Gi,j, by definition V mi
i
V mj−s
j
mj
= Vj , which implies V mi−s
i =
as the last s blocks are equal. And as the first p blocks are equal we
have V p p
p mi−s
i = Vj .NowVi = Vi and thus also V p mj−s
j = Vj ,asp