.dsy:it. - Aiuto su DPLL

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > Aiuto su DPLL

Last Thread Next Thread

Author

Thread Expand all | Contract all

Simone_155

Like a Great White Shark

User info:

Registered: Mar 2006
Posts: 140 (0.02 al dì)
Location: Piacenza
Corso: Informatica
Anno: 3
Time Online: 1 Day, 2:30:23 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

15-02-2007 15:17

Click here to Send Simone_155 a Private Message

Simone_155

Like a Great White Shark

User info:

Registered: Mar 2006
Posts: 140 (0.02 al dì)
Location: Piacenza
Corso: Informatica
Anno: 3
Time Online: 1 Day, 2:30:23 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

15-02-2007 15:19

Simeon

User info:

Registered: Aug 2004
Posts: 984 (0.13 al dì)
Location: Milano
Corso: Informatica
Anno: IT IS OVER!
Time Online: 14 Days, 19:29:42 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

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.

Last edited by Simeon on 25-10-2007 at 19:32

25-10-2007 17:12