Fig. 3
From: An average-case sublinear forward algorithm for the haploid Li and Stephens model

Longest major allele suffix classes, linear map compositions. Illustrations clarifying the meanings of the equivalence classes \(E_{\ell \rightarrow i-1}\) (left) and the maps \(F_{a\rightarrow b}\). Indices m are sites whose indices are b’s in stored maps of the form \(F_{a\rightarrow b}\)