Θεωρία & Αλγόριθμοι Γράφων Μονοπάτια & Κύκλοι (Hamilton)

Παρουσίαση με θέμα: "Θεωρία & Αλγόριθμοι Γράφων Μονοπάτια & Κύκλοι (Hamilton)"— Μεταγράφημα παρουσίασης:

1 Θεωρία & Αλγόριθμοι Γράφων Μονοπάτια & Κύκλοι (Hamilton)
Data Science & Engineering Lab

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

3 Data Science & Engineering Lab
The Icosian Game Data Science & Engineering Lab

4 (η ταξιδιωτική εκδοχή του!)
Data Science & Engineering Lab

5 Δωδεκάεδρο και Hamiltonian κύκλος
Data Science & Engineering Lab Data Engineering Lab

6 Data Science & Engineering Lab
Hamiltonian κύκλος Κάθε Hamiltonian κύκλος είναι ένας 2-παράγοντας, επειδή είναι ένας ζευγνύων υπογράφος που είναι και τακτικός βαθμού 2. Κάθε 2-παράγοντας δεν είναι κατ΄ανάγκη Hamiltonian κύκλος. Hamiltonian κύκλος C=(v1,v2,v3,v4,v8,v7,v6,v5,v1) 2-παράγοντας (όχι Hamiltonian) οι συνιστώσες: (v1,v2,v6,v5,v1) και (v3,v4,v8,v7,v3) Data Science & Engineering Lab

7 Data Science & Engineering Lab
Hamiltonian γράφος Eξιχνιάσιμος-traceable (έχει Hamiltonian μονοπάτι) Oμογενώς-homogenously εξιχνιάσιμος (εξιχνιάσιμος από κάθε κορυφή) Ο υπο-Hamiltonian γράφος δεν είναι Hamiltonian αλλά ο γράφος G-v είναι Hamiltonian για κάθε κορυφή v του G Συνδεδεμένος κατά Hamilton (δύο οποιεσδήποτε κορυφές συνδέονται με ένα Hamiltonian μονοπάτι) Κάθε γράφος συνδεδεμένος κατά Hamilton με αριθμό κορυφών ίσο ή μεγαλύτερο του 3, είναι Hamiltonian. Το αντίθετο δεν ισχύει. Data Science & Engineering Lab

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

9 Hamiltonian θεωρήματα
Θεώρημα: κάθε απλός γράφος με n≥3 και d(x)+d(y)≥n για δύο μη γειτονικές κορυφές x,y είναι Hamiltonianian, αν ο γράφος 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. Data Science & Engineering Lab

10 Data Science & Engineering Lab
Κλείσιμο γράφου G Αν c1(G), c2(G) είναι δύο κλεισίματα του G, τα οποία προήλθαν με διαφορετικό τρόπο, τότε c1(G)=c2(G) c(G) Data Science & Engineering Lab

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

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

13 Αλγόριθμος εύρεσης Hamiltonian κύκλων
ΑB ΒC CD CE DE EA EB ED B C D E A ABC BCD BCE CEA CEB CED CDE DEA DEB EAB EBC Β Α C E D ABCED ABCDE BCDEA CDEAB DEABC EABCD M4 Γινόμενο Hadamard Πολυπλοκότητα ? Data Science & Engineering Lab

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

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

16 Data Science & Engineering Lab
Παράδειγμα Data Science & Engineering Lab

17 Data Science & Engineering Lab
Μαγικά τετράγωνα Γραμμές, στήλες και διαγώνιοι έχουν ίσο άθροισμα 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 Data Science & Engineering Lab

18 Αλγόριθμοι μαγικών τετραγώνων
Αλγόριθμοι κατασκευής μαγικών τετραγώνων (περιττής τάξης): Διαδοχική τοποθέτηση αριθμών των 1,2,... σε επάνω δεξιά κελί, αρχίζοντας από το μεσαίο επάνω κελί Προσθέτοντας σε κάθε θέση του βασικού μαγικού τετραγώνου τον ίδιο τυχαίο αριθμό Αντικαθιστώντας τους αριθμούς [1..9] με τους 9 διαδοχικούς περιττούς αριθμούς [3..17] Μέθοδος Bachet (με ρόμβο) με άλλα τεχνάσματα… 8 1 6 3 5 7 4 9 2 17 3 13 7 11 15 9 19 5 Data Science & Engineering Lab

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

