Códigos Corretores de Erros 10pt - UFG
Transcript of Códigos Corretores de Erros 10pt - UFG
![Page 1: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/1.jpg)
![Page 2: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/2.jpg)
Códigos Corretores de Erros
Jorge AlencarUNICAMP
Grasiele JorgeUNIFESP
II Workshop de Álgebra da UFG-CAC
Catalão, Brasil 31 de Março até 03 de Abril, 2014
![Page 3: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/3.jpg)
Um Pouco de História
• Teoria dos Códigos Corretores de Erros: matemática,computação, engenharia elétrica e estatistíca entre outras;
• Transmissão de dados e ruídos: interferênciaseletromagnéticas e erros humanos;
• Década de 40 e a exclusividade dos computadores;• O Laboratório Bell de Tecnologia possuia taiscomputadores e Richard W. Hamming trabalhava comestas máquinas em 1947;
• Finais de semana e cartões perfurados.
![Page 4: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/4.jpg)
Um Pouco de História
Figura : Richard W. Hamming
![Page 5: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/5.jpg)
Um Pouco de História
Hamming relembra:Em dois finais de semanas consecutivos eu fui edescobri que todas minhas coisas tinham sidodescarregadas e nada tinha sido feito. Eu estavarealmente aborrecido e irritado porque queria estasrespostas e tinha perdido dois finais de semana. Eentão eu me disse “Maldição”, se as máquinas podemdetectar um erro, porque não podemos localizar aposição do erro e corrigi-lo.
R.W. Hamming, Interview, Fevereiro de 1977
![Page 6: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/6.jpg)
Um Pouco de História
Figura : The Bell System Technical Journal, 1950.
![Page 7: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/7.jpg)
Um Pouco de História
Figura : The Bell System Technical Journal, 1948.
![Page 8: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/8.jpg)
O artigo de C. E. Shannon deu inicio a dois novos campos depesquisa em matemática:• A Teoria de Códigos (em conjunto com o trabalho deHamming);
• A Teoria da Informação.
![Page 9: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/9.jpg)
Um Pouco de História
Figura : Proceedings of the IRE (IEEE), 1949.
![Page 10: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/10.jpg)
Um Pouco de História
Figura : Espaçonave Voyager que usa um código desenvolvido porGolay para transmitir fotos coloridas de Júpiter e Saturno.
![Page 11: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/11.jpg)
Um Pouco de História
Golay, Hamming e Shannon foram os grandes pioneiros edesenvolvedores de estudos e ideias que são usadas até hoje nonosso dia a dia:• Comunicação Móvel (telefones celulares);• Aparelhos de armazenamento de dados;• Processamento de Imagens Digitais;• Internet;• Rádio.
![Page 12: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/12.jpg)
Um Pouco de História
![Page 13: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/13.jpg)
Conceitos Básicos
• Podemos dizer que a construção de códigos inspira-se nomais comum dos códigos utilizados pelos seres humanos: osidiomas;
• Na língua portuguesa temos:1. Um alfabeto de 26 letras;2. Palavras, que nada mais são que sequências finitas dessas
letras.
![Page 14: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/14.jpg)
Conceitos Básicos
Os elementos básicos para construção de um código são:• Um conjunto finito, A que chamaremos de alfabeto.Se q é a quantidade de elementos de A, dizemos queo código é q-ário;
• Sequências finitas de símbolos do alfabeto sãopalavras. O número de letras numa palavra é o seucomprimento.
![Page 15: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/15.jpg)
Conceitos Básicos
Assim, um código q-ário de comprimento n será umsubconjunto C de palavras de comprimento n, ou seja,
C ⊆ An .
![Page 16: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/16.jpg)
Conceitos Básicos - Exemplo
Quanto o alfabeto utilizado é o conjunto Z2 = {0, 1} o códigodiz-se binário. O conjunto
C1 = {00000, 01011, 10110, 11101}.
é um código em blocos, binário, de comprimento 5.
![Page 17: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/17.jpg)
Conceitos Básicos - Exemplo
Se consideramos como alfabeto o conjunto Z3 = {0, 1, 2}. Oconjunto
C2 = {00012, 11022, 10101, 10201, 20202},
obtemos um código em blocos, ternário, de comprimento 5.
![Page 18: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/18.jpg)
Conceitos Básicos
![Page 19: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/19.jpg)
Conceitos Básicos
A ideia de teoria de códigos corretores de erros é codificar ainformação inicial, adicionando informação redundante, demodo que, ao receber o sinal modificado pelo “ruído” sejapossível recuperar a mensagem original.
![Page 20: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/20.jpg)
Conceitos Básicos - Exemplo
![Page 21: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/21.jpg)
Conceitos Básicos - Exemplo
![Page 22: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/22.jpg)
Conceitos Básicos - Exemplo
![Page 23: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/23.jpg)
Conceitos Básicos - Exemplo
![Page 24: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/24.jpg)
Conceitos Básicos - Exemplo
![Page 25: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/25.jpg)
Conceitos Básicos - Exemplo
![Page 26: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/26.jpg)
Conceitos Básicos - Exemplo
![Page 27: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/27.jpg)
Conceitos Básicos - Exemplo
Se voltarmos a pensar na língua portuguesa:
Na verdade, você nunca entende uma nova teorxa.Você simplesmente a utiliza. (Einstein)
![Page 28: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/28.jpg)
Conceitos Básicos - Exemplo
Se voltarmos a pensar na língua portuguesa:
Maldito seja aquele wato!
![Page 29: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/29.jpg)
Conceitos Básicos
(Distância de Hamming). Dados dois elementos x =(x1, . . . , xn) e y = (y1, . . . , yn) de um espaço An , chama-mos de distância de Hamming de x a y ao número decoordenadas em que estes diferem, ou seja,
d(x, y) = |{i : xi 6= yi , 1 ≤ i ≤ n}|.
Dado um código C ⊆ An chamamos de distância mínimade C ao número
d = min{d(x, y) : x, y ∈ C, x 6= y}.
![Page 30: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/30.jpg)
Conceitos Básicos - Exemplo
Sendo leste = (0, 0, 0, 0, 0, 0), oeste = (1, 0, 1, 0, 1, 0),norte =(0, 1, 0, 1, 0, 1) e sul = (1, 1, 1, 1, 1, 1).
![Page 31: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/31.jpg)
Conceitos Básicos - Exemplo
Sendo leste = (0, 0, 0, 0, 0, 0), oeste = (1, 0, 1, 0, 1, 0),norte =(0, 1, 0, 1, 0, 1) e sul = (1, 1, 1, 1, 1, 1). Temos que
d(leste, oeste) = 3d(leste,norte) = 3
d(leste, sul) = 6d(oeste,norte) = 6
d(oeste, sul) = 3d(norte, sul) = 3
![Page 32: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/32.jpg)
Conceitos Básicos - Exemplo
Sendo leste = (0, 0, 0, 0, 0, 0), oeste = (1, 0, 1, 0, 1, 0),norte =(0, 1, 0, 1, 0, 1) e sul = (1, 1, 1, 1, 1, 1). Temos que
d(leste, oeste) = 3d(leste,norte) = 3
d(leste, sul) = 6d(oeste,norte) = 6
d(oeste, sul) = 3d(norte, sul) = 3
Logo, a distância mínima é d = 3.
![Page 33: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/33.jpg)
Conceitos Básicos
(Métrica). Dado um conjunto X e uma função
d : X ×X −→ R+,
dizemos que d é uma métrica sobre X (ou uma funçãodistância sobre X), se, para quaisquer x, y, z ∈ X , temos:
1. d(x, y) ≥ 0 e d(x, y) =⇔ x = y;2. d(x, y) = d(y, x);3. d(x, y) ≤ d(x, z) + d(z, y).
![Page 34: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/34.jpg)
Conceitos Básicos
Dado um elemento x ∈ An e um inteiro positivo r chama-se bola de centro em x e raio r , ao conjunto
B(x, r) = {u ∈ An : d(u, x) ≤ r},
e esfera de centro em x e raio r , ao conjunto
S(x, r) = {u ∈ An : d(u, x) = r}.
![Page 35: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/35.jpg)
Conceitos Básicos
(Teorema) Seja C um código com distância mínima d eseja
κ =⌊d − 1
2
⌋,
então é possível dectar até d−1 erros e corrigir até κ erros.
![Page 36: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/36.jpg)
Conceitos Básicos - Exemplo
Sendo nosso código dado por
leste = (0, 0, 0, 0, 0, 0)oeste = (1, 0, 1, 0, 1, 0)norte = (0, 1, 0, 1, 0, 1)
sul = (1, 1, 1, 1, 1, 1)
![Page 37: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/37.jpg)
Conceitos Básicos - Exemplo
Sendo nosso código dado por
leste = (0, 0, 0, 0, 0, 0)oeste = (1, 0, 1, 0, 1, 0)norte = (0, 1, 0, 1, 0, 1)
sul = (1, 1, 1, 1, 1, 1)
Temos, pelo Teorema,
κ =⌊3− 1
2
⌋= 1.
![Page 38: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/38.jpg)
Conceitos Básicos - Exemplo
Sejam x = (1, 0, 1, 0, 0, 0) e y = (1, 0, 0, 0, 0, 0) palavrasrecebidas. Logo,
![Page 39: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/39.jpg)
Conceitos Básicos - Exemplo
Sejam x = (1, 0, 1, 0, 0, 0) e y = (1, 0, 0, 0, 0, 0) palavrasrecebidas. Logo,
d(x, leste) = 2 d(y, leste) = 1d(x, oeste) = 1 d(y, oeste) = 2d(x,norte) = 5 d(y,norte) = 3d(x, sul) = 4 d(y, sul) = 5
![Page 40: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/40.jpg)
Conceitos Básicos - Exemplo
Sejam x = (1, 0, 1, 0, 0, 0) e y = (1, 0, 0, 0, 0, 0) palavrasrecebidas. Logo,
d(x, leste) = 2 d(y, leste) = 1d(x, oeste) = 1 d(y, oeste) = 2d(x,norte) = 5 d(y,norte) = 3d(x, sul) = 4 d(y, sul) = 5
Logo, x é corrigido para oeste e y para leste.
![Page 41: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/41.jpg)
Conceitos Básicos
(Corolário) Um código C pode corrigir até κ erros se esomente se sua distância mínima d(C) verifica a desigual-dade
d(C) ≥ 2κ+ 1.
![Page 42: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/42.jpg)
Conceitos Básicos
Dado um código C com distância mínima d, o número
κ =⌊d − 1
2
⌋chama-se a capacidade de C.
![Page 43: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/43.jpg)
Equivalência de Códigos
Seja M o número de palavras de um código C, ou seja, M = |C|.
Um código q-ário de comprimento n, com M palavras edistância mínima d diz-se um (n,M , d)-código.
![Page 44: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/44.jpg)
Equivalência de Códigos
Sejam A um conjunto finito e n um inteiro positivo. Umafunçao µ : An −→ An diz-se uma isometria de Ham-ming ou, brevemente, uma isometria de An se preserva adistância de Hamming em An ; i.e., se:
d(µ(x), µ(y)) = d(x, y) ∀z, y ∈ An .
![Page 45: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/45.jpg)
Equivalência de Códigos
Dois códigos C1 e C2 em An são ditos equivalentes seexiste uma isometria µ : An −→ An tal que µ(C1) = C2.
![Page 46: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/46.jpg)
Equivalência de Códigos - Exemplo
Seja π um permutação dos inteiros positivos {1, . . . ,n}. Então afunção µπ : An −→ An dada por
µπ(a1, . . . , an) = (aπ(1), . . . , aπ(n))
é uma isometria.
![Page 47: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/47.jpg)
Equivalência de Códigos - Exemplo
Seja f : A −→ A uma bijeção A. Fixado um indice i, 1 ≤ i ≤ n,definimos a função µ(i)
f : An −→ An dada por
(a1, . . . , ai , . . . , an) −→ (a1, . . . , f (ai), . . . , an)
é uma isometria. Em particular, se F = {f1, . . . , fn} é umafamília de bijeções de A, então a função µF : An −→ An dadapor
(a1, . . . , ai , . . . , an) −→ (f1(a1), . . . , fi(ai), . . . , fn(an))
é uma isometria.
![Page 48: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/48.jpg)
O problema principal da Teoria de Códigos
• Maior quantidade de palavras M vs. Maior distânciamínima d;
• O problema principal da Teoria de Códigos.
![Page 49: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/49.jpg)
O problema principal da Teoria de Códigos
Seja C um (n,M , d)-código q-ário. Então,
B(x, r) =r⋃
t=0S(x, t)
![Page 50: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/50.jpg)
O problema principal da Teoria de Códigos
Seja x ∈ An e A um alfabeto com q elementos. Então,
y ∈ S(x, t)⇒ {i1, . . . , it} ∈ {1, . . . ,n} : y(ij) 6= x(ij), j ∈ {1, . . . , t}
![Page 51: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/51.jpg)
O problema principal da Teoria de Códigos
Seja x ∈ An e A um alfabeto com q elementos. Então,
y ∈ S(x, t)⇒ {i1, . . . , it} ⊆ {1, . . . ,n} : y(ij) 6= x(ij), j ∈ {1, . . . , t}⇒ y(ij) ∈ A \ {x(ij)}, j ∈ {1, . . . , t}
![Page 52: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/52.jpg)
O problema principal da Teoria de Códigos
Seja x ∈ An e A um alfabeto com q elementos. Então,
y ∈ S(x, t)⇒ {i1, . . . , it} ⊆ {1, . . . ,n} : y(ij) 6= x(ij), j ∈ {1, . . . , t}⇒ y(ij) ∈ A \ {x(ij)}, j ∈ {1, . . . , t}
![Page 53: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/53.jpg)
O problema principal da Teoria de Códigos
• Ou seja, existem q − 1 possibilidades de letras paracolocarmos na posição y(ij), j ∈ {1, . . . , t}. Logo existem(q − 1)t palavras de An que diferem de x nas t posiçõesi1, . . . , it ;
• Como podemos escolher o subconjunto{i1, . . . , it} ⊆ {1, . . . ,n} de
(nt
)formas, então:
|S(x, t)| =(nt
)(q − 1)t
![Page 54: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/54.jpg)
O problema principal da Teoria de Códigos
Portanto,
|B(x, r)| = |r⋃
t=0S(x, t)|
=r∑
t=0|S(x, t)|
=r∑
t=0
(nt
)(q − 1)t
![Page 55: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/55.jpg)
O problema principal da Teoria de Códigos
Seja C um (n,M , d)-código q-ário e κ a capacidade de C. Como,
B(x, κ) ∩ B(y, κ) = ∅ ∀x, y ∈ C e⋃x∈C
B(x, κ) ⊆ An .
![Page 56: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/56.jpg)
O problema principal da Teoria de Códigos
Seja C um (n,M , d)-código q-ário e κ a capacidade de C. Como,
B(x, κ) ∩ B(y, κ) = ∅ ∀x, y ∈ C e⋃x∈C
B(x, κ) ⊆ An .
Segue que ∑x∈C|B(x, κ)| ≤ qn .
![Page 57: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/57.jpg)
O problema principal da Teoria de Códigos
Segue que ∑x∈C|B(x, κ)| ≤ qn .
Portanto, como se trata de M esferas contendo o mesmonúmero de elementos, temos:
M[
κ∑t=0
(nt
)(q − 1)t
]≤ qn .
![Page 58: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/58.jpg)
O problema principal da Teoria de Códigos
(Teorema - Cota de Hamming) Dado um (n,M , d)-código q-ário, tem-se que
M ≤ qn[∑κt=0
(nt
)(q − 1)t
] .
![Page 59: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/59.jpg)
O problema principal da Teoria de Códigos
Um código C ⊆ An com distância mínima d e capacidadeκ diz-se perfeito se ⋃
x∈CB(x, κ) = An
.
![Page 60: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/60.jpg)
O problema principal da Teoria de Códigos
(Proposição) Dado C um (n,M , d)-código q-ário, C é per-feito se, e somente se,
M = qn[∑κt=0
(nt
)(q − 1)t
] .
![Page 61: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/61.jpg)
Referências
C.C. Lavor, M.M. Alvez, R.M. Siqueira, S.I.R. Costa, Uma introduçãoà teoria de códigos, SBMAC, 2006.
A. Hefez, M.L.T. Villela, Códigos Corretores de Erros, IMPA, Rio DeJaneiro, 2002.
C. P. Milies, Breve introdução à teoria dos códigos corretores de erros,Colóquio de Matemática da Região Centro-Oeste, 2009.
![Page 62: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/62.jpg)
Agradecimentos
Gostaria de agradecer:
� UFG - Catalão.
Obrigado!
![Page 63: Códigos Corretores de Erros 10pt - UFG](https://reader036.fdocumentos.com/reader036/viewer/2022071713/62d31379284d3275e2358f3d/html5/thumbnails/63.jpg)
Agradecimentos
Gostaria de agradecer:
� UFG - Catalão.
Obrigado!