克拉夫特不等式 在编码理论克拉夫特不等式给出了一个码字长度集合存在唯一可解编码单义可译码uniquely decodable code的必要条件因为这个不等式在前缀码和树上面应用很多所以在计算机科学和信息学中很常用 克拉夫特不等式对码字限制长度以保证前缀编码的可能性这个不等式说明码字长度指数的倒数的分布和概率质量函数很相似克拉夫特不等式can be thought of in terms of a constrained budget to be spent on codewords with shorter codewords being more expensive 如果克拉夫特不等式中严格成立相应的编码有冗余redundancy 如果克拉夫特不等式中等式成立相应的编码被称作complete code 如果克拉夫特不等式不成立相应的编码不是唯一可解编码uniquely decipherable