在含有N个带权叶子结点的二叉树中，其中带权路径长度（WPL）最小的二叉树称为哈夫曼树或最优二叉树。

树中两个结点之间的路径是由这两个结点之间所经过的结点序列构成的。路径长度是路径上经过的边的个数。

树中结点的子树从左到右是有次序的，不能交换，叫做有序树。反之为无序树。

从树根开始定义，根结点为第1层，它的子结点为第2层，以此类推。

由零个或者多个字符组成的有限序列。串中任意个连续的字符组成的子序列称为该串的子串。字符在序列中的序号为该字符的位置。

一种先进先出的线性表，只允许在表的一段插入元素，另一端删除元素，在队列中允许插入的一端为队尾，允许删除的一端为队头。

限定在表尾进行插入或删除操作的线性表。操作端称为栈顶，后进先出

具有相同数据类型的n（n>=0）个数据元素的有限序列。

S（n）定义为该算法所耗费的村粗空间，是问题规模n的函数。