.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Aiuto su DPLL (http://www.dsy.it/forum/showthread.php?threadid=29501)

Aiuto su DPLL

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!!!

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?

__________________
"There is a creature alive today who has survived millions of years of evolution without change, without passion, and without logic. It lives to kill. A mindless eating machine, it will attack and devour anything. It is as though God created the devil and gave him jaws."
- From the preview for 'JAWS' - 1975

Re: Aiuto su DPLL

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!!!