A New Proof of the Garsia-Wachs Algorithm

Abstract A new proof of correctness for the Garsia-Wachs algorithm is presented. Like the well-known Hu-Tucker algorithm, the Garsia-Wachs algorithm constructs minimum cost binary trees in O ( n log n ) time. The new proof has a simpler structure and is free of the difficult inductions of the original.