A Linguagem Das Provas

A Linguagem
das Provas
verso 1.6
Prof. DSc. Fabiano Oliveira

fabiano.oliveira@ime.uerj.br
"Mostre que nmero
mnimo de folhas de uma
rvore T (T)."
"Mostre que nmero
rvore T (T)."
A Linguagem das Provas
Obstculos:
No saber para que serve uma prova
Consequncia: No dar o devido valor, interferindo na
aprendizagem
No saber no que consiste uma prova
Consequncia: No saber como verificar se uma prova
est correta (como a sua!)
Desconhecer as tcnicas de demonstrao
Consequncia: No conseguir fazer uma prova por
falta de conhecer os recursos disponveis
Para que serve uma prova?
Uma prova o instrumento utilizado para se chegar
concluso de que uma declarao verdadeira a
partir de um conjunto de declaraes que so
assumidas verdadeiras
Exemplo 1: Considere o seguinte algoritmo:
ler (n)
enquanto n > 1 faa
se n mpar ento Para todo valor de n, o
n 3n + 1 programa pra?
seno
n n / 2
Exemplo 1: Considere o seguinte algoritmo:
ler (n)
enquanto n > 1 faa
se n mpar ento L. Collatz props o
n 3n + 1 problema em 1937
seno
n n / 2 J se mostrou para que
para n 19258 a resposta
SIM, mas no h
resposta definitiva at hoje
Exemplo 2: Dado inteiro N, encontre um fator de
N, isto , encontre inteiros a, b tais que ab = N,
usando um algoritmo que efetue um nmero
mnimo de passos.
O sucesso do algoritmo RSA, um dos algoritmos de

criptografia mais utilizados (como exemplo, no HTTPS),
depende de uma prova de que tal nmero mnimo seja
grande o suficiente (prova que no existe!).
Em que consiste uma prova?
Exemplo: Para todo n mpar, n2-1 divisvel por 8.
n = 1 12 - 1 = 0 que divisvel por 8
e assim por diante. (?!?)
Isto no uma prova -- necessrio
argumentar porque isto sempre vale!
No que consiste uma prova:
Tarefa: Provar declarao X
comece com um conjunto de

FATOS declaraes assumidas como
FATOS
FATOS
FATO verdadeiras (FATOS)
FATOS
FATOS
FATOS
FATO DEDUO FATO
use uma lei lgica vlida para, a partir deste

conjunto, gerar novo fato (DEDUO)
FATOS
FATOS
FATOS
FATOS
FATO
incorpore o novo fato ao

conjunto de fatos conhecidos
FATOS
FATOS
FATOS
FATO
FATO DEDUO FATO
repita o processo...
FATOS
FATOS
FATOS
FATOS
FATO
FATO
repita o processo...
FATOS
FATOS
FATOS
FATOS
FATOS DEDUO FATO
FATOS
FATO
... at que FATO = X

FATOS
FATOS
FATOS
FATO
FATO DEDUO FATO
Para saber provar, precisamos saber:

1) como iniciar o conjunto de fatos
2) que leis lgicas podemos usar
Prove FATO_X.
Assuma FATO1, FATO2, FATO3
FATO1 e FATO2 FATO4
FATO3 e FATO4 FATO5
FATO5 FATO_X
Para validar uma provar, precisamos observar se os

itens 1 e 2 anteriores foram aplicados corretamente e
que a declarao que se deseja mostrar foi o ltimo
fato gerado
FATOS
FATOS
FATOS
FATO DEDUO FATO
Hiptese (condies assumidas)

