m0_62108636的博客

原创 证明n个结点的完全二叉树有［（n+1）/2]个叶子结点

原创 哈夫曼树数学归纳法速证

看了下网上的做法，感觉都不太看得懂或者是有些繁琐，于是想了下自己的方法： 有n个数，记其中最小的两个值为x1、x2。 step1.证在最优解中最小的这两个数一定互为兄弟：若否，将路径长度小的那一个与大的那个的兄弟交换，显然权值减小，与是最优解矛盾。 step2.证n=3时的情况最优解应为 组合最小的两个再与第三个组合：略。 step3.证已知n=k时的最优解，则n=k+1时的最优解应为 将最小的两个数替换为值为x1+x2的一个数，由此得到k个数时的最优解，再将替换的那个数所在结点延伸出两个叶子