Matemática discreta: pack de repaso

Hojas de fórmulas, los pasos clave de los métodos de cada tema y 8 problemas de práctica, con las soluciones completas al final.

Problemas nuevosVolver a la asignatura

En la ventana de impresión, elige «Guardar como PDF» para conservar una copia en tu dispositivo.

1Fórmulas y métodos

Lógica proposicional y demostraciones

Filas de una tabla de verdad
2ⁿ
Implicación
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Implicación negada
¬(p → q) ≡ p ∧ ¬q
Bicondicional
p ↔ q ≡ (p → q) ∧ (q → p)
De Morgan
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Leyes distributivas
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Cuantificadores negados
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, modus tollens
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Método

  1. Cuenta las variables distintas: la tabla de verdad tiene 2ⁿ filas, y la primera tiene todas ellas en 1.
  2. Dale a cada subfórmula su propia columna y rellena las columnas de dentro hacia fuera.
  3. Aplica la regla de cada conectivo: → solo es 0 en 1 → 0, y ↔ vale 1 cuando ambos lados coinciden.
  4. Para las equivalencias, compara las columnas finales fila por fila; para un argumento, mira solo las filas en las que todas las premisas valen 1.
  5. Para negar un enunciado cuantificado, desplaza ¬ hacia dentro, intercambia ∀ y ∃ y niega la fórmula interior.

Conjuntos, relaciones y funciones

Dos conjuntos
|A ∪ B| = |A| + |B| − |A ∩ B|
Tres conjuntos
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
Diferencia y complemento
A − B = A ∩ B′, |A′| = |U| − |A|
Conjunto potencia y producto
|𝒫(A)| = 2|A|, |A × B| = |A|·|B|
Subconjuntos de tamaño k
C(n, k) = n!/(k!(n − k)!)
Funciones A → B
nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
Relaciones en n elementos
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
Composición
(g ∘ f)(x) = g(f(x))

Método

  1. Dibuja un diagrama de Venn y decide región por región qué pertenece a la expresión de conjuntos.
  2. En los problemas de recuento, rellena las regiones desde el centro hacia fuera: primero todos los conjuntos, luego los pares, después los conjuntos sueltos y por último el exterior.
  3. Usa la inclusión–exclusión como comprobación: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. En una relación, comprueba cada propiedad en todos los pares y da un contraejemplo cuando falle.
  5. En una función, cuenta las flechas que llegan a cada elemento de B: como mucho una significa inyectiva, al menos una, sobreyectiva.

Teoría de grafos

Lema del apretón de manos
Σ deg(v) = 2|E|
Grafos completos
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Grafo regular
|E| = n·k/2
Árbol y bosque
|E| = n − 1, |E| = n − c
Hojas de un árbol
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
circuito: todos los grados pares; camino: exactamente 2 grados impares
Circuitos de Hamilton en Kn
(n − 1)!/2
Actualización de Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Recorridos de longitud L
(Mᴸ)ij

Método

  1. Anota el grado de cada vértice; los grados suman el doble del número de aristas.
  2. En las preguntas de Euler, comprueba que el grafo sea conexo y cuenta los vértices de grado impar.
  3. En los árboles, usa n − 1 aristas y el lema del apretón de manos.
  4. En Dijkstra, lleva una tabla de distancias provisionales y fija en cada ronda el vértice no fijado de menor distancia.
  5. Para un árbol generador mínimo, ordena las aristas por peso y descarta toda arista que cierre un ciclo (Kruskal), o haz crecer un único árbol desde un vértice inicial (Prim).

Teoría de números y aritmética modular

División con resto
a = q·n + r, 0 ≤ r < n
Euclides
gcd(a, b) = gcd(b, a mod b)
Mínimo común múltiplo
lcm(a, b) = a·b/gcd(a, b)
Inversa
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Congruencia lineal
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Función φ de Euler
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

Método

  1. Reduce primero cada número módulo n; los restos están entre 0 y n − 1.
  2. Para un mcd, divide repetidamente con el algoritmo de Euclides; el último resto distinto de cero es el mcd.
  3. Para un inverso, aplica el algoritmo extendido y quédate con el coeficiente de a; suma n si es negativo.
  4. Resuelve a·x ≡ b multiplicando por a⁻¹; combina dos congruencias escribiendo x = r₁ + m₁k.
  5. Para las potencias, escribe el exponente en binario y eleva al cuadrado repetidamente; en RSA, d = e⁻¹ mod φ(n) con φ(n) = (p − 1)(q − 1).

2Problemas de práctica

1.Lógica proposicional y demostracionesMedia
tautologíacontradiccióncontingencia

¿Es (b ∧ a) → b una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.

(b ∧ a) → b
  1. 1tautología
  2. 2contradicción
  3. 3contingencia
2.Lógica proposicional y demostracionesDifícil
∃x (F(x) ∧ ¬G(x))∃x (F(x) → ¬G(x))∀x (F(x) ∧ ¬G(x))∃x (¬F(x) ∧ G(x))

¿Qué enunciado es equivalente a ¬∀x (F(x) → G(x)), con la negación desplazada hasta el interior? Haz clic en él.

