UNIVERSIDAD NACIONAL DE LOJA

REA DE LA ENERGA, LAS INDUSTRIAS Y LOS RECURSOS NATURALES NO RENOVABLES

CARRERA DE INGENIERA EN ELECTRNICA Y TELECOMUNICACIONES
TEORA DE LA INFORMACIN Y CODIFICACIN

INECUACIN
DE MCMILLAN
TEORIA DE LA INFORMACIN
Y CODIFCACIN

Docente: Ing. Paulo Samaniego.

Estudiante: Jenny J. Luzuriaga Jimnez.
Ciclo: 6to B

Loja- Ecuador

12/01/2016

Inecuacin de McMillan

Inecuacin de McMillan
La desigualdad de McMillan es un teorema de la teora de cdigos que reduce la
existencia de cdigos unvocamente descifrables al cumplimiento de la desigualdad de
Kraft. Es decir, si existe un cdigo unvocamente descifrable con longitudes de palabra
prescritas entonces es un cdigo instantneamente descifrable que satisface la
desigualdad de Kraft.
Tenemos:

(1)

=1

Donde:

q: es la cantidad de mensajes de la fuente.

r: es la cantidad de smbolos diferentes en el alfabeto del cdigo y

: es la longitud de las palabras cdigo.

Esta inecuacin constituye una condicin suficiente que deben cumplir las longitudes de
palabras de un cdigo instantneo, construyendo un cdigo con tales longitudes.
Puesto que lo cdigos instantneos son una subdivisin de los cdigos unvocos, la
condicin suficiente se aplica tambin a ellos; es decir, si las longitudes 1 , 2 , ,
satisfacen la relacin de Kraft, puede construirse con ellas un cdigo unvoco.
La demostracin de la necesidad de la inecuacin de Kraft, por el contrario, no puede
extenderse a los cdigos unvocos. Realmente la condicin necesaria de la inecuacin
sugiere el anlisis de los requisitos que deben cumplir las longitudes de las palabras
cdigos unvocos.
Se sabe que la inecuacin de Kraft expresa una condicin necesaria para los cdigos
instantneos. Es vlida la misma condicin para los cdigos unvocamente
decodificables de carcter general?, contestando a la pregunta se lleg a probar que la
condicin de la inecuacin de Kraft es igual de vlida para los cdigos unvocos, y esto
fue probado primeramente por McMillan en 1956, y luego Karush en 1961 simplifico la
demostracin.
Partiendo de la demostracin de la inecuacin de Kraft consideremos la expresin:

Jenny Luzuriaga

Inecuacin de McMillan

( ) = ( 1 + 2 + + )

(2)

=1

Su desarrollo tendr trminos, de la forma

11 2 . =

(3)

Donde, por definicin tenemos

1 + 2 + + =

(4)

Si tenemos que es la mayor de las longitudes , k puede entonces tomar un conjunto

de valores comprendido entre n y nl.
Y si definimos como el nmero de trminos de la forma existente en la ecuacin
(2).
Entonces:

( ) =
=1

(5)

Ahora con la ecuacin (4), vemos que representa tambin el nmero de porciones
de n palabras cdigo que pueden formarse de modo que cada porcin tenga una
longitud de exactamente K smbolos. Si el cdigo es unvocamente decodificable, no
debe ser mayor de , nmero de secuencias de orden r distintas de longitud k. Por
tanto

( )
=1

+ 1

(6)

La ecuacin (6) es la prueba que se buscaba, ya que si > 1, > , con tal de tomar
un valor n suficientemente grande. La expresin (6) se cumple para cualquier valor
entero de n, de modo que tendremos:

(7)

=1

Jenny Luzuriaga

Inecuacin de McMillan

Ejemplos:
1. Tenemos el siguiente alfabeto cdigo = {, , , } = {, , , }
con sus respectivas longitudes de palabra cdigo = {, , , } =
{, , , } usando la desigualdad determinar si es un cdigo unvocamente
decodificable.

1
=1
4

2 = 21 + 22 + (2)23 1
=1

1=1
Lo que indica que es un cdigo unvocamente decodificable y por ser igual a uno tambin
se denomina compacto.
2. Se desea disear un cdigo unvocamente decodificable ternario (r=3) con
sus respectivas longitudes de palabra cdigo 1, 1, 2, 2, 3, 3. Ya que un
cdigo unvocamente decodificable satisface la Inecuacin de Kraft por el
Teorema de McMillan nosotros comprobamos si este es el caso.
Usando la inecuacin de Kraft tenemos:

1
=1
4

3 = (2)31 + (2)32 + (2)33 1

=1

0.963 1
Podemos observar que un cdigo unvocamente decodificable se puede encontrar con
dichas longitudes.
Pero la misma inecuacin de Kraft puede satisfacerse para cdigos instantneos y
debido a que estos mismos cdigos instantneos pueden construirse de forma
sistemtica siguiendo un procedimiento se puede decir que el siguiente cdigo
instantneo, que es unvocamente decodificable, puede designarse como:

Jenny Luzuriaga

Inecuacin de McMillan

0
1
20
21
220
221

Para realizar la construccin de este cdigo, una forma sistemtica de hacer esto es
enumerar o contar a travs del alfabeto cdigo.
3. Diseamos un cdigo binario con las siguientes longitudes de palabra
cdigo: 2, 3, 2, 2, 2.
Usando la inecuacin tenemos:

1
=1
5

2 = (4)22 + 23 1
=1

2.125 > 1
Como podemos observar no se cumple la inecuacin por lo que podemos decir que no
es un cdigo instantneo y por lo tanto tampoco es un cdigo unvocamente
decodificable.

Conclusiones:

Kraft dice que si satisface la desigualdad entonces existe un cdigo prefijo

(instantneo) de longitud L, en cambio McMillan dice que ese cdigo es
unvocamente decodificable.

La desigualdad de Kraft es la misma que la de McMillan, la diferencia radica en

que Kraft la defini para cdigos prefijo, mientras que McMillan para cdigos
unvocamente decodificables.

Jenny Luzuriaga

Inecuacin de McMillan

Bibliografa:
[1]

Teora

de

la

Informacin.

11/02/2016.

http://ovandos-

blog.blogspot.com/2010/05/desigualdad-de-kraft-mcmillan.html
[2] TOGNERI, Roberto, J.S de SILVA, Christopher; Fundamentals of Information Theory
and Coding Design; 2006.
[3] ABRAMSON, Norman; Teora de la Informacin y Codificacin; Quinta Edicin; 1981.

Jenny Luzuriaga