Borne de Hamming

Pour un code en blocs q-aire de longueur n, distance de Hamming minimale d et rayon de décodage unique t = floor((d-1)/2), la borne de Hamming (borne d'empaquetage en métrique de Hamming) affirme que le nombre de mots de code M satisfait M · V_q(n,t) ≤ q^n, où V_q(n,t)=∑_{i=0}^t binom(n,i)(q-1)^i est le volume d'une sphère de Hamming de rayon t.