Fondamenti di informatica: pacchetto last-minute

Formulari, i passaggi chiave del metodo per ogni argomento e 20 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

Sistemi di numerazione

Pesi delle posizioni
binario 2k, ottale 8k, esadecimale 16k
In decimale
Σ dk·bk
Da decimale
dividi per la base e leggi i resti dal basso verso l’alto
Esadecimale ↔ binario
una cifra esadecimale = 4 bit
Complemento a due
inverti i bit e aggiungi 1

Logica proposizionale e dimostrazioni

Righe di una tabella di verità
2ⁿ
Implicazione
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Implicazione negata
¬(p → q) ≡ p ∧ ¬q
Doppia implicazione
p ↔ q ≡ (p → q) ∧ (q → p)
De Morgan
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Leggi distributive
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Quantificatori negati
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, modus tollens
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Metodo

  1. Conta le variabili distinte: la tabella di verità ha 2ⁿ righe, e la prima ha tutti i valori a 1.
  2. Assegna a ogni sottoformula una colonna propria e compila le colonne dall’interno verso l’esterno.
  3. Applica la regola di ogni connettivo: → vale 0 solo per 1 → 0, ↔ vale 1 quando i due lati coincidono.
  4. Per le equivalenze, confronta riga per riga le colonne finali; per un argomento, guarda solo le righe in cui ogni premessa vale 1.
  5. Per negare un enunciato quantificato, sposta ¬ verso l’interno, scambia ∀ e ∃ e nega la formula interna.

Logica digitale: porte, mappe K e flip-flop

Porte di base
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
Regole booleane
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
De Morgan
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
Ordine della mappa di Karnaugh
00, 01, 11, 10 (Gray code)
Gruppo di 2ᵏ celle
perde k variabili
Multiplexer 4 a 1
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
Flip-flop
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
Contatori
n bit: 2ⁿ stati; mod N: n minimo con 2ⁿ ≥ N; fout = fclk/N
Contatore asincrono (ripple)
fmax = 1/(n·tpd)
Contatori ad anello e Johnson
n e 2n stati

Metodo

  1. Per un circuito, procedi dagli ingressi all’uscita una porta alla volta e scrivi il valore su ogni filo, oppure scrivi la sua espressione e compila la tabella di verità.
  2. Per la semplificazione, riporta gli 1 (e le condizioni di indifferenza come X) in una mappa di Karnaugh con righe e colonne in codice Gray: 00, 01, 11, 10.
  3. Copri gli 1 con il minor numero possibile di gruppi, i più grandi possibile, di 1, 2, 4, 8 o 16 celle, richiudendoli sui bordi; ogni gruppo è un termine prodotto formato dalle variabili che restano costanti. Raggruppa gli 0 per la forma POS.
  4. Per flip-flop e contatori, leggi gli ingressi a ogni fronte attivo del clock, scrivi lo stato dopo ogni fronte e ricorda che un contatore a n bit ricomincia da capo dopo 2ⁿ stati.

Teoria dei numeri e aritmetica modulare

