Vous êtes sur la page 1sur 39

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

Introduction ` la thorie des codes a e correcteurs derreurs


Cours 1 : Gnrailts e e e Odile PAPINI
ESIL Universit de la mditerrane e e e Odile.Papini@esil.univmed.fr http://odile.papini.perso.esil.univmed.fr/index.html

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

Plan du cours
1

Introduction problmatique e thorie de linformation e Quelques rep`res historiques e volution des techniques de transport des messages e codage de linformation Gnralits sur les codes correcteurs derreurs e e e problmatique e distance de Hamming codes correcteurs condition de dcodage e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

Bibliographie I
F. J. Mac Willians & N. J. A. Sloane The Theory of Error Correcting codes. North Holland Publising, ed. 1978. O. Papini & J. Wolfmann Alg`bre discr`te et codes correcteurs derreurs. e e Springer Verlag ed. 1995. Support de cours Claude Carlet Universit Paris 13 e http://www.math.univparis13.fr/ schartz/Mali/Mali07/ccc.pdf

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Problmatique e
Transmission dinformation volution : analogique numrique e e

apparition derreurs de transmission : tlommunication ` grande distance ec a perturbations mtrologiques ee dpt de poussi`re e o e Objet de la thorie des codes correcteurs derreurs e Protger les transmissions des erreurs, de faon ecace e c
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Notion dinformation
thorie des codes correcteurs derreurs thorie de linformation e e notion moderne dinformation distinction entre : sens dun message forme dun message mergence dune thorie de linformation C. Shannon (1948) e e traitement automatique de linformation sur lequel sappuie la plupart des moyens modernes de communication
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Dnition mathmatique de linformation e e


support de linformation numrique : syst`me ` 2 tats e e a e dquilibre 0 et 1 e information lmentaires : bits ( binary digit) ee toute information est reprsente par une combinaison e e dinformations lmentaires ee quantit dinformation : logarithme du nombre de choix e possibles unit de quantit dinformation : shannon (sh) (normes e e CCITT) quantit dinformation apporte par la connaissance dun tat e e e parmi 2 tats possibles : log2 (2) e information I : combinaison de m bits quantit dinformation I : log2 (2m ) e
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Un exemple introductif
Codage dun itinraire selon les directions cardinales e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Thorie de linformation e
Description et tude des syst`mes de communication : e e Claude Shannon 1948

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Canal de transmission
canal binaire symtrique e p: ou probabilit quun 1 soit reu lorsqun 0 est transmis e c probabilit quun 0 soit reu lorsqun 1 est transmis e c

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Canal de transmission
canal binaire symtrique e p: ou probabilit quun 1 soit reu lorsqun 0 est transmis e c probabilit quun 0 soit reu lorsqun 1 est transmis e c

p 1p 0 0 1 0

p 1p 0 1 1

quantit dinformation transmise par le canal : capacit e e 1 1 )) C (p) = 1 (p log2 ( ) + (1 p) log2 ( p 1p C (p) = 1 + p log2 (p) + (1 p) log2 (1 p)
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Thor`me de Shannon e e
thor`me e e Soient C (p) la capacit dun canal de transmission e 2 valeurs arbitraires > 0 et R < C (p) k le nombre de symboles du message ` transmettre a P la probabilit de dcoder incorrectement un mot reu e e c Il existe un code de longueur n susamment grande tel que k R n et P <

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

problmatique e thorie de linformation e

Problmatique e

2-i`me thor`me de Shannon : e e e Le codage est une opration ecace au prix dune certaine e redondance

Trouver de bons codes Trouver des mthodes de dcodage ecaces e e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

technologie mcanique e
communication ` distance a proccupation tardive dans lhistoire de lhumanit e e n du XVIII i`me si`cle : e e rseau de communication ` distance systmatique e a e

technologie mcanique e 1794 : premier tlgraphe arien de Claude Chappe ee e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

technologie lectrique e

1832 : tlgraphe lectrique de Samuel F.B Morse ee e 1866 : premier cble transatlantique a 1874 : Thomas Edison perfectionne le tlgraphe ee tlgraphe de E. Baudot avec un code binaire, ee
le code ` cinq moments a code RTTY pour les transmissions par telex)

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

technologie lectromagntique e e

1875 : tlphone Alexandre Graham Bell ee premier syst`me de transmission sans l, TSF, par A. Popov e 1896 : premi`re installation, G. Marconi : dbut de la e e radiocommunication

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

technologie lectronique e
mise en vidence lmission thermo-ionique (T. Edison) e e passage des lectrons dune lectrode ngative ` une e e e a lectrode positive e 1902 : diode A. Fleming 1906 : triode L. De Forest conception de tubes lectroniques : dbut de l`re lectronique e e e e 1917 : premiers postes metteurs-rcepteurs portatifs ` e e a lampes
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

