Αλγόριθμοι ελαχιστοποίησης κατανάλωσης ενέργειας σε ασύρματα αδόμητα δίκτυα

Ασύρματα δίκτυα τύπου ad hoc Τοπικά (LAN) ή άλλα μικρά δίκτυα με ασύρματες συνδέσεις οι συσκευές αποτελούν μέρος του δικτύου μόνο όσο επικοινωνούν με αυτό ή όσο είναι τοπικά κοντά στο δίκτυο

Ασύρματα δίκτυα τύπου ad hoc

Ασύρματα δίκτυα τύπου ad hoc Δε διαθέτουν ενσύρματη υποδομή Το δίκτυο φτιάχνεται από κόμβους ασύρματες συσκευές που λειτουργούν με περιορισμένη ενέργεια (π.χ., με μπαταρίες) και μπορούν να στέλνουν και να λαμβάνουν μηνύματα μέσω αμφικατευθυνόμενων κεραιών Η ύπαρξη και η λειτουργία των δικτύων αυτών σχετίζεται άμεσα με το πόσο θα κρατήσει η ενέργεια των κόμβων Αυτό τα κάνει ενδιαφέροντα λόγω πολλών εφαρμογών που έχουν τα χρησιμοποιούμε όπου δε μπορούμε να έχουμε καλώδια και για συλλογή και επεξεργασία δεδομένων και αρκούν κόμβοι με μπαταρίες Από την άλλη πλευρά το θέμα της αποδοτικής διαχείρισης της ενέργειας που υπάρχει στο δίκτυο είναι δύσκολο και επομένως ενδιαφέρον

Ασύρματα δίκτυα τύπου ad hoc

Ασύρματα δίκτυα τύπου ad hoc Τηλεφωνικές συσκευές (κινητές, ασύρματες) Ασύρματες συσκευές πολυμέσων (ακουστικά, ηχεία, μικρόφωνα) Φορητοί υπολογιστές (laptops, desktop) Ασύρματες περιφερειακές συσκευές (πληκτρολόγια, mouse) Περιφερειακά τοπικού δικτύου (LAN Local Area Network) (εκτυπωτές, fax) PDAs - Personal Digital Assistants (palm top/pilot) Ψηφιακές φωτογραφικές μηχανές

Ασύρματα δίκτυα τύπου ad hoc: παραδείγματα/εφαρμογές Αίθουσα Σχολείο: Ad hoc δίκτυο μεταξύ των PDAs των φοιτητών και του σταθμού εργασίας του καθηγητή Μουσείο: Ad hoc δίκτυο μεταξύ των PDAs των επισκεπτών και του φορητού υπολογιστή του ξεναγού Χώροι μεγάλης έκτασης Εταιρεία/Πανεπιστημιούπολη: Οι εργαζόμενοι μετακινούνται σε μεγάλη περιοχή με PDAs, laptops και κινητά τηλέφωνα Αρχαιολογικός/εκθεσιακός χώρος: Οι επισκέπτες μετακινούνται σε μεγάλη περιοχή με PDAs, laptops, κινητά τηλέφωνα, ηλεκτρονικά βραχιολάκια π.χ. Virtual Guide XENAGOS - http://www.virtualguide.gr/greek/index.html Μετακινούμενοι στρατιώτες με υπολογιστικές συσκευές (π.χ., ρολόγια, GPS, κτλ) που τις φοράνε Μπορούν να πραγματοποιήσουν υποκλοπές, επιθέσεις denial-of-service και impersonation Εμπορικά κέντρα, εστιατόρια, καφέ, αεροδρόμια Οι πελάτες ξοδεύουν μέρος της μέρας τους σε δικτυωμένο εμπορικό κέντρο με ποικιλία καταστημάτων, καφέ, εστιατορίων, (m-commerce)

Το σύστημα ΜΤΑ στο Ντουμπάι ΜΤΑ: Mobile Tourist Agent Σύστημα παροχής τουριστικών πληροφοριών είτε για την πόλη είτε για το χώρο διαμονής Οποιαδήποτε κινητή συσκευή ή PDA χρησιμοποιείται για τη λήψη πληροφοριών από έναν server Μέσω διαδραστικού χάρτη της πόλης δίνονται πληροφορίες για ξενοδοχεία, εστιατόρια, θέατρα, πρεσβείες, εντοπισμό θέσης, συνάλλαγμα, καιρό, Υπάρχει και απλούστερη έκδοση που εκτελείται από υπολογιστή και δεν απαιτεί εγκατάσταση στο κινητό

