ΣΧΕΔΙΑΣΜΟΣ ΑΛΓΟΡΙΘΜΩΝ

Γραμμένο από δύο καθηγητές της Επιστήμης των Υπολογιστών στο Πανεπιστήμιο Cornell, το βιβλίο αυτό είναι το σημαντικότερο βιβλίο "νέας γενιάς" για το εξαιρετικά σημαντικό ζήτημα του σχεδιασμού και της ανάλυσης αποδοτικών αλγορίθμων.

Η επιστημονική επιμέλεια της ελληνικής έκδοσης πραγματοποιήθηκε από το Χρήστο Ζαρολιάγκη, αναπληρωτή καθηγητή του τμήματος Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής του πανεπιστημίου Πατρών

Στη θεματολογία του βιβλίου, μεταξύ πολλών άλλων, περιλαμβάνονται και τα ακόλουθα:

- Βασικά στοιχεία ανάλυσης αλγορίθμων (Υπολογιστική επιλυσιμότητα, Ασυμπτωτικός ρυθμός αύξησης, Υλοποίηση του αλγορίθμου Ευσταθούς Ταιριάσματος με λίστες και πίνακες κ.ά.)
- Γραφήματα (Βασικοί ορισμοί και εφαρμογές, Συνεκτικότητα γραφήματος και διάτρεξη γραφήματος, Κατευθυνόμενα ακυκλικά γραφήματα και τοπολογική διάταξη κ.ά.)
- Άπληστοι αλγόριθμοι (Χρονοπρογραμματισμός διαστημάτων:Ο άπληστος αλγόριθμος υπερτερεί, Χρονοπρογραμματισμός για ελαχιστοποίηση καθυστέρησης: ένα επιχείρημα ανταλλαγής κ.ά.)
- Διαίρει και βασίλευε (Μια πρώτη αναδρομή: Ο αλγόριθμος Mergesort, Περαιτέρω αναδρομικές σχέσεις, Μέτρηση αντιστροφών, Εύρεση του πλησιέστερου ζεύγους σημείων κ.ά.)
- Δυναμικός προγραμματισμός (Σταθμισμένος Χρονοπρογραμματισμος Διαστημάτων: Μια αναδρομική διαδικασία, Αρχές δυναμικού προγραμματισμού, Αρνητικοί κύκλοι σε ένα γράφημα κ.ά.)
- Ροή δικτύου (Το πρόβλημα της Μέγιστης Ροής και ο αλγόριθμος Ford-Fulkerson, Μέγιστες ροές και ελάχιστες αποκοπές σε ένα δίκτυο, Επιλογή καλών διαδρομών επαύξησης κ.ά.)
- ΝΡ και υπολογιστική δυσεπιλυσιμότητα (Αναγωγές πολυωνυμικού χρόνου, Αναγωγές μέσω "μικροεργαλείων": Το πρόβλημα της Ικανοποιησιμότητας, Αποδοτική πιστοποίηση και ο ορισμός του ΝΡ, NP-πλήρη προβλήματα, Προβλήματα καθορισμού ακολουθίας κ.ά.)
- PSPACE: Μια κλάση προβλημάτων πέρα από το ΝΡ (Μερικά δύσκολα προβλήματα του PSPACE, Επίλυση ποσοτικοποιημένων προβλημάτων και παιχνιδιών σε πολυωνυμικό χώρο κ.ά.)
- Επέκταση των ορίων της επιλυσιμότητας (Εύρεσ