Divisione con resto
a = q·n + r, 0 ≤ r < n
Euclide
gcd(a, b) = gcd(b, a mod b)
Minimo comune multiplo
lcm(a, b) = a·b/gcd(a, b)
Inversa
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Congruenza lineare
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Funzione φ di Eulero
φ(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

Metodo

  1. Riduci prima ogni numero modulo n; i resti sono compresi tra 0 e n − 1.
  2. Per un MCD, dividi ripetutamente con l’algoritmo di Euclide; l’ultimo resto diverso da zero è il MCD.
  3. Per un inverso, esegui l’algoritmo esteso e tieni il coefficiente di a; aggiungi n se è negativo.
  4. Risolvi a·x ≡ b moltiplicando per a⁻¹; combina due congruenze scrivendo x = r₁ + m₁k.
  5. Per le potenze, scrivi l’esponente in binario ed eleva al quadrato ripetutamente; in RSA, d = e⁻¹ mod φ(n) con φ(n) = (p − 1)(q − 1).

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

Sottoreti IPv4

Host per sottorete
2(32 − prefix) − 2 (/31: 2, /32: 1)
Dimensione del blocco
256 − (mask octet)
Indirizzo di rete
IP AND maschera
Indirizzo di broadcast
IP OR (NOT maschera): tutti i bit di host a 1
Sottoreti da n bit presi in prestito
2n

2Esercizi

1.Sistemi di numerazioneMedia
complemento a due a 8 bit0−12806403201608040201

Imposta i bit in modo che memorizzino −116 in complemento a due a 8 bit. Letto come numero senza segno, qual è il valore U dello schema?

N = −1168 bit
U =
2.Sistemi di numerazioneDifficile
clicca i bit per impostarli012806403201608040201

Imposta i bit sul risultato a 8 bit di 1101 1100 AND 1101 0110. Qual è il valore R del risultato in decimale?

1101 1100AND1101 0110
R =
3.Logica proposizionale e dimostrazioniMedia
abcc ∨ b¬(c ∨ b)(¬a ∧ ¬c) ↔ ¬(c ∨ b)111?110?101?100?011?010?001?000?

In quante delle 8 righe della sua tabella di verità (¬a ∧ ¬c) ↔ ¬(c ∨ b) è vera? Chiama questo numero N.

(¬a ∧ ¬c) ↔ ¬(c ∨ b)
N =
4.Logica proposizionale e dimostrazioniDifficile
qrr ∨ qr¬q11100100

L’argomento con premesse r ∨ q; r e conclusione ¬q non è valido. Clicca la riga della tabella di verità che è un controesempio.

r ∨ qr∴ ¬q
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
5.Logica digitale: porte, mappe K e flip-flopMedia
ABCD000111100001111011111

In questa mappa di Karnaugh esattamente un 1 non ha 1 vicini, quindi resta un gruppo di una cella (un mintermine completo di quattro letterali) nella forma SOP minima. Contano anche i vicini attraverso i bordi della mappa. Clicca su quella cella.

F = Σm(0, 2, 3, 4, 9)
  1. 1AB = 00, CD = 00
  2. 2AB = 00, CD = 01
  3. 3AB = 00, CD = 11
  4. 4AB = 00, CD = 10
  5. 5AB = 01, CD = 00
  6. 6AB = 01, CD = 01
  7. 7AB = 01, CD = 11
  8. 8AB = 01, CD = 10
  9. 9AB = 11, CD = 00
  10. 10AB = 11, CD = 01
  11. 11AB = 11, CD = 11
  12. 12AB = 11, CD = 10
  13. 13AB = 10, CD = 00
  14. 14AB = 10, CD = 01
  15. 15AB = 10, CD = 11
  16. 16AB = 10, CD = 10
6.Logica digitale: porte, mappe K e flip-flopDifficile
DQ3​Q3​DQ2​Q2​DQ1​Q1​DQ0​Q0​CLKRING

Un contatore ad anello a 4 bit Q₃Q₂Q₁Q₀ parte da 1001. A ogni fronte di clock i bit scorrono di una posizione a destra (Q₃ → Q₂ → Q₁ → Q₀) e Q₃ riceve Q₀. Dai lo stato Q = Q₃Q₂Q₁Q₀ come numero decimale dopo 9 fronti di clock.

Q₃Q₂Q₁Q₀ = 10019
Q =
7.Teoria dei numeri e aritmetica modulareMedia

Risolvi 13x ≡ 20 (mod 73). Dai la soluzione x con 0 < x < 73.

13x ≡ 20 (mod 73)
x =
8.Teoria dei numeri e aritmetica modulareDifficile

73 è primo. Usa il piccolo teorema di Fermat per trovare 1367860 mod 73.

p = 73k = 67860
1367860 mod 73 =
9.Algoritmi e complessitàMedia

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

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

L'algoritmo di Strassen moltiplica matrici usando 7 invece di 8 moltiplicazioni ricorsive di blocchi di metà dimensione. Qual è il suo tempo di esecuzione?

  1. AΘ(n³)
  2. BΘ(nlog₂ 7), circa n2,81
  3. CΘ(n² log n)
  4. DΘ(n2)
11.Strutture datiMedia

Un buffer circolare (ring buffer) è comunemente usato per implementare:

  1. AUn albero binario di ricerca
  2. BUna visita di un grafo
  3. CUna coda di dimensione fissa
  4. DUna funzione hash
12.Strutture datiDifficile

Quale coppia di visite determina sempre un unico albero binario con chiavi distinte?

  1. APreordine e postordine
  2. BPreordine e ordine simmetrico (inorder)
  3. CLa sola visita per livelli
  4. DIl solo preordine
13.Teoria dei grafiMedia

Quanti cicli hamiltoniani diversi H ha il grafo completo K7? I cicli che differiscono solo per il vertice iniziale o per il verso contano come lo stesso.

K7
H =
14.Teoria dei grafiDifficile
ABCDE

Quanti cammini di lunghezza 2 vanno da D a C? Un cammino può ripetere vertici e lati. Chiama il numero N.

M = matrice di adiacenzaL = 2
N =
15.Basi di dati e SQLMedia

Quale proprietà ACID fa sì che le transazioni concorrenti non vedano le modifiche non ancora completate delle altre?

  1. AAtomicità
  2. BDurabilità
  3. CIsolamento
  4. DDisponibilità
16.Basi di dati e SQLDifficile

Che cos'è una lettura fantasma (phantom read)?

  1. ALa lettura di dati mai scritti
  2. BUna query che non restituisce righe
  3. CLa lettura di modifiche non confermate
  4. DUna query ripetuta restituisce nuove righe inserite da un'altra transazione confermata
17.Reti di calcolatoriMedia

In che cosa un firewall stateful differisce da un semplice filtro di pacchetti?

  1. ABlocca tutto il traffico in entrata senza eccezioni, comprese le risposte alle richieste in uscita
  2. BCifra ogni pacchetto che inoltra
  3. CControlla solo l'indirizzo MAC di ogni frame
  4. DTiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
18.Reti di calcolatoriDifficile

Dopo collisioni ripetute, le stazioni Ethernet classiche scelgono il tempo di attesa da un intervallo che raddoppia ogni volta. Perché?

  1. APer ridurre la probabilità di collidere di nuovo quando molte stazioni competono
  2. BPer far propagare più lontano i segnali sul cavo
  3. CPer dare priorità alla stazione con l'indirizzo MAC più alto sul cavo condiviso
  4. DPer sincronizzare tutte le stazioni su un unico clock
19.Sottoreti IPv4Media
/24 → /2711111111111111111111111111100000bit di retebit di host

La rete 192.168.10.0/24 va divisa in almeno 5 sottoreti uguali. Prendendo in prestito il minor numero possibile di bit, quanti host utilizzabili H ha ogni sottorete?

192.168.10.0/245 subnets
H =
20.Sottoreti IPv4Difficile

La rete 192.168.142.0/24 viene suddivisa con VLSM per queste LAN: A: 62 host, B: 9 host, C: 30 host, D: 39 host. Le sottoreti vengono assegnate da .0 in su, partendo dalla LAN con più host, ciascuna con la sottorete più piccola sufficiente. Qual è il quarto ottetto x dell’indirizzo di rete della LAN D?

A: 62B: 9C: 30D: 39
x =

3Soluzioni

1.Sistemi di numerazione

Risposta: U = 140

Impostare i bit: ogni bit vale una potenza di due (128, 64, …, 1). Una cifra esadecimale è esattamente quattro bit, e nel complemento a due a 8 bit il bit più a sinistra vale −128. Le operazioni bit a bit lavorano su ogni posizione di bit separatamente.

Inverti e aggiungi uno

116 = 0111 0100
invertito: 1000 1011
+1 → 1000 1100

Leggilo senza segno

1000 1100₂ = 256 − 116 = 140

Risposta

U = 140
2.Sistemi di numerazione

Risposta: R = 212

Impostare i bit: ogni bit vale una potenza di due (128, 64, …, 1). Una cifra esadecimale è esattamente quattro bit, e nel complemento a due a 8 bit il bit più a sinistra vale −128. Le operazioni bit a bit lavorano su ogni posizione di bit separatamente.

Bit per bit

AND dà 1 solo dove entrambi i bit sono 1.

1101 1100
AND 1101 0110
= 1101 0100

Valore del risultato

1101 0100₂ = 212

Risposta

R = 212
3.Logica proposizionale e dimostrazioni

Risposta: N = 6

Tabelle di verità: una formula con n variabili distinte ha 2ⁿ righe, una per ogni combinazione di valori di verità (1 = vero, 0 = falso). Procedi dall’interno verso l’esterno e dai a ogni sottoformula una colonna propria. ¬a inverte il valore; a ∧ b vale 1 solo quando entrambi valgono 1; a ∨ b vale 0 solo quando entrambi valgono 0; a → b vale 0 solo quando a = 1 e b = 0; a ↔ b vale 1 quando i due lati sono uguali.

Tabella di verità riga per riga

a = 1, b = 1, c = 1: ¬a = 0, ¬c = 0, ¬a ∧ ¬c = 0, c ∨ b = 1, ¬(c ∨ b) = 0, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 1
a = 1, b = 1, c = 0: ¬a = 0, ¬c = 1, ¬a ∧ ¬c = 0, c ∨ b = 1, ¬(c ∨ b) = 0, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 1
a = 1, b = 0, c = 1: ¬a = 0, ¬c = 0, ¬a ∧ ¬c = 0, c ∨ b = 1, ¬(c ∨ b) = 0, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 1
a = 1, b = 0, c = 0: ¬a = 0, ¬c = 1, ¬a ∧ ¬c = 0, c ∨ b = 0, ¬(c ∨ b) = 1, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 0
a = 0, b = 1, c = 1: ¬a = 1, ¬c = 0, ¬a ∧ ¬c = 0, c ∨ b = 1, ¬(c ∨ b) = 0, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 1
a = 0, b = 1, c = 0: ¬a = 1, ¬c = 1, ¬a ∧ ¬c = 1, c ∨ b = 1, ¬(c ∨ b) = 0, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 0
a = 0, b = 0, c = 1: ¬a = 1, ¬c = 0, ¬a ∧ ¬c = 0, c ∨ b = 1, ¬(c ∨ b) = 0, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 1
a = 0, b = 0, c = 0: ¬a = 1, ¬c = 1, ¬a ∧ ¬c = 1, c ∨ b = 0, ¬(c ∨ b) = 1, (¬a ∧ ¬c) ↔ ¬(c ∨ b) = 1

Conta le righe con valore 1

(¬a ∧ ¬c) ↔ ¬(c ∨ b): 1, 1, 1, 0, 1, 0, 1, 1
N = 6

Risposta

N = 6
4.Logica proposizionale e dimostrazioni

Risposta: q = 1, r = 1

Quantificatori e argomenti: ¬∀x P(x) ≡ ∃x ¬P(x) e ¬∃x P(x) ≡ ∀x ¬P(x). Sposta una negazione verso l’interno, scambia ogni quantificatore che attraversa e nega la formula interna con le leggi proposizionali, come ¬(a → b) ≡ a ∧ ¬b. Un argomento è valido quando la conclusione vale 1 in ogni riga in cui tutte le premesse valgono 1. Una sola riga con premesse vere e conclusione falsa è un controesempio e mostra che l’argomento non è valido.

Premesse e conclusione riga per riga

q = 1, r = 1: 1 1 | 0
q = 1, r = 0: 1 0 | 0
q = 0, r = 1: 1 1 | 1
q = 0, r = 0: 0 0 | 1

Controesempio

q = 1, r = 1

Risposta

q = 1, r = 1

Un argomento di questa forma sembra una regola valida, ma una sola riga basta a mostrare che non lo è.

5.Logica digitale: porte, mappe K e flip-flop

Risposta: AB = 10, CD = 01

Mappe di Karnaugh: le celle sono ordinate in codice Gray (00, 01, 11, 10), quindi le celle vicine, comprese quelle attraverso i bordi, differiscono per esattamente una variabile. Raggruppa gli 1 in rettangoli di 1, 2, 4, 8 o 16 celle, i più grandi e il meno numerosi possibile, finché ogni 1 non è coperto. Ogni gruppo è un termine prodotto: le variabili che restano costanti al suo interno. Un gruppo di 2ᵏ celle perde k variabili. Le condizioni di indifferenza (X) possono servire a ingrandire i gruppi ma non devono mai essere coperte. Raggruppando invece gli 0 si ottiene la forma POS minima.

Vicini di ogni 1

Un 1 con un 1 vicino può far parte di un gruppo di due o più.

m9: m8, m11, m13, m1 → 0
ABCD000111100001111011111

L’1 isolato

m9 = AB′C′D → AB = 10, CD = 01

Risposta

AB = 10, CD = 01
6.Logica digitale: porte, mappe K e flip-flop

Risposta: Q = 12

Flip-flop e contatori: un flip-flop cambia solo sul fronte attivo del clock. D copia il suo ingresso (Q⁺ = D); T commuta quando T = 1; JK mantiene per 00, azzera per 01, imposta a 1 per 10 e commuta per 11. Un contatore binario a n bit ha 2ⁿ stati e conta modulo 2ⁿ; un contatore modulo N conta 0, 1, …, N − 1 e torna a 0, e richiede il minimo n con 2ⁿ ≥ N flip-flop. Ogni stadio di un contatore asincrono (ripple) dimezza la frequenza, quindi l’ultima uscita di un contatore modulo N ha frequenza fclk/N. Un contatore Johnson di n flip-flop ha 2n stati, un contatore ad anello n.

Stato dopo ogni fronte

1001 → 1100 → 0110 → 0011 → 1001 → 1100 → 0110 → 0011 → 1001 → 1100

Valore decimale

1100₂ = 12

Risposta

Q = 12
7.Teoria dei numeri e aritmetica modulare

Risposta: x = 24

Inversi e congruenze: a ha un inverso modulo n esattamente quando MCD(a, n) = 1. L’algoritmo di Euclide esteso scrive 1 = s·n + t·a, e allora a⁻¹ ≡ t (mod n). Una congruenza a·x ≡ b (mod n) con MCD(a, n) = 1 ha la soluzione x ≡ a⁻¹·b. Due congruenze x ≡ r₁ (mod m₁) e x ≡ r₂ (mod m₂) con moduli coprimi hanno una soluzione modulo m₁·m₂ (teorema cinese del resto). La φ di Eulero φ(n) conta i numeri da 1 a n coprimi con n: φ(n) = n·∏(1 − 1/p).

Inverso di 13

r = 73, t = 0
r = 13, q = 5, t = 1
r = 8, q = 1, t = −5
r = 5, q = 1, t = 6
r = 3, q = 1, t = −11
r = 2, q = 1, t = 17
r = 1, q = 2, t = −28
13−1 ≡ 45 (mod 73)

Risolvi

x ≡ 45·20 = 900 ≡ 24 (mod 73)
verifica: 13·24 = 312 ≡ 20 (mod 73)

Risposta

x = 24
8.Teoria dei numeri e aritmetica modulare

Risposta: 1367860 mod 73 = 72

Potenze modulari e RSA: calcola aᵏ mod n con il quadrato ripetuto: scrivi k in binario, eleva al quadrato, riduci a ogni passaggio e moltiplica le potenze il cui bit è 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) per un primo p che non divide a, quindi l’esponente si può ridurre modulo p − 1. RSA: scegli i primi p e q, n = p·q e φ(n) = (p − 1)(q − 1); l’esponente pubblico e è coprimo con φ(n), e l’esponente privato è d = e⁻¹ mod φ(n). Cifra con c = mᵉ mod n e decifra con m = cᵈ mod n.