¬∀x (F(x) → G(x))
  1. 1∃x (F(x) ∧ ¬G(x))
  2. 2∃x (F(x) → ¬G(x))
  3. 3∀x (F(x) ∧ ¬G(x))
  4. 4∃x (¬F(x) ∧ G(x))
3.Conjuntos, relaciones y funcionesMedia
UABC814146115116

Cada número del diagrama de Venn es el número de elementos de esa región. Halla |(A ∪ C) ∩ (B ∩ A)|.

|U| = 75
|(A ∪ C) ∩ (B ∩ A)| =
4.Conjuntos, relaciones y funcionesDifícil
x12345f(x)41453g(x)41341

Las funciones f y g en {1, 2, 3, 4, 5} vienen dadas por sus tablas. Halla (f ∘ f)(1).

f: 1 ↦ 4, 2 ↦ 1, 3 ↦ 4, 4 ↦ 5, 5 ↦ 3g: 1 ↦ 4, 2 ↦ 1, 3 ↦ 3, 4 ↦ 4, 5 ↦ 1
(f ∘ f)(1) =
5.Teoría de grafosMedia
ABCDECircuito eulerianoCamino euleriano, sin circuitoninguna de las dos

¿Tiene el grafo conexo un circuito euleriano, un camino euleriano que no es un circuito, o ninguno de los dos? Haz clic en tu respuesta.

|V| = 5|E| = 5
  1. 1Circuito euleriano
  2. 2Camino euleriano, sin circuito
  3. 3ninguna de las dos
6.Teoría de grafosDifícil
161915264518149ABCDEFG

El algoritmo de Kruskal construye un árbol generador mínimo. Haz clic en la arista que añade como arista número 3; las aristas descartadas no cuentan.

k = 3
  1. 1arista AB
  2. 2arista AC
  3. 3arista BC
  4. 4arista BD
  5. 5arista CE
  6. 6arista DE
  7. 7arista DF
  8. 8arista EF
  9. 9arista GB
  10. 10arista GD
7.Teoría de números y aritmética modularMedia

Halla la función φ de Euler φ(12), el número de enteros de 1 a 12 que son coprimos con 12.

n = 12 = 22·3
φ(12) =
8.Teoría de números y aritmética modularDifícil
mc = me​ mod n557m = cd​ mod n?(n, e) = (731, 23)d

Una clave RSA usa p = 17, q = 43 y e = 23. Descifra el texto cifrado c = 557: halla el mensaje m.

p = 17q = 43e = 23c = 557
m =

3Disoluciones

1.Lógica proposicional y demostraciones

Respuesta: tautología

Equivalencia lógica: dos fórmulas son equivalentes (≡) cuando tienen el mismo valor en todas las filas de la tabla de verdad. Una tautología vale 1 en todas las filas, una contradicción vale 0 en todas las filas, y una contingencia no es ninguna de las dos. Leyes útiles: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b y ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contrarrecíproca); ¬(a → b) ≡ a ∧ ¬b; y las leyes distributivas, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

Tabla de verdad fila por fila

a = 1, b = 1: b ∧ a = 1, (b ∧ a) → b = 1
a = 1, b = 0: b ∧ a = 0, (b ∧ a) → b = 1
a = 0, b = 1: b ∧ a = 0, (b ∧ a) → b = 1
a = 0, b = 0: b ∧ a = 0, (b ∧ a) → b = 1

Clasifica

(b ∧ a) → b: 1, 1, 1, 1
1 en todas las filas: una tautología.

Respuesta

tautología
2.Lógica proposicional y demostraciones

Respuesta: ∃x (F(x) ∧ ¬G(x))

Cuantificadores y argumentos: ¬∀x P(x) ≡ ∃x ¬P(x) y ¬∃x P(x) ≡ ∀x ¬P(x). Desplaza la negación hacia dentro, intercambia cada cuantificador que atraviesa y niega la fórmula interior con las leyes proposicionales, como ¬(a → b) ≡ a ∧ ¬b. Un argumento es válido cuando la conclusión vale 1 en todas las filas en las que todas las premisas valen 1. Una sola fila con premisas verdaderas y conclusión falsa es un contraejemplo y demuestra que el argumento no es válido.

Desplaza la negación hacia dentro

¬∀x (F(x) → G(x)) ≡ ∃x (F(x) ∧ ¬G(x))

Respuesta

∃x (F(x) ∧ ¬G(x))

Las otras opciones dejan un cuantificador sin cambiar, cambian el orden de los cuantificadores o niegan mal la fórmula interior.

3.Conjuntos, relaciones y funciones

Respuesta: |(A ∪ C) ∩ (B ∩ A)| = 12

Conjuntos y diagramas de Venn: A ∪ B contiene los elementos que están en A o en B (o en ambos), A ∩ B los elementos que están en ambos, A − B los elementos de A que no están en B, y el complemento A′ todo lo de U que no está en A. En un diagrama de Venn toda expresión de conjuntos es una unión de regiones, así que cuéntala región por región. Inclusión–exclusión: |A ∪ B| = |A| + |B| − |A ∩ B|, y |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.

