Matematica discreta: pacchetto last-minute

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

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.

Insiemi, relazioni e funzioni

Due insiemi
|A ∪ B| = |A| + |B| − |A ∩ B|
Tre insiemi
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
Differenza e complementare
A − B = A ∩ B′, |A′| = |U| − |A|
Insieme delle parti e prodotto cartesiano
|𝒫(A)| = 2|A|, |A × B| = |A|·|B|
Sottoinsiemi di k elementi
C(n, k) = n!/(k!(n − k)!)
Funzioni A → B
nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
Relazioni su n elementi
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
Composizione
(g ∘ f)(x) = g(f(x))

Metodo

  1. Disegna un diagramma di Venn e decidi regione per regione che cosa appartiene all’espressione insiemistica.
  2. Nei problemi di conteggio, riempi le regioni dal centro verso l’esterno: prima tutti gli insiemi, poi le coppie, poi i singoli insiemi, infine l’esterno.
  3. Usa il principio di inclusione-esclusione come verifica: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. Per una relazione, verifica ogni proprietà su ogni coppia e fornisci un controesempio quando non vale.
  5. Per una funzione, conta le frecce che arrivano a ciascun elemento di B: al più una significa iniettiva, almeno una suriettiva.

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

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

2Esercizi

1.Logica proposizionale e dimostrazioniMedia
p → (q → r)(p → r) ∧ (q → r)(p → q) → rp ∧ (q → r)

Quale formula è logicamente equivalente a (p ∧ q) → r? Clicca su di essa.

(p ∧ q) → r
  1. 1p → (q → r)
  2. 2(p → r) ∧ (q → r)
  3. 3(p → q) → r
  4. 4p ∧ (q → r)
2.Logica proposizionale e dimostrazioniDifficile
c ∧ ¬a¬a¬ca

Sono date le premesse c → a; c. Quale conclusione ne segue? Clicca su di essa.

c → ac
  1. 1c ∧ ¬a
  2. 2¬a
  3. 3¬c
  4. 4a
3.Insiemi, relazioni e funzioniMedia
1234riflessivasimmetricaantisimmetricatransitiva

La relazione R su {1, 2, 3, 4} è disegnata come grafo orientato (un cappio significa (x, x) ∈ R). Vale esattamente una delle quattro proprietà. Cliccala.

R = {(1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 2), (3, 4), (4, 2), (4, 4)}
  1. 1riflessiva
  2. 2simmetrica
  3. 3antisimmetrica
  4. 4transitiva
4.Insiemi, relazioni e funzioniDifficile

Una relazione di equivalenza R su {1, …, 6} ha le classi {3, 4, 6}, {1, 2}, {5}. Quante coppie ordinate contiene R? Chiama il numero |R|.

{3, 4, 6}{1, 2}{5}
|R| =
5.Teoria dei grafiMedia
ABCDECircuito eulerianoCammino euleriano, nessun circuitonessuna delle due

Il grafo connesso ha un circuito euleriano, un cammino euleriano che non è un circuito, oppure nessuno dei due? Clicca la tua risposta.

|V| = 5|E| = 5
  1. 1Circuito euleriano
  2. 2Cammino euleriano, nessun circuito
  3. 3nessuna delle due
6.Teoria dei grafiDifficile
101311812214ABCDEF

L’algoritmo di Dijkstra parte da A. Clicca il vertice che viene fissato (reso permanente) al passo 3; A stesso è il passo 1.

partenza: Apasso 3
  1. 1A
  2. 2B
  3. 3C
  4. 4D
  5. 5E
  6. 6F
7.Teoria dei numeri e aritmetica modulareMedia

Trova il più piccolo intero positivo x con x ≡ 3 (mod 5) e x ≡ 6 (mod 11).

x ≡ 3 (mod 5)x ≡ 6 (mod 11)
x =
8.Teoria dei numeri e aritmetica modulareDifficile

Usa il quadrato ripetuto per trovare 3785 mod 80.

a = 37k = 85n = 80
3785 mod 80 =

3Soluzioni

1.Logica proposizionale e dimostrazioni

Risposta: p → (q → r)

