SlideShare ist ein Scribd-Unternehmen logo
1 von 40
Downloaden Sie, um offline zu lesen
An´alise de Algoritmos
Indução finita
– p. 1/20
Indução finita
Princ´ıpio da induc¸ ˜ao matem´atica:
Seja A um conjunto de números naturais tal que as
seguintes propriedades são válidas:
0 ∈ A, e
para cada natural n, se {0, 1, 2, . . . , n} ⊆ A
então n + 1 ∈ A.
Então A = N.
– p. 2/20
Indução finita
Na prática, o princípio da indução é usado para
provar afirmações do tipo “para todo natural n, a
propriedade P(n) é verdadeira”, onde P é uma
propriedade que depende de algum parâmetro
inteiro. A prova é feita da seguinte forma.
– p. 3/20
Indução finita
Seja A = {n : P é verdadeira para n}.
1. Base da indução: mostramos inicialmente que
0 ∈ A, ou seja, P é verdadeira para n = 0.
2. Hipótese de indução: assumimos que
{0, 1, 2, . . . , n} ⊆ A, ou seja, que P é verdadeira
para cada natural 0, 1, 2, . . . , n.
3. Passo da indução: mostramos que n + 1 ∈ A,
ou seja, que P é verdadeira para n + 1.
– p. 4/20
Indução finita
Pelo princípio da indução, A = N. Logo, P é
verdadeira para todo n.
– p. 5/20
Indução finita - em outras palavras
O princípio da indução finita pode também ser
descrito da seguinte forma:
“Se uma afirmação P, que envolve um parâmetro
inteiro n, é verdade para n = 0, e se para n ≥ 1, a
hipótese de que P é verdadeira para todo inteiro
≤ n implica que P é verdadeira para n + 1, então P
é verdadeira para todo natural n.
– p. 6/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
– p. 7/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
1. Base da indução: para n = 1 temos 1 = 1(1+1)
2 .
– p. 7/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
1. Base da indução: para n = 1 temos 1 = 1(1+1)
2 .
2. Hipótese de indução: assumimos que
1 + 2 + · · · + k = k(k+1)
2 , para todo k ≤ n.
– p. 7/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
3. Passo da indução:
– p. 8/20
Indução finita - exemplos
Mostre que 1 + 2 + · · · + n = n(n+1)
2 , para todo n ≥ 1.
3. Passo da indução:
1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1)
=
n(n + 1)
2
+ (n + 1)
=
n(n + 1) + 2(n + 1)
2
=
(n + 1)(n + 2)
2
– p. 8/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
– p. 9/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
Prova: Por indução em n. A afirmação é
claramente verdadeira para n = 3.
– p. 9/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
Prova: Por indução em n. A afirmação é
claramente verdadeira para n = 3.
Sejam v1, v2, . . . , vn os vértices de P, enumerados
em uma ordem cíclica.
– p. 9/20
Indução finita - exemplos
Afirmação: o número de diagonais de um polígono
convexo P de n ≥ 3 lados é d = n(n−3)
2 .
Prova: Por indução em n. A afirmação é
claramente verdadeira para n = 3.
Sejam v1, v2, . . . , vn os vértices de P, enumerados
em uma ordem cíclica. Considere o polígono P
de n − 1 lados formado pelos vértices
v1, v2, . . . , vn−1. Note que P é convexo.
– p. 9/20
Indução finita - exemplos
Seja d o número de diagonais de P .
– p. 10/20
Indução finita - exemplos
Seja d o número de diagonais de P .
Por hipótese de indução,
d =
(n − 1)(n − 4)
2
.
– p. 10/20
Indução finita - exemplos
Seja d o número de diagonais de P .
Por hipótese de indução,
d =
(n − 1)(n − 4)
2
.
Mas, d = d + (n − 2).
– p. 10/20
Indução finita - exemplos
Seja d o número de diagonais de P .
Por hipótese de indução,
d =
(n − 1)(n − 4)
2
.
Mas, d = d + (n − 2). Logo,
d =
(n − 1)(n − 4)
2
+ (n − 2) =
n(n − 3)
2
.
– p. 10/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
– p. 11/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
Prova: Por indução em a.
– p. 11/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
Prova: Por indução em a. Se a = 0 então v = 1,
pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste
caso.
– p. 11/20
Indução finita - exemplos
Proposição: Seja G uma árvore com v ≥ 1 vértices
e a arestas então a = v − 1.
Prova: Por indução em a. Se a = 0 então v = 1,
pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste
caso.
Suponha que a ≥ 1. Seja e uma aresta de G.
Como G é uma árvore, o grafo G − e é formado por
exatamente duas componentes, digamos G1 e G2.
Além disso, G1 e G2 são árvores.
– p. 11/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
– p. 12/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
Claramente, a1 < a e a2 < a. Por hipótese de
indução, a1 = v1 − 1 e a2 = v2 − 1.
– p. 12/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
Claramente, a1 < a e a2 < a. Por hipótese de
indução, a1 = v1 − 1 e a2 = v2 − 1.
Mas a = a1 + a2 + 1 e v = v1 + v2.
– p. 12/20
Indução finita - exemplos
Sejam v1 e a1 o número de vértices e arestas de
G1. Defina v2 e a2 similarmente para G2.
Claramente, a1 < a e a2 < a. Por hipótese de
indução, a1 = v1 − 1 e a2 = v2 − 1.
Mas a = a1 + a2 + 1 e v = v1 + v2. Logo,
a = (v1 − 1) + (v2 − 1) + 1 = v − 1.
– p. 12/20
Indução finita - cuidados
Ao utilizarmos a indução finita devemos estar
atentos aos seguintes detalhes:
– p. 13/20
Indução finita - cuidados
Ao utilizarmos a indução finita devemos estar
atentos aos seguintes detalhes:
Base da indução
– p. 13/20
Indução finita - cuidados
Ao utilizarmos a indução finita devemos estar
atentos aos seguintes detalhes:
Base da indução
Aplicação da hipótese de indução
– p. 13/20
Indução finita - exercícios
Provar as seguintes afirmações:
1. 1 + 3 + 5 + · · · + (2n − 1) = n2, ∀n ≥ 1.
2. 1 + 2 + 22 + · · · + 2n = 2n+1 − 1, ∀n ≥ 0.
3. a1 + a1.r + a1.r2 + · · · + a1.rn−1 =
a1.(rn
−1)
r−1 , ∀n ≥ 1.
4. 1
2 + 1
4 + 1
8 + · · · + 1
2n < 1, para n ≥ 1.
5. 12 + 22 + · · · + n2 =
n(n+1)(2n+1)
6 , ∀n ≥ 1.
6. Para qualquer inteiro n, o número 22n − 1 é divisível por
3.
7. A soma dos ângulos internos de um polígono convexo
com n lados é S = (n − 2)180o.
– p. 14/20
Indução finita - exercícios
8. O número de vértices V , arestas E e faces F de um
mapa planar conexo satisfazem a equação:
V − E + F = 2.
9. Um número (em sua representação decimal) é múltiplo
de 3 se e somente se a soma de seus dígitos é múltiplo
de 3.
10. Considere n ≥ 3 retas em posições gerais no plano (ou
seja, quaisquer duas retas se cruzam e quaisquer três
retas se cruzam em pontos distintos). Prove que pelo
menos uma região que elas formam é um triângulo.
– p. 15/20
Indução finita - exercícios
11. Considere n ≥ 3 retas em posições gerais no plano.
Prove que elas formam pelo menos n − 2 triângulos.
12. Considere o conjunto S = {1, 2, . . . , 2n} dos 2n
primeiros números naturais. Mostre que qualquer
subconjunto de S com n + 1 elementos contém dois
elementos um dos quais é múltiplo do outro.
13. É possível colorir as regiões formadas por qualquer
número de retas no plano com apenas duas cores de
tal forma que regiões vizinhas recebam cores distintas.
– p. 16/20
An´alise de Algoritmos
Princípio da casa do pombo
– p. 17/20
Princípio da casa do pombo
Princ´ıpio da casa do pombo:
Se A e B são conjuntos finitos com |A| > |B|,
então não existe função bijetora de A para B.
Em outras palavras, se tentarmos associar
elementos de A (os “pombos”) com elementos de
B (suas “casas”), mais cedo ou mais tarde teremos
que colocar mais de um pombo em alguma casa.
– p. 18/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
– p. 19/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
2. Quantas cartas precisam ser tiradas de um baralho
convencional de 52 cartas para garantir que duas delas
serão do mesmo naipe?
– p. 19/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
2. Quantas cartas precisam ser tiradas de um baralho
convencional de 52 cartas para garantir que duas delas
serão do mesmo naipe?
3. Mostre que em qualquer grupo de n ≥ 2 pessoas
existem 2 pessoas com o mesmo número de amigos no
grupo.
– p. 19/20
Princípio da casa do pombo - Exercícios
1. Quantas pessoas são necessárias para se ter certeza
que pelo menos duas delas fazem aniversário no
mesmo mês?
2. Quantas cartas precisam ser tiradas de um baralho
convencional de 52 cartas para garantir que duas delas
serão do mesmo naipe?
3. Mostre que em qualquer grupo de n ≥ 2 pessoas
existem 2 pessoas com o mesmo número de amigos no
grupo.
4. Seja P = {p1, p2, p3, p4, p5} um conjunto de pontos
distintos no plano, com coordenadas inteiras positivas.
Mostre que algum par tem um ponto médio que tem
coordenadas inteiras.
– p. 19/20
Princípio da casa do pombo - Exercícios
5. Suponha que façamos 50 disparos em um alvo
quadrado de 70cm de lado. Se todos os disparos
atingem o alvo, mostre que existem dois disparos cuja
distância é no máximo 15cm.
6. Mostre que existe uma potência de 3 que termina com
001.
7. Dado um conjunto A ⊂ {1, 2, . . . , 100} de 10 inteiros,
mostre que existem dois subconjuntos disjuntos não
vazios de A com a mesma soma de seus membros.
8. Há 25 garotos e 25 garotas sentados em torno de uma
mesa redonda de 50 lugares. Mostre que existe uma
pessoa cujos dois vizinhos são garotas.
– p. 20/20

