Θεωρία και Αλγόριθμοι Γράφων

Σχετικά έγγραφα
Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Γενικά Μαθηματικά Ι. Ενότητα 12: Κριτήρια Σύγκλισης Σειρών. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Λογισμός 3. Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 12: Αντιμετώπιση Περιορισμών Αλγοριθμικής Ισχύος

Εκκλησιαστικό Δίκαιο. Ενότητα 10η: Ιερά Σύνοδος της Ιεραρχίας και Διαρκής Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Τμήμα Νομικής Α.Π.Θ.

Γενικά Μαθηματικά Ι. Ενότητα 15: Ολοκληρώματα Με Ρητές Και Τριγωνομετρικές Συναρτήσεις Λουκάς Βλάχος Τμήμα Φυσικής

Εισαγωγή στους Αλγορίθμους

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Ιστορία της μετάφρασης

Βέλτιστος Έλεγχος Συστημάτων

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim

Θεωρία και Αλγόριθμοι Γράφων

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 5: ΚΑΤΗΓΟΡΙΕΣ ΑΛΓΟΡΙΘΜΙΚΩΝ ΠΡΟΒΛΗΜΑΤΩΝ-ΑΝΑΓΩΓΗ

Εκκλησιαστικό Δίκαιο

Θεωρία και Αλγόριθμοι Γράφων

Εκκλησιαστικό Δίκαιο

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskal

Ιστορία της μετάφρασης

Εισαγωγή στους Αλγορίθμους

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 3: ΑΝΑΠΑΡΑΣΤΑΣΗ ΔΕΔΟΜΕΝΩΝ - ΓΡΑΦΗΜΑΤΑ

Γενικά Μαθηματικά Ι. Ενότητα 14: Ολοκλήρωση Κατά Παράγοντες, Ολοκλήρωση Ρητών Συναρτήσεων Λουκάς Βλάχος Τμήμα Φυσικής

Γενικά Μαθηματικά Ι. Ενότητα 5: Παράγωγος Πεπλεγμένης Συνάρτησης, Κατασκευή Διαφορικής Εξίσωσης. Λουκάς Βλάχος Τμήμα Φυσικής

Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)

ΑΡΙΣΤΟΤΕΛΕΙΟ ΑΝΟΙΚΤΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΚΑΔΗΜΑΪΚΑ ΘΕΣΣΑΛΟΝΙΚΗΣ ΜΑΘΗΜΑΤΑ Γενικά Μαθηματικά Ι Ενότητα 11 : Ακολουθίες και Σειρές Λουκάς Βλάχος Τμήμα Φυσικής

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Γενικά Μαθηματικά Ι. Ενότητα 17: Αριθμητική Ολοκλήρωση, Υπολογισμός Μήκους Καμπύλης Λουκάς Βλάχος Τμήμα Φυσικής ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

Εισαγωγή στους Αλγορίθμους

Γενικά Μαθηματικά Ι. Ενότητα 8: Εφαρμογές Σειρών Taylor. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 11: Περιορισμοί της Αλγοριθμικής Ισχύος

Μηχανολογικό Σχέδιο Ι

Λογισμός 3. Ενότητα 18: Θεώρημα Πεπλεγμένων (Ειδική περίπτωση) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Αξιολόγηση μεταφράσεων ιταλικής ελληνικής γλώσσας

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη

Οικονομία των ΜΜΕ. Ενότητα 9: Εταιρική διασπορά και στρατηγικές τιμολόγησης

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Διοικητική Λογιστική

Βέλτιστος Έλεγχος Συστημάτων

Μηχανολογικό Σχέδιο Ι

Εργαστήριο Χημείας Ενώσεων Συναρμογής

Διδακτική Μαθηματικών Ι Ενότητα 5: Διερευνητικές δραστηριότητες

Εκκλησιαστικό Δίκαιο

Διπλωματική Ιστορία Ενότητα 2η:

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Εισαγωγή στους Η/Υ. Ενότητα 2β: Αντίστροφο Πρόβλημα. Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών

Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές

Ηλεκτρονικοί Υπολογιστές

