Παραμετρική πολυπλοκότητα και έλεγχος μοντέλων σε φραγμένες οικογένειες γραφημάτων

Αναστασιάδη, Έλλη; Anastasiadi, Elli

dc.contributor.author	Αναστασιάδη, Έλλη	el
dc.contributor.author	Anastasiadi, Elli	en
dc.date.accessioned	2019-02-26T11:02:47Z
dc.date.available	2019-02-26T11:02:47Z
dc.date.issued	2019-02-26
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/48316
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.16423
dc.rights	Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/gr/	*
dc.subject	Παραμετική	el
dc.subject	Μοντέλα	el
dc.subject	Παράμετρος	el
dc.subject	Πολυπλοκότητα	el
dc.subject	Γραφήματα	el
dc.subject	Ιεραρχία	el
dc.subject	Υπολογισημότητα	el
dc.subject	Λογική	el
dc.subject	Δενδροπλάτος	el
dc.subject	Treewidth	en
dc.subject	Models	en
dc.subject	Graphs	en
dc.subject	Complexity	en
dc.subject	Computability	en
dc.subject	Parameterized	en
dc.subject	Parameters	en
dc.subject	Hierarchy	en
dc.title	Παραμετρική πολυπλοκότητα και έλεγχος μοντέλων σε φραγμένες οικογένειες γραφημάτων	el
dc.title	Parameterized complexity and model checking on bounded families of graphs	en
heal.type	bachelorThesis
heal.classification	Επιστήμη υπολογιστών/Πληροφορική	el
heal.classification	Computer Science	en
heal.classificationURI	http://data.seab.gr/concepts/77de68daecd823babbb58edb1c8e14d7106e83bb
heal.language	el
heal.language	en
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2018-10-01
heal.abstract	In this Thesis we are studying the Model Checking Problem in a Parameterized Framework. The main objective is to determine the impact of an increment in our descriptive capabilities to the complexity of the Model Checking Problem over Graphs. There are some results in the field pointing to an inversely proportional relation but only as an intuitive notion not properly analyzed. This relation is presented through the different parameters that must be utilized to classify the Model Checking Problem for a logic as FPT. From a graph theoretic approach we aim to express the boundary between instances that can be checked quickly for a property in contrast with the ones cannot. To prove this relation we are using graph decompositions and properties of parameters to establish either a hierarchy between them or to derive a measurement of the cardinality of the bounded instances. From the Computability side, parameterized circuits are used to predict such relations between logics of different expressive power.	en
heal.abstract	Στην παρακάτω διπλωματική μελετάμε το Πρόβλημα Ελέγχου Μοντέλου υπό Παραμετρικές Συνθήκες. Ο κύριος στόχος είναι να προσδιορισθεί η επίδραση μιας αύξησης στις λογικές δυνατότητες διατύπωσης στην πολυπλοκότητα του ελέγχου τους πάνω σε γραφήματα. Στον τομέα αυτόν υπάρχουν ήδη κάποια ανεξάρτητα αποτελέσματα που φαίνεται να επιδεικνύουν μια αντιστρόφως ανάλογη σχέση αλλά μόνο σε μια διαισθητική μορφή και χωρίς παραπάνω ανάλυση. Αυτή η σχέση προκύπτει από τις διαφορετικές παραμέτρους που είναι απαραίτητες για να κατηγοριοποιήσουν μια Λογική σαν FPT(= Υπολογίσιμη υπό σταθερή παράμετρο ). Από την μεριά των γραφημάτων επιδιώκουμε να εκφράσουμε το όριο μεταξύ των στιγμιοτύπων στα οποία ο έλεγχος κλάσεων ιδιοτήτων είναι γρήγορος και εκείνων στα οποία δεν είναι. Για αυτό το στόχο χρησιμοποιούνται αποσυνθέσεις των γραφημάτων και ιδιότητες των διαφορετικών παραμέτρων ώστε να καθιερωθεί είτε μια ιεραρχία μεταξύ τους είτε για να εξαχθούν πληροφορίες για το πλήθος των παραμετρικά φραγμένων στιγμιοτύπων. Από την θεωρητική μεριά της υπολογισιμοτητας θα χρησιμοποιηθούν παραμετρικά κυκλώματα για να προβλεφθούν τέτοιου είδους σχέσεις μεταξύ Λογικών κλάσεων διαφορετικής περιγραφικής ικανότητας.	el
heal.advisorName	Παγουρζής, Άρης	el
heal.committeeMemberName	Ζάχος, Στάθης	el
heal.committeeMemberName	Συμβώνης, Αντόνιος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών	el
heal.academicPublisherID	ntua
heal.numberOfPages	124 σ.	el
heal.fullTextAvailability	true