Professional Documents
Culture Documents
Algoritmos e números
Notación Big O
4 3 2
Dentro das polinomiais, 𝑛 > 𝑛 > 𝑛 etc
25 / 9 = 2, resto 7
9 / 7 = 1, resto 2
7 / 2 = 3, resto 1 ← sabemos que ten inversa
Simplificamos:
1 = 4*25 - 11*9 (mod 25)
Xeneralización:
1
2
Algoritmo RSA:
1. Escollemos p e q primos
2. n = p·q CHAVE PÚBLICA: n, e
3. Φ = (p-1)(q-1)
4. e ∈ ℜ / gcd(Φ,e) = 1 CHAVE PRIVADA: n, d
5. d = inversa de e mod Φ
CIFRADO DESENCRIPTADO
𝑒 𝑑
𝐸 = 𝑀 (𝑚𝑜𝑑 𝑛) 𝑀 = 𝐸 (𝑚𝑜𝑑 𝑛)
−1 −1 −1
𝑥 =
𝑚
𝑎1 𝑚 ⎡𝑚⎤ +
𝑚
𝑎2 𝑚 ⎡𝑚⎤ + ... +
𝑚
𝑎𝑛 𝑚 ⎡𝑚⎤
⎢𝑚 ⎥ ⎢𝑚 ⎥ ⎢𝑚 ⎥
1 ⎣ 1 ⎦𝑚 2 ⎣ 2 ⎦𝑚 𝑛 ⎣ 𝑛 ⎦𝑚
1 2 𝑛
Teorema de Euler
Xeneralización do p. t. de Fermat, con 𝑎 e 𝑛 coprimos:
φ(𝑛)
𝑎 ≡ 1 (𝑚𝑜𝑑 𝑛)
Binomio de Newton
𝑛
𝑛 𝑛−𝑖 𝑖
(𝑎 + 𝑏) = ∑ 𝐶(𝑛, 𝑖)𝑎 𝑏
𝑖=0
2
3
Reglas de divisibilidade
Combinatoria
𝑛!
Combinacións sen repetición (orde non importa) 𝐶(𝑛, 𝑝) = 𝑝!·(𝑛−𝑝)!
(𝑛+𝑝−1)!
Combinacións con repetición 𝐶𝑅(𝑛, 𝑝) = 𝐶(𝑛 − 1 + 𝑝, 𝑝) = 𝑝!·(𝑛−1)!
Para 2 conxuntos:
|𝐴 ∪ 𝐵| = |𝐴| + |𝐵| − |𝐴 ∩ 𝐵|
Para 3 conxuntos:
|𝐴 ∪ 𝐵 ∪ 𝐶| = |𝐴| + |𝐵| + |𝐶| − |𝐴 ∩ 𝐵| − |𝐴 ∩ 𝐵| − |𝐴 ∩ 𝐵| + |𝐴 ∩ 𝐵 ∩ 𝐶|
Principio do pombal
Se temos 𝑛 + 1 obxectos en 𝑛 caixas, polo menos 1 caixa ten 2 obxectos.
3
4
Recursividade
Grafos
Teorema de Euler:
- Caras - Aristas + Vértices = 2
Grafo simple:
- Non contén ningún ciclo
Grafo conexo:
- É posible ir de calquera vértice a outro a través dun camiño
Grafo bipartito:
- Os vértices pódense colorear de 2 cores, e separarse en 2 grupos. Dentro de
cada grupo, cada vértice conecta só con vértices do outro grupo
4
5
Grafo euleriano:
- Pódense recorrer 1 vez cada arista e rematar no mesmo vértice
- Todos os vértices teñen grao par
Grafo hamiltoniano:
- Pódense recorrer 1 vez cada vértice e terminar no orixinal
- Para selo, para calquera conxunto de vértices 𝑈 ≠⊘, 𝐺 − 𝑈 debe ter os
mesmos ou menos compoñentes conexos que |𝑈|
Camiños eulerianos/hamiltonianos:
- Cumplen as propiedades descritas anteriormente para un camiño nun grafo
Grafo plano:
- Pódese debuxar no plano sen que se crucen as aristas
- A suma dos graos das súas caras é igual a 2 · |𝐴𝑟𝑖𝑠𝑡𝑎𝑠|