ΗΛΕΚΤΡΟΤΕΧΝΙΑ-ΗΛΕΚΤΡΟΝΙΚΗ ΕΡΓΑΣΤΗΡΙΟ

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 5: Το Θεώρημα του Fubini. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Βέλτιστος Έλεγχος Συστημάτων

Γενικά Μαθηματικά Ι. Ενότητα 16: Ολοκλήρωση Τριγωνομετρικών Συναρτήσεων, Γενικευμένα Ολοκληρώματα Λουκάς Βλάχος Τμήμα Φυσικής

Οδοποιία IΙ. Ενότητα 14: Υπόδειγμα σύνταξης τευχών θέματος Οδοποιίας. Γεώργιος Μίντσης ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ

Παράκτια Τεχνικά Έργα

Γενικά Μαθηματικά Ι. Ενότητα 9: Κίνηση Σε Πολικές Συντεταγμένες. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΓΕΝΙΚΗ ΚΑΙ ΑΝΟΡΓΑΝΗ ΧΗΜΕΙΑ

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα

Εργαστήριο Χημείας Ενώσεων Συναρμογής

Ψηφιακή Επεξεργασία Εικόνων

Γενικά Μαθηματικά Ι. Ενότητα 1: Συναρτήσεις και Γραφικές Παραστάσεις. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Δομές Δεδομένων Ενότητα 1

ΑΛΓΟΡΙΘΜΟΙ Ενότητα 10

Αποθήκες Δεδομένων και Εξόρυξη Δεδομένων

Οικονομία των ΜΜΕ. Ενότητα 7: Μορφές αγοράς και συγκέντρωση των ΜΜΕ

Εισαγωγή στους Αλγορίθμους Φροντιστήριο 1

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 2: Γραφήματα

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Γενικά Μαθηματικά Ι. Ενότητα 6: Ακρότατα Συνάρτησης. Λουκάς Βλάχος Τμήμα Φυσικής

Διπλωματική Ιστορία. Ενότητα 12η: Ο Β Παγκόσμιος Πόλεμος Η Ευρώπη. του Hitler Ιωάννης Στεφανίδης, Καθηγητής Τμήμα Νομικής Α.Π.Θ.

Γενικά Μαθηματικά Ι. Ενότητα 7: Σειρές Taylor, Maclaurin. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Ιστορία των Μαθηματικών

Μηχανολογικό Σχέδιο Ι

Στρατηγικό Μάρκετινγκ

Ιστορία των Μαθηματικών

Θέματα υπολογισμού στον πολιτισμό

Λογικός Προγραμματισμός Ασκήσεις

Εισαγωγή στους Αλγορίθμους Φροντιστήριο 4

Φ 619 Προβλήματα Βιοηθικής

Διοίκηση Επιχειρήσεων

Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.

Ενότητα 6: Ακρότατα συναρτησιακών διανυσματικών συναρτήσεων. Νίκος Καραμπετάκης Τμήμα Μαθηματικών

Εφαρμοσμένη Βελτιστοποίηση

ΓΕΝΙΚΗ ΚΑΙ ΑΝΟΡΓΑΝΗ ΧΗΜΕΙΑ

Κβαντική Επεξεργασία Πληροφορίας

Γεωργική Εκπαίδευση Ενότητα 9

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός

Εκκλησιαστικό Δίκαιο

Εισαγωγή στους Αλγορίθμους Φροντιστήριο 5

Συμπεριφορά Καταναλωτή

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Μαθηματικά Και Στατιστική Στη Βιολογία

Ενδεικτικές λύσεις ασκήσεων διαχείρισης έργου υπό συνθήκες αβεβαιότητας

Εισαγωγή στην Διοίκηση Επιχειρήσεων

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 2: Ορισμός του ολοκληρώματος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Εργαστήριο Χημείας Ενώσεων Συναρμογής

Transcript:

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα # 5: Μονοπάτια και Κύκλοι (Hamilton) Ιωάννης Μανωλόπουλος

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 2

Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Μονοπάτια και Κύκλοι Hamilton

