Huffman coding and its optimality, followed by Horn-SAT’s greedy algorithm and correctness proof.
Save to open this file