Τεχνικές εύρεσης άνω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησημότητας λογικών τύπων BOOLE
Σε αυτήν την εργασία θα ασχοληθούμε με το σημαντικό πρόβλημα της ικανοποιησημότητας ενός τυχαίου λογικού τύπου. Συγκεκριμένα θα ασχοληθούμε με λογικούς τύπους του 3-SAT, δηλαδή με λογικούς τύπους που αποτελούνται από συζεύξεις προτάσεων όπου κάθε πρόταση περιέχει διαζεύξεις από τρία λεκτικά, τα οποί...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2015
|
| Θέματα: | |
| Διαθέσιμο Online: | https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=*9D*01*ACtuJPz*7Ek*FF*0E*3D*0C*7C*87&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=2&WebPageNr=1&SearchTerm1=2004%20.1.77206&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=2 http://hdl.handle.net/11610/8030 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περίληψη: | Σε αυτήν την εργασία θα ασχοληθούμε με το σημαντικό πρόβλημα της ικανοποιησημότητας ενός τυχαίου λογικού τύπου. Συγκεκριμένα θα ασχοληθούμε με λογικούς τύπους του 3-SAT, δηλαδή με λογικούς τύπους που αποτελούνται από συζεύξεις προτάσεων όπου κάθε πρόταση περιέχει διαζεύξεις από τρία λεκτικά, τα οποία μπορούμε να τα επιλέξουμε από ένα σύνολο μεταβλητών. Θα δείξουμε ότι η ικανοποιησιμότητα ενός λογικού τύπου εξαρτάται από έναν αριθμό . Ο αριθμός αυτός είναι ο λόγος των προτάσεων του λογικού τύπου προς τον λόγο των μεταβλητών. Στα κεφάλαια 2 και 3 γίνονται αναφορές στις τεχνικές εύρεσης άνω και κάτω φραγμάτων αντίστοιχα για τον αριθμό , για επίτευξη μη-ικανοποιησημότητας ενός λογικού τύπου. Στο κεφαλαίο 3 επίσης θα παρουσιάσουμε το θεώρημα του Wormald με το οποίο μπορούμε να προσεγγίσουμε διάφορα πιθανοτικά φαινόμενα με πραγματικές συναρτήσεις όπου μπορούν να επιλυθούν σε ένα σύστημα διαφορικών εξισώσεων και στη συνεχεία μπορούμε με κατάλληλο τρόπο να υπολογίσουμε μια λύση για το αρχικό μας πρόβλημα. Τέλος θα παρουσιάσουμε κώδικες που πραγματοποιήθηκαν στο πρόγραμμα Maple με τους οποίους μπορούμε να κατασκευάσουμε τυχαίους λογικούς τύπους του 3-SAT και στη συνέχεια να ελέγξουμε αν είναι ικανοποιήσιμοι ή μη, με δυο διαφορετικούς αλγορίθμους, τον UC και GUC. Επίσης θα παρουσιαστούν κάποιοι συγκριτικοί πίνακες με τις τιμές των προγραμμάτων και με τις προσεγγιστικές λύσεις που παίρνουμε εφαρμόζοντας το θεώρημα του Wormald. |
|---|