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
¬p ∨ q¬p ∧ ¬q¬p ∨ ¬q¬p ∧ q

¿Qué fórmula es lógicamente equivalente a ¬(p ∧ q)? Haz clic en ella.

¬(p ∧ q)
  1. 1¬p ∨ q
  2. 2¬p ∧ ¬q
  3. 3¬p ∨ ¬q
  4. 4¬p ∧ q
2.Lógica proposicional y demostracionesDifícil
∃x (A(x) ∧ ¬B(x))∃x (A(x) → ¬B(x))∀x (A(x) ∧ ¬B(x))∀x (A(x) → ¬B(x))

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

¬∀x (A(x) → B(x))
  1. 1∃x (A(x) ∧ ¬B(x))
  2. 2∃x (A(x) → ¬B(x))
  3. 3∀x (A(x) ∧ ¬B(x))
  4. 4∀x (A(x) → ¬B(x))
3.Conjuntos, relaciones y funcionesMedia
UMPC

De 72 estudiantes de primer curso, 32 aprobaron Matemáticas (M), 27 aprobaron Física (P) y 35 aprobaron Química (C). 11 aprobaron M y P, 14 aprobaron M y C, 14 aprobaron P y C, y 5 aprobaron las tres. ¿Cuántos están solo en M?

|U| = 72
|M − (P ∪ C)| =
4.Conjuntos, relaciones y funcionesDifícil

¿Cuántas funciones f: A → B hay si |A| = 4 y |B| = 2? Llama al número N.

|A| = 4|B| = 2
N =
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
1413101461114ABCDEFG

El algoritmo de Dijkstra se ejecuta desde A. Haz clic en el vértice que se fija (se hace permanente) en la ronda 4; la propia A es la ronda 1.

inicio: Aronda 4
  1. 1A
  2. 2B
  3. 3C
  4. 4D
  5. 5E
  6. 6F
  7. 7G
7.Teoría de números y aritmética modularMedia

Halla el menor entero positivo x con x ≡ 1 (mod 3) y x ≡ 6 (mod 13).

x ≡ 1 (mod 3)x ≡ 6 (mod 13)
x =
8.Teoría de números y aritmética modularDifícil
318c = me​ mod n?m = cd​ mod nm(n, e) = (1073, 19)d

Cifra el mensaje m = 318 con la clave pública RSA (n, e) = (1073, 19). Halla el texto cifrado c.

n = 1073e = 19m = 318
c =

3Disoluciones

1.Lógica proposicional y demostraciones

Respuesta: ¬p ∨ ¬q

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).

La ley

De Morgan: ¬(a ∧ b) ≡ ¬a ∨ ¬b. El ∧ se convierte en ∨ y se niegan ambas partes.
¬(p ∧ q) ≡ ¬p ∨ ¬q

Comprueba con la tabla de verdad

p = 1, q = 1: 0 | 1 0 0 0
p = 1, q = 0: 1 | 0 0 1 0
p = 0, q = 1: 1 | 1 0 1 1
p = 0, q = 0: 1 | 1 1 1 0

Respuesta

¬p ∨ ¬q

Las columnas después de la barra son las opciones, en el orden mostrado.

2.Lógica proposicional y demostraciones

Respuesta: ∃x (A(x) ∧ ¬B(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 (A(x) → B(x)) ≡ ∃x (A(x) ∧ ¬B(x))

Respuesta

∃x (A(x) ∧ ¬B(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: |M − (P ∪ C)| = 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|.

Centro y pares

M ∩ P ∩ C: 5
M ∩ P solo: 11 − 5 = 6
M ∩ C solo: 14 − 5 = 9
P ∩ C solo: 14 − 5 = 9

Conjuntos sueltos

M solo: 32 − 6 − 9 − 5 = 12
P solo: 27 − 6 − 9 − 5 = 7
C solo: 35 − 9 − 9 − 5 = 12

Respuesta

|M − (P ∪ C)| = 12

Respuesta

|M − (P ∪ C)| = 12
4.Conjuntos, relaciones y funciones

Respuesta: N = 16

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.

Contar

N = 24 = 16

Respuesta

N = 16
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: D

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.

Dijkstra ronda a ronda

1. A (0): C: 14
2. C (14): B: 27, E: 28, G: 15
3. G (15): D: 16, E: 19
4. D (16): B: 26
5. E (19): F: 20
6. F (20)
7. B (26)

ronda 4

D

Respuesta

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

Respuesta: x = 19

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).

Primera congruencia

x = 1 + 3k

Segunda congruencia

1 + 3k ≡ 6 (mod 13) → 3k ≡ 5 (mod 13)
k ≡ 9·5 ≡ 6 (mod 13)

Resultado

x = 1 + 3·6 = 19
x = 19
comprobación: 19 mod 3 = 1, 19 mod 13 = 6

Respuesta

x = 19
8.Teoría de números y aritmética modular

Respuesta: c = 1014

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.

Cuadrado repetido

19 = 16 + 2 + 1
3181 ≡ 318 (mod 1073)
3182 ≡ 262 (mod 1073)
3184 ≡ 1045 (mod 1073)
3188 ≡ 784 (mod 1073)
31816 ≡ 900 (mod 1073)
31819 ≡ 318·262·900 ≡ 1014 (mod 1073)

Texto cifrado

c = 1014

Respuesta

c = 1014

ExamProblems · examproblems.com/courses/discrete-mathematics