Aula de reviso para a Miniprova 3

Funes - Seqncias e Somatrios Algoritmos - Crescimento de

Funes- Inteiros e Diviso Primos e Mximo Divisor Comum
Definio:
Sejam A e B dois conjuntos no vazios, uma funo f de A
para B relaciona cada elemento de A com exatamente um
elemento de B.
Nenhum elemento de A fica sobrando e nenhum elemento de
A se relaciona com mais de um elemento de B.
Todos elemento de A so casados e mongamos. (No h
restrio sobre B)
Funes e Relaes:
Funo: f : A -> B
Relao: qualquer subconjunto de AxB
Ex: A = {1,3,5} e B = {4,7}
AxB = (1,4), (1,7), (3,4), (3,7), (5,4), (5,7)
R = (1,4) ou {(1,7), (3,7)} ou ...

Uma funo pode ser representada por uma relao R se R
contm exatamente 1 par (a,b) para cada elemento a e A

Mapeamento da funo f:
f(a) = 1, f(b) = 3, f(c) = 5, ...
f: A -> B ento
A = domnio
B = contradomnio
f(x) = y
y a imagem de x
x a pr-imagem de y
Ex: f(a) = 2 ento, 2 imagem de a
a pr-imagem de 2
OBS: O range (conjunto imagem) o conjunto de todas as
imagens de f.

OBS2: Condio de igualdade: Duas funes so iguais se
possuem o mesmo domnio, contradomnio e mapeamento.
Operaes:
(f1 + f2)(x) = f1(x) + f2(x)
(f1*f2)(x) = f1(x)f2(x)

Injetiva <-> (f(a) = f(b)) (a=b)
Elementos de A se relacionam com elementos
diferentes de B (no h polgamos em B)

Sobrejetivas <-> ((b e B)-(a e A) | f(a) = b)
Todos elementos de B se relacionam com algum
elemento de A (no h solteiros em B)

Bijetiva <-> injetiva e sobrejetivia.
Mapeia cada elemento de A com exatamente 1
elemento de B e todo elemento em B tem seu par
(h apenas mongamos e no h solteiros em B)

Grfico da Funo:
Funo Inversa
f(a) = b ento (b) = a
S existem para funes bijetivas

Funo Composta fg
f(g(a))



Se f: A->B ento o grfico de f o
conjunto dos pares:
{(a,b) | a e A ^ f(a) = b}
Funo Cho x
x o maior inteiro menor ou igual a x
Ex: 4,05 = 4
4,995 = 4
Propriedade: x = n n s x < n+1
x = n x-1 < n s x

Funo Teto x(
x( o menor inteiro maior ou igual a x
Ex: 4,05( = 5
4,995( = 5

Propriedade: x( = n n -1 < x s n
x( = n x s n < x+1








F1 = { (1,a), (2,b), (3,c)}
F2 = { (1,a), (2,a), (3,c) (4,c) }
F3 = {(1,a) , (2,b) , (3,c)}
Diviso:
a | b -c (b = ac) no domnio dos inteiros (L-se a
divide b)
Propriedades:
Se (a|b) e (a|c), ento (a|(b+c))
Se (a|b), ento (a|bc)
Se (a|b) e (b|c), ento (a|c)
Se (a|b) e (a|c), ento (a| mb + nc)
a = dq + r
Onde: o divisor sempre positivo e o resto
maior ou igual a zero
Notao:
q = a div d [10 div 3 = 3]
r = a mod d [10 mod 3 = 1]

Se a for menor que d?
a div d = 0
a mod d = a

Se a diviso tiver nmeros negativos?
Lembre-se que o resto sempre maior ou
igual a zero
Ex: -10 div 3 = -4
Porque se fosse -3, o resto seria -1, quando q = -4, r = 10
(-12) = 2
Logo, quando a < 0, a div d = a/d
Congruncia:
a congruente a b mdulo m se m divide a-b
Notao: a b (mod m)
Teorema: a b (mod m) (a mod m) = (b
mod m)
Exemplo: a = 32, b = 5 so congruentes mdulo 3
Propriedades da congruncia modular:

Transitividade:
(a b (mod m ) ^ (b c (mod m)) -> (a c (mod m))

Comutatividade:
(a b (mod m)) = (b a (mod m))
Teorema:
Se a b (mod m), ento existe um k tal que a = b + km

Teorema:
Se a b (mod m) e c d (mod m), ento
a + c b + d (mod m)
ac bd (mod m)

Teorema:
(a+b) mod m = ((a mod m) + (b mod m)) mod m
ab mod m = ((a mod m)(b mod m)) mod m

Hashing:

Mapear nmeros grandes em menores
Gerar aleatoriedade (randomizar)
Xn+1 = (a*Xn + C) mod M
Criptografia

Coliso (existem vrias formas de solucionar)

Conjunto finitos de instrues no ambguas
para resolver um problema.
Comparao entre algoritmos ->
complexidade do algoritmo
O melhor algoritmo o que compara menos a
partir de um valor k at o infinito
Definio:
Sejam f e g funes de (R para R) ou (Z para R)
f(x) O(g(x)) se existem constatntes C e k tal que:
|f(x)| s C|g(x)| sempre que x > k
[f(x) melhor ou igual a g(x)] = [|f(x)| fica abaixo da curva
C|g(x)|, para todo x > k]

Se f(n) O(g(n)) e g(n) O(f(n)) ento:
f(n) O(g(n)) e vice-versa
1 melhor que log(n) melhor que n melhor que n*log(n)
melhor que n melhor que n melhor que 2^n melhor que n!
Suponha que f1(x) O(g1(x)) e f2(x)
O(g2(x)).
Ento, (f1 + f2)(x) O(max(|g1(x)|, |g2(x)|)).
Ento, (f1f2)(x) O(g1(x)g2(x)).