Figure 4

Credits and debits in the complex cases. In the upper part, overlapping blocks of type B in S(u) and S(v), with a complex pattern of insertions and deletions in S(p). The total credits added at S(p) by Affine-DO can be transferred to u and v. In the lower, the credits transferred to v can be assigned to m individual insertion blocks (solid boxes), and one deletion block (dashed empty box) which maintain debits>credits.