Μοναδιαία δευτεροβάθμια λογική και παραμετρική πολυπλοκότητα σε δομές φραγμένου δεντροπλάτους

Περίληψη

Στην παρούσα διατριβή, προτείνουμε νέα αυτόματα που εκφράζουν προβλήματα αποτίμησης της Μοναδιαίας Δευτεροβάθμιας Λογικής (MSO), καθώς και νέους αποδοτικούς αλγορίθμους για τα προβλήματα αυτά οι οποίοι βασίζονται στις βάσεις δεδομένων. Εξετάζουμε αρχικά την περίπτωση που οι δεδομένες δομές είναι πεπερασμένα δέντρα και έπειτα ανεξάρτητα την περίπτωση των δομών φραγμένου δεντροπλάτους. Κεντρικό σημείο της προσέγγισής μας σε καθεμία περίπτωση είναι ο επαναπροσδιορισμός της ισοδυναμίας MSO/αυτομάτων μέσω νέων αυτομάτων αναθέσεων που ορίζονται κάθε φορά. Έτσι, ανάγουμε τα αρχικά προβλήματα αποτίμησης της MSO σε ισοδύναμα προβλήματα που αφορούν στα νέα αυτά αυτόματα αναθέσεων. Μέσω της μοντελοποίησης αυτών των τελευταίων προβλημάτων αποτίμησης αυτομάτων σε ένα πλαίσιο βάσεων δεδομένων, επιλύουμε τα αρχικά προβλήματα αποτίμησης της MSO μέσω κατάλληλων αλγορίθμων βελτιστοποίησης από το χώρο των βάσεων δεδομένων.

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/30607
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/30607
ND
30607
Συγγραφέας
Καλαντζή, Λαμπρινή του Γεώργιος
Ημερομηνία
2011
Ίδρυμα
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Εξεταστική επιτροπή
Κοσμαδάκης Σταύρος
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Μαθηματικά
Λέξεις-κλειδιά
Μοναδιαία Δευτεροβάθμια Λογική (MSO); Αυτόματα δέντρων; Δεντρόπλατος
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
162 σ., πιν.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)