 Nonunique optimal prefix code

Distinct tree shapes can have the same minimum expected length, particularly when Huffman merges have ties.