Here we describe the state space reduction that uses the similarity between haplotypes in small genomic segments to reduce computational complexity. We recommend first reading a description of the original minimac algorithm9. Consider a reference panel with H haplotypes and a genomic segment bounded by markers P and Q. Let U ≤ H be the number of distinct haplotypes in the block.