dlcgold / appunti Goto Github PK

http://dlcgold.github.io/Appunti

Pagina 21/33

L'algoritmo rappresentato presenta un errore nella seconda condizione:

for j ← 1 to m do
    if X[i] == Y [j] then
        C[i, j] ← C[i − 1, j − 1] + 1
    else
        C[i, j] = max(C[i − 1, j], C[i, j − 1] + 1)
    end if
end for

Se i due caratteri appartenenti alle due sequenze non sono uguali si verifica quale sia il max tra i valori appartenenti alla matrice C in posizione [i - 1, j] e [i, j - 1]
Non ha senso dunque verificare max(C[i − 1, j], C[i, j − 1] + 1), C[i, j - 1] + 1 sarà al più uguale a C[i − 1, j − 1] + 1 e le due condizioni si eguaglierebbero.

Controllate gli appunti di ML, pagina 10:

Riscrivendo dal punto di vista insiemistico si ha che hj è più generale o
uguale a hk sse:
hk ⊇ hj
e che è più generale di hk sse:
hk ⊃ hj

Se hj >= hk allora hj non potrà essere un sottoinsieme del secondo.

Eliminazione dell'or non esiste
Aggiungere de Morgan

Mi sa che l'assegnamento ha qualcosa che non va

Fare nuovamente la compilazione latex di Modelli della Concorrenza con la versione di texlive corretta, in seguito ai bug introdotti sulle immagini dalla PR #222