Sir William Rowan Hamilton O Ιρλανδός μαθηματικός Hamilton το 1856 κατασκεύασε το παιχνίδι «Γύρος του κόσμου» Πρόβλημα: είναι δυνατόν σε κάθε γράφο να βρεθεί κύκλος που να περνά από όλες τις κορυφές; Hamiltonian Γράφος Κύκλος Μονοπάτι 5

Κύκλος Hamilton Ι Κάθε κύκλος Hamilton είναι ένας 2-παράγοντας, επειδή κάθε κύκλος Hamilton είναι ένας ζευγνύων υπογράφος που είναι και τακτικός βαθμού 2. Κάθε 2-παράγοντας δεν είναι κατ ανάγκη κύκλος Hamilton. 6

Κύκλος Hamilton ΙΙ v 1 v 2 v 5 v 6 Κύκλος Hamilton C=(v 1,v 2,v 3,v 4,v 8,v 7,v 6,v 5,v 1 ) 2-παράγοντας (όχι Hamilton) οι συνιστώσες: (v 1,v 2,v 6,v 5,v 1 ) και (v 3,v 4,v 8,v 7,v 3 ) v 8 v 7 v 4 v 3 7

Γράφοι Hamilton Eξιχνιάσιμος-traceable (έχει μονοπάτι Hamilton) Oμογενώς-homogenously εξιχνιάσιμος (εξιχνιάσιμος από κάθε κορυφή) Γράφος υπο-hamilton αν δεν είναι Hamilton αλλά ο γράφος G-v είναι Hamilton για κάθε κορυφή v του G Συνδεδεμένος κατά Hamilton (δύο οποιεσδήποτε κορυφές συνδέονται με ένα μονοπάτι Hamilton) Κάθε γράφος συνδεδεμένος κατά Hamilton με αριθμό κορυφών ίσο ή μεγαλύτερο του 3, είναι γράφος Hamilton. Το αντίθετο δεν ισχύει. 8

Συνθήκες για Hamiltonian Πρόβλημα: ποιά είναι η ικανή και αναγκαία συνθήκη, ώστε να είναι ένας γράφος Hamilton? (NP-complete) Θεώρημα: κάθε πλήρης γράφος είναι Hamilton Θεώρημα: κάθε πλήρης γράφος με n κορυφές (n περιττός) έχει (n-1)/2 Hamilton κύκλους ξένους ως προς ακμές Θεώρημα (Dirac 1952): κάθε απλός γράφος με n 3 και d(g) n/2 είναι Hamiltonian Θεώρημα (Ore 1960): κάθε απλός γράφος με n 3 και d(x)+d(y) n για κάθε ζεύγος μη γειτονικών κορυφών x,y είναι Hamiltonian 9

Hamiltonian Θεωρήματα Θεώρημα: κάθε απλός γράφος με n 3 και d(x)+d(y) n για δύο διακριτές μη γειτονικές κορυφές x,y είναι Hamiltonian, αν ο γράφος G+(x,y) είναι Hamiltonian Κλείσιμο-closure γράφου είναι ένας γράφος c(g) με επιπλέον ακμές για τα ζεύγη μη γειτονικών κορυφών x και y, όπου ισχύει d(x)+d(y) n. Θεώρημα (Bondy-Chvatal 1976): κάθε απλός γράφος είναι Hamiltonian, αν και μόνον αν έχει κλείσιμο Hamiltonian. Θεώρημα (Fraudee-Dould-Jacobsen-Schelp 1989): κάθε 2-συνδεδεμένος γράφος όπου για κάθε ζεύγος μη γειτονικών κορυφών x,y ισχύει d(x)+d(y) (2n-1)/3 είναι Hamiltonian. 10

Κλείσιμο γράφου G Αν c 1 (G), c 2 (G) είναι δύο κλεισίματα του G, τα οποία προήλθαν με διαφορετικό τρόπο, τότε c 1 (G)=c 2 (G) c(g) 11

Παράδειγμα Hamiltonian κύκλου A 5 4 B A 5 B 2 D 6 2 D 6 4 4 4 A C 4 B A C 5 4 B 2 D 6 D 4 4 4 C C Πόσοι Hamiltonian κύκλοι υπάρχουν για το ζυγισμένο γράφο K 4? ACBDA με βάρος 16 ABCDA με βάρος 17 ABDCA με βάρος 17 12