Ασύρματα δίκτυα αισθητήρων «έξυπνη σκόνη» (smart dust) Η εφαρμογή αναπτύχθηκε αρχικά από το πανεπιστήμιο του Berkeley με χρηματοδότηση του DAPRA με υλοποίηση ασύρματου δικτύου Αισθητήρων μεγάλης κλίμακας και ονομάστηκε Smart Dust (έξυπνη σκόνη) Το Smart Dust προοριζόταν αρχικά για τη εξ αποστάσεως παρακολούθηση εχθρικών στρατευμάτων από το στρατό μέσω χιλιάδων ασύρματων μικροαισθητήρων motes διασκορπισμένων στο πεδίο της μάχης Το Smart Dust βρήκε πληθώρα εφαρμογών όπως για παρακολούθηση των ατμοσφαιρικών και καιρικών συνθηκών Ενδιαφέρουσα είναι και η βιοτεχνολογική προσέγγιση τις ιδέας με motes από χημικά συστατικά αντί για ηλεκτρονικά κυκλώματα

Ασύρματα δίκτυα αισθητήρων «έξυπνη σκόνη» (smart dust) Χιλιάδες έως εκατομμύρια μικροί αισθητήρες σχηματίζουν ασύρματα δίκτυα που οργανώνονται μόνα τους (χωρίς κεντρικό συντονισμό) Οι κόμβοι είναι μικρές συσκευές που λειτουργούν με μπαταρίες και επικοινωνούν με έναν ισχυρότερο σταθμό βάσης ο οποίος συνδέεται με εξωτερικό δίκτυο

Ασύρματα δίκτυα αισθητήρων «έξυπνη Επικοινωνία αισθητήρα σταθμό βάσης: π.χ. δεδομένα αισθητήρα Επικοινωνία σταθμού βάσης αισθητήρα, π.χ. συγκεκριμένες απαιτήσεις Σταθμός βάσης όλους τους αισθητήρες, π.χ. πληροφορίες δρομολόγησης, ερωτήσεις ή επαναπρογραμματισμός του δικτύου σκόνη» (smart dust)

WSN για την έγκαιρη ανίχνευση British Petroleum προβλημάτων σε αγωγούς WSN για μέτρηση μη φυσιολογικών δονήσεων κατά τη διάρκεια γεωτρήσεων ώστε να προειδοποιούνται οι μηχανικοί για πιθανή επερχόμενη βλάβη του εξοπλισμού WSN για την εξ αποστάσεως παρακολούθηση του επιπέδου πληρότητας των δεξαμενών υγραερίου Με χρήση υπερηχητικού αισθητήρα στη δεξαμενή μετριέται η πληρότητα και στη συνέχεια εκπέμπεται μέσω δορυφόρου χαμηλής τροχιάς σε ένα σταθμό βάσης με αποτέλεσμα να ενημερώνονται οι πελάτες πριν τελειώσουν τα αποθέματα τους Η επίτευξη αντίστοιχων αποτελεσμάτων με ενσύρματα μέσα θα ήταν αδύνατη

Zebranet για παρακολούθηση άγριας ζωής στην Κένυα WSN που ανέπτυξε το Πανεπιστήμιο Princeton το 2005 (www.princeton.edu/mrm/zebranet.htm) για την παρακολούθηση της μετανάστευσης, της συνύπαρξης με άλλα είδη και της νυχτερινής συμπεριφοράς πληθυσμών ζέβρας στην Αφρική Οι ζέβρες φέρουν αισθητήρες Περιβαλλοντικές δυσκολίες (νερό, δαγκώματα) Η θέση GPS λαμβάνεται κάθε 3 λεπτά Λεπτομερής πληροφορία λαμβάνεται κάθε ώρα (ένδειξη για ήλιο/σκιά, ταχύτητα) Κινούμενος σταθμός βάσης που δεν είναι συνεχώς διαθέσιμος

WSN για την παρακολούθηση της καταπόνησης σιδηροτροχιών σε γέφυρα 10 κόμβοι αισθητήρες Εύρος μετάδοσης: 100 m Λειτουργία με χαμηλή ισχύ που αυξάνεται όταν εμφανίζεται τραίνο Οι ρυθμοί καταπόνησης καταγράφονται στους κόμβους σε Flash μνήμη Ο σταθμός βάσης συλλέγει τα δεδομένα περιοδικά Γέφυρα Ben Franklin, Philadelphia,US

