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

¿Cómo construye el algoritmo de Prim un árbol de expansión mínima?

  1. AEjecuta una búsqueda en anchura y se queda con el árbol BFS
  2. BOrdena todas las aristas por peso y añade cada una salvo que forme un ciclo en el bosque
  3. CElimina la arista más cara hasta que no quedan ciclos
  4. DHace crecer un único árbol desde un vértice inicial, añadiendo la arista más barata que sale del árbol
2.Algoritmos y complejidadDifícil

¿Qué afirmación sobre seleccionar el k-ésimo elemento más pequeño de un array no ordenado es correcta?

  1. ALa selección solo es posible en O(n²)
  2. BLa selección siempre necesita Ω(n log n) porque requiere ordenar
  3. CQuickselect se ejecuta en O(n) esperado, y la mediana de medianas garantiza O(n) en el peor caso
  4. DQuickselect se ejecuta en O(log n) en el peor caso, porque solo hace recursión en un lado del pivote
3.Estructuras de datosMedia

Un árbol binario tiene la raíz 1 con hijo izquierdo 2 e hijo derecho 3; el nodo 2 tiene los hijos 4 (izquierdo) y 5 (derecho). ¿Cuál es el recorrido en postorden?

  1. A1 2 4 5 3
  2. B4 5 2 3 1
  3. C5 4 3 2 1
  4. D4 2 5 1 3
4.Estructuras de datosDifícil

¿Qué par de recorridos determina siempre un único árbol binario con claves distintas?

  1. ASolo el preorden
  2. BPreorden y en orden
  3. CPreorden y postorden
  4. DSolo el recorrido por niveles
5.Teoría de grafosMedia

Un árbol tiene 2 vértices de grado 4, 3 vértices de grado 2, y todos sus demás vértices son hojas (grado 1). ¿Cuántas hojas, L, tiene?

2 × deg 43 × deg 2
L =
6.Teoría de grafosDifícil
7157213101332ABCDEF

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 · Hace crecer un único árbol desde un vértice inicial, añadiendo la arista más barata que sale del árbol

Por qué esta es la respuesta

El algoritmo de Prim, con una cola de prioridad de las aristas que cruzan el corte, se ejecuta en O(E log V) con un montículo binario.

Respuesta

D · Hace crecer un único árbol desde un vértice inicial, añadiendo la arista más barata que sale del árbol
2.Algoritmos y complejidad

Respuesta: C · Quickselect se ejecuta en O(n) esperado, y la mediana de medianas garantiza O(n) en el peor caso

Por qué esta es la respuesta

El trabajo esperado de quickselect es n + n/2 + n/4 + ... = O(n) con pivotes aleatorios; elegir como pivote una mediana de medianas hace lineal el peor caso.

Respuesta

C · Quickselect se ejecuta en O(n) esperado, y la mediana de medianas garantiza O(n) en el peor caso
3.Estructuras de datos

Respuesta: B · 4 5 2 3 1

Por qué esta es la respuesta

El postorden procesa 4 y 5 antes que 2, luego 3 y, por último, la raíz 1.

Respuesta

B · 4 5 2 3 1
4.Estructuras de datos

Respuesta: B · Preorden y en orden

Por qué esta es la respuesta

El preorden da la raíz, y su posición en la secuencia en orden separa los subárboles izquierdo y derecho; preorden con postorden es ambiguo cuando un nodo tiene un solo hijo.

Respuesta

B · Preorden y en orden
5.Teoría de grafos

Respuesta: L = 6

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.

Lema del apretón de manos para un árbol

L + 14 = 2(L + 5) − 2
L = 6

Respuesta

L = 6

Atajo: L = 2 + Σ (d − 2) sobre los vértices de grado d ≥ 3.

6.Teoría de grafos

Respuesta: d(F) = 12

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: 7, C: 15
B (7): C: 14, D: 9, E: 9
D (9): F: 22
E (9): F: 12
F (12)
C (14)

Camino más corto

A → B → E → F
d(F) = 12

Respuesta

d(F) = 12

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