Αποστάσεις με Άλγεβρα πινάκων 1 2 3 6 5 Το άθροισμα Μ 1 +Μ 2 + +Μ k υποδηλώνει το πλήθος των μονοπατιών από i σε j μήκους 1,2,,k. Τι σημασία έχει ο Μ*Μ=Μ 2 ; 4 M= M 2 = 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 2 0 1 1 1 1 0 2 1 0 1 1 1 0 0 2 1 3 1 2 0 1 1 1 2 2 2 0 0 1 1 1 2 1 0 13

Αλγόριθμος εύρεσης κύκλων Hamilton I 0 ΑB 0 0 0 0 B 0 0 0 0 0 ΒC 0 0 0 0 C 0 0 M 1 0 0 0 CD CE 0 0 0 D E M 0 0 0 0 DE 0 0 0 0 E EA EB 0 ED 0 A B 0 D 0 0 0 ABC 0 0 0 0 0 BCD BCE CEA CEB 0 CED CDE DEA DEB 0 0 0 0 EAB EBC 0 0 M 2 14

Αλγόριθμος εύρεσης κύκλων Hamilton II 0 0 0 ABCED ABCDE BCDEA 0 0 0 0 0 CDEAB 0 0 0 0 0 DEABC 0 0 0 0 0 EABCD 0 M 4 Β C Α E D 15

Αλγόριθμος εύρεσης κύκλων Hamilton Αν στην k-οστή δύναμη του πίνακα προκύψουν μονοπάτια τέτοια έτσι ώστε να υπάρχει ακμή που να ενώνει το πρώτο και το τελευταίο σύμβολο κάθε συμβολοσειράς, τότε αυτά είναι μονοπάτια Hamiltonian. Το πρόβλημα αυτό μπορεί να λυθεί εναλλακτικά χρησιμοποιώντας έναν αλγόριθμο που στηρίζεται στην Οπισθοδρόμηση (backtracking), το Δυναμικό Προγραμματισμό (dynamic programming) ή τη μεθόδου της Διακλάδωσης με Περιορισμό (branch and bound). 16

Περιοδεύων πωλητής Πρόβλημα: με ποια σειρά πρέπει να επισκεφθεί τις πόλεις ο πωλητής και να επιστρέψει στη δική του διανύοντας τη μικρότερη δυνατή συνολική απόσταση; Ζυγισμένος Ευκλείδειος γράφος: ισχύει η ανισοϊσότητα του τριγώνου Αν ο γράφος δεν είναι Ευκλείδειος, τότε κατά τη βέλτιστη λύση ο πωλητής μπορεί να περνά από την ίδια πόλη περισσότερες από μία φορές. Αλλιώς το πρόβλημα ανάγεται σε πρόβλημα εύρεσης κύκλων Hamilton με το ελάχιστο βάρος. 17

Περιοδεύων πωλητής Σε έναν πλήρη γράφο ο συνολικός αριθμός κύκλων Hamilton ισούται με (n 1)!/2 Η λύση του πρoβλήματος με εξαντλητικό τρόπο έχει πολυπλοκότητα O(n n ), είναι δηλαδή δυσχείριστο. Αν χρησιμοποιηθεί η μέθοδος του δυναμικού προγραμματισμού ή η μέθοδος της διακλάδωσης με περιορισμό, η πολυπλοκότητα προβλήματος παραμένει εκθετική: O(n 2 2 n ). Επίσης, το πρόβλημα έχει αντιμετωπισθεί με Γενετικούς Αλγορίθμους (genetic algorithms), με Νευρωνικά Δίκτυα (neural networks) και με Αλγόριθμους Μυρμηγκιών (ant colony optimization) 18

Προσεγγιστικοί αλγόριθμοι Επίλυση με ευριστικές υπο-βέλτιστες λύσεις Μέτρο σύγκρισης είναι η ποσότητα 1<L/L opt =a 6 51 36 1 2 61 68 68 51 2 70 35 57 70 60 56 3 5 21 4 19