Υποθαλάσσιο ακουστικό WSN Υψηλή εξασθένιση σήματος Πολλά σφάλματα στη μετάδοση Προσωρινές απώλειες σύνδεσης Καταστροφή αισθητήρων Πρόβλημα με μπαταρίες (δε μπορεί να χρησιμοποιηθεί ηλιακή ενέργεια) Περιορισμοί στο εύρος ζώνης J. M. Daladier, Διδακτορική Διατριβή, University of South Florida (2009)

Έξυπνα σπίτια

WSN στο ανθρώπινο σώμα (Body Sensor Networks - BSN) Οι σύγχρονες υπηρεσίες τηλεϊατρικής στοχεύουν στο διαρκή εξ αποστάσεως έλεγχο της κατάστασης της υγείας του ασθενούς μέσω της συλλογής, επεξεργασίας, αξιολόγησης, αξιοποίησης και αποθήκευσης κατάλληλης πληροφορίας

CodeBlue: Wireless Sensors for Medical Care (Harvard) WSN για παροχή ενδο/εξω-νοσοκομειακής επείγουσας περίθαλψης και αποκατάστασης ασθενών

WSN για αυτόματο έλεγχο/ επίβλεψη σε μουσεία (Πορτογαλία) L.M. Rodríguez Peralta, L.M.P.L. Brito, B.A.T. Gouveia, D.J.G. Sousa, & C.S. Alves.Automatic monitoring and control of museums environment based on Wireless Sensor Networks. EJSE Special Issue: Wireless Sensor Networks and Practical Applications, pp. 12-34, 2010. http://www.ejse.org/archives/fulltext/2010/special/paper02.pdf

WSN για συλλογικά μουσικά δρώμενα Santiago J. Barro, TiagoM. Fernandez-Carames, and Carlos J. Escudero. Enabling Collaborative Musical Activities through Wireless Sensor Networks. International Journal of Distributed Sensor Networks, Vol. 2012, Article ID 314078, 13 pages, Hindawi Publishing Corporation, 2012. http://www.hindawi.com/journals/ijdsn/2012/314078/

WSN για μελέτη μαθησιακών διαδικασιών σε εξωτερικό περιβάλλον Tom Adam Frederic Anderson, Yean-Fu Wen. An Approach to Learning Research with a Wireless Sensor Network in an Outdoor Setting. CoRR abs/0805.0560 (2008). http://arxiv.org/ftp/arxiv/papers/0805/0805.0560.pdf

Ασύρματα δίκτυα τύπου ad hoc Ευρεία ανάπτυξη λόγω ποικίλων εφαρμογών Έλλειψη ενσύρματης δικτυακής υποδομής Ασύρματη επικοινωνία μεταξύ κόμβων Χρήση αμφικατευθυνόμενων κεραιών Επικοινωνία μέσω ανάθεσης (περιορισμένης) ισχύος μετάδοσης σε κάθε κόμβο Χαρακτηριστικά Περιορισμένη διάρκεια ζωής κόμβων/δικτύου Περιορισμένες υπολογιστικές δυνατότητες

Μοντέλο ασύρματης επικοινωνίας Κάθε κόμβος εκπέμπει χρησιμοποιώντας μια (περιορισμένη) ισχύ μετάδοσης Η ισχύς του σήματος μειώνεται σύμφωνα με τη σχέση 1/r a P γ d(s,t) a P: ισχύς του εκπομπού γ: κατώφλι του παραλήπτη για να μπορεί να ανιχνεύσει το σήμα (γ=1) a: σταθερά που εξαρτάται από το περιβάλλον

Επικοινωνία Απαιτούμενη ισχύς ανάλογη του r α

Σχήματα επικοινωνίας Ένας-σε-όλους (broadcasting) Όλοι-σε-όλους (gossiping) Ένας-σε-πολλούς (multicasting) Ομαδική επικοινωνία (group communication)

Μοντέλο ad hoc δικτύων G = (V,E): πλήρες κατευθυνόμενο γράφημα c : E R + συνάρτηση κόστους στις ακμές Συνήθως συμμετρική: c(u,v) = c(v,u) c(u,v): υποδηλώνει απαιτούμενη ενέργεια για την επικοινωνία από την κορυφή u στην κορυφή v c1 c3 c 3 c2 c 1 c 2 30

