LICENCIATURA EM ENGENHARIA INFORMTICA E COMPUTAO

EIC1208 MATEMTICA DISCRETA

3 mini-teste 2005/06
semana de 17 a 23 de Maio (devido aos feriados)
1.
a. Mostre que o conjunto
Z / 6 = {[0], [1], [2], [3], [4], [5]}
com a operao adio mdulo 6 (representada por + 6 ) um grupo.
R: num grupo a operao tem a propriedade associativa, existe elemento identidade e todos os elementos tm
inverso
+6

[0]

[1]

[2]

[3]

[4]

[5]

[0]

[0]

[1]

[2]

[3]

[4]

[5]

[1]

[1]

[2]

[3]

[4]

[5]

[0]

[2]

[2]

[3]

[4]

[5]

[0]

[1]

[3]

[3]

[4]

[5]

[0]

[1]

[2]

[4]

[4]

[5]

[0]

[1]

[2]

[3]

[5]

[5]

[0]

[1]

[2]

[3]

[4]

associativa (porqu); existe elemento identidade: [0]; todos os elementos tm inverso: [0]-1=[0], [1]-1=[5],
[2]-1=[4], [3]-1=[3], [4]-1=[2], [5]-1=[1]
b. Diga se Z / 6 com a operao multiplicao mdulo 6 (representada por 6 ) um grupo. Porqu?
R: num grupo a operao tem a propriedade associativa, existe elemento identidade e todos os elementos tm
inverso
6

[0]

[1]

[2]

[3]

[4]

[5]

[0]

[0]

[0]

[0]

[0]

[0]

[0]

[1]

[0]

[1]

[2]

[3]

[4]

[5]

[2]

[0]

[2]

[4]

[0]

[2]

[4]

[3]

[0]

[3]

[0]

[3]

[0]

[3]

[4]

[0]

[4]

[2]

[0]

[4]

[2]

[5]

[0]

[5]

[4]

[3]

[2]

[1]

no: associativa (porqu); existe elemento identidade: [1]; mas nem todos os elementos tm inverso: h
linhas da tabela sem elemento identidade: [0], [2], [3], [4]

2.
a. Mostre que o conjunto

LICENCIATURA EM ENGENHARIA INFORMTICA E COMPUTAO

EIC1208 MATEMTICA DISCRETA

Z / 5 = {[0], [1], [2], [3], [4]}
com a operao multiplicao mdulo 5 (representada por 5 ) no um grupo.
R: num grupo a operao tem a propriedade associativa, existe elemento identidade e todos os elementos tm
inverso
5

[0]

[1]

[2]

[3]

[4]

[0]

[0]

[0]

[0]

[0]

[0]

[1]

[0]

[1]

[2]

[3]

[4]

[2]

[0]

[2]

[4]

[1]

[3]

[3]

[0]

[3]

[1]

[4]

[2]

[4]

[0]

[4]

[3]

[2]

[1]

no um grupo: o elemento [0] no tem inverso

b. Mostre que o conjunto
Z / 5 {[0]} = {[1], [2], [3], [4]}
com a operao multiplicao mdulo 5 um grupo.
R: num grupo a operao tem a propriedade associativa, existe elemento identidade e todos os elementos tm
inverso
5

[1]

[2]

[3]

[4]

[1]

[1]

[2]

[3]

[4]

[2]

[2]

[4]

[1]

[3]

[3]

[3]

[1]

[4]

[2]

[4]

[4]

[3]

[2]

[1]

um grupo: tem a propriedade associativa (porqu), [1] o elemento identidade, e todos os elementos tm
inverso: [1]-1=[1], [2]-1=[3], [3]-1=[2], [4]-1=[4]

3. Seja G = {a,b,c} e suponha que <G, > constituiu um grupo. Considere a seguinte tabela de Cayley,
incompleta, de G:

b
c
a. Complete a tabela de Cayley de G (Note que existe uma nica maneira de o fazer)
R: linha a (elemento identidade), coluna a (elemento identidade), resultado b, resultado c, aa

LICENCIATURA EM ENGENHARIA INFORMTICA E COMPUTAO

EIC1208 MATEMTICA DISCRETA

b. Diga, justificando, se o grupo G ciclco.

