Αλγοριθμική θεωρία κατανεμημένων υπολογισμών

Abstract

Το βιβλίο αυτό απευθύνεται σε προπτυχιακούς και μεταπτυχιακούς φοιτητές τμημάτων Πληροφορικής και Μαθηματικών που διδάσκονται θέματα σχετικά με τη σχεδίαση και ανάλυση αλγορίθμων.<br/><br/>Μπορεί να χρησιμοποιηθεί τόσο από μη εξοικειωμένους με την περιοχή, όσο και από προχωρημένους επιστήμονες στους τομείς της Θεωρητικής Πληροφορικής και ειδικότερα στους τομείς της Σχεδίασης Αλγορίθμων, της Θεωρίας Υπολογισμού αλλά και της Τεχνητής Νοημοσύνης και της Ρομποτικής. Οι αναγνώστες μπορούν να βρουν στο βιβλίο αυτό το απαραίτητο υλικό για την κατανόηση των εννοιών που σχετίζονται με:<br/><br/>- Κατανεμημένους αλγόριθμους<br/>- Κινητούς πράκτορες<br/>- Πολυπλοκότητα αγαθών στους κατανεμημένους υπολογισμούς<br/>- Μοντέλα χρονισμού των κατανεμημένων μοντέλων<br/>- Βασικά προβλήματα και κατανεμημένους αλγόριθμους<br/>- Αναγωγές προβλημάτων, αποδείξεις ορθότητας και ανάλυση πολυπλοκότητας των αλγορίθμων<br/>- Προσεγγισιμότητα με εγγύηση ποιότητας της λύσης για δύσκολα (NP-hard) προβλήματα<br/>- Ζητήματα ασφάλειας δικτύων και πρακτόρων<br/><br/>Δίνεται ιδιαίτερη έμφαση στην παρουσίαση και κατανόηση των θεωρητικών μοντέλων με βάση τα οποία όχι μόνο μπορούν να σχεδιαστούν βέλτιστοι κατανεμημένοι αλγόριθμοι που επιλύουν ρεαλιστικά προβλήματα, αλλά και να αναδειχθούν μέσα από αυτήν την αλγοριθμική θεωρία τα πλεονεκτήματα των κατανεμημένων μεθόδων σε σύγκριση με τους παράλληλους και τους σειριακούς αλγόριθμους. Το βιβλίο εστιάζει ιδιαίτερα στην επίλυση προβλημάτων με τη χρήση κινητών πρακτόρων. Γίνεται εκτενής αναφορά στις εφαρμογές που έχουν τα μοντέλα των προβλημάτων που παρουσιάζονται. Οι αλγόριθμοι παρουσιάζονται σε ψευδογλώσσα ενώ οι αποδείξεις ορθότητας και πολυπλοκότητας των αλγορίθμων καθώς και οι αποδείξεις αρνητικών αποτελεσμάτων δίνονται με τυπικό τρόπο και έτσι ώστε να μπορούν να τις παρακολουθήσουν άνετα προπτυχιακοί φοιτητές.<br/>Στο τέλος των κεφαλαίων υπάρχουν σχόλια και βιβλιογραφικές αναφορές καθώς και ασκήσεις που βοηθούν στην καλύτερη κατανόηση των μεθόδων σχεδίασης κατανεμημένων αλγορίθμων και στην ανάλυσή τους.