Coding theory
Wie viel Information passt in einen robusten Code?
Redundanz hilft, beschädigte Nachrichten zu erkennen. Dafür müssen Codewörter genügend Abstand halten. Wie viele unterscheidbare Nachrichten sind bei vorgegebenem Mindestabstand möglich?
Formaler Beweis gemeldet↗