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
abca → ¬b(a → ¬b) ↔ c(c → ¬(a → b)) → ((a → ¬b) ↔ c)111?110?101?100?011?010?001?000?

¿En cuántas de las 8 filas de su tabla de verdad es verdadera (c → ¬(a → b)) → ((a → ¬b) ↔ c)? Llama a ese número N.

(c → ¬(a → b)) → ((a → ¬b) ↔ c)
N =
2.Lógica proposicional y demostracionesDifícil
r¬r¬r ∧ qq

Se dan las premisas r → p; p → q; ¬q. ¿Qué conclusión se sigue de ellas? Haz clic en ella.

r → pp → q¬q
  1. 1r
  2. 2¬r
  3. 3¬r ∧ q
  4. 4q
3.Conjuntos, relaciones y funcionesMedia
1234reflexivasimétricaantisimétricatransitiva

La relación R en {1, 2, 3, 4} se dibuja como un grafo dirigido (un lazo significa (x, x) ∈ R). Se cumple exactamente una de las cuatro propiedades. Haz clic en ella.

R = {(1, 1), (2, 3), (3, 2)}
  1. 1reflexiva
  2. 2simétrica
  3. 3antisimétrica
  4. 4transitiva
4.Conjuntos, relaciones y funcionesDifícil
x12345f(x)25413

La biyección f en {1, 2, 3, 4, 5} viene dada por su tabla. Halla f−1(5).

f: 1 ↦ 2, 2 ↦ 5, 3 ↦ 4, 4 ↦ 1, 5 ↦ 3
f−1(5) =
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
ABCDEF

¿Cuántos recorridos de longitud 2 van de A a D? Un recorrido puede repetir vértices y aristas. Llama al número N.

M = matriz de adyacenciaL = 2
N =
7.Teoría de números y aritmética modularMedia

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

n = 289 = 172
φ(289) =
8.Teoría de números y aritmética modularDifícil

¿Cuántas soluciones, N, tiene 46x ≡ 14 (mod 78) en {0, 1, …, 77}?

46x ≡ 14 (mod 78)
N =

3Disoluciones

1.Lógica proposicional y demostraciones

Respuesta: N = 5

Tablas de verdad: una fórmula con n variables distintas tiene 2ⁿ filas, una por cada combinación de valores de verdad (1 = verdadero, 0 = falso). Trabaja de dentro hacia fuera y dale a cada subfórmula su propia columna. ¬a invierte el valor; a ∧ b vale 1 solo cuando ambos son 1; a ∨ b vale 0 solo cuando ambos son 0; a → b vale 0 solo cuando a = 1 y b = 0; a ↔ b vale 1 cuando ambos lados son iguales.

Tabla de verdad fila por fila

a = 1, b = 1, c = 1: a → b = 1, ¬(a → b) = 0, c → ¬(a → b) = 0, ¬b = 0, a → ¬b = 0, (a → ¬b) ↔ c = 0, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 1
a = 1, b = 1, c = 0: a → b = 1, ¬(a → b) = 0, c → ¬(a → b) = 1, ¬b = 0, a → ¬b = 0, (a → ¬b) ↔ c = 1, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 1
a = 1, b = 0, c = 1: a → b = 0, ¬(a → b) = 1, c → ¬(a → b) = 1, ¬b = 1, a → ¬b = 1, (a → ¬b) ↔ c = 1, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 1
a = 1, b = 0, c = 0: a → b = 0, ¬(a → b) = 1, c → ¬(a → b) = 1, ¬b = 1, a → ¬b = 1, (a → ¬b) ↔ c = 0, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 0
a = 0, b = 1, c = 1: a → b = 1, ¬(a → b) = 0, c → ¬(a → b) = 0, ¬b = 0, a → ¬b = 1, (a → ¬b) ↔ c = 1, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 1
a = 0, b = 1, c = 0: a → b = 1, ¬(a → b) = 0, c → ¬(a → b) = 1, ¬b = 0, a → ¬b = 1, (a → ¬b) ↔ c = 0, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 0
a = 0, b = 0, c = 1: a → b = 1, ¬(a → b) = 0, c → ¬(a → b) = 0, ¬b = 1, a → ¬b = 1, (a → ¬b) ↔ c = 1, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 1
a = 0, b = 0, c = 0: a → b = 1, ¬(a → b) = 0, c → ¬(a → b) = 1, ¬b = 1, a → ¬b = 1, (a → ¬b) ↔ c = 0, (c → ¬(a → b)) → ((a → ¬b) ↔ c) = 0