matrise des procds de modulation des ondes e e

naissance de la radiodiusion 1920 : premiers essais aux Etats Unis 1921 :missions rguli`res en France ` partir de la tour Eiel e e e a 1930 :dveloppement de la modulation de frquence (bande e e FM)

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

technologie lectronique e
Leet photo-lectrique e jection dlectrons hors des atomes au moyen de photons de e e lumi`re e 1905 : cellule photolectrique Elster et Geitel. e tube cathodique rend possible la transmission dimages 1923 : premiers essais de tlvision en Angleterre ee 1938 : diusion dmissions en France ` partir de la tour Eiel e a recherches sur les matriaux semi-conducteurs e 1947 : premier transistor W. Shockley, W. H. Brattain et J. Barden (laboratoires de la Bell Telephone)
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

tlcommunications et rseaux ee e
volution des tlcommunications e ee contexte de guerre froide : course ` lespace a 1960 : satellites comme relais pour les tlcommunications ee Echo 1960, Telstar 1962 aujourdhui : satellites gostationnaires e volution et le dveloppement de linformatique e e rseaux dordinateurs e rseau de tlcommunication : RNIS e ee 1987 : NUMERIS de France-Tlcom. ee volution de la transmission de linformation e analogique numrique e
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

codage de linformation
code binaire : Francis Bacon (1561 1628) syst`me de e codage : 2 oprations e
codage de chaque lettre de lalphabet par une combinaison de 2 symboles pour chaque symbole une typographie dirente. e

G. W. von Liebniz (1643 1716) : notation binaire pour les nombres. J. M. Jacquard (1752 1834) : codage binaire (cartes perfores) e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

Exemple du codage de F. Bacon (cryptographie)


codage de la lettre a : aaaaa codage de la lettre b : aaaba . . ., codage de la lettre z : babbb symbole a : typographie minuscule symbole b : une typographie majuscule message ` transmettre : a non cod par : e [abbaa][abbab][abbaa] vOUs poUVeZ vENir
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

code Morse
Morse 1838 : codage de chaque lettre de lalphabet par une combinaison de 3 symboles (code ternaire)
Lettres A B C D E F G H I J K L M Morse . ... . . .. . .. . . .... .. . . . ..
Odile PAPINI

Lettres N O P Q R S T U V W X Y Z

Morse . . . . .. ... .. ... . .. . ..

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

codage de linformation
pour les codes prsents : e e reprsentation de linformation sous forme symbolique e pas de protection contre une ventuelle perte dinformation e necessit dintroduction de symboles supplmentaires, e e ou redondants, exemple : langage des aviateurs C : CHARLIE P : PAPA T : TANGO

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

Un exemple introductif
Codage dun itinraire selon les directions cardinales e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

volution des techniques de transport des messages e codage de linformation

Prhistoire des codes correcteurs derreurs e


laboratoires de la Bell Telephone 1937 1939 : premi`res e recherches sur lutilisation des codes dtecteurs et correcteurs e derreurs seconde guerre mondiale : recherches activement dveloppes e e
but : concevoir un calculateur adapt aux probl`mes de e e commandes de tirs pour le National Defense Research Council linterpolateur ` relais 1943 : utilisation de codes dtecteurs a e derreurs

1947 W. Hamming : premier code corrigeant une seule erreur


Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Code
A : Alphabet (x1 , , xn ) : un n-uplet mot : un n-uplet (x1 , , xn ) longueur du mot : lentier n code lensemble des mots fabriqus sur A e Lalphabet le plus utilis : {0, 1} e
Odile PAPINI Codes correcteurs derreurs

avec xi A

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Problmatique e
A partir dune telle reprsentation : e dcrire les proprits de transmission en vue de dtecter e e e e et de corriger des erreurs apparues au cours de la transmission des messages inversement choisir convenablement lalphabet et le code pour tenter damliorer la transmission e
en particulier, choisir un alphabet et un code dots de e structures algbriques et combinatoires particuli`res e e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Distance de Hamming
A : ensemble ni, non vide et n un entier naturel An : lensemble des x = (x1 , , xn ) avec xi A distance de Hamming entre x et y : nombre de composantes pour lesquelles x et y di`rent. e si x = (x1 , x2 , ...xn ) et y = (y1 , y2 , ...yn ), alors : d(x, y ) = i {1, 2, . . . , n}, tq xi = yi exemple A = {+, ?, =}, n = 5, x = (?, ?, +, ?, =) et y = (?, =, =, +, =) d(x, y )?
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Distance de Hamming
La distance de Hamming est bien une distance x, y , z An on a : i) d(x, y ) IR+ ; ii) d(x, y ) = 0 x = y ; iii) d(x, y ) = d(y , x); iv) d(x, y ) d(x, z) + d(z, y ). (dmontrastion laisse en exercice). e e
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Code
dnition dun code e Soit A un alphabet. Un code sur A de longueur n est un sous-ensemble C de An .