Regiones de la expresión

A ∩ B ∩ C′: 6
A ∩ B ∩ C: 6

Suma

|(A ∪ C) ∩ (B ∩ A)| = 6 + 6 = 12

Respuesta

|(A ∪ C) ∩ (B ∩ A)| = 12
4.Conjuntos, relaciones y funciones

Respuesta: (f ∘ f)(1) = 5

Funciones y recuento: una función f: A → B da a cada elemento de A exactamente una imagen en B. f es inyectiva (uno a uno) cuando elementos distintos tienen imágenes distintas, sobreyectiva cuando todo elemento de B es una imagen, y biyectiva cuando se cumplen ambas. Con |A| = m y |B| = n hay nᵐ funciones, n!/(n − m)! inyectivas (m ≤ n) y, por inclusión–exclusión, Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ sobreyectivas. |𝒫(A)| = 2ᵐ y |A × B| = m·n.

Función interior

f(1) = 4

Función exterior

f(4) = 5
(f ∘ f)(1) = 5

Respuesta

(f ∘ f)(1) = 5
5.Teoría de grafos

Respuesta: Circuito euleriano

Euler, Hamilton y árboles: un grafo conexo tiene un circuito euleriano (cada arista una vez, volviendo al inicio) cuando todos los vértices tienen grado par, y un camino euleriano que no es un circuito cuando exactamente dos vértices tienen grado impar; entonces el camino va de un vértice impar al otro. Un circuito hamiltoniano visita cada vértice una vez; Kn tiene (n − 1)!/2 de ellos. Un árbol de n vértices tiene n − 1 aristas, y un grafo conexo con m aristas conserva un árbol generador tras quitarle m − n + 1 aristas.

Grados

deg(A) = 2, deg(B) = 2, deg(C) = 2, deg(D) = 2, deg(E) = 2

Vértices impares

0
Circuito euleriano

Respuesta

Circuito euleriano
6.Teoría de grafos

Respuesta: arista DF

Caminos mínimos y árboles generadores: el algoritmo de Dijkstra fija un vértice por ronda: el vértice no fijado con la menor distancia provisional. Su distancia es entonces definitiva, y cada vecino v recibe d(v) = min(d(v), d(u) + w(u, v)). El algoritmo de Kruskal construye un árbol generador mínimo tomando las aristas de la más ligera a la más pesada y descartando toda arista que cierre un ciclo; el algoritmo de Prim hace crecer un único árbol desde un vértice inicial añadiendo siempre la arista más ligera que sale de él. Un árbol generador de n vértices tiene n − 1 aristas.

Algoritmo de Kruskal

1. BD (2)
2. DE (4)
3. DF (5)
4. CE (6)
5. GD (9)
6. AB (16)

arista número 3

DF

Respuesta

arista DF
7.Teoría de números y aritmética modular

Respuesta: φ(12) = 4

Inversos y congruencias: a tiene inverso módulo n exactamente cuando mcd(a, n) = 1. El algoritmo de Euclides extendido escribe 1 = s·n + t·a, y entonces a⁻¹ ≡ t (mod n). Una congruencia a·x ≡ b (mod n) con mcd(a, n) = 1 tiene la solución x ≡ a⁻¹·b. Dos congruencias x ≡ r₁ (mod m₁) y x ≡ r₂ (mod m₂) con módulos coprimos tienen una solución módulo m₁·m₂ (teorema chino del resto). La φ(n) de Euler cuenta los números de 1 a n que son coprimos con n: φ(n) = n·∏(1 − 1/p).

Factores primos

12 = 22·3

Función φ

φ(12) = φ(3)·φ(4) = 2·2 = 4

Respuesta

φ(12) = 4
8.Teoría de números y aritmética modular

Respuesta: m = 446

Potencias modulares y RSA: calcula aᵏ mod n por cuadrado repetido: escribe k en binario, eleva al cuadrado, reduce después de cada paso y multiplica las potencias cuyo bit es 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) para un primo p que no divide a a, así que el exponente se puede reducir módulo p − 1. RSA: elige los primos p y q, n = p·q y φ(n) = (p − 1)(q − 1); el exponente público e es coprimo con φ(n), y el exponente privado es d = e⁻¹ mod φ(n). Cifra con c = mᵉ mod n y descifra con m = cᵈ mod n.

Exponente privado

n = 731, φ(n) = 672
d = 23−1 mod 672 = 263

Descifra por cuadrado repetido

263 = 256 + 4 + 2 + 1
5571 ≡ 557 (mod 731)
5572 ≡ 305 (mod 731)
5574 ≡ 188 (mod 731)
5578 ≡ 256 (mod 731)
55716 ≡ 477 (mod 731)
55732 ≡ 188 (mod 731)
55764 ≡ 256 (mod 731)
557128 ≡ 477 (mod 731)
557256 ≡ 188 (mod 731)
557263 ≡ 557·305·188·188 ≡ 446 (mod 731)

Mensaje

m = 446
comprobación: 44623 mod 731 = 557

Respuesta

m = 446

ExamProblems · examproblems.com/courses/discrete-mathematics