Weitere ähnliche Inhalte

Was ist angesagt?

Operações básicas da matemática
Operações básicas da matemáticaOperações básicas da matemática
Operações básicas da matemática
Ediclei Oliveira
 
Mat exercicios fracoes algebricas
Mat exercicios fracoes algebricasMat exercicios fracoes algebricas
Mat exercicios fracoes algebricas
trigono_metria
 
Equações do 1º grau ppt
Equações do 1º grau pptEquações do 1º grau ppt
Equações do 1º grau ppt
ktorz
 
Miniteste do 8º e 9º ano
Miniteste do 8º e 9º anoMiniteste do 8º e 9º ano
Miniteste do 8º e 9º ano
alunosderoberto
 

Was ist angesagt? (20)

Gabarito AV3 MA14 2016 - PROFMAT/CPII
Gabarito AV3 MA14 2016 - PROFMAT/CPIIGabarito AV3 MA14 2016 - PROFMAT/CPII
Gabarito AV3 MA14 2016 - PROFMAT/CPII
 
www.AulasDeMatematicaApoio.com - Matemática - Potenciação
www.AulasDeMatematicaApoio.com  - Matemática - Potenciaçãowww.AulasDeMatematicaApoio.com  - Matemática - Potenciação
www.AulasDeMatematicaApoio.com - Matemática - Potenciação
 
