Aiuto su DPLL
Clicca QUI per vedere il messaggio nel forum |
| Simone_155 |
Ciao a tutti!
Qualcuno di voi sarebbe in grado di spiegarmi la DPLL?
Cioè, io non riesco a capire qual'è l'ordine o il criterio con cui applicare le regole!
Sulle dispense purtroppo non ci sono molto esempi, e cmq anke quei pochi ke ci sono non mi sono per niente chiari...
non capisco proprio perchè prima fa una regola, poi un'altra, poi magari ne riapplica una già applicata...boh!!!!
Aiuto!!! |
| Simone_155 |
Magari (ma è solo una mia supposizione...) posso applicarle con l'ordine che voglio purchè la regola di spezzamento vada fatta per ultima?in alternativa alle altre?
Giusto?però anche qui, come faccio a capire che è arrivato il momento di non poter più applicare regole meno che uno spezzamento? |
| Simeon |
Originally posted by Simone_155
Ciao a tutti!
Qualcuno di voi sarebbe in grado di spiegarmi la DPLL?
Cioè, io non riesco a capire qual'è l'ordine o il criterio con cui applicare le regole!
Sulle dispense purtroppo non ci sono molto esempi, e cmq anke quei pochi ke ci sono non mi sono per niente chiari...
non capisco proprio perchè prima fa una regola, poi un'altra, poi magari ne riapplica una già applicata...boh!!!!
Aiuto!!!
Mi par stupido tirar su un thread di 8 mesi fa, ma sono nella stessa identica situazione. Sti lucidi fanno proprio schifo, si capisce niente.
EDIT: Dovesse servire a qualcuno, questo pdf m'ha aiutato a capire un po' meglio tutta la faccenda : http://homes.dsi.unimi.it/~zucchell.../SlidesDPLL.pdf
Praticamente e' identico a quello che si trova sul sito di logica matematica, ma illustra l'algoritmo passo passo e mi sembra vagamente piu' chiaro. |
|
|
|
