huffman树的最优性证明（口胡）

因为面试被问了huffman树，突然想起自己好像忘记怎么证明最优性了，所以回忆了下。
简单来说就是反证证明存在一棵wpl最小且以权值最小的两个点为兄弟节点的树。
由于其wpl等于去掉这两个点加上一个权值等于这两个点权值和的点的树的wpl再加上这两个点的权值和，所以直接归纳完事。