Introdução a função.ppt
Introdução a função.pptIntrodução a função.ppt
Introdução a função.ppt
 
Adição e subtração
Adição e subtraçãoAdição e subtração
Adição e subtração
 
Aula 09 Medidas de Tendencia Central de Dados Agrupados
Aula 09   Medidas de Tendencia Central de Dados AgrupadosAula 09   Medidas de Tendencia Central de Dados Agrupados
Aula 09 Medidas de Tendencia Central de Dados Agrupados
 
Aula - semelhança de figuras
Aula - semelhança de figurasAula - semelhança de figuras
Aula - semelhança de figuras
 
Operações básicas da matemática
Operações básicas da matemáticaOperações básicas da matemática
Operações básicas da matemática
 
Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidos
 
Sequencias
SequenciasSequencias
Sequencias
 
Mat exercicios fracoes algebricas
Mat exercicios fracoes algebricasMat exercicios fracoes algebricas
Mat exercicios fracoes algebricas
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
 
Equações do 1º grau ppt
Equações do 1º grau pptEquações do 1º grau ppt
Equações do 1º grau ppt
 
Função afim
Função afimFunção afim
Função afim
 
Miniteste do 8º e 9º ano
Miniteste do 8º e 9º anoMiniteste do 8º e 9º ano
Miniteste do 8º e 9º ano
 
