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

Partial ordering of tuples of (equivalence class, linear map, index) used as state information in our algorithm. The ordering of the tuples \(T_\ell = (E_{\ell \rightarrow i -1}, F_{\ell \rightarrow m}, m)\). Calculation of the depth d of an update which requires haplotypes contained in the equivalence classes defining the two tuples shown in solid yellow