les lments de C sont appels les mots du code. ee e exemple C = {(0, 1, 1, 0, 1, 0), (1, 1, 1, 0, 1, 1), (1, 1, 1, 1, 1, 1), (1, 1, 0, 0, 0, 0), (0, 1, 1, 1, 0, 0)} est un code de longueur 6 sur lalphabet A = {0, 1}.
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Codes correcteurs
Lorsquon utilise un code pour transmettre des messages x = (x1 , x2 , ...xn ) est un mot envoy e x = (x1 , x2 , ...xn ) le mot reu ventuellement entach derreurs c e e d(x, x ) : nombre derreurs commises Lorsquon suppose quil ny a pas plus de e erreurs commises d(x, x ) e on pourra corriger ces erreurs corriger ces erreurs : retrouver x, ` partir de x ` condition que chaque mot erron a a e reu ne puisse provenir que dun seul mot du code. c
Odile PAPINI Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Condition de dcodage dordre e e


condition de dcodage dordre e e Un code C de longueur n sur un alphabet A vrie la condition de e dcodage dordre e si pour tout x de An , il existe au plus un e mot x de C tel que d(x, x ) e Cette condition est quivalente ` : e a les boules fermes de rayon e, centres sur les mots de C , e e soient deux ` deux disjointes. a

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Exemples

Ces codes vrient-t-ils la condition de dcodage dordre e ? e e exemple 1 : A = {0, 1}, n = 5, e = 1, C = {x = (0, 1, 1, 1, 0), y = (1, 0, 1, 0, 1), z = (1, 1, 0, 1, 1)} exemple 2 : A = {0, 1}, n = 3, e = 1, C = {x = (0, 0, 0), y = (1, 0, 1)}

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Distance minimale dun code


dnition e La distance minimale dun code C est la plus petite des distances non nulles entre les mots du code dmin = inf {d(x, y ), (x, y ) C C , x = y }

thor`me e e Soit d la distance minimale dun code C si d 2e + 1 alors C vrie la condition de dcodage dordre e e e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Distance minimale dun code


si d est pair, d = 2r alors le meilleur e pour vrier la e condition de dcodage est e = r 1 e si d est impair, d = 2r + 1 alors le meilleur e pour vrier la e condition de dcodage est e = r e

dnition capacit de correction : e IN e e un code de distance minimale d est dit e-correcteur si d 1 =e 2

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Code parfait
Un code C de longueur n sur un alphabet A dnition :rayon de recouvrement e Le rayon de recouvrement (C ) de C estle plus petit rayon r tel que lensemble des boules de rayon r centres sur chaque mot du e code C forme un recouvrement de An

dnition: code parfait e Un code C est parfait si e = (C )

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Questions

Un code C de longueur n sur un alphabet A Quel est le nombre maximum de mots que peut contenir un code C de capacit de correction e ? e Quel est le nombre minimum de mots que doit contenir un code C pour avoir un rayon de recouvrement (C ) x ? e

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Rponses: Borne dempilement de sph`res e e


Proposition 1 Soit C un code de longueur n sur un alphabet A, pour tout entier r n on a: x An ,
i |B(x, r )| = r=0 (|A| 1)i Cn i

Proposition 2 : borne dempilement de sph`res e Soit C un code de longueur n sur un alphabet A, de capacit de e correction e on a:
r |C | e=0 (|A| 1)r Cn An r

Odile PAPINI

Codes correcteurs derreurs

Introduction Quelques rep`res historiques e Gnralits sur les codes correcteurs derreurs e e e

distance de Hamming codes correcteurs condition de dcodage e

Codes quivalents e
codes quivalents e deux codes sont quivalents si lun deux est obtenu ` partir de e a lautre en appliquant ` chaque mot une mme permutation des a e composantes

dnition e Soit C et C des codes de longueur n sur un alphabet A soit une application de {1, 2, , n} et soit lapplication : An (x1 , , xn ) An (x(1) , , x(n) )

C et C sont quivalents si il existe telle que (C ) e


Odile PAPINI Codes correcteurs derreurs