Αναδρομή

[μικρογραφία|245x245εσ|[Ουροβόρος όφις|Ουροβόρος, ένα αρχαίο σύμβολο που απεικονίζει ένα φίδι που τρώει την ουρά του.]]
Στα μαθηματικά και την πληροφορική, η **αναδρομή** είναι μια μέθοδος για τον ορισμό συναρτήσεων κατά την οποία η οριζόμενη συνάρτηση εφαρμόζεται στον ίδιο της τον ορισμό. . Επίσης, ο όρος χρησιμοποιείται γενικότερα για να περιγράψει τη διαδικασία όπου αντικείμενα επαναλαμβάνονται με αυτο-όμοιο τρόπο. Για παράδειγμα, όταν οι επιφάνειες δυο καθρεπτών είναι σχεδόν παράλληλες μεταξύ τους, τα φωλιασμένα είδωλα που προκύπτουν αποτελούν μια μορφή αναδρομής.

Στην πληροφορική, πολλοί από τους αλγορίθμους ορίζονται αναδρομικά για προβλήματα όπως της ταξινόμησης (π.χ. η merge sort ή η quick sort), της αναζήτησης σε γράφο και άλλων.

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

Για παράδειγμα, ο ακόλουθος είναι ένας αναδρομικός ορισμός για τους προγόνους ενός ατόμου.
* [μικρογραφία|234x234εσ|Το [τρίγωνο Σιερπίνσκι - μια περιορισμένη αναδρομή τριγώνων που σχηματίζουν ένα φράκταλ]]Οι γονείς κάποιου είναι πρόγονοί του (*βασική περίπτωση*)
* Οι γονείς των προγόνων κάποιου είναι και πρόγονοί του (*αναδρομικό βήμα*)

Μπορεί κανείς να σκεφτεί ότι ένας επαγωγικός ορισμός μιας τάξης αντικειμένων ορίζει νέα αντικείμενα χρησιμοποιώντας ήδη ορισμένα αντικείμενα της τάξης που ορίζεται.

Παρόμοιοι ορισμοί απαντώνται συχνά στα μαθηματικά. Για παράδειγμα, ο τυπικός ορισμός των φυσικών αριθμών στη θεωρία συνόλων είναι: το 1 είναι φυσικός αριθμός και κάθε φυσικός αριθμός έχει έναν επόμενο, που είναι επίσης φυσικός αριθμός.

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

## Παραδείγματα

### Υπολογισμός παραγοντικού

Η μαθηματική συνάρτηση του παραγοντικού, η οποία είναι το γινόμενο όλων των θετικών ακέραιων αριθμών από το 1 έως κάποιον ανώτατο αριθμό n ορίζεται ως:
:n! = 1 \cdot 2 \cdot \ldots \cdot n.

Εναλλακτικά (αλλά ισοδύναμα), το παραγοντικό μπορεί να οριστεί αναδρομικά ως εξής:
:n! = \begin{cases}
1 & \text{αν }n = 0, \\
n \cdot (n-1)! & \text{αν }n \geq 1.
\end{cases}

Ο αναδρομικός ορισμός του παραγοντικού μπορεί να χρησιμοποιηθεί για τη συγγραφή μίας αναδρομικής μεθόδου σε κώδικά γλώσσας προγραμματισμού ώστε να υπολογιστεί η τιμή του παραγοντικού για δεδομένη είσοδο:

```c++
int paragontiko(int n){
   if (n == 0) return 1;
   else return n * paragontiko(n-1);
}
```


### Αριθμητική και Γεωμετρική Πρόοδος

Κάθε αριθμητική πρόοδος, δηλαδή κάθε ακολουθία πραγματικών αριθμών a_1, a_2, a_3, \ldots, όπου a_n = x + (n-1) \cdot d για κάποια x, d \in \R, μπορεί να οριστεί και αναδρομικά ως
:
a_n = \begin{cases}
x & \text{αν }n = 1,\\
a_{n-1} + d & \text{αν }n > 1.
\end{cases}


Αντίστοιχα κάθε Γεωμετρική πρόοδος, δηλαδή

### Αριθμοί Φιμπονάτσι

Οι αριθμοί της ακολουθίας Φιμπονάτσι ορίζονται αναδρομικά για κάθε φυσικό αριθμό n ως εξής:
:
F_n = \begin{cases}
0 & \text{αν }n = 0,\\
1 & \text{αν }n = 1,\\
F_{n-1} + F_{n-2} & \text{αν }n \geq 2.
\end{cases}

Για παράδειγμα,
* Ο τρίτος αριθμός Φιμπονάτσι δίνεται από F_2 = F_1 + F_0 = 1 + 0 = 1.
* Ο τέταρτος αριθμός Φιμπονάτσι δίνεται από F_3 = F_2 + F_1 = 1 + 1 = 2.
* Ο πέμπτος αριθμός Φιμπονάτσι δίνεται από F_4 = F_3 + F_2 = 2 + 1 = 3.

Ο παρακάτω κώδικας είναι μία αναδρομική υλοποίηση του υπολογισμού των αριθμών Φιμπονάτσι στην γλώσσα προγραμματισμού C++. Με την χρήση δυναμικού προγραμματισμού ο κώδικας παρακάτω μπορεί να γίνει πιο αποδοτικός.

```c++
int fibonacci(int n){
   if (n == 0) return 0;
   else if (n == 1) return 1;
   else return fibonacci(n - 1) + fibonacci(n - 2);
}
```


## Δείτε επίσης
* Μαθηματική επαγωγή
* Δυναμικός προγραμματισμός
* Διαίρει και βασίλευε (υπολογιστές)

## Βιβλιογραφία
* 
* 
* 
* 
* 
* 
*  - offers a treatment of corecursion.
* 
* 
* 
* 
* , first chapter on set theory.

## Παραπομπές



Κατηγορία:Μαθηματική λογική
Κατηγορία:Θεωρία υπολογισμού