Inequações
InequaçõesInequações
Inequações
 
Aula de fração
Aula de fraçãoAula de fração
Aula de fração
 
Aula 02 Cálculo de limites - Conceitos Básicos
Aula 02   Cálculo de limites - Conceitos BásicosAula 02   Cálculo de limites - Conceitos Básicos
Aula 02 Cálculo de limites - Conceitos Básicos
 
Funcao exponencial
Funcao exponencialFuncao exponencial
Funcao exponencial
 
Produtos Notavéis 8º ano
Produtos Notavéis 8º ano Produtos Notavéis 8º ano
Produtos Notavéis 8º ano
 
17 aula intervalos reais
17 aula   intervalos reais17 aula   intervalos reais
17 aula intervalos reais
 

Andere mochten auch

Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
wab030
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
trigono_metrico
 
Mat regra de tres composta
Mat regra de tres compostaMat regra de tres composta
Mat regra de tres composta
trigono_metria
 
Matemática para concursos regra de três simples e composta - 10 exercícios ...
Matemática para concursos   regra de três simples e composta - 10 exercícios ...Matemática para concursos   regra de três simples e composta - 10 exercícios ...
Matemática para concursos regra de três simples e composta - 10 exercícios ...
Sulaine Almeida
 
Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5
Alex Cleres
 
Mat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exerciciosMat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exercicios
trigono_metria
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
wab030
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
Artur Câncio
 
Apostila mb cefet
Apostila mb cefetApostila mb cefet
Apostila mb cefet
comentada
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
Ulrich Schiel
 

Andere mochten auch (20)

Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 
Análise da complexidade de algoritmos
Análise da complexidade de algoritmosAnálise da complexidade de algoritmos
Análise da complexidade de algoritmos
 
Modelos Matemáticos para Epidemias
Modelos Matemáticos para EpidemiasModelos Matemáticos para Epidemias
Modelos Matemáticos para Epidemias
 
Números Complexos_IME ITA
Números Complexos_IME ITANúmeros Complexos_IME ITA
Números Complexos_IME ITA
 
Progressão geométrica (Soma dos Termos, Produto e Aplicações)
Progressão geométrica (Soma dos Termos, Produto e Aplicações)Progressão geométrica (Soma dos Termos, Produto e Aplicações)
Progressão geométrica (Soma dos Termos, Produto e Aplicações)
 
Lista 2 - FUV - Resolução
Lista 2   - FUV - ResoluçãoLista 2   - FUV - Resolução
Lista 2 - FUV - Resolução
 
Análise de Algoritmos
Análise de AlgoritmosAnálise de Algoritmos
Análise de Algoritmos
 
Regra 3 simples e composta
Regra 3 simples e compostaRegra 3 simples e composta
Regra 3 simples e composta
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
 
Mat regra de tres composta
Mat regra de tres compostaMat regra de tres composta
Mat regra de tres composta
 
Matemática para concursos regra de três simples e composta - 10 exercícios ...
Matemática para concursos   regra de três simples e composta - 10 exercícios ...Matemática para concursos   regra de três simples e composta - 10 exercícios ...
Matemática para concursos regra de três simples e composta - 10 exercícios ...
 
Apostila revisao de matematica
Apostila    revisao de matematicaApostila    revisao de matematica
Apostila revisao de matematica
 
Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5Exercícios de regra de três simples e composta 5
Exercícios de regra de três simples e composta 5
 
