Huffman树

huffman树：WLP最小的完全二叉树

oiwiki：OIWIKI/huffman树

Huffman树：子节点合并为父节点，最终为一个点的树形结构

构造方式：

证明：最小的两个点一定是最深的点，且可以互为兄弟

• 反证法：当一个点最小且不是深度最深的点，那么可以通过与一个最深的点进行交换，交换后的权值和更小

2a + 3b -> 3a + 2b，(a<b)

证明：F(n - 1)的最优解是F(n)的最优解
对于任意f(i)第一步都有取最小两点a + b，那么对于f(i) = f(i - 1) + (a + b)，那么可以去掉第一步，使得问题f(i - 2)的huffman，即从i-2个点取2个点最小点合并

不断变为子问题最后证明