Fig 7. Illustration of HMM pruning combined with transition matrix factoring for the peptide of Fig 5.

We emphasize that this is an anecdotal example; while there are more arrows here than in Fig 6, this strategy provides an improvement in asymptotic complexity, as described in S4 Appendix and shown in experiments with simulated data.