Μέθοδος πλησιέστερου γείτονα 1. Θέτουμε i 1. Επιλέγουμε μία τυχαία κορυφή v 0 και θεωρούμε το μονοπάτι P i =v 0 2. Αν i=n, τότε C=Pn είναι ένας κύκλος Hamilton, αλλιώς αναζητείται η ακμή e με το μικρότερο βάρος ώστε να προσπίπτει σε μία από τις δύο τερματικές κορυφές του P i και αν είναι δυνατόν, να μη δημιουργείται κύκλος με τις κορυφές του P i. 3. Σχηματίζεται το μονοπάτι P i+1 =(P i e). Θέτουμε i i+1. Πηγαίνουμε στο βήμα 2. Έχει αποδειχθεί ότι α=( ln n +1)/2 και άρα για μεγάλα n έχει σημαντική απόκλιση από τη βέλτιστη λύση 20

Μέθοδος πλησιέστερου γείτονα Παράδειγμα Μέθοδος πλησιέστερου γείτονα (άπληστη) 3-6 βάρος 2 3-6-5 βάρος 2+36=38 3-6-5-4 βάρος 38+21=59 51 6 36 3-6-5-4-2 βάρος 59+70=129 3-6-5-4-2-1 βάρος 129+13=142 3-6-5-4-2-1-3 βάρος 142+51=193 13 1 2 61 68 60 68 51 2 57 70 35 70 56 5 21 4 3 21

Μέθοδος της μικρότερης εισαγωγής 1. Θέτουμε i 1. Επιλέγουμε μία τυχαία κορυφή v 0 και θεωρούμε το μονοπάτι C i =v 0 2. Αν i=n, τότε C=C n είναι ένας κύκλος Hamilton, αλλιώς αναζητείται μία κορυφή vi που δεν υπάρχει στον κύκλο C i και είναι πλησιέστερα προς ένα ζεύγος διαδοχικών κορυφών {w i,w i+1 } του C i. 3. Σχηματίζεται ο κύκλος C i+1 εισάγοντας την κορυφή v i μεταξύ των w i και w i+1. Θέτουμε i i+1. Πηγαίνουμε στο Βήμα 2. Στο βήμα 2 ελαχιστοποιείται η ποσότητα dist(w i,v i )+ dist(v i,w i+1 ) dist(w i, w i+1 ). Πρέπει να ισχύει η τριγωνική ανισότητα. Ισχύει ότι α 2, ενώ η πολυπλοκότητα του αλγορίθμου είναι O(n 3 ). 22

Μέθοδος της μικρότερης εισαγωγής Παράδειγμα Μέθοδος μικρότερης εισαγωγής (άπληστη) (3) (3,6,3) (3,6,5,3) (3,6,5,4,3) (3,6,1,5,4,3) (3,6,2,1,5,4,3) βάρος 192 13 1 2 61 51 68 60 68 51 6 2 70 35 57 36 70 56 5 21 4 3 23

Μέθοδος με Ελάχιστα Ζευγνύοντα Δένδρα 1. Βρίσκουμε ένα ελάχιστο ζευγνύον δένδρο Τ του G. 2. Εκτελούμε μία αναζήτηση κατά βάθος. [Αν από μία κορυφή v 0 προσπελασθεί η v 1, τότε η διαδικασία συνεχίζεται προς κάποια νέα γειτονική κορυφή της v 1 και όχι της v 0. Αν προσεγγισθεί κάποια κορυφή από όπου είναι αδύνατο η διαδικασία να συνεχισθεί σε μία μη ήδη επισκεφθείσα κορυφή, τότε η διαδικασία συνεχίζει από την προηγούμενη της τρέχουσας κορυφής με την ίδια τεχνική.] 3. Αν v i1, v i2,, v ij είναι η σειρά επίσκεψης των κορυφών του T από το Βήμα 2, τότε ο κύκλος Hamilton είναι v i1, v i2,, v ip, v i1 24