Definies
Fatos j provados em outros trabalhos (teoremas)
Fatos de senso comum (axiomas)
Fatos provados durante a deduo
FATOS
FATOS
FATOS
FATO DEDUO FATO
Prova direta
Por contra-positiva
Por contradio
Por construo
Por exausto
Por Induo
Tcnicas de Demonstrao
Prova Direta
Na prova direta, a partir de fatos iniciais, usamos a
deduo Modus Ponens ("como A verdade e A
B, ento B verdade") para deduzir um novo fato
Note que "A ser verdade" e "A B" devem ser
fatos j pertencentes base de fatos conhecidos
(ou so definies, axiomas, teoremas, hipteses
assumidas, etc.)
1) n mpar
2) n2-1 = (n+1) (n-1)
3) x mpar x-1 e x+1 so nmeros pares consecutivos
4) por 1 e 3: n-1 e n+1 so nmeros pares consecutivos
5) x par natural y tal que x = 2y
6) por 4 e 5: natural r tal que n-1 = 2r e n+1 = 2(r+1)
7) x natural, x ou x+1 par
8) x, y naturais, x par xy par
9) por 6 e 7: r ou r+1 par

10) por 8 e 9: r(r+1) par
11) por 5 e 10: natural q tal que r(r+1) = 2q
12) por 2, 6 e 11: natural q tal que n2-1 = (n-1)(n+1) =
4r(r+1) = 8q
13) por 12: n2-1 divisvel por 8
Note que:
1) Todos os FATOS intermedirios foram, em algum
momento, utilizados. Caso contrrio, podemos
apagar fatos no-utilizados sem prejuzo da
concluso
2) Cada passo da prova de fcil verificao e pode
ser feito de forma isolada
Na prtica da escrita de provas, os passos so
escritos um aps o outro em texto corrido. Alm
disso, pode-se deixar implcito alguns passos ou a
referncia a quais fatos anteriores estamos
empregando em determinado passo, sempre que
for fcil ao leitor identificar os elementos
omitidos.
Como n mpar, n-1 e n+1 so nmeros pares
consecutivos. Seja, portanto, n-1 = 2r e n+1 = 2(r+1).
Como r ou r+1 par, r(r+1) par e, portanto, r(r+1) =
2q, para algum q natural. Logo, n2-1 = (n+1)(n-1) =
4r(r+1) = 8q e, portanto, n2-1 divisvel por 8.
Por Contra-Positiva
A B
No B No A
Na prova por contra-positiva, o objetivo
demonstrar que "A B" e notamos que a nica
maneira desta afirmao ser falsa, se A e B
podem ser ambos uma verdade. Assim, passamos
para o objetivo de demonstrar que " B A", ou
seja, no h a possibilidade de A e B serem
ambos verdades. Aplicando-se o mesmo raciocnio
a " B A", conclumos que esta declarao e
"A B" so logicamente equivalentes.
Exemplo: Seja p um natural. Se p2 par, ento p
par.
Por contra-positiva, mostraremos que se p
mpar, ento p2 mpar
Note que um nmero mpar somado a si um
nmero mpar de vezes resulta num nmero
mpar
Como p2 igual a p somado a si p vezes e p
mpar, ento p2 mpar.
Por Contradio
(Reduo ao Absurdo)
Na prova por contradio, inclumos como fato a
negao da declarao que se pretende demonstrar. A
partir da, continua o processo de deduo (por
exemplo, usando prova direta).
Note que se a adio de A aos fatos levar
eventualmente a deduo um fato que contradiz algum
previamente conhecido, ento isto ocorreu por termos
includo A arbitrariamente aos fatos. Portanto, A deve
ser verdade (e TODOS OS FATOS GERADOS DESDE
A INTRODUO DE A DEVEM SER REMOVIDOS!)
A B C
A B C
DEDUO X
Por absurdo, suponha X...