Cuenta las filas con valor 1

(c → ¬(a → b)) → ((a → ¬b) ↔ c): 1, 1, 1, 0, 1, 0, 1, 0
N = 5

Respuesta

N = 5
2.Lógica proposicional y demostraciones

Respuesta: ¬r

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.

Filas con todas las premisas verdaderas

p = 0, q = 0, r = 0: r = 0, ¬r = 1, ¬r ∧ q = 0, q = 0

Conclusión

¬r (modus tollens dos veces)

Respuesta

¬r
3.Conjuntos, relaciones y funciones

Respuesta: simétrica

Relaciones: una relación R en un conjunto X es un conjunto de pares ordenados (x, y). R es reflexiva cuando (x, x) ∈ R para todo x de X; simétrica cuando (x, y) ∈ R siempre va acompañado de (y, x) ∈ R; antisimétrica cuando (x, y) y (y, x) están ambos en R solo si x = y; y transitiva cuando (x, y) y (y, z) en R obligan a que (x, z) ∈ R. Una relación de equivalencia es reflexiva, simétrica y transitiva, y divide X en clases disjuntas.

reflexiva

falla: (2, 2) ∉ R

simétrica

se cumple

antisimétrica

falla: (2, 3), (3, 2) ∈ R

transitiva

falla: (2, 3), (3, 2) ∈ R, (2, 2) ∉ R

Respuesta

simétrica
4.Conjuntos, relaciones y funciones

Respuesta: f−1(5) = 2

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.

Lee la tabla al revés

f(2) = 5 → f−1(5) = 2

Respuesta

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

Respuesta: ninguna de las dos

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) = 1, deg(B) = 3, deg(C) = 2, deg(D) = 1, deg(E) = 3

Vértices impares

A, B, D, E → 4
ninguna de las dos

Respuesta

ninguna de las dos
6.Teoría de grafos

Respuesta: N = 1

Grados: el grado de un vértice es el número de aristas que inciden en él. Cada arista tiene dos extremos, así que los grados suman el doble del número de aristas: Σ gr(v) = 2|E| (el lema del apretón de manos). Por tanto, el número de vértices de grado impar es par. Kn tiene n(n − 1)/2 aristas, un grafo k-regular de n vértices tiene nk/2, y un árbol de n vértices tiene n − 1 aristas.

Matriz de adyacencia

A: 0 1 1 0 0 0
B: 1 0 1 1 1 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 0
F: 0 0 0 1 0 0

Vecinos comunes

(M²)AD = 0·0 + 1·1 + 1·0 + 0·0 + 0·1 + 0·1 = 1

Respuesta

N = 1
7.Teoría de números y aritmética modular

Respuesta: φ(289) = 272

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

289 = 172

Función φ

φ(289) = 289 − 17 = 272

Respuesta

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

Respuesta: N = 2

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

Divide entre el mcd

gcd(46, 78) = 2
23x ≡ 7 (mod 39)

Resuelve la congruencia reducida

23−1 ≡ 17 (mod 39) → x ≡ 2 (mod 39)

Soluciones módulo 78

x ∈ {2, 41}
N = 2

Respuesta

N = 2

ExamProblems · examproblems.com/courses/discrete-mathematics