Matemtica Discreta

Ano lectivo de 2013/2014

Ficha de trabalho no1 - Revises

Recordemos que, informalmente, uma condio p um invariante de um ciclo while g do S se p for satisfeita aps S sempre que p e g forem satisfeitas antes de S . Teorema 1.1. (Teorema do Invariante de ciclo) Seja p um invariante de um ciclo while g do S e suponhamos que p satisfeita no incio do ciclo. Tem-se que p satisfeita aps cada iterao do ciclo. Alm disso, se o ciclo terminar, ento terminar com a condio p satisfeita e a condio g no satisfeita. Vamos considerar ciclos simples cujo objectivo seja o da vericao da satisfao de uma dada frmula p(n) por n X , onde X um conjunto de nmeros naturais. O corpo destes ciclos incrementa o valor de n := k para k + 1. Nestes ciclos o que realmente importante o invariante p. Exemplo 1.2. begin n := 2 while n < 100 do if n2 + n 1 primo then n := n + 1 end Neste caso o output 7 e 7 < 100 uma proposio verdadeira. Conclumos assim que a condio n2 + n 1 primo no um invariante do ciclo. Exemplo 1.3. begin n := 1 while n < 100 do if n2 + n par then n := n + 1 end Neste caso o output 100, a condio n2 + n par um invariante do ciclo.

Ficha de trabalho no 1 - Revises

Exemplo 1.4. begin n := 1 while 0 < n do if n2 + n par then n := n + 1 end Neste caso que podemos concluir? O ciclo no termina. Denio 1.5. O conjunto dos nmeros naturais N denido pelas quatro condies seguintes: 1. 0 N. 2. Se n pertence a N, ento o seu sucessor, i.e. o nmero n +1, tambm pertence a N. 3. Todo o elemento de N diferente de 0 sucessor de algum nmero n N. 4. Todo o subconjunto no vazio de N tem um elemento que menor do que todos os outros. Consideremos agora m N e P um predicado unrio no universo dos nmeros naturais tal que: (i) a sentena P (m) verdadeira e (ii) para n m, se P (n) for verdadeira ento P (n + 1) verdadeira. Que acontecer ao ciclo seguinte? begin n := m while m n do if P (n) verdadeira then n := n + 1 end Conclumos assim o seguinte:

Ficha de trabalho no 1 - Revises 1.6. Princpio de Induo Matemtica (Induo simples) Seja P um predicado unrio nos nmeros naturais e seja m N. Se base da induo ou caso base: P (m) verdadeira e

passo de induo: P (n + 1) verdadeira sempre que P (n) for verdadeira, para n m, ento P verdadeira para todos os nmeros naturais maiores ou iguais a m. de onde por sua vez podemos concluir: 1.7. Princpio de Induo Matemtica (Induo completa) Seja P um predicado unrio nos nmeros naturais e seja m N. Se base da induo ou caso base: P (m) verdadeira e passo da induo: P (n + 1) verdadeira sempre que P (k ) for verdadeira, para todo o natural k tal que m k n, ento P verdadeira para todos os nmeros naturais maiores ou iguais a m. 1.8. Demonstraes por induo: como proceder 1. Declarar que a demonstrao feita por induo. 2. Denir um predicado apropriado P (n) (designado por hiptese de induo) e o natural m do caso base. 3. Provar que P (m) verdadeira. 4. Provar que para qualquer n m, se tem que P (n) implica P (n + 1). 5. Invocar o Princpio de Induo Matemtica para concluir que P (n) verdadeira para todos os naturais n m.

Ficha de trabalho no 1 - Revises

Exerccios
1. Considere o algoritmo: begin n := 1 while 1 n < 30 do if n2 mpar then n := n + 2 end e mostre que n2 mpar um invariante do ciclo. Indique o output produzido e diga, justicando, se a condio n2 mpar satisfeita por todos os naturais no nulos inferiores a 30. 2. Considere o algoritmo: begin n := 0 while 1 n do if n2 > 2n 1 then n := n + 1 end e mostre que n2 > 2n 1 um invariante do ciclo. Indique o output produzido. 3. Diga se o algoritmo termina: begin n := 1 while 1 n do if n3 n mltiplo de 6 then n := n + 1 end 4. Considere o seguinte procedimento: begin N := 1 while 1 N do print N N := N + 2 N + 1

Ficha de trabalho no 1 - Revises (a) Liste os quatro primeiros valores escritos pelo procedimento. (b) Prove que N assume sempre um valor inteiro.

5. A Alice quer provar por induo que, para um certo predicado unrio P , se tem que a condio P (n) satisfeita por certos nmeros naturais. Tendo provado que todos os naturais satisfazem a condio P (n) P (n + 3), em que casos poderia a Alice concluir que n 5 P (n) verdadeira? (a) (b) (c) (d) (e) (f) (g) Se Se Se Se Se Se Se provasse provasse provasse provasse provasse provasse provasse que que que que que que que P (0) verdadeira. P (5) verdadeira. P (5) e P (6) so verdadeiras. P (0), P (1) e P (2) so verdadeiras. P (5), P (6) e P (7) so verdadeiras. P (2), P (4) e P (5) so verdadeiras. P (2), P (4) e P (6) so verdadeiras.

6. Seja P um predicado unrio nos nmeros naturais e suponha que a sentena n (P (n) P (n + 1)) verdadeira. Para cada uma das sentenas seguintes, diga se o seu valor de verdade depende do predicado P tomado ou se independente da escolha de P , em cujo caso deve indicar se verdadeiro ou falso. (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) n P (n) [P (0) n 1 P (n)] n P (n) P (0) n P (n) P (1) n P (n + 1) n P (n) n m > n P (n) P (0) nP (n) n P (n) P (0) n m > n [P (n) P (m)] [n 100 P (n)] [n > 100 (P (n))] [n 100 (P (n))] [n > 100 P (n)]