A B C X
DEDUO D
A B C X
DEDUO E
A B C X
DEDUO F
E
A B C X
DEDUO B
E
Contradio! F
A B C
DEDUO X
Exemplo: sqrt(2) no um nmero racional.
Suponha que sqrt(2) um nmero racional.
Logo, naturais p, q tais que sqrt(2) = p/q
Sem perda de generalidade, considere p/q
irredutvel.
sqrt(2) = p/q p2 = 2q2 e, portanto, p2 par.
Suponha que p seja mpar. Como p2 igual a p
somado a p um nmero p de vezes e p mpar,
p2 mpar, um absurdo. Logo, p par.
Exemplo: sqrt(2) no um nmero racional.
Portanto, p = 2x para algum natural x.
p2 = 2q2 (2x)2 = 2q2 q2 = 2x2 e, portanto, q2
par.
Analogamente, conclumos que q par.
Logo, p/q redutvel, um absurdo.
Consequentemente, sqrt(2) no um nmero
racional.
Prova por Construo
(por Exemplo /
Contra-exemplo)
Na prova por construo, demonstra-se a
existncia de um determinado objeto de uma
classe que cumpre certas propriedades atravs da
exibio de um objeto desta classe contendo tais
propriedades
Quando pede-se para mostrar a existncia de um
objeto que no possui certas propriedades,
costumamos chamar este exemplar de
contra-exemplo
Exemplo: Mostre que a complexidade de tempo da
insero de N chaves, uma a uma, em uma fila de
prioridade inicialmente vazia (N lg N) no pior
caso
Filas de prioridade so rvores binrias completas e
o algoritmo de insero se baseia em colocar uma
nova chave no ltimo nvel da rvore como folha e
sub-la (trocando de lugar com a chave pai) sempre
que a chave do novo n menor que aquela do pai
O ltimo nvel de uma rvore completa de N nos
possui f = (N+1)/2 ns folhas
Exemplo:
No pior caso, a complexidade de insero de uma
chave O(lg N), a altura da rvore
No pior caso, a insero de N chaves ser O (N lg N)
Seja o conjunto de chaves f+1,f+2,...,N-1,N,f,
f-1,...,2,1, inseridas nesta ordem
Cada uma das ltimas f inseres no encontra
chave menor do que ela e sobe at a raiz
Logo, o tempo de insero (f lg(N)) = (N log N)
Consequentemente, o pior caso da insero de N
chaves (N lg N)
Prova por Exausto
(por anlise de subcasos)
Na prova por exausto, encontra-se um nmero
finito de proposies X1, X2,...Xk de tal forma que
X1 X2 Xk seja verdade
Divide-se agora a demonstrao em k

demonstraes, em cada uma acrescentando-se o
fato Xi, com 1 i k, seguido da deduo do fato
que se queira demonstrar
A B C
DEDUO X 1 X 2 X 3 = V
Por exausto, ...

A B C X1
DEDUO D
A B C X1
DEDUO E
A B C X1
DEDUO Y
E
A B C X2
DEDUO F
A B C X2
DEDUO Y
A B C X3
DEDUO Y
A B C
DEDUO Y
Exemplo: Mostrar que 3n4 + 2n3 + n divisvel por
6 para todo n 1.
Note que 3n4 + 2n3 + n = n(n+1)(3n2 - n + 1)
Por exausto, note que um destes nmeros
divisvel por 6: (i) n, (ii) n+1, (iii) n+2, (iv) n+3, (v) n+4
ou (vi) n+5.
(i): segue diretamente o resultado
(ii): segue diretamente o resultado
(iv): logo, natural y tal que n+3 = 6y ou n = 6y-3 e,
portanto, n divisvel por 3 e n+1 = 6y-2 divisvel
por 2, seguindo o resultado.
6.
(v): logo, natural y tal que n+4 = 6y ou n = 6y-4 e,
portanto, n divisvel por 2 e n+1 = 6y-3 divisvel
por 3, seguindo o resultado.
(iii) logo, natural y tal que n+2 = 6y ou n = 6y-2 e,
portanto, n divisvel por 2. Alm disso, 3n2-n+1 =
3((6y-2)2-2y+1) e, portanto, divisvel por 3, seguindo o
resultado.
6.
(vi) logo, natural y tal que n+5 = 6y ou n = 6y-5 e,
portanto, n+1 = 6y-4 divisvel por 2. Alm disso,
3n2-n+1 = 3((6y-5)2-2y+2) e, portanto, divisvel por 3,
seguindo o resultado.
Prova por Induo
Na prova por induo, escolhemos uma varivel do
problema que pode assumir qualquer valor natural.
Como terminologia, dizemos que estamos fazendo
a induo nesta varivel
A induo tem por base a tcnica de exausto:
como a varivel escolhida possui algum valor
natural k, ento k=1 k=2 k=3 = V
O que a difere da tcnica de exausto que no
podemos desmembrar a prova em infinitos casos e
prov-los um a um separadamente!
Contudo, h como prov-los implicitamente:
Primeiro: provamos X no caso k=1 (fazemos
como na prova por exausto, colocamos k=1
como fato e deduzimos X)
Este passo chamado de provar a base da
induo
Segundo: colocamos como fatos X ser