20 Data Science & Engineering Lab
Μαγικοί γράφοι Μαγικός λέγεται ο γράφος όπου το άθροισμα των βαρών των ακμών που προσπίπτουν σε όλες τις κορυφές είναι ίσο Κ4,4 Κ3,3 Data Science & Engineering Lab

21 Μαγικοί-αντιμαγικοί γράφοι
Θεώρημα: αν ένας διμερής γράφος μπορεί να αποσυντεθεί σε 2 Hamiltonian κύκλους, τότε ο γράφος είναι μαγικός. Αντιμαγικός λέγεται ο γράφος όπου τα αθροίσματα των βαρών των ακμών που προσπίπτουν σε όλες τις κορυφές είναι διάφορα μεταξύ τους. Πλήθος μαγικών αντικειμένων (ομόκεντρα τετράγωνα, τετράγωνα με ντόμινο, πολύγωνα κλπ) Data Science & Engineering Lab

22 Data Science & Engineering Lab
Περίπατος του ιππότη/αλόγου Σε σκακιέρα 8x8, είναι δυνατόν το άλογο να ακολουθήσει ένα μονοπάτι που να επισκέπτεται μία φορά όλα τα τετράγωνα ? Data Science & Engineering Lab

23 Data Science & Engineering Lab
Περίπατος του ιππότη/αλόγου (2) 1759: Η Ακαδημία Επιστημών του Βερολίνου θέσπισε βραβείο 4000 φράγκων για τη λύση του προβλήματος. Το πρόβλημα λύθηκε το 1766 από τον Euler Το βραβείο δεν δόθηκε στον Euler επειδή ήταν Διευθυντής των Μαθηματικών στην Ακαδημία και δεν ήταν επιλέξιμος. [Αποσύρθηκε από τη θέση και την κατέλαβε ο Lagrange]. Μία διαδρομή αλόγου Data Science & Engineering Lab

24 Data Science & Engineering Lab
Περίπατος του ιππότη/αλόγου (3) Υπάρχουν δισεκατομμύρια λύσεις-μονοπάτια, εκ των οποίων κλειστά είναι τα 122.οοο.οοο. Δόθηκαν λύσεις στο πρόβλημα κατά τον 9ο αιώνα Data Science & Engineering Lab

25 Data Science & Engineering Lab
Περίπατος του ιππότη/αλόγου (4) Data Science & Engineering Lab

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

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

28 Στιγμιαία Παραφροσύνη
2424 243=41472 4 κύβοι που περιέχουν όλα τα 4 χρώματα (κόκκινο, μπλε, πράσινο και άσπρο). Ο στόχος είναι να βάλουμε τον έναν κύβο επάνω στον άλλο έτσι ώστε κάθε πλευρά (μπροστά – πίσω – αριστερά – δεξιά) να έχει και τα 4 χρώματα. Η κατανομή χρωμάτων είναι μοναδική σε κάθε κύβο. Data Science & Engineering Lab

29 Στιγμιαία Παραφροσύνη (2)
Κάθε κύβος αναπαρίσταται από ένα γράφο με 4 κορυφές (μία για κάθε χρώμα) 1 2 3 4 1 2 3 4 Data Science & Engineering Lab

30 Στιγμιαία Παραφροσύνη (3)
Παίρνουμε την ένωση των 4 γράφων. Βρίσκουμε 2 Hamiltonian κύκλους ξένους ως προς τις ακμές και με διακριτές επιγραφές ακμών. Οι κύκλοι αυτοί αντιπροσωπεύουν την εμπρόσθια και την οπίσθια όψη του παραλληλεπιπέδου 2 1 3 4 3 2 1 4 Data Science & Engineering Lab