Αναγωγή γράφου: Διαφορά μεταξύ των αναθεωρήσεων

ΣτηΣτην [[θεωρητικήεπιστήμη πληροφορικήυπολογιστών]], η '''αναγωγή γράφου''' ('''graph reduction''') υλοποιεί μια αποδοτική έκδοση της μη-αυστηρής αποτίμησης, μιας στρατηγικής αποτίμησης στην οποία οι παράμετροι σε μια [[συνάρτηση]] δεν αποτιμώνται άμεσα. Η μορφή αυτή της μη-αυστηρής αποτίμησης είναι γνωστή και σαν [[οκνηρή αποτίμηση]] και χρησιμοποιείται στις [[Συναρτησιακός προγραμματισμός|γλώσσες συναρτησιακού προγραμματισμού]]. Η τεχνική χρησιμοποιήθηκε για πρώτη φορά από τον Chris Wadsworth το 1971.