Mat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exerciciosMat utfrs 07. regra de tres exercicios
Mat utfrs 07. regra de tres exercicios
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
 
Apostila mb cefet
Apostila mb cefetApostila mb cefet
Apostila mb cefet
 
Progressões geométricas apostila
Progressões geométricas   apostilaProgressões geométricas   apostila
Progressões geométricas apostila
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
 

Ähnlich wie Análise de Algoritmos - Indução Finita

57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
HAROLDO MIRANDA DA COSTA JR
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
wab030
 

Ähnlich wie Análise de Algoritmos - Indução Finita (20)

Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1
 
Resumo1
Resumo1Resumo1
Resumo1
 
Análise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise AssintóticaAnálise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise Assintótica
 
Teoria do números - Classificações especiais
Teoria do números - Classificações especiaisTeoria do números - Classificações especiais
Teoria do números - Classificações especiais
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento AmostralTécnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 
todas-as-formulas-de-matematica
 todas-as-formulas-de-matematica todas-as-formulas-de-matematica
todas-as-formulas-de-matematica
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Apostila 1 calculo i
Apostila 1 calculo iApostila 1 calculo i
Apostila 1 calculo i
 
Fórmulas matemáticas
Fórmulas matemáticasFórmulas matemáticas
Fórmulas matemáticas
 
P.A.
P.A.P.A.
P.A.
 
Progressões Aritméticas NTEM
Progressões Aritméticas NTEMProgressões Aritméticas NTEM
Progressões Aritméticas NTEM
 
Sucessoes e series com res
Sucessoes e series com resSucessoes e series com res
Sucessoes e series com res
 
Progressão geometrica
Progressão geometricaProgressão geometrica
Progressão geometrica
 
Análise combinatória I
Análise combinatória IAnálise combinatória I
Análise combinatória I
 
Resumo2
Resumo2Resumo2
Resumo2
 
Resumo MA14 - Aritmética - Unidades 1 e 2
Resumo MA14 - Aritmética - Unidades 1 e 2Resumo MA14 - Aritmética - Unidades 1 e 2
Resumo MA14 - Aritmética - Unidades 1 e 2
 

Mehr von Delacyr Ferreira

Mehr von Delacyr Ferreira (8)

Análise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosAnálise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-Completos
 
Análise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPAnálise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NP
 
Análise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaAnálise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação Dinâmica
 
Análise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoAnálise de Algoritmos - Método Guloso
Análise de Algoritmos - Método Guloso
 
Análise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosAnálise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de Grafos
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - Recursividade
 
Análise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de RecorrênciasAnálise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de Recorrências
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
 

Kürzlich hochgeladen

Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfReta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
WagnerCamposCEA
 
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdfENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
LeloIurk1
 
Responde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptx
Responde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptxResponde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptx
Responde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptx
AntonioVieira539017
 
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdfGEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
RavenaSales1
 
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptxSlide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
edelon1
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
LeloIurk1
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
CleidianeCarvalhoPer
 
Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividades
FabianeMartins35
 
19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf
marlene54545
 

Kürzlich hochgeladen (20)

Nós Propomos! Autocarros Elétricos - Trabalho desenvolvido no âmbito de Cidad...
Nós Propomos! Autocarros Elétricos - Trabalho desenvolvido no âmbito de Cidad...Nós Propomos! Autocarros Elétricos - Trabalho desenvolvido no âmbito de Cidad...
Nós Propomos! Autocarros Elétricos - Trabalho desenvolvido no âmbito de Cidad...
 
PRÁTICAS PEDAGÓGICAS GESTÃO DA APRENDIZAGEM
PRÁTICAS PEDAGÓGICAS GESTÃO DA APRENDIZAGEMPRÁTICAS PEDAGÓGICAS GESTÃO DA APRENDIZAGEM
PRÁTICAS PEDAGÓGICAS GESTÃO DA APRENDIZAGEM
 
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfReta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
 
Camadas da terra -Litosfera conteúdo 6º ano
Camadas da terra -Litosfera  conteúdo 6º anoCamadas da terra -Litosfera  conteúdo 6º ano
Camadas da terra -Litosfera conteúdo 6º ano
 
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdfENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
 
