克拉夫特不等式

在編碼理論 ， 克拉夫特不等式給出了一個碼字長度集合存在唯一可解編碼 / 單義可譯碼 （ 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 ） 。