professora, uma dúvida besta sobre a prova por indução a partir 21:34 A conclusao de A [1...T] não possuir elemento com chave k e por causa da operação de A [1... t-1] que daria zero considerando o t = 1 do caso base, correto? pode ser uma dúvida besta, mas queria confirmar. Ótima aula, professora :)
5 місяців тому
Olá, não sei se a dúvida ainda persiste, mas tentarei explicar. A conclusão de A [1...T] não possuir elemento com chave k surge a partir da conclusão que P(t) vale. Para entender melhor vamos discutir o que seria P(t) valer. Dizer que P(t) vale implica que "i = t" é menor ou igual a "n" e que A[t].chave != k. Ou seja, a posição t atual no meu vetor não possui a chave k. Isso acontece porque quando digo que P(t) vale, quero dizer que o algoritmo entrou no laço. Ele só entra no laço se as condições para entrar forem verdadeiras. Condições essas que descrevi no início desse parágrafo. Com isso, o contexto em que P(t) vale me permiti concluir que eu já verifique todo A[1 ... t-1] e acabei de verificar A[t] e não encontrei a chave k. Então, A [1...T] não possui elemento com chave k.
A prova por indução consiste em você, provando que vale para o caso base (t=1), você pode supor que ela vale para todo t (o chamado Passo indutivo). Se, partindo desse pressuposto, você prova que vale para t+1, então você provou que, de fato, vale para todo t natural.
Excelente aula. Só fiquei com uma dúvida professora: referente à linha 4 do algoritmo de busca linear, considerando que quando a iteração acima dessa linha termina com i = n + 1, se eu tiver somente na linha 4 a seguinte validação eu teria o resultado correto? : se i
Melhor professora da UFABC!!!!!!!!
Muito bom 👏🏼
Obrigado, professora!
Senssasional! Não tinha visto isso antes, achei muito top o conteúdo
muito bom!!!
Muito boa explicação parabéns prof
aula muito boa !!
! Obrigado !
Ótima aula prof! Obrigado!
professora, uma dúvida besta sobre a prova por indução a partir 21:34
A conclusao de A [1...T] não possuir elemento com chave k e por causa da operação de A [1... t-1] que daria zero considerando o t = 1 do caso base, correto? pode ser uma dúvida besta, mas queria confirmar.
Ótima aula, professora :)
Olá, não sei se a dúvida ainda persiste, mas tentarei explicar. A conclusão de A [1...T] não possuir elemento com chave k surge a partir da conclusão que P(t) vale. Para entender melhor vamos discutir o que seria P(t) valer.
Dizer que P(t) vale implica que "i = t" é menor ou igual a "n" e que A[t].chave != k. Ou seja, a posição t atual no meu vetor não possui a chave k. Isso acontece porque quando digo que P(t) vale, quero dizer que o algoritmo entrou no laço. Ele só entra no laço se as condições para entrar forem verdadeiras. Condições essas que descrevi no início desse parágrafo.
Com isso, o contexto em que P(t) vale me permiti concluir que eu já verifique todo A[1 ... t-1] e acabei de verificar A[t] e não encontrei a chave k. Então, A [1...T] não possui elemento com chave k.
A prova por indução consiste em você, provando que vale para o caso base (t=1), você pode supor que ela vale para todo t (o chamado Passo indutivo).
Se, partindo desse pressuposto, você prova que vale para t+1, então você provou que, de fato, vale para todo t natural.
Excelente aula. Só fiquei com uma dúvida professora:
referente à linha 4 do algoritmo de busca linear, considerando que quando a iteração acima dessa linha termina com i = n + 1, se eu tiver somente na linha 4 a seguinte validação eu teria o resultado correto? : se i
Oi! Se o "enquanto" terminou com i = n+1, então i
👏👏👏👏
👏👏👏👏