A New Proof of the T-C Algorithm
From MaRDI portal
Publication:5670536
Recommendations
Cited in
(8)- Proof pearl: Mechanizing the textbook proof of Huffman's algorithm
- On the Huffman and alphabetic tree problem with general cost functions
- Correctness of constructing optimal alphabetic trees revisited
- Parallel construction of binary trees with near optimal weighted path length
- Set Orderings Requiring Costliest Alphabetic Binary Trees
- Optimal binary search trees
- Operations research applications of dichotomous search
- The Optimal Alphabetic Tree problem revisited
This page was built for publication: A New Proof of the T-C Algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5670536)