Elias Bassalygo atado


El límite de Elias Bassalygo es un límite matemático utilizado en la teoría de la codificación para la corrección de errores durante la transmisión de datos o las comunicaciones.

Sea un código -ario de longitud , es decir, un subconjunto de . [1] Sean la tasa de , la distancia relativa y

sea ​​la bola de Hamming de radio con centro en . Sea el volumen de la bola de Hamming de radio . Es obvio que el volumen de una bola de Hamming es invariante a la traslación, es decir, indiferente a En particular,

Con suficientemente grande , la tasa y la distancia relativa satisfacen el límite de Elias-Bassalygo:

Ahora probamos el límite de Elias-Bassalygo. Define By Lemma, existe una bola de Hamming con palabras clave tales que:

Por el límite de Johnson , tenemos . Por lo tanto,