哈夫曼树判定法：判断唯一可译码的利器

哈夫曼树判定法是用来判断一个编码是否为唯一可译码的方法。它的基本思想是：如果一个编码是唯一可译码，那么它对应的哈夫曼树一定是一棵完全二叉树。

具体实现方法如下：

1. 统计每个字符出现的频率，并将它们按照频率从小到大排序。

2. 从频率最小的两个字符开始构建一棵二叉树，将它们的频率相加作为父节点的频率，左子树为频率较小的字符，右子树为频率较大的字符。

3. 将新的树插入到已有的树中，使得树的节点数增加1。

4. 重复步骤2和步骤3，直到所有的字符都被加入到树中。

5. 如果最终得到的树是一棵完全二叉树，那么编码就是唯一可译码；否则就不是。

这个方法的正确性可以通过反证法来证明。假设存在另一棵哈夫曼树，它也可以生成同样的编码，但是它的结构与第一棵树不同。那么我们可以找到一个字符对应的编码，在第一棵树中的路径和在第二棵树中的路径不同，这意味着这个编码在第二棵树中是不能译出对应的字符的，与唯一可译码的定义矛盾，因此假设不成立，得证。