Fundamentos Matemáticos para Computação: Recorrências

Fundamentos Matemáticos para Computação: Recorrências

Nesta revisão, abordamos indução forte, recorrências lineares de primeira ordem e operações matriciais, com exemplos e aplicações. Este material auxilia a preparação para a avaliação final.

Conteúdos centrais

1) Indução Forte (Indução Completa)

A indução forte amplia a hipótese de indução da indução fraca, exigindo que, para provar P(n) para todo n ≥ n0, você demonstre:

  • P(n0) verdadeira;
  • Para qualquer k ≥ n0, se P(r) vale para todo r entre n0 e k, então P(k+1) também vale.

Em geral, a hipótese ii é mais poderosa que a da indução fraca.

Exemplo: Provemos que, para todo n ≥ 2, n é primo ou n é o produto de primos.

  • P(2) é verdadeira (2 é primo).
  • Suponha que, para todo 2 ≤ r ≤ k, P(r) seja verdadeira. Se k+1 for primo, então P(k+1) é verdadeira. Caso contrário, k+1 = a·b com 2 ≤ a,b ≤ k; pela hipótese de indução, cada um é primo ou produto de primos, logo k+1 também é produto de primos.

2) Algoritmos Recursivos e Indução Forte

Algoritmos recursivos resolvem problemas complexos por meio de chamadas repetidas a si próprio, com estruturas condicionais simples (se, então, senão).

Exemplo em pseudocódigo para T(n):

\nT(1) = 1
T(n) = T(n-1) + 3, para n ≥ 2

3) Solução de Recorrências lineares de primeira ordem

Uma recorrência linear de primeira ordem com coeficiente constante tem formato S(n) = c · S(n-1) + g(n). A solução fechada é:

S(n) = c^(n-1) · S(1) + Σ_{i=2}^{n} c^(n-i) · g(i)

Exemplo: T(1) = 1; T(n) = T(n-1) + 3 (logo c = 1, g(n) = 3). Então, T(n) = 1 + (n-1)·3 = 3n − 2.

4) Operações Matriciais e Matrizes Booleanas

Matrizes são tabelas numéricas, com aplicações em grafos (matriz de adjacência). Matrizes booleanas utilizam operações distintas:

  • Conjunção (AND): A ∧ B = [a_{ij} ∧ b_{ij}]
  • Disjunção (OR): A ∨ B = [a_{ij} ∨ b_{ij}]

Exemplos com A e B 3x3 apresentados no material.

Exemplo de grafo não orientado com matriz de adjacência 4x4.

5) Observações e dicas

  • Somatórios são convenções para facilitar a escrita de somas repetidas.
  • Em grafos não orientados, a matriz de adjacência é simétrica.

Resumo dos tópicos (2)

Abaixo, uma síntese prática de cada tópico apresentado:

  • Indução Forte: base P(n0) e passo usando P(r) para n0 ≤ r ≤ k ⇒ P(k+1).
  • Recorrências lineares: transformar recurrences em expressão fechada com c^(n-1) S(1) + Σ c^(n-i) g(i).
  • Matrizes: estruturas de dados, com A^T = A para simetria; matrizes booleanas com ∧ e ∨ para operações lógicas.
  • Exemplos-chave: T(n) = T(n-1) + 3 → T(n) = 3n − 2; decomposição de n ≥ 2 em primos ou produtos.

Questões sobre o assunto

Questão 1 (média): Sobre a Indução Forte, qual é a forma correta da hipótese de indução?

Média

Resposta correta: B) P(1) verdadeira e P(r) para todo 1 ≤ r ≤ k ⇒ P(k+1)

Explicação: Indução forte requer que, para cada k, se P(r) vale para todos r entre o(n0) e k, então P(k+1) também vale.

Questão 2 (difícil): Dado T(1)=1 e T(n)=T(n-1)+3 para n ≥ 2, qual é a solução fechada?

Difícil

Resposta correta: A) T(n) = 3n - 2

Explicação: Com T(1)=1 e increments de 3, somando (n−1) vezes 3 ao T(1): T(n) = 1 + 3(n−1) = 3n − 2.

Questão 3 (difícil): Seja P(n): “n é primo ou é produto de primos” para n ≥ 2. Usando indução forte, qual é a conclusão?

Difícil

Resposta correta: B) P(n) vale para todos n ≥ 2

Explicação: Com base na indução forte, se cada n≥2 é primo ou produto de primos, o enunciado é verdadeiro para todos n≥2.

Questão 4 (extremamente difícil): Dado o grafo não orientado ilustrado, a matriz de adjacência A é?

Extrema

Resposta correta: B) Simétrica

Explicação: Em grafos não orientados, a matriz de adjacência é simétrica: o número de arcos entre i e j é igual ao entre j e i.

Pontuação Total 0.00