Χρήση μεθόδων επίλυσης (resolution) στη μελέτη κατωφλικών φαινομένων
| dc.contributor.advisor | Καββαδίας, Δημήτριος | |
| dc.contributor.author | Παρασκευάς, Αναστάσιος | |
| dc.contributor.committee | Καββαδίας, Δημήτριος | |
| dc.date.accessioned | 2008-08-29T08:06:01Z | |
| dc.date.available | 2008-08-29T08:06:01Z | |
| dc.date.copyright | 2006 | |
| dc.date.issued | 2008-08-29T08:06:01Z | |
| dc.degree | Μεταπτυχιακή Εργασία | en |
| dc.description.abstract | Στην παρούσα εργασία θα αναφερθούμε στο κατωφλικό φαινόμενο που εμφανίζεται στο k-SAT. Κύρια προσφορά της διπλωματικής είναι μια νέα απόδειξη του κάτω φράγματος στην περίπτωση του προβλήματος 2-SAT, όπου εκμεταλλευόμενοι γνωστά θεωρήματα από τη θεωρία τυχαίων γραφημάτων επιτυγχάνουμε μια ευκολότερη απόδειξη. Ξεκινάμε κάνοντας μια γενική παρουσίαση του προβλήματος της ικανοποιησιμότητας. Στο επόμενο κεφάλαιο παρουσιάζουμε κάποιους βασικούς ορισμούς και κάνουμε μια σύντομη αναδρομή στα αποτελέσματα που έχουν προκύψει. Αντικείμενο του τρίτου και τέταρτου κεφαλαίου είναι το 2-SAT όπου παρουσιάζονται αντιστοίχως η απόδειξη που δόθηκε από τον Goerdt[24] και μια νέα απόδειξη για το κάτω φράγμα με χρήση resolution. Στο τελευταίο κεφάλαιο στρέφουμε το ενδιαφέρον μας στην περίπτωση του 3-SAT και εξετάζουμε τις αποδείξεις ενός άνω και ενός κάτω κατωφλίου. | en |
| dc.description.translatedabstract | - | en |
| dc.identifier.uri | https://hdl.handle.net/10889/900 | |
| dc.language.iso | gr | en |
| dc.relation.isformatof | Η ΒΚΠ διαθέτει αντίτυπο της διατριβής σε έντυπη μορφή στο βιβλιοστάσιο διδακτορικών διατριβών που βρίσκεται στο ισόγειο του κτιρίου της. | |
| dc.rights | 0 | en |
| dc.subject | Κατωφλικά φαινόμενα | en |
| dc.subject | Πρόβλημα ικανοποιησιμότητας | |
| dc.subject.alternative | SAT | en |
| dc.subject.alternative | Goerdt | |
| dc.subject.ddc | 519.2 | en |
| dc.title | Χρήση μεθόδων επίλυσης (resolution) στη μελέτη κατωφλικών φαινομένων | en |
| dc.type | Thesis | en |