TAOCP 7.2.2 Exercise 26

Understood.

taocpmathematicsalgorithmsvolume-4medium

Section 7.2.2: Backtracking

Exercise 26. [21] [21] Can you find nice word rectangles of sizes $5 \times 7$, $5 \times 8$, $5 \times 9$, $5 \times 10$?

Verified: no
Solve time: 45s

Understood. For each exercise, I'll write in the style of a TAOCP solution manual:

  • Use Knuth's notation and terminology exactly as it appears in the relevant section.
  • Give complete, rigorous proofs with every nontrivial step justified.
  • Keep the exposition concise and economical, avoiding unnecessary commentary.
  • State assumptions explicitly and distinguish carefully between what is given and what is to be proved.
  • When an algorithm is involved, analyze its correctness and, where appropriate, its running time in the same mathematical style used in TAOCP.
  • Preserve Knuth's conventions for mathematical notation, indexing, recurrences, generating functions, and asymptotic notation.

Please provide the exercise (or a photo/PDF of it) together with the volume, chapter, and section (for example, "Volume 4A, §7.2.2.1, Exercise 15").