Riduci l’esponente

67860 mod 72 = 36
1367860 ≡ 1336 (mod 73)

Potenza piccola

1336 mod 73 = 72

Risposta

1367860 mod 73 = 72
9.Algoritmi e complessità

Risposta: C · 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

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

Risposta: B · Θ(nlog₂ 7), circa n2,81

Perché è questa la risposta

Con a = 7 e b = 2, nlog₂ 7 domina il lavoro di addizione O(n²), da cui circa n2,81.

Risposta

B · Θ(nlog₂ 7), circa n2,81
11.Strutture dati

Risposta: C · Una coda di dimensione fissa

Perché è questa la risposta

Un buffer circolare usa indici di testa e di coda che ripartono dall'inizio, garantendo enqueue e dequeue in O(1) con memoria fissa.

Risposta

C · Una coda di dimensione fissa
12.Strutture dati

Risposta: B · Preordine e ordine simmetrico (inorder)

Perché è questa la risposta

Il preordine dà la radice, e la sua posizione nella sequenza in ordine separa i sottoalberi sinistro e destro; preordine e postordine sono ambigui quando un nodo ha un solo figlio.

Risposta

B · Preordine e ordine simmetrico (inorder)
13.Teoria dei grafi

Risposta: H = 360

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.

Conta

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