Γράφημα μετάδοσης w: V R + ανάθεση βαρών στις κορυφές G w (V w E w ): κατευθυνόμενο γράφημα E w = { (u,v) E και c(u,v) w(u)} 6 1 9 9 2 4 5 7 31

Προβλήματα ελαχιστοποίησης ενέργειας Δεδομένα G = (V,E): πλήρες κατευθυνόμενο γράφημα c: E R + συνάρτηση κόστους στις ακμές Ζητούμενο w: V R + ανάθεση βαρών στις κορυφές έτσι ώστε: Το γράφημα μετάδοσης G w να διατηρεί μια ιδιότητα συνεκτικότητας και το συνολικό βάρος να γίνεται ελάχιστο 32

Γεννητικό δέντρο (Spanning Tree) Ένα γεννητικό δέντρο για ένα γράφημα G είναι ένα υπογράφημα του G που είναι δέντρο (δηλ., δεν περιέχει κύκλους) και περιέχει όλες τις κορυφές του G Ένα γεννητικό δέντρο για κάθε γράφημα G με n κορυφές έχει n-1 ακμές G

Γεννητικό δέντρο (Spanning Tree) Ένα γεννητικό δέντρο για ένα γράφημα G είναι ένα υπογράφημα του G που είναι δέντρο (δηλ., δεν περιέχει κύκλους) και περιέχει όλες τις κορυφές του G Ένα γεννητικό δέντρο για κάθε γράφημα G με n κορυφές έχει n-1 ακμές G X

Ελάχιστο γεννητικό δέντρο (Minimum Spanning Tree) Ένα ελάχιστο γεννητικό δέντρο για ένα γράφημα G με βάρη στις ακμές είναι ένα υπογράφημα του G που είναι δέντρο (δηλ., δεν περιέχει κύκλους), περιέχει όλες τις κορυφές του G και έχει ελάχιστο βάρος E G Α 2 6 6 8 4 Β 1 D 8 9 C 5

Ελάχιστο γεννητικό δέντρο (Minimum Spanning Tree) E Ένα ελάχιστο γεννητικό δέντρο για ένα γράφημα G με βάρη στις ακμές είναι ένα υπογράφημα του G που είναι δέντρο (δηλ., δεν περιέχει κύκλους), περιέχει όλες τις κορυφές του G και έχει ελάχιστο βάρος G Α 2 6 8 6 4 Β E W=26 Α 8 6 Β E 2 W=22 Α 6 Β 7 D 8 9 C 5 7 5 D C D 9 C 5

Ελάχιστο γεννητικό δέντρο (Minimum Spanning Tree) Ένα ελάχιστο γεννητικό δέντρο για ένα γράφημα G με βάρη στις ακμές είναι ένα υπογράφημα του G που είναι δέντρο (δηλ., δεν περιέχει κύκλους), περιέχει όλες τις κορυφές του G και έχει ελάχιστο βάρος E 7 G Α 2 6 6 8 4 8 D C 9 5 Β E D 8 W=24 Α 4 7 5 C Β Για να βρούμε το MST πρέπει να βρούμε κάθε πιθανό ST και να διαλέξουμε αυτό με το μικρότερο βάρος???

Το πρόβλημα εύρεσης ελάχιστου γεννητικού δένδρου MST: Minimum Spanning Tree Δεδομένα: Συνεκτικό, μη κατευθυνόμενο γράφημα, με βάρη στις ακμές Ζητούμενο: Υπογράφημα χωρίς κύκλους (δηλ., δέντρο) που συνδέει όλες τις κορυφές (= γεννητικό) και έχει ελάχιστο βάρος Βάρος υπογραφήματος = άθροισμα βαρών των ακμών του Ένα γράφημα μπορεί να έχει πολλά γεννητικά δέντρα που το καθένα έχει διαφορετικό βάρος Ένα ελάχιστο γεννητικό δέντρο ενός γραφήματος έχει μικρότερο βάρος από κάθε άλλο γεννητικό δέντρο για το γράφημα αυτό

Το πρόβλημα εύρεσης ελάχιστου γεννητικού δένδρου

Αλγόριθμοι εύρεσης MST: πρακτικό ενδιαφέρον Σενάριο 1: Οι κορυφές αντιστοιχούν σε περιοχές σε αρχαιολογικό χώρο και τα βάρη σε αποστάσεις Ζητούμενο: να περάσουν οι επισκέπτες από όλες τις περιοχές περπατώντας όσο το δυνατόν λιγότερο

