霍夫曼定理又称霍夫曼编码，是一种用于信息编码的算法，于1952年被霍夫曼首次提出。它可以将任意长度的输入序列，通过编码压缩成一个固定长度的输出序列。这一算法及其变形在数据压缩、加密传输等众多领域都有着广泛的应用。
霍夫曼定理的基本思想是，对于一段文本，出现次数高的字符用一个比较短的编码来表示，而出现次数低的字符则用一个比较长的编码来表示。这样就可以通过替换字符来减少文本的大小。
在信息论中，一段文本的熵代表了这段文本的不确定性，也就是我们可以用多少比特来表示这段文本。而霍夫曼编码则可以将文本的熵降至最小，使得所用的比特数尽可能小。
除了在信息编码中的应用，霍夫曼定理还可以用于构建霍夫曼树，得到优化的搜索树，从而实现更快速的查找。同时，在文本处理中，它也常被用于搜索匹配字符串。