Você está na página 1de 11

METRICA DE HAMMING

La distancia de Hamming se denomina as gracias a su inventor Richard Hamming, profesor de la Universidad de Nebraska, que fue el que introdujo el trmino para establecer una mtrica capaz de establecer un cdigo para la deteccin y auto-correccin de cdigos. Se emplea en la transmisin de informacin digitalizada para contar el nmero de desvos en cadenas de igual longitud y estimar el error

Peso y distancia
Peso de Hamming: v= (1,0,0,1,1,0,1), el peso es 4 esto es, tomando una n-upla, V=( V0, v1,., vn-1) e peso se define como el nmero de componentes distintos de cero de v

Distancia de Hamming: v=(1,0,0,1,1,0,1) y w=(1,0,1,1,0,1,1) La distancia es 3 Sean v y w dos n-uplas, la distancia entre v y w, que se denota como d(v,w), se define como el nmero de dgitos en el mismo sitio que tienen diferentes. La distancia mnima de un cdigo lineal de bloque es igual al mnimo peso de sus palabras distintas de cero. Si d=> p+1 entonces se puede detectar un error de peso "p Si d=> 2p+1 entonces se puede corregir p dgitos. Ejemplo: Si queremos detectar 3 errores entonces la distancia mnima de Hamming debe ser de (3)+1 = 4. Si queremos corregir 3 errores entonces la distancia mnima de Hamming debe ser de 2*(3)+1 = 7.

La distancia Hamming entre dos n-uplas, v y w, es igual a el peso Hamming de la suma de v y w, esto es, d(v,w) = w( v + w ) Por ejemplo, la distancia Hamming entre v = ( 1 0 0 0 1 0 1 1 ) y w = ( 1 1 1 0 0 1 0 ) es 4 y el peso de v + w = ( 0 1 1 1 0 0 1 ) es tambin 4. La funcin distancia d definida en Z2n X Z2n satisface lo siguiente para todos x, y,z EZ A) d(x,y)>=0 B) d(x,y)=0 sii x0y C) d(x,y)= d(y,x) D) d(x,z)=< d(x,y) + d (y,z) Cuando una funcin satisface estas cuatro propiedades es una funcin distancia o mtrica y decimos que (Z2n, d) es un espacio mtrico. Por lo tanto d es conocida como la mtrica de Hamming

PARIDAD
Tenemos el conjunto Z={A, B, C ,D ,E, F, G, H} Cada una de las letras se puede representar con una secuencia d tres dgitos binarios Smbolo A B C D E F G H Cdigo original 000 001 010 011 100 101 110 111

Si en este ejemplo se cambia un mensaje transportado por un canal, debido a alteraciones o ruido, entonces el receptor cometer un error indetectable e incorregible porque cualquiera intercambio de 0 y 1 en una secuencia de cdigo en especial resulta en una secuencia de cdigos diferentes. Por ejemplo si la secuencia 000 para A se cambia por ruido a 100 entonces se identificar como 100, entonces, se decodificar como E.

Se modificar ahora el cdigo al aadirle el dgito extra o redundante a cada secuencia de 3 bits como se muestra en la siguiente tabla:

Smbolo A B C D E F G H

Cdigo original 000 001 010 011 100 101 110 111

Redundante 0000 0011 0101 0110 1001 1010 1100 1111 Este dgito de ms se escoge para que sea 1 si la suma de los tres dgitos del cdigo original es impar; si no sucede as, se escoge para que sea 0. Un error sencillo en una secuencia de cdigo en particular produce otra secuencia que no pertenece al cdigo. Por ejemplo, la secuencia de cdigo 0000 para A se podra transformar por el ruido en cualquiera de las secuencias 0001, 0010, 0100, 1000. Ninguna de estas secuencias resultantes aparece en el cdigo y de inmediato se detecta un error. As la redundancia en el cdigo permite detectar un error de un dgito por secuencia de cdigo.

MATRICES GENERADORAS
Sea G=1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 Una matriz 3x6 sobre Z. Las primeras tres columnas de G forman la matriz identidad 3x3 I3. Si A denota la matriz formada con las tres ltimas columnas de G, entonces la estructura de G es = [I /A] Esta matriz es una matriz generadora. Usamos G para definir una funcin de codificacin E: Z23 Z26 como sigue E(110)= (110).G=[110]. 1 0 0 1 1 0 0 1 0 0 1 1 =[110101] 0 0 1 1 0 1 E(010) = (010).G= [010]. 1 0 0 1 1 0 0 1 0 0 1 1 = [010011] 0 0 1 1 0 1 Para w E Z23, E(w)=wG es el elemento en Z26 obtenido al multiplicar w, considerado como un vector fila por la matriz G a su derecha

ENUMERACION Y EQUIVALENCIA

Ejemplo:

Tenemos un conjunto de palillos, todos de la misma longitud y del mismo color, y un segundo conjunto de discos de plstico. Cada disco tiene dos agujeros Si cada disco es rojo o blanco cuantos cuadrados distintos puedo formar?