Αλγόριθμοι εύρεσης MST: πρακτικό ενδιαφέρον Σενάριο 2: Οι κορυφές αντιστοιχούν σε αισθητήρες που συλλέγουν πληροφορίες σε κάποιο χώρο και τα βάρη στην ακτίνα εκπομπής τους Ζητούμενο: να κρατήσω ενεργοποιημένους τους αισθητήρες χρησιμοποιώντας τα φθηνότερα μονοπάτια για επικοινωνία ώστε να υπάρχει συνεκτικότητα στο WSN και να ελαχιστοποιείται η συνολική ενέργεια που καταναλώνεται

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο T (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 EC=4 AC=4 BC=5 AB=6 BE=6 DE=7 AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 (1) EC=4 AC=4 BC=5 AB=6 BE=6 DE=7 AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 (1) EC=4 (2) AC=4 BC=5 AB=6 BE=6 DE=7 AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 (1) EC=4 (2) AC=4 (κύκλος) BC=5 AB=6 BE=6 DE=7 AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 (1) EC=4 (2) AC=4 (κύκλος) BC=5 (3) AB=6 BE=6 DE=7 AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 (1) EC=4 (2) AC=4 (κύκλος) BC=5 (3) AB=6 (κύκλος) BE=6 (κύκλος) DE=7 AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάταξε όλες τις ακμές σε αύξουσα σειρά ως προς το βάρος τους Βήμα 2: Διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν περισσότερες από μία, διάλεξε τυχαία) Βήμα 3: Από τις ακμές που μένουν, διάλεξε αυτή με τα μικρότερο βάρος που δε σχηματίζει κύκλο και πρόσθεσέ την στο T Βήμα 4: Επανάλαβε το Βήμα 3 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ. μέχρι να συνδεθούν όλες οι κορυφές ΑΕ=2 (1) EC=4 (2) AC=4 (κύκλος) BC=5 (3) AB=6 (κύκλος) BE=6 (κύκλος) DE=7 (4) AD=8 BD=8 CD=9

O αλγόριθμος του Kruskal Ο αλγόριθμος τερματίζει αφού: Έχουμε ST με n-1 (=5-1=4) ακμές, ή εναλλακτικά, Έχουμε ST που περιέχει όλες τις κορυφές του δοσμένου γραφήματος Παρατηρήστε ότι καμία από τις AD, BD, CD δε μπορεί έτσι κι αλλιώς να προστεθεί στο ST γιατί θα δημιουργούσε κύκλο Το MST που βρήκε περιέχει τις ακμές: ΑΕ (2), ΕC (4), BC (5), DE (=7) και έχει συνολικό βάρος 2+4+5+7=18 ΑΕ=2 (1) EC=4 (2) AC=4 (κύκλος) BC=5 (3) AB=6 (κύκλος) BE=6 (κύκλος) DE=7 (4) AD=8 BD=8 CD=9

O αλγόριθμος του Prim Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάλεξε αυθαίρετη κορυφή να είναι η πρώτη στο δέντρο T Βήμα 2: Δες ποιες ακμές από κορυφές στο T συνδέονται με κορυφές εκτός του Τ και διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν παραπάνω από μία, διάλεξε τυχαία) Βήμα 3: Επανάλαβε το Βήμα 2 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ., μέχρι να συνδεθούν όλες οι κορυφές

O αλγόριθμος του Prim Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάλεξε αυθαίρετη κορυφή να είναι η πρώτη στο δέντρο T Βήμα 2: Δες ποιες ακμές από κορυφές στο T συνδέονται με κορυφές εκτός του Τ και διάλεξε την ακμή με το μικρότερο βάρος να ανήκει στο Τ (αν υπάρχουν παραπάνω από μία, διάλεξε τυχαία) Βήμα 3: Επανάλαβε το Βήμα 2 μέχρι να υπάρχουν n-1 ακμές στο Τ δηλ., μέχρι να συνδεθούν όλες οι κορυφές MST: AE EC BC ED 2 4 5 7 Συνολικό βάρος: 18

