Errata til [HS] (Februar 2004)

• På side 57 er invarianten

  J : (A perm A₀) ^ ( 0 ≤ j ≤ i < |A|) ^ (A[0..j],A[j..i + 1] sorted)

  ikke tilstrækkelig til at bevise gyldighed. Invarianten skal erstattes med følgende stærkere invariant

  J : (A perm A₀) ^ ( 0 ≤ j ≤ i < |A|) ^ (A[0..j]A[j+1..i + 1] sorted) ^ (A[j..i + 1] sorted)

• På side 66 i Case 1 skal koden rettes til følgende (den eksiterende kode fejler når w=b)

  « red » = A[i] ↔ A[b]; A[b] ↔ A[w]; w ← w + 1; b ← b + 1;

  Tilsvarende rettelse gælder for opsummeringen i Algorithm DutchFlag på side 67.