Responde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptx
Responde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptxResponde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptx
Responde ou passa na HISTÓRIA - REVOLUÇÃO INDUSTRIAL - 8º ANO.pptx
 
Projeto Nós propomos! Sertã, 2024 - Chupetas Eletrónicas.pptx
Projeto Nós propomos! Sertã, 2024 - Chupetas Eletrónicas.pptxProjeto Nós propomos! Sertã, 2024 - Chupetas Eletrónicas.pptx
Projeto Nós propomos! Sertã, 2024 - Chupetas Eletrónicas.pptx
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
 
P P P 2024 - *CIEJA Santana / Tucuruvi*
P P P 2024  - *CIEJA Santana / Tucuruvi*P P P 2024  - *CIEJA Santana / Tucuruvi*
P P P 2024 - *CIEJA Santana / Tucuruvi*
 
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdfGEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
 
migração e trabalho 2º ano.pptx fenomenos
migração e trabalho 2º ano.pptx fenomenosmigração e trabalho 2º ano.pptx fenomenos
migração e trabalho 2º ano.pptx fenomenos
 
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptxSlide - EBD ADEB 2024 Licao 02 2Trim.pptx
Slide - EBD ADEB 2024 Licao 02 2Trim.pptx
 
Projeto_de_Extensão_Agronomia_adquira_ja_(91)_98764-0830.pdf
Projeto_de_Extensão_Agronomia_adquira_ja_(91)_98764-0830.pdfProjeto_de_Extensão_Agronomia_adquira_ja_(91)_98764-0830.pdf
Projeto_de_Extensão_Agronomia_adquira_ja_(91)_98764-0830.pdf
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIAPROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
 
Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividades
 
19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf19- Pedagogia (60 mapas mentais) - Amostra.pdf
19- Pedagogia (60 mapas mentais) - Amostra.pdf
 

