Algoritmi e strutture dati: pacchetto last-minute

Formulari, i passaggi chiave del metodo per ogni argomento e 6 esercizi, con le soluzioni complete in fondo.

Nuovi eserciziTorna al corso

Nella finestra di stampa scegli “Salva come PDF” per conservarne una copia sul tuo dispositivo.

1Formule e metodi

Teoria dei grafi

Lemma delle strette di mano
Σ deg(v) = 2|E|
Grafi completi
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Grafo regolare
|E| = n·k/2
Albero e foresta
|E| = n − 1, |E| = n − c
Foglie di un albero
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Eulero
circuito: tutti i gradi pari; cammino: esattamente 2 gradi dispari
Cicli hamiltoniani in Kn
(n − 1)!/2
Aggiornamento di Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Cammini di lunghezza L
(Mᴸ)ij

Metodo

  1. Scrivi il grado di ogni vertice; la somma dei gradi è il doppio del numero di lati.
  2. Nelle domande su Eulero, verifica che il grafo sia connesso e conta i vertici di grado dispari.
  3. Per gli alberi, usa n − 1 lati e il lemma delle strette di mano.
  4. Per Dijkstra, tieni una tabella delle distanze provvisorie e a ogni passo fissa il vertice non ancora fissato con la distanza minima.
  5. Per un albero di copertura minimo, ordina i lati per peso e salta ogni lato che chiude un ciclo (Kruskal), oppure fai crescere un solo albero a partire da un vertice iniziale (Prim).

2Esercizi

1.Algoritmi e complessitàMedia

È corretto dire che un algoritmo O(n²) è anche O(n³)?

  1. ANo, perché per n grande n³ è minore di n²
  2. BNo, perché l'O grande deve indicare sempre l'esatto tasso di crescita della funzione
  3. CSì, ma solo se n è minore di 100
  4. DSì, perché l'O grande è un limite superiore e n² non cresce più velocemente di n³
2.Algoritmi e complessitàDifficile

L'insertion sort richiede O(n) su un input ordinato. Questo contraddice il limite inferiore Ω(n log n) per l'ordinamento per confronti?

  1. ASì, quindi il limite inferiore è sbagliato
  2. BSì, ma solo per array più corti di 100
  3. CNo, il limite inferiore si applica al caso peggiore su tutti gli input, non a ogni input
  4. DNo, perché l'insertion sort non è un ordinamento per confronti
3.Strutture datiMedia

Un trie (albero dei prefissi) è particolarmente efficiente per:

  1. ARicerche per prefisso, come il completamento automatico
  2. BMemorizzare matrici
  3. CTrovare cammini minimi
  4. DOrdinare numeri
4.Strutture datiDifficile

Quale struttura permette di calcolare il massimo di ogni finestra di dimensione k di un array in tempo totale O(n)?

  1. AUn min-heap ricostruito per ogni finestra
  2. BUna lista concatenata semplice degli elementi della finestra
  3. CUn array ordinato aggiornato con spostamenti
  4. DUna deque che contiene indici in ordine decrescente di valore
5.Teoria dei grafiMedia

Un albero ha 3 vertici di grado 3, 2 vertici di grado 4, 4 vertici di grado 2, e tutti gli altri suoi vertici sono foglie (grado 1). Quante foglie L ha?

3 × deg 32 × deg 44 × deg 2
L =
6.Teoria dei grafiDifficile
2051032146ABCDE

L’algoritmo di Kruskal costruisce un albero di copertura minimo. Clicca il lato che aggiunge come lato numero 4; i lati saltati non contano.

k = 4
  1. 1lato AB
  2. 2lato AC
  3. 3lato BC
  4. 4lato BD
  5. 5lato CE
  6. 6lato DE
  7. 7lato BE

3Soluzioni

1.Algoritmi e complessità

Risposta: D · Sì, perché l'O grande è un limite superiore e n² non cresce più velocemente di n³

Perché è questa la risposta

L'O grande è un limite superiore, quindi l'affermazione è vera ma non stretta; Θ(n²) indica il tasso di crescita esatto.

Risposta

D · Sì, perché l'O grande è un limite superiore e n² non cresce più velocemente di n³
2.Algoritmi e complessità

Risposta: C · No, il limite inferiore si applica al caso peggiore su tutti gli input, non a ogni input

Perché è questa la risposta

Il limite dice che ogni ordinamento per confronti richiede circa n log n confronti su qualche input di dimensione n; input particolari possono essere molto più veloci.

Risposta

C · No, il limite inferiore si applica al caso peggiore su tutti gli input, non a ogni input
3.Strutture dati

Risposta: A · Ricerche per prefisso, come il completamento automatico

Perché è questa la risposta

I trie memorizzano le stringhe carattere per carattere lungo i percorsi, quindi ricerche e interrogazioni per prefisso richiedono un tempo proporzionale alla lunghezza della chiave.

Risposta

A · Ricerche per prefisso, come il completamento automatico
4.Strutture dati

Risposta: D · Una deque che contiene indici in ordine decrescente di valore

Perché è questa la risposta

La testa della deque è sempre il massimo della finestra; ogni indice entra ed esce dalla deque una sola volta, quindi il lavoro è lineare.

Risposta

D · Una deque che contiene indici in ordine decrescente di valore
5.Teoria dei grafi

Risposta: L = 9

Eulero, Hamilton e alberi: un grafo connesso ha un circuito euleriano (ogni lato una volta, di nuovo al punto di partenza) quando ogni vertice ha grado pari, e un cammino euleriano che non è un circuito quando esattamente due vertici hanno grado dispari; il cammino va allora da un vertice dispari all’altro. Un ciclo hamiltoniano visita ogni vertice una volta; Kn ne ha (n − 1)!/2. Un albero con n vertici ha n − 1 lati, e un grafo connesso con m lati mantiene un albero di copertura dopo aver tolto m − n + 1 lati.

Lemma delle strette di mano per un albero

L + 25 = 2(L + 9) − 2
L = 9

Risposta

L = 9

Scorciatoia: L = 2 + Σ (d − 2) sui vertici di grado d ≥ 3.

6.Teoria dei grafi

Risposta: lato BE

Cammini minimi e alberi di copertura: l’algoritmo di Dijkstra fissa un vertice per passo: il vertice non fissato con la distanza provvisoria minima. La sua distanza è allora definitiva, e ogni vertice adiacente v riceve d(v) = min(d(v), d(u) + w(u, v)). L’algoritmo di Kruskal costruisce un albero di copertura minimo prendendo i lati dal più leggero al più pesante e saltando ogni lato che chiuderebbe un ciclo; l’algoritmo di Prim fa crescere un solo albero da un vertice iniziale aggiungendo sempre il lato più leggero che ne esce. Un albero di copertura di n vertici ha n − 1 lati.

Algoritmo di Kruskal

1. CE (2)
2. BD (3)
3. AC (5)
4. BE (6)

lato numero 4

BE

Risposta

lato BE

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