Si el cuadrado se considera fijo, los cuatro discos toman cuatro posiciones diferentes y como en cada posicin usamos un disco rojo o blanco tenemos 2=16 Separamos las configuraciones en clases de acuerdo con el numero y posicin relativa de los discos rojos Ahora supongamos que el cuadrado no esta fijo sino que puede moverse en el espacio: Tenemos el grupo G={p0,p1,p2,p3,r1,r2,r3,r4} de los movimientos para el cuadrado Hemos expresado el cada elemento del grupo como una permutacin de {1,2,3,4} y en una nueva forma que llamaremos ciclos disjuntos

Ejemplos
En la parte (b) vemos que p1= (1,2,3,4). El ciclo (1,2,3,4) indica que si comenzamos con el cuadrado de la primer lamina luego de aplicar p1 vemos que 1 pasa al lugar de 4. Vemos que (1,2,3,4)=(2,3,4,1)=(3,4,1,2)=(4,1,2,3), cada uno de estos ciclos tiene longitud 4, el numero de elementos del ciclo Observemos ahora el caso de r1, lo comparamos con el cuadrado original y vemos que, r1 manda 1 a 4 y tambin manda 4 a 1 por lo que tenemos formado un ciclo (1,4) Luego si miramos el vrtice 2, vemos que r1 manda 2 a 3, pero tambin manda 3 a 2, entonces formamos el ciclo(2,3) r1=(1,4)(2,3) producto de ciclos disjuntos de longitud 2 . Miremos r3 Siendo el conjunto S={ c1,c2,,c16} las posibles coloraciones. Cmo acta p1, la rotacin de 90? C1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 c16 C1 c3 c4 c5 c2 c7 c8 c9 c6 c11 c10 c13 c14 c15 c12 c16 Como producto de ciclos disjuntos tengo que p1=(c1)(c2 c3 c4 c5)(c6 c7 c8 c9)(c10 c11)(c12 c13 c14 c15)(c16) R es una relacin de equivalencia sobre S, R divide a S en clases de equivalencias, que son las clases cl(1), cl(2),, cl(6). Entones existen seis configuraciones no equivalentes bajo la accin del grupo. Entre las 16 coloraciones, solo seis son realmente distintas

Teorema de Burnside
Llamamos q (m) al numero de configuraciones en S fijas por m. Siendo m los movimientos realizados. Vimos que q (p1)=2 puesto que solamente estan fijos c1 y c16 Si hacemos lo mismo con los demas movimientos: q(p0)= 16 q(p2)= 4 q(p3)=2 q(r1)=4 q(r2)=4 q(r3)=8 q(r4)=8 El teorema me permite encontrar el numero de clases de equivalencia 1 IGI . La sumatoria de los q(m) Entonces comprobemos (1/8).(16+2+4+2+4+4+8+8)= (1/8).(48)= 6

Observemos:
Para p0 toda configuracin en S es invariante. La estructura de ciclo esta dada por x1,4 donde para cada ciclo de longitud 1 tenemos la opcin de colorear el vrtice de blanco (b) o de rojo (r). Denotamos con + la o excluyente, entonces (r+b) don las opciones en ese vrtice. Con cuatro de estos ciclos (r+b)4 genera las 16 configuraciones. para p1=(1,2,3,4) x4 denota la estructura del ciclo y en este caso los cuatro vrtices tienen que tener el mismo color para la configuracin si deben permanecer fijos en p1. Entonces o todos los vrtices son rojos o todos son blancos, esto se denota r4+ b4 Veamos para r1=(14)(23), la estructura de ciclo es x2,2. Para el ciclo (14)los vrtices sern o los dos rojos o los dos blancos, esto es r2+b2 , como hay dos ciclos r1 es (r2+b2)2 Por ultimo vemos que para r3=(13)(2)(4) la estructura de ciclo es x2.x1,2=x1,2.x2 Para cada uno de los ciclos (2)y(4) denoto las opciones con r+b para cada par de vrtices, y (r+b)2 cuenta las cuatro coloraciones del par El ciclo (13) tiene dos posibilidades, lo denoto r2+b2. Por lo que sumando me queda r3=(r+b)2(r2+b2) Continuo con las estructuras de ciclo para p2,p3,r2 y r4

El inventario de patrones lo puedo obtener: PG= (r+b, r2+b2, r3+b3, r4+b4)= r4+ r3b+ 2r2b2+ rb3+ b4

Mtodo de enumeracin de Polya

Sea S un conjunto de configuraciones sobre las que acta un grupo de permutaciones G, donde G es un subgrupo de Sn y G tiene ndice de ciclo PG=(x1, x2, x3,..,xn) Entonces la funcin generatriz del inventario de patrones de la m-coloraciones no equivalentes de S esta dada por m m m PG ci, c2i,., cni i=1 i=1 i=1