Κατανόηση της Μη-απηλίδας στα Μαθηματικά και την Επιστήμη των Υπολογιστών

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