Equivalenza logica: due formule sono equivalenti (≡) quando hanno lo stesso valore in ogni riga della tabella di verità. Una tautologia vale 1 in ogni riga, una contraddizione vale 0 in ogni riga, e una contingenza non è né l’una né l’altra. Leggi utili: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b e ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contronominale); ¬(a → b) ≡ a ∧ ¬b; e le leggi distributive, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

La legge

Esportazione: (a ∧ b) → c ≡ a → (b → c). Entrambe valgono 0 solo quando a = 1, b = 1 e c = 0.
(p ∧ q) → r ≡ p → (q → r)

Verifica con la tabella di verità

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

Risposta

p → (q → r)

Le colonne dopo la barra sono le opzioni nell’ordine mostrato.

2.Logica proposizionale e dimostrazioni

Risposta: a

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.

Righe con tutte le premesse vere

a = 1, c = 1: c ∧ ¬a = 0, ¬a = 0, ¬c = 0, a = 1

Conclusione

a (modus ponens)

Risposta

a
3.Insiemi, relazioni e funzioni

Risposta: transitiva

Relazioni: una relazione R su un insieme X è un insieme di coppie ordinate (x, y). R è riflessiva quando (x, x) ∈ R per ogni x in X; simmetrica quando (x, y) ∈ R comporta sempre (y, x) ∈ R; antisimmetrica quando (x, y) e (y, x) sono entrambe in R solo se x = y; e transitiva quando (x, y) e (y, z) in R implicano (x, z) ∈ R. Una relazione di equivalenza è riflessiva, simmetrica e transitiva, e divide X in classi disgiunte.

riflessiva

non vale: (1, 1) ∉ R

simmetrica

non vale: (1, 2) ∈ R, (2, 1) ∉ R

antisimmetrica

non vale: (2, 4), (4, 2) ∈ R

transitiva

vale

Risposta

transitiva
4.Insiemi, relazioni e funzioni

Risposta: |R| = 14

Relazioni: una relazione R su un insieme X è un insieme di coppie ordinate (x, y). R è riflessiva quando (x, x) ∈ R per ogni x in X; simmetrica quando (x, y) ∈ R comporta sempre (y, x) ∈ R; antisimmetrica quando (x, y) e (y, x) sono entrambe in R solo se x = y; e transitiva quando (x, y) e (y, z) in R implicano (x, z) ∈ R. Una relazione di equivalenza è riflessiva, simmetrica e transitiva, e divide X in classi disgiunte.

Coppie per classe

|R| = 3² + 2² + 1² = 14

Risposta

|R| = 14
5.Teoria dei grafi

Risposta: nessuna delle due

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.

Gradi

deg(A) = 2, deg(B) = 3, deg(C) = 3, deg(D) = 1, deg(E) = 1

Vertici dispari

B, C, D, E → 4
nessuna delle due

Risposta

nessuna delle due
6.Teoria dei grafi

Risposta: C

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.

Dijkstra passo per passo

1. A (0): B: 10, C: 13
2. B (10): D: 18, E: 24
3. C (13): E: 14
4. E (14): F: 16
5. F (16)
6. D (18)

passo 3

C

Risposta

C
7.Teoria dei numeri e aritmetica modulare

Risposta: x = 28

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

Prima congruenza

x = 3 + 5k

Seconda congruenza

3 + 5k ≡ 6 (mod 11) → 5k ≡ 3 (mod 11)
k ≡ 9·3 ≡ 5 (mod 11)

Risultato

x = 3 + 5·5 = 28
x = 28
verifica: 28 mod 5 = 3, 28 mod 11 = 6

Risposta

x = 28
8.Teoria dei numeri e aritmetica modulare

Risposta: 3785 mod 80 = 37

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.

Esponente binario

85 = 10101012 = 64 + 16 + 4 + 1

Quadrato ripetuto

371 ≡ 37 (mod 80)
372 ≡ 9 (mod 80)
374 ≡ 1 (mod 80)
378 ≡ 1 (mod 80)
3716 ≡ 1 (mod 80)
3732 ≡ 1 (mod 80)
3764 ≡ 1 (mod 80)

Moltiplica le potenze necessarie

3785 ≡ 37·1·1·1 ≡ 37 (mod 80)

Risposta

3785 mod 80 = 37

ExamProblems · examproblems.com/courses/discrete-mathematics