17 gennaio 2024 B - esercizio 2

[CuriousCI]

[CarloDaRomadev]

[Frisbon]

Penso ci sia un piccolo errore all'inizio

$AH^+ =$
$ABDEH \text{ perché } (A\rightarrow D \wedge H \rightarrow E \wedge HA \rightarrow B) = $
$ABCDEH \text{ perché } (BD \rightarrow CH) = R \implies K$

Inoltre, nell'algoritmo di decomposizione, dovrebbe esserci un OR (Se gli appunti di Exyss non mentono) nel primo if

[CarloDaRomadev]

grazie, ricontrollerò

[CarloDaRomadev]

@Frisbon ho ricontrollato, hai ragione.

[Frisbon]

Esercizio strano, qualcuno puó verificarne la validitá?

[niccolo-fato]

a me la decomposizione viene {BDA, BDC, AD, CE, CDH, HE ,HAB}

[CuriousCI]

Potrebbe succedere che vengano fuori due decomposizioni diverse, perché nel calcolo della copertura minimale magari uno leva una dipendenza piuttosto che un'altra, e alla fine la decomposizione viene diversa. Detto questo, non ho verificato se il suo procedimento è giusto o meno.

[Frisbon]

a me la decomposizione viene {BDA, BDC, AD, CE, CDH, HE ,HAB}

Probabilmente é giusta la tua, ai tempi non sapevo come fare per bene l'esercizio.