Documente Academic
Documente Profesional
Documente Cultură
Vom introduce o nouă clasă de coduri binare, caracterizate printr-o tehnică de de-
codificare deosebit de simplă: codurile Reed - Muller (R − M ). Ele au fost definite
de Reed, iar Muller a construit modalitatea de decodificare şi - implicit - de de-
tectare şi corectare a erorilor. Unul din aceste coduri - RM(1, 5) - a fost folosit ı̂n
1969 de sonda Mariner pentru transmiterea de imagini de pe Lună. Fiecare pixel
din imagine avea asignat una din 26 = 64 grade de umbră, iar aceşti şase biţi de
informaţie erau codificaţi ı̂ntr-un cuvânt de lungime 32. Codul poate corecta până
la 7 erori.
O modalitate simplă folosită pentru definirea unei funcţii booleene este asocierea
unei tabele de adevăr: un tablou (m+1)×2m care conţine toate combinaţiile posibile
de m valori binare, cărora li se asociază valoarea funcţiei (de asemenea o valoare
binară). Prin convenţie, primii m biţi de pe coloana i (0 ≤ i ≤ 2m − 1) reprezintă
scrierea ı̂n baza 2 a numărului i.
Exemplul 5.1 Următoarea tabelă de adevăr defineşte o funcţie booleană de 3 vari-
abile:
x0 0 1 0 1 0 1 0 1
x1 0 0 1 1 0 0 1 1
x2 0 0 0 0 1 1 1 1
f 0 1 1 0 1 1 1 0
Observăm că o astfel de tabelă defineşte un cuvânt binar de lungime 8. Afirmaţia
este adevărată şi invers: orice cuvânt binar de lungime 8 este definit printr-o tabelă
de adevăr a unei funcţii booleene de 3 variabile. Astfel, se pot identifica funcţiile
booleene de 3 variabile prin cuvintele binare de lungime 8. În tabela de sus, cuvântul
01101110 este pus ı̂n corespondenţă biunivocă cu funcţia f .
49
50 PRELEGEREA 5. CODURI REED - MULLER
În cele ce urmează, orice cuvânt binar f = f0 f1 . . . f2m −1 de lungime 2m este conside-
rat ca o funcţie booleană de m variabile, unde
f (0, 0, . . . , 0, 0) = f0 ,
f (0, 0, . . . , 0, 1) = f1 ,
f (0, 0, . . . , 1, 0) = f2 ,
..
.
f (1, 1, . . . , 1, 1) = f2m −1
m−1
X
În general, fi = f (im−1 , . . . , i1 , i0 ), unde i = ik 2k
k=0
(im−1 . . . i1 i0 este scrierea ı̂n binar a lui i).
Exemplul 5.2 Există două funcţii booleene constante:
1 = 11 . . . 11, 0 = 00 . . . 00.
Tabelul 5.1:
x0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
x1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
x2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
x3 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
2. Există şi alte operaţii care pot fi exprimate cu ajutorul sumei şi produsului
logic. Astfel,
• Negaţia f =1+f
• ∨ (sau disjunctiv): f ∨ g = f + g + fg
Funcţia 0 este numită polinom boolean de gradul −1, funcţia 1 este numită polinom
boolean de gradul 0, iar orice alt polinom boolean are gradul k unde k este numărul
maxim de factori dintr-un termen al lui f .
Exemplul 5.5 Polinomul xi xj (i 6= j) este cuvântul binar ı̂n care pe poziţia k este
1 dacă şi numai dacă reprezentarea binară a lui k are 1 pe poziţiile i şi j. Numărul
acestor situaţii este 2m−2 (deoarece celelalte m − 2 poziţii din scrierea binară a lui k
pot fi alese arbitrar). Deci w(xi xj ) = 2m−2 .
Mai general,
Dacă i1 , i2 , . . . , ir sunt valori distincte din [0, m − 1], atunci
w(xi1 xi2 . . . xir ) = 2m−r . (∗)
Fiecare polinom boolean de m variabile determină un cuvânt binar de lungime
2m : pentru o singură nedeterminată, se foloseşte Exemplul 5.3, după care se operează
adunările şi multiplicările necesare.
Invers, orice cuvânt binar f = f0 f1 . . . f2m −1 poate fi translatat ı̂ntr-un polinom
boolean pe baza următoarei propoziţii:
Demonstraţie: Deoarece xm−1 poate lua doar două valori (0, 1), este suficient să
verificăm identitatea pentru acestea. Cazul xm−1 = 0 se verifică banal. Pentru
xm−1 = 1 avem:
f (x0 , . . . , xm−2 , 0)+[f (x0 , . . . , xm−2 , 0)+f (x0 , . . . , xm−2 , 1)] = f (x0 , . . . , xm−2 , 1).
2
52 PRELEGEREA 5. CODURI REED - MULLER
Teorema 5.1 Spaţiul liniar Z2n , (n = 2m ) are o bază formată din toate monoamele
booleene:
1
xi (i = 0, 1, . . . , m − 1)
xi xj (i, j = 0, 1, . . . , m − 1, i 6= j)
..
.
x0 x1 . . . xm−1
Exemplul 5.7 RM(0, m) este format din toate polinoamele de grad cel mult 0,
adică 0 şi 1. Deci RM(0, m) este codul cu repetiţie de lungime 2m .
Exemplul 5.8 RM(1, m) are baza 1, x0 , . . . , xm−1 ; orice polinom de grad cel mult
1 se poate scrie ca sumă de o parte din aceste m+1 polinoame (liniar independente).
Deci, RM(1, m) este un (2m , m + 1) - cod liniar.
De exemplu, RM(1, 3) are matricea generatoare:
1 1 1 1 1 1 1 1 1
x0 0 1 0 1 0 1 0 1
G=
=
.
x1 0 0 1 1 0 0 1 1
x2 0 0 0 0 1 1 1 1
care generează codul Hamming extins (8, 4).
Similar, RM(1, 4) este un (16, 5) - cod liniar binar, iar RM(1, 5) este un (32, 6)
- cod liniar, folosit ı̂n 1969 de programul Mariner, după cum s-a menţionat anterior.
0 1 r
Propoziţia 5.2 RM(r, m) are k = Cm + Cm + . . . + Cm simboluri de informaţie.
5.1. DEFINIREA PRIN FUNCŢII BOOLEENE 53
În mod similar se poate da o definiţie recursivă a matricii generatoare G(r, m) pentru
codul RM(r, m).
Teorema 5.2 G(r, m) este matrice generatoare pentru codul RM(r, m).
à !
G(1, m − 1) G(1, m − 1)
G(1, m) = .
0 G(0, m − 1)
Pentru că 1 este prima linie a lui G(1, m − 1), cuvântul [1, 1] formează prima
linie a matricii (G(1, m − 1) G(1, m − 1)). Deci RM(0, m) = {0, 1} este conţinut
ı̂n codul RM(1, m).
În general, deoarece G(r − 1, m − 1) este submatrice a lui G(r, m − 1) şi
G(r − 2, m − 1) este o submatrice a lui G(r − 1, m − 1), este evident că
à !
G(r − 1, m − 1) G(r − 1, m − 1)
G(r − 1, m) =
0 G(r − 2, m)
este o submatrice a lui G(r, m), deci RM(r −1, m) este subcod al lui RM(r, m).
2
h 0 x0 + h 1 x1 + h 2 x2 = c
Liniile şi planele sunt exemple de spaţii afine. Un spaţiu afin ı̂n Z23 este o mulţime
de forma
a + A = {a + b|b ∈ A}
unde a ∈ Z23 iar A este un subspaţiu liniar din Z23 . Dacă dimensiunea lui A este s,
numim acea mulţime un s - spaţiu afin.
Deci liniile sunt 1 - spaţii afine, iar planele: 2 - spaţii afine. Pentru fiecare punct
pi avem un 0 - spaţiu afin, şi - ı̂n sfârşit - există un 3 - spaţiu afin unic - Z23 .
Orice spaţiu afin L poate fi descris de un cuvânt binar fL = f7 . . . f1 f0 definit
prin
(
1 dacă pi ∈ L,
fi =
0 altfel
Exemplul 5.12 Primele două plane din tabelul de sus se intersectează după linia
{p3 , p7 }. Produsul logic al funcţiilor lor caracteristice este
x0 x1 = 10001000,
care se poate verifica imediat ca fiind funcţia caracteristică a dreptei {p3 , p7 }.
Definiţia 5.5 Fie A un subspaţiu liniar r - dimensional al lui Z2m şi a ∈ Z2m .
Mulţimea
Aa = a + A = {a + b|b ∈ A}
se numeşte r - spaţiu afin ı̂n geometria euclidiană m - dimensională.
Un (m − 1) - spaţiu afin se numeşte ”hiperplan”.
58 PRELEGEREA 5. CODURI REED - MULLER
a + t 1 b1 + . . . + t r br .
HxT = HaT .
Acest sistem are m − r ecuaţii. În particular, un hiperplan este definit printr-o
singură ecuaţie:
h0 x0 + h1 x1 + . . . + hm−1 xm−1 = c.
Exemplul 5.13 Un 0 - spaţiu afin cuprinde un singur punct. Există deci 2m
0 - spaţii afine distincte: {p0 }, {p1 }, . . . , {p2m −1 }.
Similar, orice 1 - spaţiu afin (sau ”linie”) este o mulţime formată din două
puncte
a + tb ≡ {a, a + b},
şi invers, orice mulţime de două puncte distincte formează un 1 - spaţiu afin.
Există deci C22m 1 - spaţii afine.
Exemplul 5.14 Fie Pi spaţiul afin definit de ecuaţia xi = 1. Deci Pi este mulţimea
punctelor pk care au 1 pe poziţia i. De exemplu P0 = {p1 , p3 , . . . , p2m −1 }.
Fiecare Pi este un hiperplan şi - deoarece p2i are un singur 1 pe poziţia i şi 0 ı̂n
rest, putem scrie
Pi ≡ p2i + A
unde A este spaţiul liniar definit de ecuaţia xi = 0, (deci tot un hiperplan).
Definiţia 5.6 Funcţia caracteristică a unui r - spaţiu afin L este cuvântul binar
fL = f2m −1 . . . f1 f0 definit prin
(
1 dacă pj ∈ L,
fj =
0 altfel
5.3. DEFINIREA GEOMETRICĂ A CODURILOR R-M 59
Această relaţie rezultă din faptul că un punct a0 . . . am−1 este ı̂n plan dacă şi
numai dacă h0 a0 + . . . + hm−1 am−1 = c, adică fL (a0 , . . . , am−1 ) = 1.
Teorema 5.4 Funcţia caracteristică a unui r - spaţiu afin este un polinom boolean
de gradul m − r.
Faptul că aceasta coincide cu definiţia anterioară a codurilor Reed - Muller rezultă
din construţia spaţiilor afine: RM(r, m) conţine toate funcţiile caracteristice ale s
- spaţiilor afine, unde s ≥ m − r. Faptul că aceste funcţii generează tot spaţiul
RM(r, m) rezultă din Observaţia 4.
Exemplul 5.16 Codul RM(1, 3) este generat de funcţiile caracteristice ale tuturor
planelor. Orice astfel de funcţie este un polinom de trei variabile de gradul 1.
Codul RM(2, 3) este generat de funcţiile caracteristice ale tuturor planelor şi
liniilor. Cum o linie este intersecţia a două plane, funcţia sa caracteristică este
produsul a două polinoame de gradul 1, deci un polinom de gradul 2 (cuvânt - cod
din RM(2, 3)).
5.4 Exerciţii
5.1 Ce polinom boolean are ultima linie a tabelei de adevăr:
10100110 1010011010100110 0101001110011100
5.4 Găsiţi un (15, 5) - cod liniar binar corector de 3 erori (folosiţi un cod R − M
relaxat).
5.5 Fiind dat codul RM(1, 3), codificaţi toate mesajele de informaţie posibile.
Acelaşi lucru pentru codul RM(2, 3).
5.7 Construiţi matricile generatoare G(1, 3), G(2, 3), G(r, 4), r = 0, 1, 2.
5.8 Demonstraţi că G(r, m) are k + 1 linii, unde k este dat de Propoziţia 5.2
5.9 Calculaţi numărul de 2 - spaţii afine ı̂n geometria euclidiană peste Z2m .
5.10 Este orice funcţie booleană funcţia caracteristică a unui anumit spaţiu afin ?
Caracterizaţi astfel de funcţii.
5.11 Orice funcţie caracteristică a unui (r + 1) - spaţiu afin aparţine codului dual
lui RM(r, m).
5.12 Să se arate că RM(2, 5) este auto - dual. Să se determine toate codurile
RM auto - duale.