Μέθοδος με Ελάχιστα Ζευγνύοντα Μέθοδος με ελάχιστα ζευγνύοντα δένδρα Εφαρμόζοντας τον αλγόριθμο του Prim προκύπτει το ζευγνύον δένδρο που φαίνεται και ακολούθως με μία αναζήτηση κατά βάθος λαμβάνεται το αποτέλεσμα Ο(m+nlogn) Δένδρα Παράδειγμα Ι 25

Μέθοδος με Ελάχιστα Ζευγνύοντα Δένδρα Παράδειγμα ΙΙ Με αφετηρία του dfs την κορυφή 3 (3,1,2,5,4,6,3) βάρος 212 Με αφετηρία του dfs την κορυφή 1 (1,2,3,5,4,6,1) βάρος 237 κλπ 6 1 2 51 2 68 35 57 3 5 21 4 26

Μέθοδος με Διαδοχικές ανταλλαγές ακμών 1. Θεωρείται ένας Hamiltonian κύκλος C=(v 1,v 2,,v n,v 1 ) 2. Για κάθε i,j, τέτοια ώστε 1<i+1<j<n, λαμβάνεται ένας νέος Hamiltonian κύκλος C i,j =(v 1,v 2,,v i,v j,v j-1,,v i+1, v j+1,v j+2,,v n,v 1 ) διαγράφοντας τις ακμές (v i,v i+1 ) και (v j,v j+1 ) και προσθέτοντας τις ακμές (v i,v j ) και (v i+1,v j+1 ). 3. Αν για κάποια i,j προκύψει w(v i,v j )+w(v i+1,v j+1 )<w(v i,v i+1 )+w(v j,v j+1 ) τότε θέτουμε C=C i,j. Πηγαίνουμε στο Βήμα 2. 27

Μέθοδος με Διαδοχικές ανταλλαγές ακμών Παράδειγμα Μέθοδος με διαδοχικές ανταλλαγές ακμών (3,4,5,6,1,2,3) βάρος 237 (3,6,5,4,1,2,3) βάρος 210 (3,6,5,4,2,1,3) βάρος 193 (3,6,1,2,4,5,3) βάρος 192 Ο τελευταίος κύκλος δεν βελτιώνεται περισσότερο αλλά μπορεί να βρεθεί μικρότερος κύκλος με άλλη κορυφή ως αφετηρία. 6 51 36 13 1 2 61 68 60 68 51 2 57 70 35 70 56 5 21 4 28 3

Πρακτική εύρεση κάτω φράγματος Μέθοδος πρακτικής εύρεσης κάτω ορίου σε πρόβλημα TSP: Θεωρούμε ελάχιστο ζευγνύον δένδρο σε γράφο G v με βάρος w(t) Θεωρούμε δύο ακμές προσπίπτουσες στο v έτσι ώστε το άθροισμα των βαρών τους να είναι ελάχιστο 29

Πρακτική εύρεση κάτω φράγματος Παράδειγμα 6 1 13 2 51 2 35 5 21 4 56 3 Aν v=5, τότε w(t)=122, 122+21+35=178 =κάτω φράγμα 30

Το μέγεθος του TSP Ι 100,000 = 10 5 άνθρωποι σε ένα γήπεδο 5,500,000,000 = 5.5 10 9 άνθρωποι στη γη 1,000,000,000,000,000,000,000 = 10 21 λίτρα νερού στη γη 1010 years = 3 10 17 seconds η ηληκία του σύμπαντος 31

Το μέγεθος του TSP ΙΙ # of cities n possible solutions (n-1)! = # of cyclic permutations 10 181,000 20 10,000,000,000,000,000 = 10 16 50 100,000,000,000,000,000,000,000,000,000,000, 000,000,000,000,000,000,000,000,000,000= 10 62 32

Εφαρμογή TSP για πόλεις των ΗΠΑ Το 1954 λύθηκε το πρόβλημα TSP για 49 πόλεις των ΗΠΑ George Dantzig, Ray Fulkerson, Selmer Johnson Το 1954 λύθηκε το πρόβλημα TSP για 13,509 πόλεις των ΗΠΑ με πληθυσμό άνω των 500 κατοίκων 33

