Estructuras de datos y algoritmos: pack de repaso

Hojas de fórmulas, los pasos clave de los métodos de cada tema y 6 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

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

2Problemas de práctica

1.Algoritmos y complejidadMedia

¿Cuál es la complejidad temporal de calcular el n-ésimo número de Fibonacci con una tabla ascendente (bottom-up)?

  1. AO(n²)
  2. BO(log n)
  3. CO(n)
  4. DO(2ⁿ)
2.Algoritmos y complejidadDifícil

¿Qué estableció el teorema de Cook-Levin?

  1. ATodo problema NP puede resolverse en tiempo exponencial
  2. BEl problema de la parada es indecidible
  3. CEl problema de satisfacibilidad booleana (SAT) es NP-completo
  4. DP no es igual a NP
3.Estructuras de datosMedia

¿Cuál es el coste de insertar un elemento en medio de un arreglo de n elementos?

  1. AO(log n), por la búsqueda binaria
  2. BO(n²), porque cada elemento se mueve n veces
  3. CO(1), porque se conoce el índice
  4. DO(n), porque los elementos posteriores deben desplazarse
4.Estructuras de datosDifícil

En el algoritmo de Kruskal para el árbol de expansión mínima, ¿para qué se usa la estructura union-find?

  1. APara ordenar las aristas por peso
  2. BPara elegir el vértice inicial
  3. CPara comprobar si los dos extremos de una arista ya están conectados
  4. DPara almacenar la distancia actual de cada vértice al origen durante la búsqueda
5.Teoría de grafosMedia
ABCDEFCircuito 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| = 6|E| = 8
  1. 1Circuito euleriano
  2. 2Camino euleriano, sin circuito
  3. 3ninguna de las dos
6.Teoría de grafosDifícil
ABCDE

¿Cuántos recorridos cerrados de longitud 3 empiezan y terminan en C? Un recorrido puede repetir vértices y aristas. Llama al número N.

M = matriz de adyacenciaL = 3
N =

3Disoluciones

1.Algoritmos y complejidad

Respuesta: C · O(n)

Por qué esta es la respuesta

Rellenar la tabla de 0 a n requiere una suma por entrada, así que el trabajo es lineal en lugar de exponencial.

Respuesta

C · O(n)
2.Algoritmos y complejidad

Respuesta: C · El problema de satisfacibilidad booleana (SAT) es NP-completo

Por qué esta es la respuesta

Cook y Levin demostraron de forma independiente que todo problema de NP se reduce a SAT en tiempo polinómico, así que SAT fue el primer problema NP-completo conocido.

Respuesta

C · El problema de satisfacibilidad booleana (SAT) es NP-completo
3.Estructuras de datos

Respuesta: D · O(n), porque los elementos posteriores deben desplazarse

Por qué esta es la respuesta

Todos los elementos situados después del punto de inserción se mueven una posición a la derecha, lo que lleva un tiempo proporcional a n.

Respuesta

D · O(n), porque los elementos posteriores deben desplazarse
4.Estructuras de datos

Respuesta: C · Para comprobar si los dos extremos de una arista ya están conectados

Por qué esta es la respuesta

Find indica si ambos extremos están en la misma componente; si no lo están, se añade la arista y union fusiona las componentes.

Respuesta

C · Para comprobar si los dos extremos de una arista ya están conectados
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) = 2, deg(B) = 4, deg(C) = 3, deg(D) = 3, deg(E) = 3, deg(F) = 1

Vértices impares

C, D, E, F → 4
ninguna de las dos

Respuesta

ninguna de las dos
6.Teoría de grafos

Respuesta: N = 2

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

Un paso más

(M³)CC = 1·1 + 1·1 + 3·0 + 2·0 + 0·1 = 2

Respuesta

N = 2

ExamProblems · examproblems.com/courses/data-structures-and-algorithms