Μοναδιαία δευτεροβάθμια λογική και παραμετρική πολυπλοκότητα σε δομές φραγμένου δεντροπλάτους
Περίληψη
Στην παρούσα διατριβή, προτείνουμε νέα αυτόματα που εκφράζουν προβλήματα αποτίμησης της Μοναδιαίας Δευτεροβάθμιας Λογικής (MSO), καθώς και νέους αποδοτικούς αλγορίθμους για τα προβλήματα αυτά οι οποίοι βασίζονται στις βάσεις δεδομένων. Εξετάζουμε αρχικά την περίπτωση που οι δεδομένες δομές είναι πεπερασμένα δέντρα και έπειτα ανεξάρτητα την περίπτωση των δομών φραγμένου δεντροπλάτους. Κεντρικό σημείο της προσέγγισής μας σε καθεμία περίπτωση είναι ο επαναπροσδιορισμός της ισοδυναμίας MSO/αυτομάτων μέσω νέων αυτομάτων αναθέσεων που ορίζονται κάθε φορά. Έτσι, ανάγουμε τα αρχικά προβλήματα αποτίμησης της MSO σε ισοδύναμα προβλήματα που αφορούν στα νέα αυτά αυτόματα αναθέσεων. Μέσω της μοντελοποίησης αυτών των τελευταίων προβλημάτων αποτίμησης αυτομάτων σε ένα πλαίσιο βάσεων δεδομένων, επιλύουμε τα αρχικά προβλήματα αποτίμησης της MSO μέσω κατάλληλων αλγορίθμων βελτιστοποίησης από το χώρο των βάσεων δεδομένων.
 | |
 | Κατεβάστε τη διατριβή σε μορφή PDF (770.91 kB)
(Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)
|
Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.
|
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)
