Escolar Documentos
Profissional Documentos
Cultura Documentos
(INF-UFRGS)
Conjuntos
Colees de elementos:
sem ordem
sem repetio
descritos por extenso ou compreenso
(INF-UFRGS)
(INF-UFRGS)
Relaes e Funes
(INF-UFRGS)
Funes
total/parcial
1
2
3
1
injetora
2
3
1
sobrejetora
2
3
bijetora
CMP601 - Algoritmos e Teoria da Computao
1
2
3
(INF-UFRGS)
f2
f -1
f1 f2
composio: f1 f2
-1
injetoras): f
f1
a
b
c
(INF-UFRGS)
Conjuntos Infinitos
(Funes Infinitas)
Conjuntos definidos por enumerao so finitos.
Conjuntos definidos atravs de produto cartesiano
(INF-UFRGS)
Problema:
Como definir conjuntos infinitos?
Queremos definir um conjunto infinito
... de maneira finita;
... sem usar outro conjunto infinito na definio;
...de forma a tornar fcil trabalhar com/verificar
propriedades dos elementos deste conjunto.
(INF-UFRGS)
N = {1, 2, 3, ...}
no uma definio precisa
(INF-UFRGS)
N }
(INF-UFRGS)
Como definir
estes conjuntos?
(INF-UFRGS)
Induo e Recurso
INDUO
RECURSO
(INF-UFRGS)
Induo e Recurso
INDUO
tcnica de prova
CMP601 - Algoritmos e Teoria da Computao
RECURSO
tcnica de definio
(INF-UFRGS)
Recurso
Definir algo em termos de si prprio.
Porm, no uma definio desorganizada.
Uma definio recursiva tem 3 partes:
(1)Base
(2)Passo
(3)Clusula de excluso
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Naturais
O conjunto dos nmeros naturais pode ser definido
pela 3 regras a seguir:
R1. 1 2 N
(INF-UFRGS)
Conj. Naturais
O conjunto dos nmeros naturais pode ser definido
pela 3 regras a seguir:
R1. 1 2 N
BASE
(INF-UFRGS)
Conj. Naturais
O conjunto dos nmeros naturais pode ser definido
pela 3 regras a seguir:
R1. 1 2 N
PASSO
(INF-UFRGS)
Conj. Naturais
O conjunto dos nmeros naturais pode ser definido
pela 3 regras a seguir:
R1. 1 2 N
EXCLUSO
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Naturais
1
CMP601 - Algoritmos e Teoria da Computao
Conj. Naturais
2 o sucessor de 1
1
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Naturais
3 o sucessor de 2
2
1
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Naturais
n
4
3
2
1
CMP601 - Algoritmos e Teoria da Computao
Conj. Naturais
...
2.1
3
2
1
CMP601 - Algoritmos e Teoria da Computao
EXCLUSO
(regra R3)
Usando a regra 3,
exclumos do conjunto
elementos que no so
nmeros naturais.
(INF-UFRGS)
Definio Recursiva
Permite descrever conjuntos infinitos
Constri conjuntos estruturados:
existe sempre pelo menos um elemento
mnimo (base)
existe uma relao de ordem (parcial) entre
os elementos do conjunto (dada pelo passo ou passos)
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Definio Recursiva
(INF-UFRGS)
Definio Recursiva
(INF-UFRGS)
Definio Recursiva
(INF-UFRGS)
R1. 2 2 P ar
R2. Se n1 2 P ar e n2 2 P ar, ent
ao n1 + n2 2 P ar
R3. Somente elementos obtidos a partir das
regras R1 e R2 pertencem a P ar
(INF-UFRGS)
Conj. Par
2
CMP601 - Algoritmos e Teoria da Computao
Conj. Par
4
4=2+2
2
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Par
8
8=4+4
4
4=2+2
2
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Par
8
8=4+4
4
4=2+2
6=4+2
2
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Conj. Par
...
8
8=4+4
4
4=2+2
6=4+2
2
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Def. Recursiva
(INF-UFRGS)
Conj. AB
O conjunto dos AB definido pela 5 regras a seguir:
R1. a 2 AB
R2. b 2 AB
R3. Se X 2 AB e Y 2 AB, ent
ao XY X 2 AB
R4. Se X 2 AB e Y 2 AB, ent
ao XXY XX 2 AB
R5. Somente elementos obtidos a partir das
regras R1 a R4 pertencem a AB
(INF-UFRGS)
Conj. AB
O conjunto dos AB definido pela 5 regras a seguir:
R1. a 2 AB
R2. b 2 AB
BASES
PASSOS
(INF-UFRGS)
(INF-UFRGS)
Provar ou Refutar...
(A) Se C1 C2 e a propriedade P vale para C1,
ento P vale para C2.
(B) Se C1 C2 e a propriedade P vale para C2,
ento P vale para C1.
(C) Todo nmero par divisvel por 4.
(D) No existe um nmero mpar que seja divisvel
por 4.
(INF-UFRGS)
Provas Usando a
Estrutura do Conjunto
(INF-UFRGS)
Induo
(INF-UFRGS)
Induo
Por que provar esses 2 tens suficiente,
se o conjunto infinito?
(INF-UFRGS)
Induo
Por que provar esses 2 tens suficiente,
se o conjunto infinito?
Porque qualquer elemento de C ou uma
base ou foi obtido a partir das bases por
sucessivas aplicaes das operaes
definidas nos passos.
(INF-UFRGS)
Provando Propriedades...
Todos os elementos do conjunto AB
tem um nmero mpar de letras.
BASES: (regras R1 e R2)
(i) a tem um nmero mpar de letras?
(ii) b tem um nmero mpar de letras?
(INF-UFRGS)
Provando Propriedades...
Todos os elementos do conjunto AB
tem um nmero mpar de letras.
BASES: (regras R1 e R2)
(i) a tem um nmero mpar de letras?
Verdadeiro!
(ii) b tem um nmero mpar de letras?
Verdadeiro!
(INF-UFRGS)
Provando Propriedades...
PASSOS: (regras R3 e R4)
hiptese de induo
(i) assumindo que X e Y tem um nmero mpar de letras,
XYX tem um nmero mpar de letras?
(INF-UFRGS)
Provando Propriedades...
PASSOS: (regras R3 e R4)
hiptese de induo
(i) assumindo que X e Y tem um nmero mpar de letras,
XYX tem um nmero mpar de letras?
Verdadeiro!
(ii) assumindo que X e Y tem um nmero mpar de letras,
XXYXX tem um nmero mpar de letras?
Verdadeiro!
CMP601 - Algoritmos e Teoria da Computao
(INF-UFRGS)
Obs:
+ Pode-se usar o conjunto dos naturais iniciando no zero (
+ um caso especial de induo estrutural.
CMP601 - Algoritmos e Teoria da Computao
).
(INF-UFRGS)
Exerccios
n
X
n(n + 1)
i=
1. Prove que
2
i=1
5
f (n
1) + 3
g(n) = 5 + 3n
(INF-UFRGS)