Lezione 10 · Canale 2 · giovedì 22 ottobre 2026

Codici per la rilevazione e correzione degli errori

FCI · Reti

Formulario

Una configurazione con ii errori

pi(1−p)n−ip^i(1-p)^{n-i}

Esattamente ii errori

Pi=(ni)pi(1−p)n−iP_i=\binom{n}{i}p^i(1-p)^{n-i}

Parità singola: errori non rivelati

PFN=∑i=2,4,…PiP_{\text{FN}}=\sum_{i=2,4,\dots}P_i

Distanza di un codice

d=min⁡C1≠C2dH(C1,C2)d=\min_{C_1\ne C_2}d_H(C_1,C_2)

Errori corretti

⌊d−12⌋\left\lfloor\frac{d-1}{2}\right\rfloor

Errori rivelati, senza correggere

d−1d-1

Hamming (7,4)(7,4), ordine dei bit

(P1,P2,D1,P3,D2,D3,D4)(P_1,P_2,D_1,P_3,D_2,D_3,D_4)

Hamming (7,4)(7,4), controlli

P1⊕D1⊕D2⊕D4=0P2⊕D1⊕D3⊕D4=0P3⊕D2⊕D3⊕D4=0\begin{gathered} P_1\oplus D_1\oplus D_2\oplus D_4=0\\ P_2\oplus D_1\oplus D_3\oplus D_4=0\\ P_3\oplus D_2\oplus D_3\oplus D_4=0 \end{gathered}

Checksum, m=L/Km=L/K blocchi

Bm≡−∑j=0m−1Bj(mod2K−1)\begin{aligned} B_m&\equiv-\sum_{j=0}^{m-1}B_j\\ &\pmod{2^K-1} \end{aligned}

Controllo in ricezione

∑j=0mBj≡0(mod2K−1)\begin{aligned} \sum_{j=0}^{m}B_j&\equiv0\\ &\pmod{2^K-1} \end{aligned}