Análise de Algoritmos - Indução Finita

  • 1. An´alise de Algoritmos Indução finita – p. 1/20
  • 2. Indução finita Princ´ıpio da induc¸ ˜ao matem´atica: Seja A um conjunto de números naturais tal que as seguintes propriedades são válidas: 0 ∈ A, e para cada natural n, se {0, 1, 2, . . . , n} ⊆ A então n + 1 ∈ A. Então A = N. – p. 2/20
  • 3. Indução finita Na prática, o princípio da indução é usado para provar afirmações do tipo “para todo natural n, a propriedade P(n) é verdadeira”, onde P é uma propriedade que depende de algum parâmetro inteiro. A prova é feita da seguinte forma. – p. 3/20
  • 4. Indução finita Seja A = {n : P é verdadeira para n}. 1. Base da indução: mostramos inicialmente que 0 ∈ A, ou seja, P é verdadeira para n = 0. 2. Hipótese de indução: assumimos que {0, 1, 2, . . . , n} ⊆ A, ou seja, que P é verdadeira para cada natural 0, 1, 2, . . . , n. 3. Passo da indução: mostramos que n + 1 ∈ A, ou seja, que P é verdadeira para n + 1. – p. 4/20
  • 5. Indução finita Pelo princípio da indução, A = N. Logo, P é verdadeira para todo n. – p. 5/20
  • 6. Indução finita - em outras palavras O princípio da indução finita pode também ser descrito da seguinte forma: “Se uma afirmação P, que envolve um parâmetro inteiro n, é verdade para n = 0, e se para n ≥ 1, a hipótese de que P é verdadeira para todo inteiro ≤ n implica que P é verdadeira para n + 1, então P é verdadeira para todo natural n. – p. 6/20
  • 7. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. – p. 7/20
  • 8. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 1. Base da indução: para n = 1 temos 1 = 1(1+1) 2 . – p. 7/20
  • 9. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 1. Base da indução: para n = 1 temos 1 = 1(1+1) 2 . 2. Hipótese de indução: assumimos que 1 + 2 + · · · + k = k(k+1) 2 , para todo k ≤ n. – p. 7/20
  • 10. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 3. Passo da indução: – p. 8/20
  • 11. Indução finita - exemplos Mostre que 1 + 2 + · · · + n = n(n+1) 2 , para todo n ≥ 1. 3. Passo da indução: 1 + 2 + · · · + n + (n + 1) = (1 + 2 + · · · + n) + (n + 1) = n(n + 1) 2 + (n + 1) = n(n + 1) + 2(n + 1) 2 = (n + 1)(n + 2) 2 – p. 8/20
  • 12. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . – p. 9/20
  • 13. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . Prova: Por indução em n. A afirmação é claramente verdadeira para n = 3. – p. 9/20
  • 14. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . Prova: Por indução em n. A afirmação é claramente verdadeira para n = 3. Sejam v1, v2, . . . , vn os vértices de P, enumerados em uma ordem cíclica. – p. 9/20
  • 15. Indução finita - exemplos Afirmação: o número de diagonais de um polígono convexo P de n ≥ 3 lados é d = n(n−3) 2 . Prova: Por indução em n. A afirmação é claramente verdadeira para n = 3. Sejam v1, v2, . . . , vn os vértices de P, enumerados em uma ordem cíclica. Considere o polígono P de n − 1 lados formado pelos vértices v1, v2, . . . , vn−1. Note que P é convexo. – p. 9/20
  • 16. Indução finita - exemplos Seja d o número de diagonais de P . – p. 10/20
  • 17. Indução finita - exemplos Seja d o número de diagonais de P . Por hipótese de indução, d = (n − 1)(n − 4) 2 . – p. 10/20
  • 18. Indução finita - exemplos Seja d o número de diagonais de P . Por hipótese de indução, d = (n − 1)(n − 4) 2 . Mas, d = d + (n − 2). – p. 10/20
  • 19. Indução finita - exemplos Seja d o número de diagonais de P . Por hipótese de indução, d = (n − 1)(n − 4) 2 . Mas, d = d + (n − 2). Logo, d = (n − 1)(n − 4) 2 + (n − 2) = n(n − 3) 2 . – p. 10/20
  • 20. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. – p. 11/20
  • 21. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. Prova: Por indução em a. – p. 11/20
  • 22. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. Prova: Por indução em a. Se a = 0 então v = 1, pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste caso. – p. 11/20
  • 23. Indução finita - exemplos Proposição: Seja G uma árvore com v ≥ 1 vértices e a arestas então a = v − 1. Prova: Por indução em a. Se a = 0 então v = 1, pois v ≥ 1 e G é conexo. Logo, a = v − 1 neste caso. Suponha que a ≥ 1. Seja e uma aresta de G. Como G é uma árvore, o grafo G − e é formado por exatamente duas componentes, digamos G1 e G2. Além disso, G1 e G2 são árvores. – p. 11/20
  • 24. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. – p. 12/20
  • 25. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. Claramente, a1 < a e a2 < a. Por hipótese de indução, a1 = v1 − 1 e a2 = v2 − 1. – p. 12/20
  • 26. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. Claramente, a1 < a e a2 < a. Por hipótese de indução, a1 = v1 − 1 e a2 = v2 − 1. Mas a = a1 + a2 + 1 e v = v1 + v2. – p. 12/20
  • 27. Indução finita - exemplos Sejam v1 e a1 o número de vértices e arestas de G1. Defina v2 e a2 similarmente para G2. Claramente, a1 < a e a2 < a. Por hipótese de indução, a1 = v1 − 1 e a2 = v2 − 1. Mas a = a1 + a2 + 1 e v = v1 + v2. Logo, a = (v1 − 1) + (v2 − 1) + 1 = v − 1. – p. 12/20
  • 28. Indução finita - cuidados Ao utilizarmos a indução finita devemos estar atentos aos seguintes detalhes: – p. 13/20
  • 29. Indução finita - cuidados Ao utilizarmos a indução finita devemos estar atentos aos seguintes detalhes: Base da indução – p. 13/20
  • 30. Indução finita - cuidados Ao utilizarmos a indução finita devemos estar atentos aos seguintes detalhes: Base da indução Aplicação da hipótese de indução – p. 13/20
  • 31. Indução finita - exercícios Provar as seguintes afirmações: 1. 1 + 3 + 5 + · · · + (2n − 1) = n2, ∀n ≥ 1. 2. 1 + 2 + 22 + · · · + 2n = 2n+1 − 1, ∀n ≥ 0. 3. a1 + a1.r + a1.r2 + · · · + a1.rn−1 = a1.(rn −1) r−1 , ∀n ≥ 1. 4. 1 2 + 1 4 + 1 8 + · · · + 1 2n < 1, para n ≥ 1. 5. 12 + 22 + · · · + n2 = n(n+1)(2n+1) 6 , ∀n ≥ 1. 6. Para qualquer inteiro n, o número 22n − 1 é divisível por 3. 7. A soma dos ângulos internos de um polígono convexo com n lados é S = (n − 2)180o. – p. 14/20
  • 32. Indução finita - exercícios 8. O número de vértices V , arestas E e faces F de um mapa planar conexo satisfazem a equação: V − E + F = 2. 9. Um número (em sua representação decimal) é múltiplo de 3 se e somente se a soma de seus dígitos é múltiplo de 3. 10. Considere n ≥ 3 retas em posições gerais no plano (ou seja, quaisquer duas retas se cruzam e quaisquer três retas se cruzam em pontos distintos). Prove que pelo menos uma região que elas formam é um triângulo. – p. 15/20
  • 33. Indução finita - exercícios 11. Considere n ≥ 3 retas em posições gerais no plano. Prove que elas formam pelo menos n − 2 triângulos. 12. Considere o conjunto S = {1, 2, . . . , 2n} dos 2n primeiros números naturais. Mostre que qualquer subconjunto de S com n + 1 elementos contém dois elementos um dos quais é múltiplo do outro. 13. É possível colorir as regiões formadas por qualquer número de retas no plano com apenas duas cores de tal forma que regiões vizinhas recebam cores distintas. – p. 16/20
  • 34. An´alise de Algoritmos Princípio da casa do pombo – p. 17/20
  • 35. Princípio da casa do pombo Princ´ıpio da casa do pombo: Se A e B são conjuntos finitos com |A| > |B|, então não existe função bijetora de A para B. Em outras palavras, se tentarmos associar elementos de A (os “pombos”) com elementos de B (suas “casas”), mais cedo ou mais tarde teremos que colocar mais de um pombo em alguma casa. – p. 18/20
  • 36. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? – p. 19/20
  • 37. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? 2. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantir que duas delas serão do mesmo naipe? – p. 19/20
  • 38. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? 2. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantir que duas delas serão do mesmo naipe? 3. Mostre que em qualquer grupo de n ≥ 2 pessoas existem 2 pessoas com o mesmo número de amigos no grupo. – p. 19/20
  • 39. Princípio da casa do pombo - Exercícios 1. Quantas pessoas são necessárias para se ter certeza que pelo menos duas delas fazem aniversário no mesmo mês? 2. Quantas cartas precisam ser tiradas de um baralho convencional de 52 cartas para garantir que duas delas serão do mesmo naipe? 3. Mostre que em qualquer grupo de n ≥ 2 pessoas existem 2 pessoas com o mesmo número de amigos no grupo. 4. Seja P = {p1, p2, p3, p4, p5} um conjunto de pontos distintos no plano, com coordenadas inteiras positivas. Mostre que algum par tem um ponto médio que tem coordenadas inteiras. – p. 19/20
  • 40. Princípio da casa do pombo - Exercícios 5. Suponha que façamos 50 disparos em um alvo quadrado de 70cm de lado. Se todos os disparos atingem o alvo, mostre que existem dois disparos cuja distância é no máximo 15cm. 6. Mostre que existe uma potência de 3 que termina com 001. 7. Dado um conjunto A ⊂ {1, 2, . . . , 100} de 10 inteiros, mostre que existem dois subconjuntos disjuntos não vazios de A com a mesma soma de seus membros. 8. Há 25 garotos e 25 garotas sentados em torno de uma mesa redonda de 50 lugares. Mostre que existe uma pessoa cujos dois vizinhos são garotas. – p. 20/20