Εφαρμογή TSP στην Ευρώπη Εφαρμογή TSP για 100 πόλεις της Ευρώπης Το μήκος του βέλτιστου κύκλου είναι 21134 km. Εφαρμογή TSP για 120 πόλεις της Γερμανίας Το μήκος του βέλτιστου κύκλου είναι 6942 km. Πλήθος λύσεων (179 ψηφία) 34

Άπειροι γράφοι Οι κορυφές είναι σημεία του επιπέδου με ακέραιες συντεταγμένες, ενώ οι ακμές ενώνουν κορυφές σε απόσταση 1 Σε άπειρο γράφο δεν υπάρχει κύκλωμα Euler ή κύκλος Hamilton, αλλά υπάρχουν τα αντίστοιχα μονοπάτια Μονοπάτι Euler είναι το μονοπάτι που είναι άπειρο προς τις δύο κατευθύνσεις (two-way) και περνά από όλες τις ακμές. Ένα Hamiltonian μονοπάτι άπειρο και προς τις δύο κατευθύνσεις είναι ένας 2-παράγοντας. Μονοδρομικό (one-way) μονοπάτι Euler/Hamilton είναι το μονοπάτι που ξεκινά από μία κορυφή και επεκτείνεται επ άπειρο (space filling curve) 35

Παράδειγμα 36

Μαγικά τετράγωνα Γραμμές, στήλες και διαγώνιοι έχουν ίσο άθροισμα 16 3 2 13 5 10 11 8 9 6 7 12 4 15 14 1 23 1 2 20 19 22 16 9 14 4 5 11 13 15 21 8 12 17 10 18 7 25 24 6 3 37

Αλγόριθμοι μαγικών τετραγώνων Αλγόριθμοι κατασκευής μαγικών τετραγώνων (περιττής τάξης): Διαδοχική τοποθέτηση αριθμών των 1,2,... σε επάνω δεξιά κελί, αρχίζοντας από το μεσαίο επάνω κελί Προσθέτοντας σε κάθε θέση του βασικού μαγικού τετραγώνου τον ίδιο τυχαίο αριθμό Αντικαθιστώντας τους αριθμούς [1..9] με τους 9 διαδοχικούς περιττούς αριθμούς [3..17] Μέθοδος Bachet (με ρόμβο) με άλλα τεχνάσματα 38

Μέθοδος Bachet Παράδειγμα 5 1 2 3 4 9 10 8 14 15 20 7 13 19 25 6 12 18 24 11 17 23 16 22 21 3 16 9 22 15 20 8 21 14 2 7 25 13 1 19 24 12 5 18 6 11 4 17 10 23 39

Μαγικοί γράφοι - Παράδειγμα Μαγικός λέγεται ο γράφος όπου το άθροισμα των επιγραφών των ακμών που προσπίπτουν σε όλες τις κορυφές είναι ίσο 8 1 6 3 5 7 4 2 9 Κ 3,3 40

Μαγικοί γράφοι Θεώρημα: αν ένας διμερής γράφος μπορεί να αποσυντεθεί σε 2 κύκλους Hamilton, τότε ο γράφος είναι μαγικός. Αντιμαγικός λέγεται ο γράφος όπου τα αθροίσματα των επιγραφών των ακμών που προσπίπτουν σε όλες τις κορυφές είναι διάφορα μεταξύ τους. Πλήθος μαγικών αντικειμένων (ομόκεντρα τετράγωνα, τετράγωνα με ντόμινο, πολύγωνα κλπ) 41

Περίπατος του Ιππότη/αλόγου Ι Σε σκακιέρα 8x8, είναι δυνατόν το άλογο να ακολουθήσει ένα μονοπάτι που να επισκέπτεται μία φορά όλα τα τετράγωνα ; 42