Risposta

H = 360
14.Teoria dei grafi

Risposta: N = 1

Gradi: il grado di un vertice è il numero di lati che vi arrivano. Ogni lato ha due estremi, quindi i gradi sommano al doppio del numero di lati: Σ deg(v) = 2|E| (il lemma delle strette di mano). Il numero di vertici di grado dispari è quindi pari. Kn ha n(n − 1)/2 lati, un grafo k-regolare con n vertici ne ha nk/2, e un albero con n vertici ha n − 1 lati.

Matrice di adiacenza

A: 0 1 1 0 0
B: 1 0 0 1 1
C: 1 0 0 0 1
D: 0 1 0 0 1
E: 0 1 1 1 0

Vicini comuni

(M²)DC = 0·1 + 1·0 + 0·0 + 0·0 + 1·1 = 1

Risposta

N = 1
15.Basi di dati e SQL

Risposta: C · Isolamento

Perché è questa la risposta

L'isolamento tiene separate le transazioni concorrenti; i livelli di isolamento stabiliscono quanto rigorosamente ciò venga garantito.

Risposta

C · Isolamento
16.Basi di dati e SQL

Risposta: D · Una query ripetuta restituisce nuove righe inserite da un'altra transazione confermata

Perché è questa la risposta

I fantasmi si verificano quando un'altra transazione inserisce righe che soddisfano una condizione di intervallo; il livello di isolamento Serializable li impedisce.

