Huffman encoding uses probability of occurrences of each value, to construct a tree where the values are the leaves. The path length from root to a leaf is least for most probably occurring values.
Is the tree constructed (ignoring the assignment of 0s and 1s to left and right) always balanced? (Balanced: depth of left and right subt-ree of every node differ at most by 1)
Support with mathematical proof would be much appreciated :)