Περίπατος του Ιππότη/αλόγου ΙΙ Υπάρχουν δισεκατομμύρια λύσεις-μονοπάτια, εκ των οποίων κλειστά είναι τα 122.οοο.οοο. Δόθηκαν λύσεις στο πρόβλημα κατά τον 9ο αιώνα 1759: Η Ακαδημία Επιστημών του Βερολίνου θέσπισε βραβείο 4000 φράγκων για τη λύση του προβλήματος. Το πρόβλημα λύθηκε το 1766 από τον Euler Το βραβείο δεν δόθηκε στον Euler επειδή ήταν Διευθυντής των Μαθηματικών στην Ακαδημία και δεν ήταν επιλέξιμος. [Αποσύρθηκε από τη θέση και την κατέλαβε ο Lagrange]. 43

Περίπατος του Ιππότη/αλόγου ΙΙΙ Υπάρχουν δισεκατομμύρια λύσεις-μονοπάτια, εκ των οποίων κλειστά είναι τα 122.οοο.οοο. Δόθηκαν λύσεις στο πρόβλημα κατά τον 9ο αιώνα 44

Περίπατος του Ιππότη - Euler Μαγικό τετράγωνο του Euler 30 47 1 48 31 50 51 46 3 2 49 32 33 62 15 16 19 34 63 14 17 18 35 64 260 260 260 Ποιος είναι ο μαγικός αριθμός; 52 29 4 45 20 61 36 13 260 5 44 25 56 9 40 21 60 260 28 53 8 41 24 57 12 37 260 n(n + 1) 16 43 6 55 26 39 10 59 22 54 27 42 7 58 23 38 11 260 260 260 260 260 260 260 260 260 260 64 65) 16 45

Περίπατος του Ιππότη/αλόγου Λύση DeMoivre 34 49 22 11 36 39 24 1 21 48 9 32 19 46 10 33 20 47 8 31 35 62 51 58 55 6 50 57 54 61 52 17 23 38 63 56 59 44 12 25 60 53 64 29 37 2 41 14 27 4 40 13 26 3 42 15 7 18 45 30 5 16 43 28 Λύση DeMoivre - Κίνηση περιμετρικά 46

Στιγμιαία παραφροσύνη I 4 κύβοι που περιέχουν όλα τα 4 χρώματα (κόκκινο, μπλε, πράσινο και άσπρο). Ο στόχος είναι να βάλουμε τον έναν κύβο επάνω στον άλλο έτσι ώστε κάθε πλευρά (μπροστά πίσω αριστερά δεξιά) να έχει και τα 4 χρώματα. Η κατανομή χρωμάτων είναι μοναδική σε κάθε κύβο. 24 24 24 3=41472 47

Στιγμιαία παραφροσύνη II Κάθε κύβος αναπαρίσταται από ένα γράφο με 4 κορυφές (μία για κάθε χρώμα) 1 2 3 4 1 2 3 4 48

Στιγμιαία παραφροσύνη III 1 4 3 1 2 3 2 4 1 3 2 4 4 1 3 2 2 4 1 3 Παίρνουμε την ένωση των 4 γράφων. Βρίσκουμε 2 Hamiltonian κύκλους ξένους ως προς τις ακμές και με διακριτές επιγραφές ακμών. Οι κύκλοι αυτοί αντιπροσωπεύουν την εμπρόσθια και την οπίσθια όψη του παραλληλεπιπέδου 49

Σημείωμα Αναφοράς Copyright, Ιωάννης Μανωλόπουλος. «Αλγοριθμική Θεωρία Γράφων. Μονοπάτια και Κύκλοι (Hamiltonian)». Έκδοση: 1.0. Θεσσαλονίκη 2014. Διαθέσιμο από τη δικτυακή διεύθυνση: http://eclass.auth.gr/courses/ocrs264/. 50

Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά - Παρόμοια Διανομή [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. [1] http://creativecommons.org/licenses/by-sa/4.0/

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Τέλος ενότητας Επεξεργασία: Ανδρέας Κοσματόπουλος Θεσσαλονίκη, Μάρτιος 2015

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ Σημειώματα

Σημείωμα Ιστορικού Εκδόσεων Έργου Το παρόν έργο αποτελεί την έκδοση 1.0. 54

Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: το Σημείωμα Αναφοράς το Σημείωμα Αδειοδότησης τη δήλωση Διατήρησης Σημειωμάτων το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους.