craft不等式是克拉夫特不等式，克拉夫特不等式(Kraftinequality)信源編碼理論中的一個重要不等式，當一個碼的任意碼字與比它更長的任意碼字的字首不相同時，稱此碼為滿足字首條件的碼。克拉夫特不等式(Kraftinequality)信源編碼理論中的一個重要不等，當一個碼的任意碼字與比它更長的任意碼字的字首不相同時，稱此碼為滿足字首條件的碼，由碼字分別為N(i=1，2，……，M)的M個碼字所組成而且又滿足字首條件的碼，其存在的充分必要條件是滿足公式M-N。