Académique Documents
Professionnel Documents
Culture Documents
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Plan du cours
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires 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
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
introduction
On munit lalphabet A deux lois internes + et et la structure (A, +, ) a les proprits suivantes : ee A a une structure de corps ni (A, +) est un groupe commutatif x A, y A, z A, x (y z) = (x y ) z) associativit e x (y + z) = (x y ) + (x z) distributivit ` gauche ea (x + y ) z = (x z) + (y z) distributivit ` droite ea 1 A tq x 1 = 1 x = x lment unit ee e x A\{0}, x A tq x x = x x = 1 lment ee symtrique e
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
rappel
loi interne + dans un ensemble A : AA A (x, y ) x + y groupe (A, +) : une structure telle que x A, y A, z A x + (y + z) = (x + y ) + z) associativit e e A, tq x A, x + e = e + x = x lment neutre ee x A, x A, tq x + x = x + x = e lment ee symtrique e (A, +) est un groupe commutatif si x A, y A, x + y = y + x
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
rappel
Lalphabet A est un corps ni IK alors IKn est un espace vectoriel loi externe : IK IKn IKn (x, y ) x y espace vectoriel (IKn , +, ) sur IK corps commutatif est une structure telle que : (IKn , +) est un groupe commutatif IK, IK , x IKn , IK, IK, x IKn , IK, x IK , y IK ,
Odile PAPINI
( x) = () x ( + ) x = x + x (x + y ) = x + y
Codes correcteurs derreurs
e IK lment neutre e x = x ee
n n
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
code linaire e
dnition dun code linaire e e Un code linaire de longueur n sur IK et de dimension k (not e e (n,k)) est un sous-espace vectoriel de IKn de dimension k. si IK = p et si C est code linaire (n, k) alors C = p k e
proprit : ee si C est code linaire lensemble des distances entre les mots de e C est lensemble des poids de C consquence : e la distance minimale de C est le poids minimum de C
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
sous-espace vectoriel C sous-espace vectoriel de IKn sur IK : C non vide stable pour + stable pour
caractrisation dun sous-espace vectoriel e C est un sous-espace vectoriel de IKn sur IK ssi C non vide x C , y C x C , IK x y C x C
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
proprits ee Soit C un code linaire sur un corps IK. e i) Toute matrice gnratrice est une matrice k n sur IK, avec e e k n, dont le rang est k; ii) Inversement, toute matrice k n sur IK de rang k, est une matrice gnratrice dun code (n, k) sur IK; e e
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
code C : 0 1 0 0 1 1 1 0 1
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
dnition e une matrice gnratrice dun code(n, k) est normalise (ou e e e canonique) si la matrice forme par les k premi`res colonnes est la e e matrice unit. e
Si un code poss`de une matrice gnratrice normalise, on dit que e e e e ce code est systmatique. e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Borne de SINGLETON
proposition Si d est la distance minimale dun code linaire C (n, k), alors e d n k + 1. Cette borne est appele borne de Singleton. e dnition e un code linaire C (n, k) est Maximum Distance Separable (M. e D. S.) si sa distance minimale d atteint la borne de singleton, i.e. d =nk +1
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
proprit (fondamentale) e e Soit H une matrice de contrle dun code C et x = (x1 , x2 , ...xn ) o x C ssi H t (x1 , x2 , ...xn ) = (0, 0, . . . , 0)
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
consquences e G une matrice gnratrice de C . e e a) Si H une matrice de contrle de C , alors G (t H) = 0 o b) Rciproquement, si H est une matrice vriant G (t H) = 0, e e et qui de plus est de rang maximum, alors H est une matrice de contrle de C o
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
consquences e
consquences e c1 , , cn : colonnes de H, alors : H t (x1 , x2 , ..., xn ) = x1 c1 + x2 c2 + . . . + xn cn (x1 , x2 , ..., xn ) C ssi x1 c1 + x2 c2 + . . . + xn cn = 0
donc il existe un mot de C de poids r ssi il existe une combinaison linaire ` coecients non-nuls, de r e a colonnes de H, qui est elle-mme nulle. e le poids minimum de C est le plus petit entier non-nul r tel quil existe une combinaison linaire ` coecients e a non-nuls, de r colonnes de H, qui est elle-mme nulle. e
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
h(y ) = h()
Odile PAPINI Codes correcteurs derreurs
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
classes latrales e n , classe latrale : u + C = {u + x, x C } uK e nk classes latrale et chacune delles contient p k vecteurs. Il y q e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
codes de Hamming
code de Hamming un code de Hamming (binaire) de longueur 2k 1, est un code admettant comme matrice de contrle H, une matrice dont les o 2k 1 colonnes sont tous les vecteurs de IFk \ {0}. 2 code simplexe proprit ee Un code de Hamming a pour longueur 2k 1, pour dimension 2k 1 k, et pour capacit de correction e = 1. e preuve laisse en exercice. e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI
poids des codes linaires e description par des matrices gnratrices e e description par des matrices de contrle o dcodage dun code linaire e e exemples de codes linaires e
Odile PAPINI