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) → rp ∧ (q → r)p → (q → r)(p → r) ∧ (q → r)

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

(p ∧ q) → r
  1. 1(p → q) → r
  2. 2p ∧ (q → r)
  3. 3p → (q → r)
  4. 4(p → r) ∧ (q → r)
2.Lógica proposicional y demostracionesDifícil

¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ((s ∧ q) ∨ ¬s) ∧ ((r ∨ ¬p) ∧ q)? Llama a ese número N.

((s ∧ q) ∨ ¬s) ∧ ((r ∨ ¬p) ∧ q)
N =
3.Conjuntos, relaciones y funcionesMedia
UFGS

En un grupo de 39 estudiantes, 15 hablan francés (F), 28 hablan alemán (G) y 16 hablan español (S). 8 hablan francés y alemán, 4 francés y español, 12 alemán y español, y 3 hablan los tres. ¿Cuántos están en exactamente dos de los tres conjuntos? Llama al número n.

|U| = 39
n =
4.Conjuntos, relaciones y funcionesDifícil
AB123abcdeinyectiva, no sobreyectivasobreyectiva, no inyectivabiyectivaninguna de las dos

El diagrama de flechas muestra una función f: A → B con A = {1, 2, 3} y B = {a, b, c, d, e}. Haz clic en la descripción que corresponde a f.

f = {(1, c), (2, e), (3, b)}
  1. 1inyectiva, no sobreyectiva
  2. 2sobreyectiva, no inyectiva
  3. 3biyectiva
  4. 4ninguna de las dos
5.Teoría de grafosMedia

¿Cuántos circuitos de Hamilton distintos, H, tiene el grafo completo K7? Los circuitos que solo difieren en el vértice inicial o en el sentido cuentan como el mismo.

K7
H =
6.Teoría de grafosDifícil
ABCDEF

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

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

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

a = 10n = 59
10−1 mod 59 =
8.Teoría de números y aritmética modularDifícil

Usa el cuadrado repetido para hallar 14161 mod 99.

a = 14k = 161n = 99
14161 mod 99 =

3Disoluciones

1.Lógica proposicional y demostraciones

Respuesta: 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

Exportación: (a ∧ b) → c ≡ a → (b → c). Ambas valen 0 solo cuando a = 1, b = 1 y c = 0.
(p ∧ q) → r ≡ 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: 0 | 0 0 0 0
p = 1, q = 0, r = 1: 1 | 1 1 1 1
p = 1, q = 0, r = 0: 1 | 1 1 1 0
p = 0, q = 1, r = 1: 1 | 1 0 1 1
p = 0, q = 1, r = 0: 1 | 0 0 1 0
p = 0, q = 0, r = 1: 1 | 1 0 1 1
p = 0, q = 0, r = 0: 1 | 0 0 1 1

Respuesta

p → (q → r)

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

2.Lógica proposicional y demostraciones

Respuesta: N = 6

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.

Columnas

s ∧ q; ¬s; (s ∧ q) ∨ ¬s; ¬p; r ∨ ¬p; (r ∨ ¬p) ∧ q; ((s ∧ q) ∨ ¬s) ∧ ((r ∨ ¬p) ∧ q)

Divide según p

p = 1: 2
p = 0: 4
N = 2 + 4 = 6

Respuesta

N = 6
3.Conjuntos, relaciones y funciones

Respuesta: n = 15

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

F ∩ G ∩ S: 3
F ∩ G solo: 8 − 3 = 5
F ∩ S solo: 4 − 3 = 1
G ∩ S solo: 12 − 3 = 9

Conjuntos sueltos

F solo: 15 − 5 − 1 − 3 = 6
G solo: 28 − 5 − 9 − 3 = 11
S solo: 16 − 1 − 9 − 3 = 3

Respuesta

5 + 1 + 9 = 15

Respuesta

n = 15
4.Conjuntos, relaciones y funciones

Respuesta: inyectiva, no sobreyectiva

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.

¿Inyectiva?

cada elemento de B recibe como mucho una flecha → inyectiva

¿Sobreyectiva?

a, d no reciben ninguna flecha → no sobreyectiva

Respuesta

inyectiva, no sobreyectiva

Respuesta

inyectiva, no sobreyectiva
5.Teoría de grafos

Respuesta: H = 360

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.

Contar

H = (7 − 1)!/2 = 720/2 = 360

Respuesta

H = 360
6.Teoría de grafos

Respuesta: N = 6

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 0 1 0 0 0
B: 0 0 1 1 0 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 0 1 1 0 1
F: 0 0 0 1 1 0

Un paso más

(M³)ED = 1·0 + 2·1 + 0·0 + 1·0 + 3·1 + 1·1 = 6

Respuesta

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

Respuesta: 10−1 mod 59 = 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·10 (mod 59).

r = 59, t = 0
r = 10, q = 5, t = 1
r = 9, q = 1, t = −5
r = 1, q = 9, t = 6

Inversa

1 ≡ 6·10 (mod 59)
x = 6
comprobación: 10·6 = 60 = 1·59 + 1

Respuesta

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

Respuesta: 14161 mod 99 = 47

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 en binario

161 = 101000012 = 128 + 32 + 1

Cuadrado repetido

141 ≡ 14 (mod 99)
142 ≡ 97 (mod 99)
144 ≡ 4 (mod 99)
148 ≡ 16 (mod 99)
1416 ≡ 58 (mod 99)
1432 ≡ 97 (mod 99)
1464 ≡ 4 (mod 99)
14128 ≡ 16 (mod 99)

Multiplica las potencias necesarias

14161 ≡ 14·97·16 ≡ 47 (mod 99)

Respuesta

14161 mod 99 = 47

ExamProblems · examproblems.com/courses/discrete-mathematics