craft不等式是克拉夫特不等式，克拉夫特不等式(Kraftinequality)信源编码理论中的一个重要不等式，当一个码的任意码字与比它更长的任意码字的字首不相同时，称此码为满足字首条件的码。

克拉夫特不等式(Kraftinequality)信源编码理论中的一个重要不等，当一个码的任意码字与比它更长的任意码字的字首不相同时，称此码为满足字首条件的码，由码字分别为N(i=1，2，……，M)的M个码字所组成而且又满足字首条件的码，其存在的充分必要条件是满足公式M-N