Disuguaglianza di Kraft-McMillan

Template:F In teoria dei codici la disuguaglianza di Kraft-McMillan fornisce una condizione necessaria e sufficiente per l'esistenza di un codice binario univocamente decodificabile per un insieme di simboli.

Enunciato

Ogni codice binario univocamente decodificabile per i simboli $\alpha \in A={\alpha }_1,...,{\alpha }_N$ deve soddisfare la disuguaglianza:

$\sum _{i=1}^N{2}^{-l\left({\alpha }_i\right)}\le 1$

dove $l\left({\alpha }_i\right)$ è la lunghezza della stringa binaria corrispondente ad ${\alpha }_i$. Dati invece gli interi $l\left({\alpha }_i\right)$, $i=1,...,N$ soddisfacenti la disuguaglianza precedente, esiste un codice binario per l'alfabeto $A$ tale per cui la parola $C\left({\alpha }_i\right)$ ha lunghezza $l\left({\alpha }_i\right)$ e non esiste alcuna parola uguale ad un suo prefisso.

Dimostrazione (per codici a prefisso)

È possibile dimostrare in modo semplice che il teorema è vero per codici a prefisso. Tali codici possono essere scritti tramite alberi binari nei quali ad ogni ramo corrisponde un bit $0$ o $1$. Sui nodi interni non termina alcuna parola del codice, altrimenti si avrebbero parole con il medesimo prefisso. Le foglie sono associate ciascuna ad una parola del codice. Si può supporre che il codice sia costituito da $N$ parole e che le loro lunghezze siano $m_1,m_2,...,m_N$ con $m_1\le m_2\le ...\le m_N$, senza perdita di generalità. Essendo il codice a prefisso è possibile associare ad ogni foglia una diversa parola. L'albero ha altezza $m_N$ e quindi un numero di foglie al più pari a $2^{m_N}$. Procedendo ad un assegnamento delle parole di codice ai simboli che esse devono rappresentare, si può affermare che associando la foglia di profondità $j$ si rimuovono tutte le parole con medesimo prefisso, che sono $2^{m_N-j}$. La condizione da rispettare è che, una volta assegnate $N-1$ parole di codice ad altrettanti simboli, si abbia almeno ancora una foglia a cui assegnare il simbolo rimanente, quindi deve essere vera la seguente disuguaglianza:

$2^{m_N}-\sum _{i=1}^{N-1}{2}^{m_N-m_i}\ge 1$

Ciò significa che:

$2^{m_N}-\sum _{i=1}^{N-1}{2}^{m_N}\cdot \frac{1}{2^{m_i}}=2^{m_N}\cdot (1-\sum _{i=1}^{N-1}\frac{1}{2^{m_i}})\ge 1$

ossia:

$1-\sum _{i=1}^{N-1}{2}^{-m_i}\ge 2^{-m_N}$

che può essere riscritta come:

$\sum _{i=1}^N{2}^{-m_i}\le 1$

che è appunto la disuguaglianza di Kraft-McMillan.
In modo analogo si può dimostrare che dato un codice con parole di lunghezza $m_1\le m_2\le ...\le m_N$ che verificano la disuguaglianza di Kraft-McMillan è possibile porle in corrispondenza biunivoca con le parole di un codice binario a prefisso dove la lunghezza $m_i$ viene associata alla foglia a profondità $m_i$ nell'albero binario.

Bibliografia

• Template:Cita pubblicazione

• Template:Cita pubblicazione