En la teoría de códigos, '''la desigualdad de Kraft''', nombrada así debido a Leon Kraft, expresa las condiciones suficientes para la existencia de un código prefijo[1] y, las condiciones necesarias para la existencia de un código unívocamente decodificable para un grupo dado de longitudes de palabra.
Sus aplicaciones a los códigos y árboles prefijos son usualmente empleadas en ciencias de la computación y teoría de la información.
Más específicamente, la desigualdad de Kraft, limita la longitud de las palabras en un código prefijo: si se toma la exponencial de la longitud de cada palabra válida, el grupo resultante de valores debe seguir una función de probabilidad, es decir, su medida total debe ser menor o igual a uno (1).
La desigualdad de Kraft puede ser entendida en términos de un presupuesto limitado de palabras a ser empleado, siendo las palabras más cortas, las más caras.
símbolos a codificar con un alfabeto de