verdade quando a varivel de induo possui
valor i para todo 1 i < k (hiptese de
induo) e deduzimos X para a varivel de
induo com valor k (esta prova conhecida
como passo da induo)
Note a estratgia empregada pela induo para provar que
X verdade para todo k 1:
para k=1, X foi provado parte
para k=2, o passo da induo assumiu X ser verdade
quando k=1 (OK!) e provou X ser verdade quando k=2
para k=3, o passo da induo assumiu X ser verdade
quando k=1 e k=2 (OK!) e provou X ser verdade
quando k=3
argumentando assim indefinidamente, conclumos que
X verdade para todo k 1, fechando a prova por
exausto!
A B
DEDUO Y=1 Y=2 Y=3 = V
Por induo na varivel Y,

mostraremos X...
A B Y=1
DEDUO X
A B Y=1Y=2Y=k-1 X
Y=k
DEDUO C
A B Y=1Y=2Y=k-1 X
Y=k
DEDUO D
C
A B Y=1Y=2Y=k-1 X
Y=k
DEDUO X
C
D
A B
DEDUO X
6 para todo n 1.
Por induo em n:
n = 1 (base): 3n4 + 2n3 + n = 6 que divisvel por 6
Suponha que 3n4 + 2n3 + n seja divisvel por 6 para
todo 1 n < k e seja n = k (hiptese de induo)
Note que 3(n-1)4+2(n-1)3+(n-1) = 3(k4-4k3+6k2-4k+ 1)
+ 2(k3-3k2+3k-1)+k-1 = 3k4-10k3+12k2-5k
Logo, 3n4 + 2n3+n =
3(n-1)4+2(n-1)3+(n-1)+6(2k3+2k2+k)
Como 3(n-1)4+2(n-1)3+(n-1) divisvel por 6, ento
3n4 + 2n3+n divisvel por 6.
Exemplo (???): Mostrar que 10n = 0, n 0.
Por induo em n:
n = 0 (base): 10 0 = 0
Suponha que 10n = 0 para todo 0 n < k e seja n = k
(hiptese de induo)
Note que existem naturais x e y tais que n = x + y.
Por hip. de induo aplicada a x e a y, temos que
10x=0 e 10y=0.
Portanto, 10n = 10(x+y) = 10x + 10y = 0 + 0 = 0.
(Onde est o erro?)
Exemplo (???): Mostrar que todos os carros
existentes so da mesma cor.
Por induo no nmero existente de carros n:
n = 1 (base): se h somente um carro, de fato, todos
os carros existentes so da mesma cor
Suponha que todos os carros so da mesma cor para
todo conjunto com 1 n < k carros e seja n = k
(hiptese de induo)
Numere os carros arbitrariamente de 1 a n
Exemplo (???): Mostrar que todos os carros
existentes so da mesma cor.
Por hip. de induo, os carros 1,...,n-1 possuem
todos a mesma cor. Alm disso, por hip. de induo,
os carros 2,...,n possuem todos a mesma cor
Como o carro 2 representa a mesma cor em ambos
os grupos acima, ento todos os carros 1,...,n
possuem todos a mesma cor
(Onde est o erro?)
Exemplo (???): Mostrar que todos os nmeros Fn
de Fibonacci a partir de n 3 so pares (F1=1; F2 =
1; Fn = Fn-1 + Fn-2 n 3);
Por induo em n:
n = 3 (base): F3 = F2 + F1 = 1 + 1 = 2, que par
Suponha que Fn seja par 3 n < k e seja n = k
(hiptese de induo)
Como Fn = Fn-1 + Fn-2 e, por hip. de induo, Fn-1 e
Fn-2 so pares, ento Fn par
(Onde est o erro?)
Como encontrar uma prova?
Sem dvida, encontrar demonstrao depende de
talento. Este talento adquirido com dedicao ao
assunto: estudando provas clssicas, provas dadas
de exemplo e fazendo suas provas em exerccios
solicitados
Note que o dito acima tambm aplicvel ao

