Fig. 6
From: Constructing founder sets under allelic and non-allelic homologous recombination
Illustration of the contradictory claim a shorter sequence of \({\mathcal {T}}\)-blocks can be constructed than found by Eq. 1. The red dashed line indicates the contradictory situation that \(i_{k^\star } < j_{k^\star }\). In that case \(Q[i_{k^\star -1}..j_{k^\star }]\) would have been chosen as longest \({\mathcal {T}}\)-block in recursion step \(k^\star -1\)