O αλγόριθμος του Prim με πίνακα Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάλεξε αυθαίρετη κορυφή να είναι η πρώτη στο δέντρο T Βήμα 2: Αρίθμησε τη στήλη της νέας κορυφής στην κορυφαία γραμμή. Διάγραψε τη γραμμή του πίνακα που αντιστοιχεί στη νέα κορυφή Βήμα 3: Βρες το μικρότερο βάρος σε μη διαγραμμένες θέσεις σε στήλες που αντιστοιχούν σε κορυφές του Τ και κύκλωσέ το (αν υπάρχουν παραπάνω από ένα διάλεξε τυχαία). Η κυκλωμένη κορυφή είναι η επόμενη κορυφή του Τ Βήμα 4: Επανάλαβε τα Βήματα 2 και 3 μέχρι να διαγραφούν όλες οι γραμμές του πίνακα

O αλγόριθμος του Prim με πίνακα Βρίσκει το ελάχιστο γεννητικό δέντρο (MST) Τ σε δοσμένο γράφημα Βήμα 1: Διάλεξε αυθαίρετη κορυφή να είναι η πρώτη στο δέντρο T Βήμα 2: Αρίθμησε τη στήλη της νέας κορυφής στην κορυφαία γραμμή. Διάγραψε τη γραμμή του πίνακα που αντιστοιχεί στη νέα κορυφή Βήμα 3: Βρες το μικρότερο βάρος σε μη διαγραμμένες θέσεις σε στήλες που αντιστοιχούν σε κορυφές του Τ και κύκλωσέ το (αν υπάρχουν παραπάνω από ένα διάλεξε τυχαία). Η κυκλωμένη κορυφή είναι η επόμενη κορυφή του Τ Βήμα 4: Επανάλαβε τα Βήματα 2 και 3 μέχρι να διαγραφούν όλες οι γραμμές του πίνακα ΑΕ 2 ΕC 4 ΒC 5 DΕ 7 MST 18

Το πρόβλημα εύρεσης ελάχιστου γεννητικού δένδρου: ο αλγόριθμος του Kruskal Άπληστος αλγόριθμος που βρίσκει ένα ελάχιστο γεννητικό δέντρο (MST) σε δοσμένο συνεκτικό γράφημα με βάρη Βρίσκει σύνολο από ακμές που σχηματίζουν δέντρο που περιέχει όλες τις κορυφές του γραφήματος και έχει ελάχιστο συνολικό βάρος Ο αλγόριθμος προτάθηκε από τον Joseph Kruskal εμφανίστηκε στα Πρακτικά του American Mathematical Society, σελ. 48 50 το 1956

Το πρόβλημα εύρεσης ελάχιστου γεννητικού δένδρου: ο αλγόριθμος του Prim Άπληστος αλγόριθμος που βρίσκει ένα ελάχιστο γεννητικό δέντρο (MST) σε δοσμένο συνεκτικό γράφημα με βάρη Βρίσκει σύνολο από ακμές που σχηματίζουν δέντρο που περιέχει όλες τις κορυφές του γραφήματος και έχει ελάχιστο συνολικό βάρος Ο αλγόριθμος προτάθηκε από τον Τσέχο μαθηματικό Vojtěch Jarník το 1930 και αργότερα ανεξάρτητα - από τον επιστήμονα υπολογιστών Robert C. Prim το 1957 και ανακαλύφθηκε εκ νέου από τον Edsger Dijkstra το 1959 V. Jarník: O jistém problému minimálním [About a certain minimal problem], Práce Moravské Přírodovědecké Společnosti, 6, 1930, pp. 57 63. R. C. Prim: Shortest connection networks and some generalizations. In: Bell System Technical Journal, 36 (1957), pp. 1389 1401

Σύγκριση Αλγόριθμος Kruskal Ξεκινάει με ακμή Διατηρεί δάσος (forest) όχι συνεκτική συνιστώσα Επιλέγει ακμές όχι απαραίτητα γειτονικές Εξετάζει κάθε ακμή μία φορά Λειτουργεί και σε μη συνεκτικά γραφήματα Καλύτερος για αραιά γραφήματα O(n2logn) για πυκνά γραφήματα O(nlogn) για αραιά γραφήματα Αλγόριθμος Prim Ξεκινάει με κορυφή Διατηρεί συνεκτική συνιστώσα Δημιουργεί το δέντρο από κορυφή σε κορυφή Εξετάζει μία ακμή πολλές φορές Το γράφημα πρέπει να είναι συνεκτικό Καλύτερος για πυκνά γραφήματα O(n2)

Αλγόριθμος Kruskal Σύγκριση

Αλγόριθμος Prim Σύγκριση