Risposta

D · Una query ripetuta restituisce nuove righe inserite da un'altra transazione confermata
17.Reti di calcolatori

Risposta: D · Tiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite

Perché è questa la risposta

Un firewall stateful mantiene una tabella delle connessioni attive, così il traffico di ritorno è consentito automaticamente. Un filtro stateless valuta ogni pacchetto isolatamente.

Risposta

D · Tiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
18.Reti di calcolatori

Risposta: A · Per ridurre la probabilità di collidere di nuovo quando molte stazioni competono

Perché è questa la risposta

Ogni ulteriore collisione indica una maggiore contesa, quindi l'intervallo casuale cresce e le stazioni hanno più probabilità di scegliere slot diversi. Si adatta al carico senza controllo centrale.

Risposta

A · Per ridurre la probabilità di collidere di nuovo quando molte stazioni competono
19.Sottoreti IPv4

Risposta: H = 30

Sottoreti IPv4: un indirizzo ha 32 bit. Il prefisso /p indica quanti bit iniziali identificano la rete; i restanti 32 − p bit numerano gli host. Una sottorete ha 2³²⁻ᵖ indirizzi, ma il primo (indirizzo di rete) e l'ultimo (broadcast) non si possono assegnare agli host, quindi ci stanno 2³²⁻ᵖ − 2 host. Eccezioni: una /31 (collegamento punto-punto, RFC 3021) usa entrambi i suoi 2 indirizzi per gli host, e una /32 è un solo indirizzo (un singolo host o un’interfaccia di loopback).

Bit da prendere in prestito

23 = 8 ≥ 5 → b = 3, /27

Host per sottorete

25 − 2 = 30

Risposta

H = 30
20.Sottoreti IPv4

Risposta: x = 64

VLSM: ogni LAN riceve la sottorete più piccola con 2ʰ − 2 ≥ il suo numero di host, cioè prefisso 32 − h. Assegnando prima le sottoreti più grandi, ogni blocco resta allineato su un multiplo della propria dimensione, quindi gli indirizzi di rete si ottengono sommando le dimensioni dei blocchi.

Dimensione del blocco per LAN

A: 62 host → 26 = 64 (/26)
D: 39 host → 26 = 64 (/26)
C: 30 host → 25 = 32 (/27)
B: 9 host → 24 = 16 (/28)

Assegnazione, dalla più grande

A: .0 – .63
D: .64 – .127
C: .128 – .159
B: .160 – .175

Risposta

x = 64

LAN D: 192.168.142.64/26.

ExamProblems · examproblems.com/courses/computer-science-fundamentals