Coding theory
Combien d’information peut contenir un code robuste ?
La redondance aide à reconnaître un message endommagé. Les mots du code doivent donc rester assez différents. Combien de messages distincts peut-on conserver à distance minimale fixée ?
Preuve formelle annoncée↗