aprendizado de programao
Apesar de que algumas provas exigirem
criatividade, a maioria apenas com um pouco de
cuidado e conhecimento das tcnicas pode ser
resolvida sem maiores dificuldades
Note que, novamente, o dito acima tambm

aplicvel ao aprendizado de programao
As tcnicas bsicas j foram apresentadas.
Vejamos algumas recomendaes adicionais que
devem ajudar na busca de uma prova:
Leia o problema CUIDADOSAMENTE. Reconhea
claramente quais so as condies assumidas
(fatos iniciais) e o que se pede para concluir (fato a
que se quer chegar por dedues). Pense um
pouco em como se deve chegar concluso
solicitada
Exemplo: A tarefa provar que um determinado
grafo G uma rvore? Ento deve-se mostrar que
G conexo e acclico
Uma vez reconhecido claramente os fatos
assumidos e os fatos a serem demonstrados,
devemos compilar a lista de teoremas e definies
acerca do assunto que podem ser teis
Exemplo: A tarefa provar que em uma rvore
existem pelo menos (G) folhas pode se valer
potencialmente do teorema que estabelece que em
toda rvore com pelo menos 2 vrtices existem no
mnimo duas folhas
Tente resolver primeiro o problema para casos
pequenos ou valores especficos
Exemplo: Para mostrar que em uma rvore
existem pelo menos (G) folhas, tente listar todas
as rvores de tamanho 1, 2, 3, 4, e assim por
diante. Tente mostrar que o teorema verdade
para cada valor especfico de n. Em algum
momento, o argumento comea a ficar igual -- o
momento de generalizar o raciocnio para mostrar
que vale para todo n natural
Desenhe. A soluo muitas das vezes vem de
raciocinar com base num desenho
Exemplo: Para mostrar que em uma rvore
existem pelo menos (G) folhas, fazemos o
desenho de uma rvore e marcamos um vrtice
qualquer como aquele de maior grau. Agora,
OBSERVAMOS (olhando para o desenho) que se o
retirarmos, o resultado uma floresta de (G)
rvores. Como cada rvore possui no mnimo duas
folhas. eureka!
Tente assumir que o que se quer provar est errado (mesmo que
no acredite que esteja!) e tente encontrar um contra-exemplo. Ao
tentar inmeros exemplos, os quais voc nunca consegue mostrar
que o teorema est incorreto, voc acaba entendendo o motivo
subjacente para que todos os seus exemplos falhem -- este ser o
argumento da prova!
Exemplo: Tente fazer uma rvore de grau 3 que tenha menos do
que 3 folhas. Comece com uma estrela de 4 vrtices (ou seja, com
3 folhas). Ao tentar eliminar qualquer folha adicionando novos
vrtices e arestas, voc perceber que uma nova folha sempre
surge. Este pode ser um argumento para a prova.
Determine um plano de ataque. Cada tcnica de
prova possui uma condio mais apropriada para
ser aplicada:
Por contradio: Quando a proposio X
que quer ser demonstrada muito intuitiva
que seja verdade, assumindo X pode ser
uma boa ideia para se encontrar rapidamente
uma contradio com outros fatos
Por induo: Quando percebe-se que se X

