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

En un array ordenado buscas dos elementos que sumen un valor objetivo moviendo un puntero desde cada extremo hacia dentro. ¿Cuál es la complejidad temporal?

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

¿Cuál es la complejidad temporal de construir un montículo binario a partir de n elementos sin ordenar con el método ascendente (bottom-up)?

  1. AO(n log n)
  2. BO(n²)
  3. CO(log n)
  4. DO(n)
3.Estructuras de datosMedia

¿Qué estructura de datos usa un programa en ejecución para llevar el control de las llamadas a funciones activas y sus variables locales?

  1. ALa pila de llamadas
  2. BLa cola de memoria del heap
  3. CUna tabla hash de funciones
  4. DUn árbol binario de búsqueda de marcos
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 almacenar la distancia actual de cada vértice al origen durante la búsqueda
  2. BPara elegir el vértice inicial
  3. CPara comprobar si los dos extremos de una arista ya están conectados
  4. DPara ordenar las aristas por peso
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| = 7
  1. 1Circuito euleriano
  2. 2Camino euleriano, sin circuito
  3. 3ninguna de las dos
6.Teoría de grafosDifícil
2513211315108ABCDEFG

Usa el algoritmo de Dijkstra para hallar la longitud d(F) del camino más corto de A a F en el grafo ponderado.

inicio: Afin: F
d(F) =

3Disoluciones

1.Algoritmos y complejidad

Respuesta: D · O(n)

Por qué esta es la respuesta

Si la suma es demasiado pequeña, el puntero izquierdo avanza a la derecha; si es demasiado grande, el derecho avanza a la izquierda, así que hay como mucho n pasos.

Respuesta

D · O(n)
2.Algoritmos y complejidad

Respuesta: D · O(n)

Por qué esta es la respuesta

Sumar los costes de hundimiento (sift-down) en todos los niveles da una serie convergente, así que heapify se ejecuta en tiempo lineal.

Respuesta

D · O(n)
3.Estructuras de datos

Respuesta: A · La pila de llamadas

Por qué esta es la respuesta

Cada llamada apila un marco de pila y cada retorno lo desapila; por eso la llamada más reciente termina primero.

Respuesta

A · La pila de llamadas
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: Camino euleriano, sin circuito

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

Vértices impares

C, E → 2
Camino euleriano, sin circuito

Respuesta

Camino euleriano, sin circuito

El camino euleriano empieza en un vértice impar y termina en el otro.

6.Teoría de grafos

Respuesta: d(F) = 18

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

Cada línea: el vértice fijado, su distancia definitiva y los vecinos cuya distancia mejora.

A (0): B: 2, C: 5
B (2): D: 15, G: 12
C (5): E: 7
E (7): F: 22
G (12)
D (15): F: 18
F (18)

Camino más corto

A → B → D → F
d(F) = 18

Respuesta

d(F) = 18

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