2.2.1 Ορισμός αλγορίθμου:
Αλγόριθμος είναι μια ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης σειρά ενεργειών, ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης και εκτελέσιμων σε ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης χρόνο, που στοχεύουν στην επίλυση ενός προβλήματος.

2.2.3 Ανάλυση Αλγορίθμων, Θεωρία Υπολογισμού, Πολυπλοκότητα Αλγορίθμων, Υπολογισιμότητα Αλγορίθμων

Η Θεωρία Υπολογισμού (Theory of computation) είναι το πεδίο της πληροφορικής που ασχολείται τόσο με το πρόβλημα ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης ενός προβλήματος όσο και ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης των αλγορίθμων για την επίλυση των προβλημάτων με βάση ένα ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης υπολογισμού.

Το πεδίο της θεωρίας υπολογισμού, διαιρείται σε δύο κλάδους: τη Θεωρία ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης (Computability Theory) και τη Θεωρία ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης (Computational Complexity Theory).

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

Η ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης ενός αλγορίθμου είναι η εκτίμηση του πλήθους των υπολογιστικών πόρων που απαιτεί η εκτέλεση του αλγορίθμου.

Η ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης ενός αλγορίθμου δίνει ένα μέτρο της χρονικής καθυστέρησης του αλγορίθμου για την επίλυση ενός προβλήματος.

2.2.4 Βασικοί τύποι αλγορίθμων

ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης λέγονται οι αλγόριθμοι που χρησιμοποιούν μία κεντρική μονάδα επεξεργασίας και οι εντολές τους εκτελούνται σε σειρά η μία μετά την άλλη.

ΠαράλληλοιΠολυπλοκότηταςΣειριακοίΥπολογισιμότηταςανάλυσηαποδοτικότηταςαυστηρά καθορισμένωνδεδομένο μοντέλοη μνήμηη ορθότηταο χρόνοςπεπερασμένηπεπερασμένοπολυπλοκότηταύπαρξης λύσης χαρακτηρίζονται οι αλγόριθμοι που χρησιμοποιούν πολλαπλές κεντρικές μονάδες επεξεργασίας όπου ορισμένες ή μία σειρά από εντολές εκτελούνται παράλληλα (ταυτόχρονα).