Does Huffman algorithm generate a minimal weight of a tree?
I noticed that by trying to make two different trees with the same frequencies of letters, I get different weights of the trees.
We defined the weight of the tree as $\displaystyle\sum_{c\in C}f(c)d(c)$ where $C$ is all the letters, $f()$ is the frequency of the letter, $d()$ is the depth in the tree of that letter.