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
(q ∨ p) ∧ (q ∨ r)(q ∧ p) ∨ rq ∨ (p ∧ r)(q ∧ p) ∨ (q ∧ r)

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

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

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

¬∀x F(x)
  1. 1∃x F(x)
  2. 2∀x ¬F(x)
  3. 3∀x F(x)
  4. 4∃x ¬F(x)
3.Conjuntos, relaciones y funcionesMedia
UMPC

De 49 estudiantes de primer curso, 18 aprobaron Matemáticas (M), 20 aprobaron Física (P) y 24 aprobaron Química (C). 7 aprobaron M y P, 13 aprobaron M y C, 8 aprobaron P y C, y 3 aprobaron las tres. ¿Cuántos no están en ninguno de los tres conjuntos?

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

¿Cuántas funciones inyectivas (uno a uno) f: A → B hay si |A| = 4 y |B| = 6? Llama al número N.

|A| = 4|B| = 6
N =
5.Teoría de grafosMedia

Un grafo conexo tiene 6 vértices y 15 aristas. ¿Cuántas aristas, k, hay que quitar para obtener un árbol generador?

|V| = 6|E| = 15
k =
6.Teoría de grafosDifícil
17102013111614ABCDEF

El algoritmo de Prim construye un árbol generador mínimo a partir del vértice F. Haz clic en la arista que añade como arista número 3.

inicio: Fk = 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
7.Teoría de números y aritmética modularMedia

Halla el inverso de 7 módulo 41: el número x con 0 < x < 41 y 7·x ≡ 1 (mod 41).

a = 7n = 41
7−1 mod 41 =
8.Teoría de números y aritmética modularDifícil
691c = me​ mod n?m = cd​ mod nm(n, e) = (731, 13)d

Cifra el mensaje m = 691 con la clave pública RSA (n, e) = (731, 13). Halla el texto cifrado c.

n = 731e = 13m = 691
c =

3Disoluciones

1.Lógica proposicional y demostraciones

Respuesta: (q ∧ p) ∨ (q ∧ r)

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

∧ se distribuye sobre ∨: a ∧ (b ∨ c) ≡ (a ∧ b) ∨ (a ∧ c).
q ∧ (p ∨ r) ≡ (q ∧ p) ∨ (q ∧ r)

Comprueba con la tabla de verdad

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

Respuesta

(q ∧ p) ∨ (q ∧ r)

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

2.Lógica proposicional y demostraciones

Respuesta: ∃x ¬F(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) ≡ ∃x ¬F(x)

Respuesta

∃x ¬F(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: 3
M ∩ P solo: 7 − 3 = 4
M ∩ C solo: 13 − 3 = 10
P ∩ C solo: 8 − 3 = 5

Conjuntos sueltos

M solo: 18 − 4 − 10 − 3 = 1
P solo: 20 − 4 − 5 − 3 = 8
C solo: 24 − 10 − 5 − 3 = 6

Respuesta

|M ∪ P ∪ C| = 37
|(M ∪ P ∪ C)′| = 49 − 37 = 12

Respuesta

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

Respuesta: N = 360

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 = 6!/(6 − 4)! = 360

Respuesta

N = 360
5.Teoría de grafos

Respuesta: k = 10

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.

Aristas de un árbol generador

6 − 1 = 5

Aristas que quitar

k = 15 − 5 = 10

Respuesta

k = 10
6.Teoría de grafos

Respuesta: arista CE

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 Prim

1. DF (6)
2. DE (11)
3. CE (1)
4. AC (10)
5. BD (13)

arista número 3

CE

Respuesta

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

Respuesta: 7−1 mod 41 = 6

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

Algoritmo de Euclides extendido

Cada resto r se escribe como r ≡ t·7 (mod 41).

r = 41, t = 0
r = 7, q = 5, t = 1
r = 6, q = 1, t = −5
r = 1, q = 6, t = 6

Inversa

1 ≡ 6·7 (mod 41)
x = 6
comprobación: 7·6 = 42 = 1·41 + 1

Respuesta

7−1 mod 41 = 6
8.Teoría de números y aritmética modular

Respuesta: c = 313

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

13 = 8 + 4 + 1
6911 ≡ 691 (mod 731)
6912 ≡ 138 (mod 731)
6914 ≡ 38 (mod 731)
6918 ≡ 713 (mod 731)
69113 ≡ 691·38·713 ≡ 313 (mod 731)

Texto cifrado

c = 313

Respuesta

c = 313

ExamProblems · examproblems.com/courses/discrete-mathematics