mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Theses » MSc » Ιωσήφ Σάλεμ

MSc thesis of Ιωσήφ Σάλεμ

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

Supervisor: Δημήτριος Μ. Θηλυκός

Στην παρούσα διπλωματική εργασία θα μελετήσουμε αλγόριθμους για τον υπολογισμό συνόλων παρεμπόδησης καλώς μερικώς διατεταγμένων κλάσεων γραφημάτων. Το Θεώρημα Ελασσόνων Γραφημάτων (ΘΕΓ), των Neil Robertson και Paul Seymour (Graph Minor Theorem) εγγυάται πως κάθε κλάση κλειστή ως προς τη σχέση των ελασσόνων έχει πεπερασμένο σύνολο παρεμόδησης. Αν η C είναι μια τέτοια κλάση, τότε το σύνολο παρεμπόδησης της C είναι το ελαχιστικό σύνολο γραφημάτων H έτσι ώστε, ένα γράφημα G ανήκει στην κλάση C αν και μόνο αν κανένα από τα γραφήματα στο σύνολο H δεν περιέχεται ως ελάσσον στο G. Το αντίστοιχο αποτέλεσμα για μια άλλη καλή μερική διάταξη, την σχέση της εμβύθισης, αποδείχθηκε στην ίδια σειρά εργασιών (Graph Minors). Όμως αυτά τα αποτελέσματα είναι μη-κατασκευαστικά: ξέρουμε πως κάθε κλάση κλειστή ως προς ελάσσονα ή εμβυθίσεις έχει πεπερασμένο σύνολο παρεμπόδησης αλλά αυτά τα αποτελέσματα δεν υποδεικνύουν κάποιο αλγόριθμο για να το υπολογίσουμε. Οι K. Cattell, M. J. Dinneen, R. Downey, M. R. Fellows and M. Langston στην εργασία "On computing graph minor obstruction sets" και οι I. Adler, M. Grohe and S. Kreutzer στην εργασία "Computing Excluded Minors" παρουσιάζουν αλγόριθμους για να ξεπεράσουμε αυτό το πρόβλημα στις κλάσεις γραφημάτων κλειστές ως προς ελάσσονα, καθώς και εφαρμογές των μεθόδων τους, όπως το πρόβλημα της ένωσης. Προσαρμόζοντας τις μεθόδους της δεύτερης από τις προηγούμενες εργασίες σε εμβυθήσεις οι Α. Γιαννοπούλου, Δ. Ζώρος και ο συγγραφέας, ύπο την επίβλεψη του Δ. Μ. Θηλυκού αποδεικνύουν το αντίστοιχο αποτέλεσμα για κλάσεις γραφημάτων κλειστές ως προς εμβύθιση, καθώς και έναν αλγόριθμο για το πρόβλημα της ένωσης για εμβυθίσεις.

Defended: 17 Σεπτεμβρίου 2012.

Download

Download thesis.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.