for verdade para "problemas menores" que o
problema dado, ento fcil argumentar que
X verdade para o problema dado
Por contra-positiva: O que se pretende

demonstrar uma implicao A B?
Verifique se a implicao B A mais
fcil de se demonstrar -- s vezes o grau de
dificuldade muito menor!
Por exausto: Ficou travado em algum parte

da deduo? Verifique se voc consegue
completar a prova se algum fato adicional
fosse arbitrariamente assumido. Em outras
palavras, adicione um fato X que lhe ajude
na prova. Conseguiu provar? Ento agora
volte ao ponto onde estava parado e adicione
X ao invs, e continue a prova.
Por construo: O que se pretende demonstrar

uma proposio existencial (" x tal que a
proposio P(x) verdade")? Tente encontrar
um exemplo particular x para o qual P(x) seja
verdade. Para tanto, rascunhe um x candidato e
verifique se P(x) atendido. Se no, tente
adaptar x para satisfazer P(x). V revisando x
at que, finalmente, P(x) seja verificado
Depois de se conseguir a prova, o trabalho ainda
no acabou! Revise cuidadosamente sua prova;
Algum "bug"? (falha na argumentao ou
seleo incorreta de fatos inciiais)
Algum fato deduzido que no foi usado?
Remova-o por inutilidade!
H algum atalho? ( luz da prova
encontrada, percebe que pegou um caminho
mais longo que o necessrio? Revise,
simplifique, facilite sua prova!
Sua prova est "bem comentada"? (ou seja,

ela est indicando aonde pretende-se chegar
com sequncias de dedues mais longas e
qual a tcnica de prova sendo
empregada?)
Cada fato deduzido segue rigorosamente de
fatos anteriores? Tenha sempre me mente
aquele esquema geral de deduo de novos
fatos
Siga risca a seguinte regra: "escreva o que

quer dizer e o dito o que est escrito".
Teoremas devem ser escritos escolhendo-se
bem as palavras. Uma palavra mal colocada
pode alterar o significado pretendido,
invalidando a prova. Uma palavra faltando
pode no dizer o que se queria, invalidando a
prova.
Defina nova notao. Se as palavras que est

usando na prova no tem significado literal do
dicionrio ou no esto definidas no contexto do
assunto, ento voc deve definir o que significam
estas palavras precisamente dentro da sua prova
e antes de us-las pela primeira vez. Se a
definio do novo termo est difcil de escrever,
tambm ser de ler e entender. Neste caso, d
um exemplo do novo conceito para facilitar o
leitor.
MENSAGEM FINAL: Lembre-se que a intuio de
qual tcnica usar, de como a deduo se
desenvolver e o processo de revisar sua prova at
que ela se torne "a" prova uma habilidade que se
desenvolve durante toda a vida. E o caminho
invariavelmente passa por: ler as provas de outros
e fazer os exerccios propostos.
BONS ESTUDOS!
"Mostre que nmero
rvore T (T)."
COLE
AQUI
A SUA
FOTO
Vamos mostrar 4 exemplos de provas utilizando
diferentes tcnicas. Voc consegue identificar:
a tcnica geral sendo usada em cada prova?
a deduo utilizada passo-a-passo? (note que
uma prova pode ser de maneira geral uma
induo, mas para se deduzir um fato
intermedirio X utilizou-se uma prova por
absurdo
PROVA 1:
Sejam T uma rvore e x V(T) tal que d(x) = (T)
Sejam x1,...,x(T) os vrtices adjacentes a x
Seja H = T \ {x}
Considere o Teorema: Existe um nico caminho
entre qualquer par de vrtices em uma rvore
Como xi, x, xj caminho para todo 1 i j (T),
pelo teorema anterior, no existe caminho entre xi e
xj em H
PROVA 1:
Logo, existem (T) componentes conexas em H,
cada uma contendo um xi distinto, 1 i (T). Seja
Ti o componente conexo que contm xi, 1 i (T)
Como T acclico, Ti acclico para todo 1 i
(T) e, por Ti ser componente conexo, tambm
conexo. Logo, Ti rvore
PROVA 1:
Para concluir, basta mostrar que cada Ti possui
uma folha que tambm folha de T
Por exausto:
|V(Ti)| = 1: ento xi folha de Ti e de T
|V(Ti)| 2:
Considere o teorema: Em uma rvore com
pelo menos dois vrtices, existem pelo
menos duas folhas
PROVA 1:
Pelo teorema, Ti possui ao menos duas
folhas f1 e f2
Como x possui somente o vrtice adjacente
xi em Ti, x no poderia ser adjacente a
ambas as folhas f1 e f2 e, portanto, uma delas
tambm de T
PROVA 2:
Seja T uma rvore e x V(T) tal que d(x) = (T)
Por absurdo, suponha que em T h f folhas e que f
< (T)
Pelo teorema, sejam P1,...Pf os caminhos que
conectam cada folha a x
Como f < d(x), existe xy E(T) tal que y Pi, 1
if
PROVA 2:
Construamos um caminho P que comea
inicialmente com x, y
Sejam z' e z os dois ltimos vrtices de P
Por exausto:
z folha: ento existem dois caminhos de z at
x, os caminhos P e Pi para algum 1 i f, um
absurdo
zw E(T) tal que w z' e w P: existe um
ciclo em T, um absurdo
PROVA 2:
zw E(T) tal que w z' e w P: podemos
adicionar w a P aumentando o caminho.
Repetindo-se esta anlise, como o grafo finito,
este caso poder ocorrer um nmero finito de
vezes e, em algum momento, algum dos dois
casos anteriores ocorrero.
Portanto, f (T)
PROVA 3:
Por induo em n:
n = 1: f = 1, (T) = 0 (base)
Suponha que f' (T') para toda rvore T' com
nmero de folhas f' tal que |V(T')| < n (hiptese de
induo)
Seja T' obtida de T pela remoo de uma folha y e
seja xy E(T)
PROVA 3:
Por exausto:
x no folha de T': Como y folha de T, ento f
= f'+1 (T') + 1 (T)
PROVA 3:
x folha de T': Por exausto:
(T') = 0: Ento T = P2. Portanto, f = 2, (T) =
1
(T') = 1: Ento T = P3. Portanto, f = 2, (T) =
2
(T') 2: Note que y folha de T e x no .
Alm disso, d(x) = 2 em T. Portanto, f = f'
(T') = (T)
PROVA 4:
Por contra-positiva, vamos mostrar que se o
nmero de vrtices de grau 1 for menor que (T),
ento T no uma rvore
Sejam T um grafo, x V(T) tal que d(x) = (T) e f
o nmero de vrtices de grau 1. Assuma f < (T)
PROVA 4:
Sejam P1,...Pf caminhos que conectam cada vrtice
de grau 1 a x
Se algum de tais caminhos no for nico, ento
pelo teorema, T no uma rvore. Suponha que
todos estes caminhos so nicos
Como f < d(x), existe xy E(T) tal que y Pi, 1
if
PROVA 4:
Construamos um caminho P que comea
inicialmente com x, y
Sejam z' e z os dois ltimos vrtices de P
Por absurdo, suponha que z folha. Ento, existem
dois caminhos de z at x, os caminhos P e Pi para
algum 1 i f, um absurdo. Portanto, z no folha
PROVA 4:
Por exausto:
zw E(T) tal que w z' e w P: existe um
ciclo em T e, portanto, T no rvore.
zw E(T) tal que w z' e w P: podemos
adicionar w a P aumentando o caminho.
Repetindo-se esta anlise, como o grafo finito,
este caso poder ocorrer um nmero finito de
vezes e, em algum momento, o caso anterior
ocorrer.
Ser que um
programador
realmente
precisa
saber
demonstrar?
Se voc quer criar algoritmos inovadores, muito
provvel que voc ter que saber. Argumentos a favor:
"Argumentos Tcnicos":
Programar criar um processo mecnico para

processar uma funo matemtica. Logo, conhecer
funes e todos os assuntos correlatos a ela (Teoria
dos Conjuntos, Lgica, Relaes, etc.) parece
fundamental, no?
Se voc quer criar algoritmos inovadores, muito
provvel que voc ter que saber. Argumentos a favor:
"Argumentos Tcnicos":
Eficincia executar com o menor nmero de passos,

que significa no fazer todas as verificaes que
algoritmos concorrentes fazem e ainda assim chegar a
uma transformao correta da entrada. Para tanto,
necessrio argumentar a correo do novo processo.
(Se o algoritmo inovador, o argumento passou
desapercebido de muitos.) Exemplos:
Ordenao por Permutaes, Bubblesort, e
Quicksort.
Dado um nmero N, decidir se N primo.
"Argumento da Autoridade":
A vasta maioria dos Departamentos de Computao do
mundo todo colocam a Matemtica a seus alunos de
Cincia da Computao. Estariam todos errados?
"Argumento Histrico":
Os algoritmos mais criativos foram desenvolvidos por
Matemticos ou pessoas que tiveram forte base
Matemtica. Isto no um indcio de que esta faculdade
mental seja desejvel a um desenvolvedor de algoritmos?
"Argumento da Analogia:"
Um jogador de futebol de alto-desempenho precisa se
exercitar na academia. Afinal de contas, ele vai levantar
peso ou jogar bola?
"Argumento do Custo-Benefcio:"
Programar e demonstrar so processos anlogos. Se
algum j sabe um bem, saber o outro um esforo extra
pequeno. Portanto, por que no?
"Argumento do Exemplo"
Bill Gates, 4 anos depois de ter fundado a Microsoft,
publicou um artigo cientfico com um dos maiores tericos
da Computao:
Gates, W., Papadimitriou, C. (1979). "Bounds for Sorting
by Prefix Reversal". Discrete Mathematics 27: 4757.
doi:10.1016/0012-365X(79)90068-2.

A Linguagem Das Provas

Загружено:

Сведения о документе

Исходное описание:

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

A Linguagem Das Provas

Загружено:

Авторское право:

Доступные форматы

A Linguagem

Prof. DSc. Fabiano Oliveira

O sucesso do algoritmo RSA, um dos algoritmos de

comece com um conjunto de

use uma lei lgica vlida para, a partir deste

incorpore o novo fato ao

... at que FATO = X

Para saber provar, precisamos saber:

Para validar uma provar, precisamos observar se os

Hiptese (condies assumidas)

9) por 6 e 7: r ou r+1 par

Por absurdo, suponha X...

Divide-se agora a demonstrao em k

Por exausto, ...

Segundo: colocamos como fatos X ser

DEDUO Y=1 Y=2 Y=3 = V

Por induo na varivel Y,

Note que o dito acima tambm aplicvel ao

Note que, novamente, o dito acima tambm

Por induo: Quando percebe-se que se X

Por contra-positiva: O que se pretende

Por exausto: Ficou travado em algum parte

Por construo: O que se pretende demonstrar

Sua prova est "bem comentada"? (ou seja,

Siga risca a seguinte regra: "escreva o que

Defina nova notao. Se as palavras que est

Programar criar um processo mecnico para

Eficincia executar com o menor nmero de passos,

Вам также может понравиться