R: haver um elemento gerador? S pode ser b ou c; b1 = b, b2 = c; b3 = a; c1 = c, c2 = b, c3 = a; b e c so
elementos geradores: um grupo cclico
4. Considere, em R2\{(0,0)}, a operao binria * definida por (a,b)*(c,d) = (ac-bd, ad+bc).
a. Esta operao associativa. Justifique.
R: [(a,b)*(c,d)]*(e,f) =(ac-bd,ad+bc)*(e,f)=((ac-bd)e-(ad+bc)f,(ac-bd)f+(ad+bc)e)
=(a(ce-df)-b(cf+de),a(cf+de)+b(ce-df))= (a,b)*(ce-df,cf+de)=(a,b)*[(c,d)*(e,f)] c.q.d.
b. Verifique que (1,0) o elemento identidade.
R: (a,b)*(1,0)=(1a-0b,0a+1b)=(a,b)
(1,0)*(a,b)=(1a-0b,1b+0a)=(a,b) c.q.d.
c. Ser (R2\{(0,0)}, *) um grupo? Porqu.
R: ser que todos os elemento tm inverso?
(a,b)*(x,y)=(1,0) (ax-by,ay+bx)=(1,0) ax-by=1 ay+bx=0 ax-by=1 y=-bx/a (a0) ax+b2x/a=1
x=a/(a2+b2) y=-b/(a2+b2), que existe sempre; se a=0, ento b0, e x=0 y=-1/b
5. Considere a seguinte funo de codificao E: B2 B24
E(00) = 000000000000000000000000

E(01) = 000000000000111111111111

E(10) = 111111111111000000000000

E(11) = 111111111111111111111111.

a. Determine a distncia mnima do cdigo.

R: dmin = 12
b. Determine o nmero mximo de erros que pode detectar e o nmero mximo de erros que pode corrigir.
R: pode detectar 11 erros e corrigir 5 erros
c. Descodifique as seguintes palavras recebidas
000000010100111010111101

010101010101000000000000

R:
000000010100111010111101

010101010101000000000000

000000000000000000000000

11

000000000000111111111111

18

111111111111000000000000

19

111111111111111111111111

13

18

Pode-se descodificar:

No se pode descodificar

000000000000111111111111

LICENCIATURA EM ENGENHARIA INFORMTICA E COMPUTAO

EIC1208 MATEMTICA DISCRETA

6. Uma funo de codificao E: B3 B6 est definida pela seguinte matriz geradora

1 0 0 1 1 0
G = 0 1 0 1 0 1 .
0 0 1 0 1 1

a. Determine o conjunto de todas as palavras do cdigo.

R:
000

000000

001

001011

010

010101

011

011110

100

100110

101

101101

110

110011

111

111000

b. Determine a distncia mnima do cdigo.

R: dmin = 3 (porqu?)
c. Determine o nmero mximo de erros que pode detectar e o nmero mximo de erros que pode corrigir.
R: pode detectar dois erros e corrigir um erro
7. Uma funo de codificao E: B3 B6 est definida pela seguinte matriz geradora
1 0 0 1 1 0
G = 0 1 0 1 0 1 .
0 0 1 0 1 1

a. Determine a distncia mnima do cdigo.

R: dmin = 3
b. Determine o nmero mximo de erros que pode detectar e o nmero mximo de erros que pode corrigir.
R: pode detectar dois erros e corrigir um erro
c. Para as palavras 000110, 110100 e 001011 calcule o respectivo sndroma e determine, se possvel, a palavra
mais provvel que lhes corresponde.
R:
1 1 0 1 0 0
V = 1 0 1 0 1 0
0 1 1 0 0 1

000110

110

Erro no 1 bit: seria 100110

110100

111

Erro duplo provvel

001011

000

Sem erro

LICENCIATURA EM ENGENHARIA INFORMTICA E COMPUTAO

EIC1208 MATEMTICA DISCRETA

8. Considere a funo de codificao E: B3 B7 definida pela seguinte matriz geradora

1 0 0 1 0 1 1
G = 0 1 0 1 1 0 1 .
0 0 1 0 1 1 0

a. Determine a distncia mnima do cdigo.

R: dmin=3
b. Determine o nmero mximo de erros que este cdigo detecta e o nmero mximo de erros que corrige.
R: pode detectar dois erros e corrigir um erro
c. Determine a respectiva matriz de verificao.
R:
1

0
V=
1

1 0 1 0 0 0

1 1 0 1 0 0
0 1 0 0 1 0

1 0 0 0 0 1