Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorΚαββαδίας, Δημήτριος-
dc.contributor.authorΑραβαντινού, Άννα-
dc.contributor.otherAravantinou, Anna-
dc.description.abstractΣτην εργασία αυτή ασχοληθήκαμε με το πρόβλημα της Πιθανοτικής Ικανοποιησιμότητας. Παρουσιάσαμε ανάλυση της πολυπλοκότητας του προβλήματος και το επιλύσαμε με την βοήθεια του λογισμικού πακέτου CPLEX. Περιγράψαμε προσεγγιστικούς αλγόριθμους για το πρόβλημα της Μέγιστης Ικανοποιησιμότητας που χρησιμοποιείται στην διαδικασία της Column Generation. Τέλος, πριγράψαμε το αντίστροφο πρόβλημα των συχνών στοιχειοσυνόλων και την σχέση του με το πρόβλημα της Μέγιστης Ικανοποιησιμότητας.el
dc.subjectΠιθανοτική ικανοποιησιμότηταel
dc.subjectΙκανοποιησιμότητα μέγιστηel
dc.subjectΥπολογιστική πολυπλοκότηταel
dc.subjectΣυχνά στοιχειοσύνολαel
dc.subjectΓραμμικός προγραμματισμόςel
dc.subjectΠροσεγγιστικοί αλγόριθμοιel
dc.titleΠιθανοτική ικανοποιησιμότητα : πολυπλοκότητα και υπολογιστικές προσεγγίσειςel
dc.contributor.committeeΑλεβίζος, Παναγιώτης-
dc.contributor.committeeΚαββαδίας, Δημήτριος-
dc.contributor.committeeΤσάντας, Νικόλαος-
dc.description.translatedabstractThis thesis is about the problem of probabilistic satisfiability. We describe its computational complexity, we solve the problem using CPLEX, we discribe some approximations on Maximum Satisfiability. Finally, we describe the connection between the problem of Probabilistic Satisfiability and the inverse frequent itemset mining.el
dc.subject.alternativeMaximum satisfiability problem (MAX-SAT)el
dc.subject.alternativeColumn generationel
dc.degreeΜεταπτυχιακή Εργασίαel
Appears in Collections:Τμήμα Μαθηματικών (ΜΔΕ)

Files in This Item:
File Description SizeFormat 
Αραβαντινού Άννα.pdf1.56 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.